如何抑制所有初始化錯誤

Question

當我有一個簡單的測試類

public final class InitTest { 

    private String field; 

    public InitTest() { 
     init(); 
    } 

    private void init() { 
     field = ""; 
    } 
} 

檢驗器框架的初始化檢查正確報告的問題：

InitTest.java:7: error: [initialization.fields.uninitialized] the constructor does not initialize fields: field 
     public InitTest() { 
      ^
InitTest.java:8: error: [method.invocation.invalid] call to init() not allowed on the given receiver. 
       init(); 
        ^
    found : @UnderInitialization(java.lang.Object.class) @NonNull InitTest 
    required: @Initialized @NonNull InitTest 
2 errors 

按照docs of the Initialization Checker，它應該能夠通過命令行參數禁用初始化檢查程序：

To disable initialization checking, supply the command-line argument
-AsuppressWarnings=uninitialized

當我們使用該參數（在檢查框架2.2.1），我們仍然可以獲得一個初始化錯誤：

InitTest.java:8: error: [method.invocation.invalid] call to init() not allowed on the given receiver. 
       init(); 
        ^
    found : @UnderInitialization(java.lang.Object.class) @NonNull InitTest 
    required: @Initialized @NonNull InitTest 
1 error 

我缺少的東西，或這是一個錯誤？

注意：當我們使用-AsuppressWarnings=initialization時，不再顯示任何錯誤 - 但這也會抑制與nullness相關的問題：請參閱此SO discussion。

Answer 1

-AsuppressWarnings=uninitialized抑制所有與初始化本身相關的警告。例如，它可以讓你編寫一個不初始化所有字段的構造函數。

但是，這並不會禁用Checker框架中的所有其他檢查。 Checker框架實現將您顯示爲方法調用錯誤的錯誤（例如，它是如何打印的）處理。

另一種說法是，-AsuppressWarnings=uninitialized會影響作爲初始化錯誤打印的消息，但不會打印爲其他類型的錯誤。這種行爲是一致的，但它不是你想要的那樣的用戶。我會稱這種行爲爲Checker Framework錯誤，並在issue tracker處報告。