java - 类型注释属于有界通配符的什么位置？

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()未使用任何可空性 注释进行注释，这是意料之中的。

---

对List本身应用@Nullable注解后，问题并没有解决。因此，我将 @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 的确切效果, 可以使用枚举 DefaultLocation 进行微调.后者提到

Wildcards and the use of type variables are always excluded from NonNullByDefault.

另一方面，通配符绑定(bind) extends Styleable 受到 @NonNullByDefault 的影响.

这解释了为什么 initLoc 中的预期参数类型是@NonNull List<? extends @NonNull Styleable> .方法initLoc3解决了编译错误，因为它恰好覆盖了这两个 @NonNull此处显示的注释 - 通过明确说明 @Nullable在这些位置上。

关于应用显式 @Nullable对于通配符本身，Eclipse 遵循 concepts正如为跳棋框架提出的那样。特别是@Nullable ?被解释为具有可空属性的下限和上限。

这解释了为什么 initLoc2不同于initLoc3 : 它定义了一个额外的 lower 边界，然后与实际参数不匹配。

为了解决您关于 MenuBar 的问题您可能需要考虑使用 external annotations .

免责声明:我无法准确重现您的情况，因为我缺少所示方法的类上下文。 getKey在哪里, backingMap和 setText从哪里来？