在Java中用泛型方法重写泛型方法

Question

安吉丽卡·兰格（Angelica Langer）在关于仿制药的常见问题解答中说（参见Technicalities.FAQ822）：

如果这些方法具有具有不同边界的类型参数，则它们不会重写，因为这些方法的签名不是重写等价的。请记住，类型参数边界是泛型方法签名的一部分。

示例（泛型子类型方法重载泛型超类型方法；不推荐）：

class Super {
   public <T> void set( T arg) { ... }
   public <T> T get() { ... }
}
class Sub extends Super {
   public <S extends Number > void set( S arg) { ... } // overloads
   public <S extends Number > S get() { ... }         // overloads
}

我不明白为什么get方法在类Sub中重载。据我所知，这应该是一个编译时错误，因为get在Sub和Super中具有相同的签名（返回类型不是它的一部分）。

更让我困惑的是，我用来测试代码的IDE（IntelliJ IDEA 14.0.3）突出显示Sub中的get为编译错误，并显示下一条消息：

“Sub”中的“get（）”与“Super”中的“get（）”冲突；两种方法具有相同的擦除，但都不覆盖另一种方法。

但是当我运行程序时，它编译和执行都没有问题。我认为IntelliJ在分析代码时存在某种缺陷，Angelica在她的FAQ中说的是正确的。但我不明白重点。

Answer 1

据我所知，为什么它是重载而不是重写是因为编译器不认为它是重写等效的。在安吉丽卡·兰格的常见问题中，你可以看到它在讨论为什么重写一个不如预期的方法。

http://www.angelikalanger.com/GenericsFAQ/FAQSections/ProgrammingIdioms.html#FAQ051

总之，方法具有相同的名称和参数，但基于泛型子类型的方法定义为不同的。即使使用覆盖注释，编译器也会将其视为重载方法。在使用泛型时，有一个添加到方法的层，其中泛型类型作为方法的一部分应用，该方法可以唯一地定义泛型类型。

Answer 2

我认为删除是公开的

它编译并运行：

class B {
    public <T> T get() {
        return null;
    }

}

class A extends B {
    @Override
    public <S> S get() {
        return null;
    }

这没有：

class B {
        public <T> T get() {
            return null;
        }

    }

    class A extends B {
        @Override
        public <S extends Number> S get() {
            return null;
        }

Answer 3

根据JLS，方法签名不包括返回类型，而只包括方法名及其参数的类型。这意味着编译Super和Sub时，编译错误应该返回，因为Sub.get（）具有与Super.get（）相同的擦除，但不会覆盖或重载Super.get（）。它不能重写，因为有界类型X扩展数字不是类型X的子类型，它不能重载，因为返回类型不是方法签名的一部分。在这种情况下，Sub.set重载Super.set。

至于为什么你可以编译和运行它。如果您运行的是Java 6，那么Java 6中有一个已知的错误，它会编译Super和Sub。在Java 7中，这是固定的，是不允许的。