Seltsames Java-Verhalten. Ternärer Operator

Question

Warum funktioniert dieser Code?

Float testFloat = null; 
Float f = true ? null : 0f; 

Und warum wirft dies eine Ausnahme?

Float testFloat = null; 
Float f = true ? testFloat : 0f; 

Aber das Merkwürdigste ist, dass dieser Code auch erfolgreich ohne Ausnahmen läuft:

Float testFloat = null; 
Float f = testFloat; 

Es scheint, dass der ternäre Operator von Java das Verhalten ändert. Kann mir bitte jemand erklären, warum das so ist?

Answer 1

Das Verhalten wird in JLS - Conditional Operator angegeben:

Wenn einer der zweiten und dritten Operanden von primitivem Typ T ist, und die Art des andere ist das Ergebnis des Anwendens boxing Umwandlung (§5.1.7) zu T, dann ist der Typ des bedingten Ausdrucks T.

Schwerpunkt meiner. Also, in dem 2 nd Fall:

Float f = true ? testFloat : 0f; 

Seit 3. Zeile wird vom Urtyp (T), die Art des Ausdrucks würde float Typ sein - T. So UnboxingtestFloat die derzeit ein null Bezug auf float führt in NPE.

---

Was die 1 ^st Fall relevante Teil ist die letzte:

Ansonsten sind die zweiten und dritten Operanden sind von Typen S1 und S2 jeweils. Sei T1 der Typ, der sich aus der Anwendung der Box-Konvertierung auf S1 ergibt, und sei T2 der Typ, der sich aus der Anwendung der Box-Konvertierung auf S2 ergibt. Der Typ des bedingten Ausdrucks ist das Ergebnis der Anwendung der Capture-Konvertierung (§5.1.10) auf lub (T1, T2) (§15.12.2.7).

So nach, dazu:

null type - S1 
float  - S2 

null type - T1 (boxing null type gives null type) 
Float  - T2 (float boxed to Float) 

und geben Sie dann ein bedingter Ausdruck wird - Float. Es wird kein Unboxing von null benötigt, und daher auch kein NPE.