爲什麼IntelliJ告訴我在這種情況下引用不能爲空？

Question

這是我的代碼：

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

和IntelliJ會提醒我的最後一條語句以上消息：

條件「吧！= NULL」始終是「真」。此檢查 分析方法控制和數據流，以報告始終爲真或假的可能條件 ，靜態值爲 的表達式被證明是恆定的，並且可能導致違反合同的可空性 。

當我刪除聲明：

entityClazz = Hibernate.getClass(bar); 

警告將會消失。

在IntelliJ的腦海裏發生了什麼事，什麼是阻止酒吧爲空？

Answer 1

根據hibernate文檔，這是org.hibernate.Hibernate類中的getClass（）方法。

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

作爲每文檔HibernateException在一個空的參數，它是一個擴展類的NestableRuntimeException也是RuntimeException的情況下被拋出。

的IntelliJ是能夠分析這一點，使用它的代碼檢查很容易發現祿

entityClazz = Hibernate.getClass(bar); 

將拋出一個NPE。如果它拋出一個NPE，if條件語句永遠不會到達，因爲NestableRuntimeException是未經檢查的異常。

您可以將if條件放在Hibernate.getClass（bar）之上，這對於一個空安全方法來說是理想的。

希望這個清除。

參考

Hibernate Documentation

Code Analysis - Intellij

Code Inspection - Intellij