Wyjątek NullPointerException w typie zwracającym typ Obiekt

Question

Dlaczego poniższe wywołanie wyjątku NullPointerException? :

public static Object myTest() { 
    boolean x = false; 
    boolean y = false; 
    return x && y ? new Object() : x ? x : y ? y : null; 
} 

public static void main(String [ ] args) { 
    myTest(); 
} 

wiem czy zrobić jedną z następujących czynności kod nie będzie rzucać NullPointerException:

A)

public static Object myTest() { 
    boolean x = false; 
    boolean y = false; 
    return x && y ? new Object() : x ? x : y ? y : (Object) null; 
} 

public static void main(String [ ] args) { 
    myTest(); 
} 

B)

public static Object myTest() { 
    Boolean x = false; 
    Boolean y = false; 
    return x && y ? new Object() : x ? x : y ? y : null; 
} 

public static void main(String [ ] args) { 
    myTest(); 
} 

Ponadto, jeśli zmienię cod e całkowicie i wykonaj następujące działania:

public static Object myTest() { 
    boolean x = false; 
    boolean y = false; 

    if(x && y) { 
     return new Object(); 
    } else if(x) { 
     return x; 
    } else if(y) { 
     return y; 
    } else { 
     return null; 
    } 
} 

public static void main(String [ ] args) { 
    myTest(); 
} 

Chyba kompilator robi jakąś optymalizację i jakoś brudząc rzeczy? Zakładam, że jest to jakiś problem z odlewaniem, ale dlaczego w takim przypadku wyrzuciłby wyjątek NullPointerException zamiast wyjątku ClassCastException? Wszelkie informacje o tym, dlaczego tak się dzieje, byłyby bardzo cenne!

góry dzięki

Answer 1

Jeśli dodać trochę nawias dla czytelności:

return (x && y) ? (new Object()) : (x ? x : (y ? y : null)); 

Widać, że w y ? y : null, kompilator będzie próbował unbox null (tak, że typy dopasowania), powodując NPE do rzucenia.

Answer 2

(ten kod jest nieczytelny i prawdopodobnie należy go unikać), ale aby rzeczywiście odpowiedzieć: Jak wyżej, rozumowanie ma związek z autoboxingiem i rozpakowywaniem oraz kompilatorem wykonującym kontrole. To tak, jakbyś napisał boolean b = (Boolean) null, który w czasie wykonywania rzuci NPE.

W przykładzie A, rzuca się go do obiektu jawnie, więc nie dodaje się autoboxingu.

W przykładzie B wszystko już jest obiektem (boolean jest prymitywny, a Boolean jest obiektem), więc znowu nie ma boksu ani rozpakowywania.

Wreszcie, w przykładzie C nie ma żadnego rozpakowywania, a zamiast tego wynik jest po prostu w pudełku po jego zwróceniu. (jeśli-else rozgałęzienie umożliwia kompilatorowi sprawdzenie każdej gałęzi indywidualnie, zamiast potrójnych operatorów, które wymagają odgadnięcia całej instrukcji, a następnie przypisania całego zdania typu, co ma związek z wypowiedziami a wyrażeniami i całą dziwnością w przepisach autoboxing i rodzaj sprawdzania Java)

(Casting problemy zdarzyć w czasie kompilacji, jeśli spróbujesz nieodpowiedniego obsady jak:. (Boolean) 7 lub w czasie wykonywania, jeśli zrobisz coś takiego:

int c = 7; 
Object co = (Object) c; 
Boolean bco = (Boolean) co;