Java重写泛型方法

Question

这是如何编译的：

interface Test {
    <T extends Integer> T getValue(T n);
}

class Impl implements Test{
    public Integer getValue(Integer n) {
        return n;
    }
}

但这并不是：

interface Test {
    Integer getValue(Integer n);
}

class Impl implements Test{
    public <T extends Integer> T getValue(T n){
        return n;
    }
}

它给我以下编译错误：

Impl不是抽象的，并且不会覆盖测试中的抽象方法getValue（整数）

错误：名称冲突：Impl中的getValue（T）和测试中的getValue（Integer）具有相同的擦除，但两者都不重写另一个

擦除不能确保t被整数替换吗？那么为什么第二个例子是无效的呢？

Answer 1

您可以使用非泛型方法重写泛型方法，其签名是对泛型方法的擦除，但不是相反。这有一个很好的理由——允许超类型迁移到泛型，而不强制所有子类在同一天迁移。因此，编译器可以容忍被擦除的覆盖。但是，在另一个方向上，您试图用泛型方法覆盖非泛型方法，并且没有合理的迁移场景可以产生这种情况——这只是一个错误。

班级也是如此；你可以写

class Foo<T> { }
class Bar extends Foo { }

但不是

class Foo { }
class Bar extends Foo<T> { }