[java] @Nullable 및 @Nonnull 주석을보다 효과적으로 사용하는 방법은 무엇입니까?

나는 그것을 볼 수 있습니다 @Nullable및 @Nonnull주석 수 예방에 도움이 될 NullPointerException들하지만 그들은 아주 멀리 전파되지 않습니다.

• 이러한 주석의 효과는 한 수준의 간접적 인 후에 완전히 사라 지므로 몇 가지만 추가하면 아주 많이 전파되지 않습니다.
• 이러한 주석이 제대로 적용되지 않기 때문에로 표시된 값 @Nonnull이 널이 아니라고 가정 하여 널 검사를 수행하지 않을 위험이 있습니다.

아래 코드는 불만을 제기하지 않은 것으로 표시된 매개 변수가 발생 @Nonnull하도록합니다 null. NullPointerException실행 되면를 던집니다 .

public class Clazz {
    public static void main(String[] args){
        Clazz clazz = new Clazz();

        // this line raises a complaint with the IDE (IntelliJ 11)
        clazz.directPathToA(null);

        // this line does not
        clazz.indirectPathToA(null);
    }

    public void indirectPathToA(Integer y){
        directPathToA(y);
    }

    public void directPathToA(@Nonnull Integer x){
        x.toString(); // do stuff to x        
    }
}

이러한 주석을보다 엄격하게 적용 및 / 또는 더 전파 할 수있는 방법이 있습니까?

답변

    directPathToA(y);
                  ^
Null type safety (type annotations): The expression of type 'Integer' needs unchecked conversion to conform to '@NonNull Integer'

    public void directPathToA(@Nonnull Integer x){
        x.toString(); // do stuff to x        
    }

    public void indirectPathToA(Integer y){
        directPathToA(y);
    }

clazz.indirectPathToA(null);