Dlaczego to przydział powoduje NPE?

Question

public class Npe { 
    static class Thing { 
     long value; 
    } 

    public static Map<Thing, Long> map; 

    public static void main(String[] args) { 
     Thing thing = new Thing(); 
     method(null); // returns -1 
     method(thing); // returns 0 
     map = new HashMap<Thing, Long>(); 
     method(null); // returns -1 
     method(thing); // NullPointerException thrown inside this method call 
    } 

    public static long method(Thing thing) { 
     if (thing == null) { 
      return -1; 
     } 
     Long v = (map == null) ? thing.value : map.get(thing); // NPE here 
     if (v == null) { 
      v = thing.value; 
     } 
     return v; 
    } 
} 

Na 4. wezwanie do method() dostaję NullPointerException rzucony na wskazanej linii wewnątrz method(). Jeśli byłaby to wiersz z

Long v = (map == null) ? thing.value : map.get(thing); 

do

Long v; 
if (map == null) { 
    v = thing.value; 
} else { 
    v = map.get(thing); 
} 

mam żadnego NullPointerException i sposób zachowuje się tak jak powinno. Pytanie brzmi: DLACZEGO ??

Wygląda mi na to, kompilator spodziewa wynikiem operatora ? być long tak, że jest on automatycznie unboxing (obniżania od Long do long) wynik wywołania map.get(thing) (która może powrócić null a zatem rzucać NullPointerException). IMHO powinien oczekiwać, że wynik operatora będzie oznaczony jako Long i będzie to oznaczać jako autoboxing (promowanie long do Long) thing.value.

Jeszcze lepiej, jeśli byłaby to stwierdzenie:

Long v = (map == null) ? thing.value : map.get(thing); 

do tego (odlewanie long do Long jawnie):

Long v = (map == null) ? (Long)thing.value : map.get(thing); 

moja IDE (IntelliJ) mówi, że obsada jest zbędny, ale skompilowany kod działa zgodnie z oczekiwaniami i nie rzuca NullPointerException! :-D

Answer 1

Zastanów się wyrażenie warunkowe:

(map == null) ? thing.value : map.get(thing) 

Wynikiem tego wyrażenia będzie long, ponieważ typ thing.value jest long. Zobacz JLS §15.25 - Conditional Operator. Stół w JLS 8 to świetny dodatek. Wyjaśnia wszystkie możliwe typy wyjść dla różnych typów wejść. Tyle było zamieszania związanego z typem wyrażeń warunkowych.

Teraz po wywołaniu tej metody, jak:

method(thing); 

map nie jest null, więc warunek map == null w swojej wypowiedzi ocenia się false, a następnie ocenia map.get(thing) aby uzyskać wynik.

Ponieważ nie ma jeszcze wpisu w polu map, map.get(thing) zwróci null. Ale ponieważ typ wyniku to long, operacja rozpakowywania jest wykonywana na null, co skutkuje NPE.

---

Teraz, kiedy wyraźnie cast thing.value do Long, rodzaj ekspresji staje Long. Dlatego nie wykonuje się rozpakowywania z wynikiem map.get(thing), a null jest przypisany do Long v.

Answer 2

To jest moje zrozumienie tego, co się dzieje:

podczas korzystania Long v = (map == null) ? thing.value : map.get(thing); // NPE here

map.get(thing) zwraca Long czyli null i wtedy nie jest próbą unbox jej wartość long (bo typu ekspresyjnego jeśli długo) - powoduje to NPE.

Jednak podczas korzystania z długiego formularza starannie unika się operacji rozpakowywania o wartości NULL Long.