@Nullable vs. Generics（Eclipse）

Question

我想将一个实用程序方法引入Java 8.名为max的方法定义如下：

@SafeVarargs
public static final <E extends Comparable<E>> E max(final E... elements) {
    E result = null; // error
    for(final E e : elements) {
        if(result == null || result.compareTo(e) < 0) {
            result = e;
        }
    }
    return result;
}

现在Eclipse显示错误：

空类型不匹配（类型注释）： null与自由类型变量E不兼容。

我@Nullable以为将@Nullable添加到result的定义应该删除错误，但显然不是这种情况。 即使我另外使用@Nullable注释整个方法，错误仍然存​​在。

顺便说一句，我正在使用FindBugs的jsr-305.jar，并已配置Eclipse以尊重javax.annotation.Nonnull以及javax.annotation.Nullable 。 编辑：我在Lubuntu上运行Eclipse Luna 4.4.2和Oracle JDK 8 build 1.8.0_25-b17。

现在我的问题是：错误来自哪里？ 如何在保持注释和泛型类型定义的好处的同时摆脱它？

编辑：我刚刚添加了一个示例项目，其中使用了默认的eclipse注释，它似乎有些工作（除了在result == null处生成警告，因为它错误地推断结果在该点只能为null）。 所以这似乎是一个带有非默认注释类的Eclipse问题。 我用我自己的Eclipse的Nullable注释副本重新测试它，并得到与上面相同的错误。

Answer 1

错误来自哪里？

我在文档中找到了这个：

对应于无约束类型参数的类型变量需要悲观检查以确保所有合法替换的安全性：此类型既不能被认为是可空的也不是非空的。

 class C<T extends Number> { int consume(T t) { return t.intValue(); // NOT OK since T could be nullable } T provide() { return null; // NOT OK since T could require nonnull } } 

最后一点可能看起来令人惊讶，但请注意，无约束类型参数意味着我们可能不会假设任何关于由相应类型变量表示的类型的null。 更重要的是：我们必须积极支持可空和非空类型。 另一方面，这只是扩展了现有规则，即与无界类型变量兼容的唯一类型是类型变量本身。 要在null分析的上下文中解释这种情况，编译器将针对provide（）中的返回引发以下错误：

在实例化泛型类型或调用泛型方法时，必须遵守type参数提出的约束。

如何在保持注释和泛型类型定义的好处的同时摆脱它？

将@Nullable添加到<E extends Comparable<E>> ，就像这样

@SafeVarargs
public static final  <@Nullable E extends Comparable<E>> E max(final E... elements) {
    E result = null; // no error
    for(final E e : elements) {
        if(result == null || result.compareTo(e) < 0) {
            result = e;
        }
    }
    return result;
}

Answer 2

Tja，可选。 如果varargs数组为空，怎么回事？

public static final <E extends Comparable<E>> Optional<E> max(final E... elements) {
    Optional<E> result = Optional.empty();
    for(final E e : elements) {
        if(!result.isPresent() || result.get().compareTo(e) < 0) {
            result.set(e);
        }
    }
    return result;
}

或者至少需要一个参数。

public static final <E extends Comparable<E>> E max(final E first, final E... elements) {
    E result = first;
    for (final E e : elements) {
        if (/*result != null ||*/ result.compareTo(e) < 0) {
            result = e;
        }
    }
    return result;
}