Analiza zerowa Eclipse: wyrażenie typu int wymaga niezaznaczonej konwersji zgodnie z "@Nonnull Integer"

Question

Podczas konfigurowania Eclipse 4.2.0 w celu wykonania analizy zerowej (skonfigurowanej do używania @javax.annotation.Nonnull itp.) Poniższy kod wygeneruje ostrzeżenie

Null bezpieczeństwa typ: wyrażenie typu int potrzebuje niesprawdzony konwersji w celu dostosowania się do '@Nonnull Integer'

class C 
{ 
    static void foo(int i) 
    { 
    bar(i); // Warning 
    } 

    static void bar(@javax.annotation.Nonnull Integer i) 
    { 
    } 
} 

Jak mam rozwiązać ten problem (bez użycia @SuppressWarnings("null"))? Wygląda na to, że analizator nie wie, że prymitywy pudełkowe nie mogą być w wersji null.

Answer 1

Myślę, że to błąd w Eclipse. Próbowałem tego samego z IntelliJ i działa zgodnie z oczekiwaniami.

Po przekazaniu wartości Null IntelliJ poprawnie informuje mnie, że wartości null są niedozwolone.

Jednak kiedy używam normalnej zmiennej I, nie wyskakuje błąd upy w górę, co jest całkiem poprawne.

Próbowałem nawet to, po prostu dla eksperymentu, więc nie jestem pewien, czy utkniesz do Eclipse, inaczej polecam stosując albo wolna Community version z IntelliJ lub Ultimate edition.