형식 주석은 바운드 된 와일드 카드의 어디에 속합니까?

Question

최근 Eclipse의 nullability 주석을 사용하여 Java 프로젝트를 업데이트하기 시작했습니다. 일부 번역 클래스가 포함 된 JavaFX 기본 프로젝트가 있습니다.

이제 내 LocalizedList에 문서 트리의 요소로 초기화하고 하위 요소를 모두 재귀 적으로 추가합니다. 난 그냥이와 함께 떠나는 경우

@NonNullByDefault 
private void locChildren(Styleable c) { 
    String localizable = getKey(c); 
    if(localizable != null) { 
     backingMap.put(c, localizable); 
     setText(c, localizable); 
    } 
    if(c instanceof MenuBar) { 
     MenuBar mb = (MenuBar)c; 
     initLoc(mb.getMenus()); 
    } // else if ... 
} 

@NonNullByDefault 
public void initLoc(List<? extends Styleable> s) { 
    for(Styleable c : s) { 
     locChildren(c); 
    } 
} 

---

지금, 나는 무섭게 긴 경고 메시지를받을

Null type safety (type annotations): The expression of type 'ObservableList<Menu>' needs unchecked conversion to conform to '@NonNull List<? extends @NonNull Styleable>', corresponding supertype is 'List<Menu>'

이것은 MenuBar#getMenus() 때문에 어떤 Null 허용 주석 주석되지 않고있다, 예상 될 수 있습니다.

---

@Nullable 주석을 List 자체에 적용한 후에도 문제가 해결되지 않았습니다. 그래서 @ Nullable을 와일드 카드에 추가했습니다. 이것은 내가 혼란스러워하는 것을 우연히 발견 한 곳입니다.

@NonNullByDefault 
public void initLoc1(@Nullable List<@Nullable ? extends Styleable> s) { 
    for(Styleable c : s) { 
     locChildren(c); 
    } 
} 

@NonNullByDefault 
public void initLoc2(@Nullable List<@Nullable ? extends @Nullable Styleable> s) { 
    for(Styleable c : s) { 
     locChildren(c); 
    } 
} 

@NonNullByDefault 
public void initLoc3(@Nullable List<? extends @Nullable Styleable> s) { 
    for(Styleable c : s) { 
     locChildren(c); 
    } 
} 

이 세 가지 선언은 모두 유효하고 잘 컴파일되지만 경고 메시지가 사라집니다.

---

나는 그것이 실제로 방법 자체에 사용되는, 완전히 두 번째 예를 혼동하고있는 "유형"을 주석으로 첫 번째는 유효 할 것으로 예상했을 것이다.

세 선언 사이의 의미상의 차이점은 무엇이며 왜 세 개는 작동하지만 두 개는 작동하지 않는 이유는 무엇입니까?

Answer 1

원본 코드 예제를 이해하려면 정확히 @NonNullByDefault이라는 정확한 효과를 알아야합니다.이 효과는 enum DefaultLocation을 사용하여 미세 조정할 수 있습니다. 후자는

와일드 카드를 언급하며 형식 변수는 항상 NonNullByDefault에서 제외됩니다.

은 다른 한편으로 와일드 카드 extends Styleable 는 @NonNullByDefault에 의해 영향을입니다 바인딩.

이는 예상되는 인수 유형이 initLoc 인 이유가 @NonNull List<? extends @NonNull Styleable> 인 이유를 설명합니다. 메서드 initLoc3은 여기에 표시된대로 두 개의 @NonNull 주석을 정확히 덮어 쓰므로 해당 위치에 명시적인 @Nullable을 명시함으로써 컴파일 오류를 해결합니다.

명시 적으로 @Nullable을 와일드 카드 자체에 적용하는 경우 Eclipse는 Checkers Framework 용으로 제안 된대로 concepts을 따릅니다. 특히 @Nullable ?은 Null 허용 속성이있는 상한 및 하한을 가진 것으로 해석됩니다.

initLoc2이 initLoc3에서 다른 이유가 설명 : 그것은 실제 인수로 다음 타의 추종을 불허 바인딩 추가 낮은을 정의합니다.

MenuBar에 관한 문제를 해결하려면 external annotations을 사용하는 것이 좋습니다.

면책 조항 : 표시된 방법의 클래스 컨텍스트가 부족했기 때문에 상황을 정확히 재현 할 수 없었습니다. getKey, backingMap 및 setText의 출처는 어디입니까?