為什么Eclipse null分析會忽略null檢查語句：if（someObject！= null）{…}，而someObject是字段范圍變量？

Question

我有這樣的課：

import javax.annotation.Nullable;
public class Nullness {

    private @Nullable Object someObject;

    public void foo() {
        if (someObject != null) {
            someObject.toString(); //error "Potential null pointer access: The field someObject is specified as @Nullable"
        }
    }
}

當啟用eclipse null分析時，在someObject.toString();語句中標記了一個錯誤someObject.toString(); 讀取Potential null pointer access: The field someObject is specified as @Nullable 。

Eclipse有一個快速修復程序，可以將我的代碼更改如下：

    public void foo() {
        final Object someObject2 = someObject;
        if (someObject2 != null) {
            someObject2.toString();
        } 
    }

注意，實際上，不需要使用final修飾符即可使錯誤消失。

我不明白為什么Eclipse不允許我在null檢查語句if (someObject != null)直接使用字段變量，而是強迫我創建其他局部變量someObject2 。 這種行為僅僅是錯誤還是故意的？

Answer 1

必須通過發布問題而不進行仔細研究來向社區道歉。 該Wiki中明確提到了此問題， 該Wiki討論了直接使用字段變量可能以多種方式導致意外的影響。