Геттер и @Nonnull

Question

Я получаю предупреждение от затмения, и я знаю, что могу удалить его с подавлением предупреждения, но я бы предпочел понять, что делает его таким, что оно может быть нулевым.

package-info.java

@ParametersAreNonnullByDefault
package test;

import javax.annotation.ParametersAreNonnullByDefault;

test.java

package test;


public class Test {
    public static void main( final String[ ] args ) {
        System.out.println( new Test( "a" ).getS( ) );
    }

    private final String s;

    public Test( final String s ) {
        this.s = s;
    }

    public String getS( ) {
        return this.s;//Null type safety: The expression of type String needs unchecked conversion to conform to '@Nonnull String'
    }
}

Я не понимаю, почему я получаю это предупреждение...

PS:

public Test( @Nonnull final String s ) { -> Примечание об аннулировании является избыточным со значением по умолчанию, которое применяется к этому местоположению

@Nonnull private final String s; -> ничего не меняется

Answer 1

Проблема в том, что аннотация @Nonnull не влияет на поля. Поддерживается только для:

• Параметры метода
• Метод возвращаемых значений
• Локальные переменные (внутри блока кода)

Смотрите документацию по затмению

Совершенно очевидно - поскольку Nonnull не проверяется на полях - компилятор не знает, что Test.s является Nonnull, и жалуется на это.

Очевидным решением действительно было бы добавить @SuppressWarnings("null") в доступ к полю (или к методу, если это простой метод получения):

public String getS() {
    @SuppressWarnings("null")
    @Nonnull String s = this.s;
    return s;
}