我正在阅读关于 jdk6 的令人难以置信的书“java scjp 认证程序员指南”，其中有一个关于泛型覆盖的部分。它描述了子签名和覆盖等效项，并描述了我引用的一些覆盖等效项的示例：

给定类中的以下三个泛型方法声明：

static <T> void merge (MyStack<T> s1, MyStack<T> s2) { /*...*/ }

static <T> void merge (MyStack<T> s1, MyStack<? extends T> s2) { /*...*/ }

static <T> void merge (MyStack<T> s1, MyStack<? super T> s2) { /*...*/ }

擦除后，这三个方法的签名为：merge(MyStack, MyStack)即，方法的签名是重写等效的，因此这些方法 没有超载。

我不完全同意这些方法是覆盖等效的，事实上，我认为这些方法有“删除的名称冲突”，但没有一个是另一个方法的子签名......可能我错了，所以我想对此有所了解。

签名的定义让我认为它们不是它们之间的签名。

在 JSL 6 #8.4.2 方法签名中（http://docs.oracle.com/javase/specs/jls/se6/html/classes.html#8.4.2 http://docs.oracle.com/javase/specs/jls/se6/html/classes.html#8.4.2)

如果两个方法具有相同的名称和参数类型，则它们具有相同的签名。 如果满足以下所有条件，则两个方法或构造函数声明 M 和 N 具有相同的参数类型：

• 他们。具有相同数量的形式参数（可能为零）

• 它们具有相同数量的类型参数（可能为零）

• Let <A1,...,An>是 M 的形式类型参数，令<B1,...,Bn>是 N 的形式类型参数。将 N 类型中每次出现的 Bi 重命名为 Ai 后，相应类型变量的界限以及 M 和 N 的参数类型是相同的。

方法 m1 的签名是方法 m2 的签名的子签名，如果 m2 与 m1 具有相同的签名，或者 m1 的签名与 m2 的签名擦除相同

...

两个方法签名 m1 和 m2 是覆盖等效的，当且仅当 m1 是 m2 的子签名或 m2 是 m1 的子签名。

在 JSL 8 # 8.4.2 中。方法签名（http://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.2 http://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.2)

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

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

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

• m1的签名与m2的签名擦除相同。

两个方法签名 m1 和 m2 是覆盖等效的，当且仅当 m1 是 m2 的子签名或 m2 是 m1 的子签名。

EDIT 1

简而言之，我的疑问是，从关于删除的签名定义中，我明白 “一个没有删除的签名等于另一个签名的删除”..而不是 “擦除后的两个签名是相等的”..它微妙但很重要 （顺便说一句，覆盖等效定义基于子签名定义，这就是我询问子签名的原因）

TL;DR

在我看来，这本书的措辞在这里并没有很好地结合在一起。重载是根据覆盖等价性的否定来定义的，根据金龙生 (8.4.9) http://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.9（释义：如果存在两个同名的方法，但不等效重写，那么它们就会重载）。

但给出的例子是方法是NOT覆盖等效，但是DO由于其他原因导致编译时错误（名称冲突 - 中指定的特定编译时错误JLS 8.4.8.3 http://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.8.3），因此不要超载。

Preamble

据我了解，您提出的问题是关于这句话的确切语义的：

“...或者m1的签名与m2签名的擦除相同”

结合

m1 和 m2 是覆盖等效的，当且仅当 m1 是 m2 的子签名或 m2 是 m1 的子签名。

你的书暗示这应该解释为

"or the 的擦除m1的签名与m2签名的擦除相同"

（添加的单词以粗体斜体显示）。

而你会把它解释为

“或 m1 的签名（无需擦除) 与m2签名的擦除相同"

你的解释是正确的。我不认为这句话有歧义，因此我认为用第一种方式解释它（即erasure两个签名相同）是不正确的。你可能会喜欢看看这个相关的答案 https://stackoverflow.com/a/21690951/838992在这里增加我的观点的分量（我发现它是因为我也想检查我的理解）。

回答（不过……）

您引用的书中的部分实际上是在尝试描述超载。

现在 - 当考虑超载时 -JLS（8.4.9）说 http://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.9 that:

如果一个类的两个方法（无论是在同一个类中声明，还是都由一个类继承，或者一个声明一个继承）具有相同的名称，但签名不是重写等效的，则该方法名称被称为超载。

至少从 Java 6 开始，这一点是一致的。这就是两者之间的联系所在override-equivalent和超载源于。

好的 - 所以你的方法会重载，因为它们不是严格覆盖等价的。正确的？

Wrong.

因为就在该部分的上方在 8.4.8.3 中，JLS http://docs.oracle.com/javase/specs/jls/se8/html/jls-8.html#jls-8.4.8.3放入特定的编译时错误：

如果类型声明 T 具有成员方法 m1 并且存在 T 中声明的方法 m2 或 T 的超类型，并且满足以下所有条件，则会出现编译时错误：

• m1 和 m2 具有相同的名称。

• m2 可从 T 访问。

• m1 的签名不是 m2 签名的子签名（第 8.4.2 节）。

• m1 或 m1 重写（直接或间接）的某些方法的签名与 m2 或 m2 重写（直接或间接）的某些方法的签名具有相同的擦除。

这就是您的示例中的场景。就在该部分的下方，它阐明了为什么有必要：

这些限制是必要的，因为泛型是通过擦除来实现的。上面的规则意味着在同一个类中声明的具有相同名称的方法必须具有不同的擦除。它还意味着类型声明不能实现或扩展同一泛型接口的两个不同调用。

边注

书中的示例很奇怪，因为 Java 不允许重写静态方法（而子类中方法的签名可能会在超类中隐藏该方法）。在我看来，这使得不覆盖等效的概念对于学习者来说有点棘手。但是，您可以删除static并且仍然可以看到他们试图展示的效果。