如何向接口添加未使用的泛型参数会阻止实现它的类？

Question

以下代码

public interface IGiveUp
{
    void surrender(List<Class> l);
}
public class GiveUp implements IGiveUp {

    @Override public void surrender(List<Class> l) {}
}

编译好.但是当我向接口添加一个未使用的泛型类型参数时

public interface IGiveUp<X>
{
    void surrender(List<Class> l);
}

它无法编译(javac 1.6.0_23)

IGiveUp.GiveUp is not abstract and does not override abstract method surrender(java.util.List)

如果我在实现中指定泛型,它将编译

public class GiveUp implements IGiveUp<Object>

或使方法参数成为非泛型类型的列表

void surrender(List l);

Answer 1

您的类正在尝试实现原始类型 IGiveUp - 原始类型对泛型不了解,因此类型擦除后的方法签名就是:

void surrender(List l)

方法参数没有使用接口声明中的类型参数也没关系:type erasure 从签名中删除所有泛型的痕迹.

基本上,你应该尽可能避免原始类型.有关更多详细信息,请按照上面的链接查看JLS的各个部分,或阅读Java Generics FAQ.