Dlaczego checkNotNull() nie ma adnotacji @Nonnull

Question

Uznałem za niedogodne, że warunek checkNotNull() w guava nie jest oznaczony adnotacją @Nonull. Rozważmy następujący przykład:

State(Set<Model> models, Set<Variation> variations) { 
    this.models = checkNotNull(models); 
    this.variations = checkNotNull(variations); 

    if (this.variations == null) { 
    throw new IllegalArgumentException(); 
    } 
    this.engine = createEngine(); 
} 

Więc IDE nie mógł znaleźć że variations == null jest zawsze fałszywe. Czy są jakieś szczególne powody, dla których ten warunek wstępny nie jest oznaczony jako @Nonull (nawet jeśli jego argumenty są zdefiniowane przy użyciu @Nullable).

Answer 1

We haven't used @Nonnull anywhere, przepraszam. Czemu? Próbowaliśmy dodać więcej adnotacji sprawdzających wartości null i stwierdziliśmy, że:

• Dodawanie wszystkich innych adnotacji jest bardzo szczegółowe.
• @Nullable to wszystko, czego potrzebujemy dla NullPointerTester. Co prawda jest to ważniejsze dla programistów Guava niż użytkowników Guava.
• @Nullable wydawało się, że złapały większość problemów. Przyznaję, że ciężko jest stwierdzić, ile błędów niezatwierdzonych znalazłyby inne adnotacje, zanim użytkownik je znalazł.

Gadność była najważniejsza. Robi się szalony, szczególnie z podtypem i sparametryzowanymi typami. Próbowaliśmy wybrać odpowiednie miejsce na adnotacje. Może kiedyś to zmienimy. W tej chwili jednak tak właśnie jest.

(Jeśli coś zrobiliśmy, podejrzewam, że spróbujemy ustawić domyślną wartość @Nonnull, używając zamiast tego @CheckForNull. Ale nie zajrzałem na to wystarczająco dużo, aby upewnić się, że mam odpowiednie znaczenie .)

Answer 2

To rzeczywiście ciekawe opisywanie jej wynik z @Nonnull, ponieważ checkNotNull() rzuca NPE jeśli odwołanie jest null, co oznacza, że ​​nigdy nie powróci null:

@Nonnull 
    public static <T> T checkNotNull(T reference) { 
    if (reference == null) { 
     throw new NullPointerException(); 
    } 
    return reference; 
    } 

Należy pamiętać, że trzeba by zmienić Kod do:

if(this.variations == null) 

od @Nonnull miałby zastosowanie tylko do wyniku checkNotNull(), ale nic nie mówi o jego argument. Zauważ, że nie możemy zanotować argumentu za pomocą @Nonnull, ponieważ często możemy sprawdzać zmienne zerowe.