NullPointerException yöntemi döndürme türü Object

Question

Aşağıdakiler neden bir 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(); 
} 

i kodunu izleyen bir NullPointerException atmaz birini yaparsanız biliyorum:

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(); 
} 

Ayrıca, cod değiştirirseniz e tamamen ve aşağıdakileri yapın çalışır:

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(); 
} 

Ben derleyici şeyler çıkmasını nasılsa bir optimizasyon çeşit yapıyor ve sanırım? Bir çeşit bir döküm problemi olduğunu farz ediyorum, ama neden bir ClassCastException yerine bir NullPointerException atar? Bunun neden olduğuna dair herhangi bir bilgi büyük ölçüde takdir edilecektir! peşin

Answer 1

yılında

teşekkürler okunabilirlik için bazı parantez eklerseniz:

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

, derleyici neden (tip eşleşecek şekilde) null Unbox dener Sen y ? y : null de görebilirsiniz

bir NPE atılacak.

Answer 2

(bu kod okunamıyor ve muhtemelen önlenmelidir.) Ancak aslında yanıtlamak için: Yukarıdaki gibi, gerekçelendirme autoboxing ve unboxing ve derleyici çekler yapmak zorunda. Çalışma zamanında bir NPE atacak olan boolean b = (Boolean) null'u yazmışsınız gibi.

Örnek A'da, bunu açıkça bir Object'e döküyorsunuz, bu nedenle otomatik kutu eklemesi yok.

B örneğinde, her şey zaten bir nesnedir (Boole bir ilkeldir, Boolean bir nesnedir), yine, hiçbir boks veya kutucuk yoktur. Son olarak, örneğin, C, hiç bir kutulama yoktur ve bunun yerine, sonuç döndüğünde yalnızca kutulanır. (if-else branching, derleyicinin, her bir dalı tek tek kontrol etmesine izin verir, üçlü operatörler yerine, ifadenin bütününü belirleme ve ardından tüm ifadeyi bir tür olarak atama. Bu, ifadeler ve ifadeler ile bir sürü gariplik ile ilgilidir. Java autoboxing ve tür denetim kuralları)

(sizin gibi uyumsuz bir döküm çalışırsanız Döküm sorunlar derleme zamanında gerçekleşir:. Eğer böyle bir şey yaparsanız (Boolean) 7 veya çalışma zamanında: O atıyor

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