Eclipse中的空注释处理器

Question

我正在使用Eclipse JDT Null注释处理器，并且在使用java.lang.Class时我遇到了一些奇怪的行为。

package test;

import org.eclipse.jdt.annotation.Nullable;

public class AnnotationSpul {

    @Nullable
    public <V> V get1(Class<V> type) {
        return get2(type); //This line has a warning
    }

    @Nullable
    public <V> V get2(Class<V> type) {
        return null;
    }
}

这是我的包裹信息：

@NonNullByDefault({ PARAMETER, RETURN_TYPE, FIELD })
package test;

import static org.eclipse.jdt.annotation.DefaultLocation.FIELD;
import static org.eclipse.jdt.annotation.DefaultLocation.PARAMETER;
import static org.eclipse.jdt.annotation.DefaultLocation.RETURN_TYPE;

import org.eclipse.jdt.annotation.NonNullByDefault;

我得到的警告是：“'@NonNull Class'类型的表达式需要未经检查的转换以符合'@NonNull Class <@Nullable V>'”

我不明白为什么我会收到警告。 方法签名完全相同，那么为什么传递的值需要转换？ 为什么在一个方法@NonNull Class<@Nullable V> type推断为@NonNull Class<V>在另一个方法中@NonNull Class<@Nullable V> ？

Answer 1

这是ecj 4.4中的一个错误 。 在类型推断和空推理的组合中，ecj过度地将类型参数推断为@Nullable V

该错误已在4.5M5中修复 ，因此即将发布的版本4.5（Mars）将按预期接受该程序。