为什么List不能同时作为基类泛型方法和派生类非泛型方法的参数？

Question

为什么<代码>列表

 class Base {
     <T> void f(List<String> arg) {}
 }

 class Derived extends Base {
     void f(List<String> arg) {}

     // above is compile ERROR: method f(List<String>) of type Derived has the same erasure 
     //as f(List<String>) of type Base but does not override it
 }

我不明白编译器的消息和编译错误的原因。

返回类型没有问题：

class Base {
     <T> List<String> f() { return null; }
}

class Derived extends Base {     
    List<String> f() { return null; }  // perfectly valid as return-type
}

Answer 1

问题是你的第一个声明不完整：

<T> void f(List<String> arg) {}de here

在返回类型之前定义的任何泛型通常都应该在方法的参数中使用。因为它没有被使用；对于不完整性，reason编译器首先将超类与子类中的方法视为类似，因为参数相同，但当它看到超类中涉及一个泛型，而子类中不涉及该泛型时，它无法确定它的确切含义。

返回类型不起任何作用，例如，尝试以下仍然会显示错误：

class Base {
     <T> List<String> f(List<String> arg) { return null; }
}

class Derived extends Base {     
    List<String> f(List<String> arg) { return null; }
}

我建议完全遵循泛型语法，以免出现这种奇怪的行为。

Answer 2

哇，那是一个有趣的搜索。

这取决于一个方法何时重写另一个方法的确切说明。

相关部分在Java语言规范的§8.4.8.1覆盖（通过实例方法）中（我使用的是Java 14）。

在类C中声明或由类C继承的一个实例方法mC，重写了类A中声明的另一个方法mA，如果以下所有条件均为真：

[...]

• mC的签名是mA签名的子签名（§8.4.2）

让我们看看§8.4.2。方法签名：

两个方法或构造函数，M和N，如果它们具有相同的名称，相同的类型参数（如果有的话），则具有相同的签名（§8.4.4），并且在将N的形式参数类型调整为M的类型参数，形式参数类型相同。

方法m1的签名是方法m2签名的子签名，如果：

m2具有与m1相同的签名，或

m1的签名与m2签名的擦除（§4.6）相同。

当m1是m2的子符号或m2是m1的子符号时，两个方法签名m1和m2是覆盖等价的。

对于我们的案例，有两件事需要注意：

>

有问题的两个签名不相同，因为类型参数的数量不相同。

它们不是子签名，因为这将要求其中一个是对另一个的擦除，但两个签名都包含泛型类型（List）

=

但是它们的擦除是一样的。擦除基本上删除所有类型参数。有关更复杂的细节，请参阅§4.6类型擦除。但是这里重要的是签名的擦除是：无效f（List arg）

这违反了§8.4.8.3中关于覆盖和隐藏的要求：

如果类型声明T具有成员方法m1，并且存在在T中声明的方法m2或T的超类型，并且以下所有内容均为true，则为编译时错误：

• m1和m2同名。
• m2可从T.
• m1的签名不是m2签名的子签名（§8.4.2）。
• m1或某些方法m1覆盖的签名（直接或间接）与m2或某些方法m2'覆盖的签名（直接或间接）具有相同的擦除。

当然，这给我们带来了一个问题：为什么使用子签名的奇怪定义？

这实际上在§8.4.2中进行了解释。方法签名：

子签名的概念旨在表示两个方法之间的关系，这两个方法的签名不完全相同，但其中一个方法可以覆盖另一个方法。具体来说，它允许签名不使用泛型类型的方法重写该方法的任何泛型版本。这一点很重要，这样库设计人员就可以独立于定义库的子类或子接口的客户端自由地生成方法。