java - 删除如何处理 Java 中的覆盖场景？

Question

这个问题来 self 之前在 here. 中的帖子.在我发布问题之前，我粘贴了 oracle 文档中的内容；

8.4.8.1. Overriding (by Instance Methods)

An instance method m1, declared in class C, overrides another instance method m2, declared in class A iff all of the following are true:

    C is a subclass of A.

    The signature of m1 is a subsignature (§8.4.2) of the signature of m2.

8.4.2. Method Signature 
The signature of a method m1 is a subsignature of the signature of a method m2 if either:

    m2 has the same signature as m1, or

    the signature of m1 is the same as the erasure (§4.6) of the signature of m2.

我对type erasure的理解什么时候overriding涉及情况如下: 如果在 erasure 之后, signature of m1 and m2相同，则认为是overridden . 所以在我之前的帖子中，我试图 override一个parent class method那需要 List<String>通过 subclass method这需要 List<Integer>假设在 type erasure 之后 剩下的就是List<Object> .但那是错误的。所以我对上面定义的理解 方法overriding什么时候erasure参与是完全错误的。能不能给个简单的 举例说明上述观点。

谢谢。顺便说一句，以上几点来自here.

Answer 1

一个方法是否覆盖另一个不仅仅处理方法的删除。编译器确定一个方法是否覆盖另一个方法，并且在类型删除发生之前它可以访问所涉及的泛型类型参数。

您关于使用删除来确定覆盖的想法不太正确。让我们将以下 JLS Section, 8.4.8.1 添加到讨论中:

An instance method m1, declared in class C, overrides another instance method m2, declared in class A iff all of the following are true:

• C is a subclass of A.

• The signature of m1 is a subsignature (§8.4.2) of the signature of m2.

• Either:

  • m2 is public, protected, or declared with default access in the same package as C, or

  • m1 overrides a method m3 (m3 distinct from m1, m3 distinct from m2), such that m3 overrides m2.

要求 m1 是 m2 的子签名，但反之则不行。

示例 1:

class A {
   public void foo(List<String> list) { }
}

class B extends A {
   @Override
   public void foo(List list) {}
}

这是合法的，因为B的foo方法的签名和A的foo方法的删除是一样的。

示例 2:

class A {
   public void foo(List list) { }
}

class B extends A {
   @Override
   public void foo(List list) {}
}

这是合法的，因为签名是相同的(即使它们是原始的)。

示例 3:

class A {
   public void foo(List list) { }
}

class B extends A {
   @Override
   public void foo(List<Integer> list) {}
}

这是不合法的，因为没有考虑覆盖方法的删除。也就是说，将 List<Integer> 与 List 的删除进行比较，后者仍然只是 List，它们并不相同。

示例 4:

class A {
   public void foo(List<String> list) { }
}

class B extends A {
   @Override
   public void foo(List<Integer> list) {}
}

这又是不合法的，因为没有考虑重写方法的删除。也就是说，将 List<Integer> 与删除 List<String> ( List ) 进行比较，它们不相同。

您不能更改覆盖方法中参数的泛型类型参数(例如 List<String> 到 List<Integer> 。在覆盖未使用泛型的方法时不能引入泛型(例如( List 到 List<Integer> )。但是，您可以删除覆盖时的泛型(例如 List<String> 到 List )。