Perché la conversione restringimento da int a breve non funziona se la variabile locale viene utilizzato nella operatore ternario

Question

La seguente riga di codice viene accettato dal compilatore (sun-jdk-8u51) senza eventuali avvisi o errori:

short b = true ? 1 : 1; 

considerando che le prossime due linee di codice portano ad un errore di compilazione (tipi incompatibili: possibile conversione lossy da int a breve):

boolean bool = true; 
short s = bool ? 1 : 1; 

Perché il compilatore non è in grado di eseguire lo stesso narrowing conversion della p intero rimitivo 1 nel secondo caso?

Answer 1

come indicato dalla @aioobe nei commenti:

Questo perché nel primo caso, dal momento che true è un tempo di compilazione costante, l'intera espressione viene valutata durante la fase di compilazione, in modo da avere praticamente short b = 1; mentre nella seconda versione, il compilatore non fa semplificazione per voi, quindi l'errore

Aggiunta final alla dichiarazione della variabile bool rende una variabile costante, che permette anche il compilatore di all'interpretazione t il codice come menzionato sopra.

final boolean bool = true; 
short s = bool ? 1 : 1; 

Vedi section 4.12.4