NullPointerException nel metodo che restituisce il tipo Oggetto

Question

Perché il seguente lancio di una 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(); 
} 

so che se faccio una delle seguenti del codice non gettare un 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(); 
} 

Inoltre, se cambio il cod e completamente e procedere come segue funziona:

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

Credo che il compilatore sta facendo una sorta di un'ottimizzazione e in qualche modo rovinare le cose? Suppongo che si tratti di una sorta di problema di trasmissione, ma perché dovrebbe generare una NullPointerException in quel caso anziché una ClassCastException? Qualsiasi informazione sul perché questo sta accadendo sarebbe molto apprezzata!

Grazie in anticipo

Answer 1

se si aggiunge un po 'di parentesi per migliorare la leggibilità:

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

Si può vedere che al y ? y : null, il compilatore tenterà di unboxing null (in modo che i tipi di corrispondenza), causando un NPE da lanciare.

Answer 2

(questo codice è illeggibile e probabilmente dovrebbe essere evitato.) Ma per rispondere effettivamente: Come sopra, il ragionamento ha a che fare con autoboxing e unboxing e il compilatore sta facendo i controlli. È come se avessi scritto boolean b = (Boolean) null che in fase di esecuzione genererà un NPE.

Nell'esempio A, lo si trasmette esplicitamente a un oggetto, quindi non è stata aggiunta alcuna autobox.

Nell'esempio B, tutto è già un oggetto (booleano è una primitiva, mentre Boolean è un oggetto), quindi ancora una volta, nessun boxing o unboxing.

Infine, nell'esempio C non c'è affatto unboxing, e invece il risultato è appena incassato quando viene restituito. (if-else branching consente al compilatore di controllare ogni ramo singolarmente, invece degli operatori ternari che richiedono di capire l'interezza dell'istruzione e quindi di assegnare l'intera istruzione a un tipo. Questo ha a che fare con le espressioni contro le espressioni e tutta una serie di stranezze nelle autoboxing e tipo-regole di controllo Java)

(problemi casting accadere al momento della compilazione, se si tenta un cast incompatibili come:. (Boolean) 7 o in fase di esecuzione se si fa qualcosa di simile:

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