È `1/0` un'espressione costante in Java?

Question

Per quanto ho capito il Java 8 JLS l'espressione (1/0) è considerata un'espressione costante, ma quando provo a compilare il seguente programma con OpenJDK 8 ottengo un errore

public class Switch { 
    public static void main(String[] args) { 
     switch(42) { 
      case (1/0): 
       return; 
      default: 
       return; 
     } 
    } 
} 

L'errore dice (1/0) non è un'espressione costante

Switch.java:4: error: constant expression required 
      case (1/0): 
       ^
1 error 

Mi manca qualcosa? O è un bug in OpenJDK 8?

Answer 1

Il compilatore esegue il piegamento costante (precalcolo di espressioni letterali banali). Questo è un caso in cui l'espressione "completa bruscamente", per usare la verbosità di JLS, squalificandola dal soddisfare la definizione di "espressione costante". Quindi non è un bug, è coerente con il JLS.

E sì, l'espressione non valuta nemmeno un valore (avvisando l'utente che sta provando a fare qualcosa del genere che il risultato non sarà un'espressione costante), ma il compilatore non lo sa fino a quando non ci prova. Non valutare un valore e completare bruscamente sembrerebbe andare di pari passo.

Aggiunta una dichiarazione di variabili come

int x = 1/0; 

non causa un errore di compilazione, è l'interruttore che costringe l'espressione da valutare in fase di compilazione.

A proposito, ho verificato che ciò avvenga anche per la versione 7 di Oracle e IBM JDK, non è specifico per OpenJDK o JDK8.

Answer 2

Un'espressione costante deve essere in grado di valutare un valore, poiché il compilatore deve ricondurre quell'espressione a un valore.

1/0 non ha alcun valore.

Da JSL §15.28:

Una fase di compilazione espressione costante è un'espressione denota un valore di tipo primitivo o una stringa che non completano bruscamente ed è composto utilizzando solo il seguente: