Perché IntelliJ mi sta dicendo che il riferimento non può essere nullo in questa situazione?

Question

Questo è il codice che ho:

private void foo(Bar bar) { 
    Session session = null; 
    Class entityClazz = null; 
    try { 
     entityClazz = Hibernate.getClass(bar); 
     if (bar != null) { 

E IntelliJ mi mettere in guardia per l'ultima dichiarazione di cui sopra con il messaggio:

Condizione 'bar! = Null' è sempre 'vero'. Questa ispezione analizza il controllo del metodo e il flusso di dati per riportare possibili condizioni che sono sempre vere o false, espressioni il cui valore è statico dimostrato di essere costante e situazioni che possono portare a violazioni del contratto di nullità .

Quando si elimina la dichiarazione:

entityClazz = Hibernate.getClass(bar); 

l'avviso sarà andato.

Che cosa sta succedendo nella mente di IntelliJ qui, cosa si sta fermando dal fatto che la barra è nulla?

Answer 1

Come per la documentazione di ibernazione, questo è il metodo getClass() nella classe org.hibernate.Hibernate.

public static Class getClass(Object proxy) { 
     if (proxy instanceof HibernateProxy) { 
      return ((HibernateProxy) proxy).getHibernateLazyInitializer() 
        .getImplementation() 
        .getClass(); 
     } 
     else { 
      return proxy.getClass(); 
     } 
    } 

Come per la documentazione HibernateException è gettato in caso di un parametro null, che è una classe estesa di NestableRuntimeException anche una RuntimeException.

Intellij è in grado di analizzare questo, utilizzando i suoi controlli di codice è facilmente trovato che il loc

entityClazz = Hibernate.getClass(bar); 

getterebbe un NPE. Se lancia un NPE, l'istruzione condizione if non viene mai raggiunta, poiché NestableRuntimeException sono eccezioni non selezionate.

È possibile posizionare la condizione if sopra Hibernate.getClass (barra) che sarebbe l'ideale per un metodo di sicurezza nulla.

Spero che questo cancella.

Riferimenti

Hibernate Documentation

Code Analysis - Intellij

Code Inspection - Intellij