Question

我正在扩展一个我无法改变的库中定义的类：

public class Parent
{
    public void init(Map properties) { ... }
}

如果我正在定义一个扩展Parent的类'Child'而我正在使用带有泛型的Java 6，那么在不获取未经检查的警告的情况下覆盖init方法的最佳方法是什么？

public class Child extends Parent
{
    // warning: Map is a raw type. References to generic type Map<K,V> should be parameterized
    public void init(Map properties) { }
}

如果我添加通用参数，我会得到：

   // error: The method init(Map<Object,Object>) of type Child has the same erasure as init(Map) of type Parent but does not override it
   public void init(Map<Object,Object>) { ... }
   // same error
   public void init(Map<? extends Object,? extends Object>) { ... }
   // same error
   public void init(Map<?,?>) { ... }

无论是使用特定类型，有界通配符还是无界通配符，都会发生此错误。是否有正确或惯用的方法来覆盖非通用方法而没有警告，并且没有使用@SuppressWarnings（“未选中”）？

Answer 1

是的，您必须使用与父类相同的签名声明覆盖方法，而不添加任何泛型信息。

我认为最好的办法是将@SuppressWarnings("unchecked")注释添加到raw-type参数中，而不是方法中，这样您就不会压制自己代码中可能包含的其他泛型警告。

Answer 2

简短回答：无法做到这一点。

不满意的答案：禁用IDE / build.xml中的（特定）警告。

如果您无法更改库，唉，您必须坚持使用非泛型方法。

问题在于，尽管在类型擦除之后，init（）都具有相同的签名，但它们实际上可能是不同的方法 - 或者相同（*）。编译器无法判断是否应该覆盖或超载，因此禁止使用。

（*）假设库开发人员意味着init（Map＆lt; String，Integer＆gt;）。现在您正在实现init（Map＆lt; String，String＆gt;）。这是重载，在Child类的vtable中应该存在两种方法。

但是如果库开发人员意味着init（Map＆lt; String，String＆gt;）怎么办？然后它覆盖了，你的方法应该替换 Child类中的原始init，并且在vtable中只有一个方法。

P.S。我讨厌Generics如何在Java中实现： - （

Answer 3

我认为上面的答案意味着代替@SuppressWarnings（“rawtypes”）。

Answer 4

您必须使用与父级相同的签名声明方法，因此在编译时将收到警告。您可以使用@SuppressWarnings（“未选中”）

来抑制它们

无法摆脱这种情况的原因是警告可以让您知道可以在其中创建包含无效类型的集合。只有当可能允许的所有代码都被删除时，警告才会消失。由于您继承自非泛型类，因此始终可以创建具有无效内容的Collection。

使用原始类型参数覆盖方法时，是否可以避免取消选中警告？

4 个答案: