java - 如何在签名中使用泛型正确覆盖抽象方法

Question

我以为我明白如何做到这一点，但我遇到了一些意想不到的行为，所以显然我错过了一些东西。这是问题的归结。

基类:

public abstract class Base<T>
{
    abstract public void foo(List<? extends T> l);
}

派生类:

public class Derived<T> extends Base
{
    @Override
    public void foo(List<? extends T> l) { return; }
}

Base 类符合要求，但是当我编译 Derived 类时，我得到:

Derived.java:3: Derived is not abstract and does not override abstract method foo(java.util.List) in Base

public class Derived extends Base
^
Derived.java:5: method does not override or implement a method from a supertype

@Override  
^  

2 errors

参数的泛型 List<? extends T>似乎是问题的原因。如果我用基本类型 int 替换两个签名中的那部分完成得很好。

谁能告诉我这是怎么回事？

Answer 1

你应该做的

public class Derived<T> extends Base<T>

您需要指定 <T>对于 Base否则你将不得不通过简单地声明 List 来覆盖方法即没有泛型