NullPointerException nell'espressione ternaria con null Long

Question

Perché la seguente riga di codice produce un NullPointerException?

Long v = 1 == 2 ? Long.MAX_VALUE : (Long) null; 

Capisco che unboxing in corso sull'automezzo null, ma perché?

Nota che

Long v = (Long) null; 

non produce l'eccezione.

Answer 1

in modo che appaia evidente che hai solo di box se la condizione è vera, e non ci dovrebbero essere boxe, se la condizione è falsa. Tuttavia, l'espressione dell'operatore ternario deve avere un particolare tipo statico. Quindi abbiamo Long e long. Il JLS afferma che il risultato sarà il primitivo (altrettanto bene - immagina se l'operatore fosse, per esempio, + o anche ==). Quindi l'operatore ternario forzerà l'unboxing, e solo allora l'assegnazione causerà un pugilato.

Se si dovesse sostituire il codice con l'equivalente if-else, allora si sarebbe semplicemente avere un incarico da long a Long e da Long a Long, che non avrebbe alcun unboxing e così funzionare bene.

IIRC, questo è coperto è Bloch & Java Puzzlers di Gafter.

Answer 2

Dal JSL

1. Se il secondo e terzo operandi hanno lo stesso tipo (che può essere il tipo nullo), allora questo è il tipo dell'espressione condizionale.
2. Se uno dei secondi e terzi operandi è di tipo boolean e il tipo dell'altro è di tipo Boolean, il tipo di espressione condizionale è boolean.

Nella seguente dichiarazione del tipo di secondo operando è long e terzo è Long.

Long v = 1 == 2 ? Long.MAX_VALUE : (Long) null; 

Questo funzionerà se un'espressione è vera.

Long v= 1 == 1 ? Long.MAX_VALUE : (Long) null; 

Oppure puoi lanciarlo.

Long v= 1 == 2 ? Long.valueOf(Long.MAX_VALUE) : (Long) null;