添加参数后，用泛型返回类型重写方法失败

Question

我想知道为什么这是一个有效的覆盖：

public abstract class A {

    public abstract <X> Supplier<X> getSupplier();

    public static class B extends A {

        @Override
        public Supplier<String> getSupplier() {
            return String::new;
        }
    }
}

鉴于这不是：

public abstract class A {

    public abstract <X> Supplier<X> getSuppliers(Collection<String> strings);

    public static class B extends A {

        @Override
        public Supplier<String> getSuppliers(Collection<String> strings) {
            return String::new;
        }
    }
}

根据JLS§8.4.8.1，B.getSupplier必须是子签名a.getSupplier：

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

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

子签名在JLS§8.4.2中定义：

两个方法或构造函数，M和N，如果具有相同的名称、相同的类型参数（如果有的话），则具有相同的签名（§8.4.4），并且，在将N的形式参数类型适应M的类型参数之后，具有相同的形式参数类型。

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

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

因此，似乎B.getSupplier是a.getSupplier的子签名，但B.getSuppliers不是a.getSuppliers的子签名。

我不知道怎么会是这样。

如果B.getSupplier是a.getSupplier的子签名，因为它具有相同的擦除，那么B.getSuppliers也必须具有与a.getSuppliers相同的擦除。这应该足以覆盖getSuppliers，使其合法-但事实并非如此。

如果B.getSupplier是a.getSupplier的子签名，因为它具有相同的签名，那么我想知道“相同类型参数（如果有）”的确切含义是什么。

如果考虑类型参数，则它们应该具有不同的类型参数：A.getSupplier具有类型参数X，B.getSupplier没有
如果不考虑类型参数，那么getSuppliers有什么不同？

这更像是一个关于覆盖和泛型的学术问题，所以请不要建议重构代码（比如将类型参数X移动到类等）。）。

我正在寻找一个正式的，基于JLS的答案。

在我看来，B.getSupplier不应该能够覆盖A.getSupplier，因为它们没有相同的类型参数。这使得以下代码（产生ClassCastException）合法：

A b = new B();
URL url = b.<URL>getSupplier().get();

Answer 1

添加参数的那一刻，它就不再是重写，而是过载。

泛型与此无关。

Answer 2

根据编译器输出，两个示例中的方法签名不同（使用-Xlint:unchecked选项编译代码以确认）：

<X>getSupplier() in A (m2)
                                 1st snippet
getSupplier()    in B (m1)


<X>getSuppliers(Collection<String> strings) in A (m2)
                                                           2nd snippet
getSuppliers(Collection<String> strings)    in B (m1)

根据JLS规范，方法m₁的签名是方法m₂签名的子签名，如果：

>

m₂与m₁具有相同的签名，或

m₁的签名与删除m₂的签名相同。

第一种说法是出局——方法签名不同。但是第二个语句和擦除呢？

（m₁）是A的子签名。

• m_{1的签名与m2的签名的擦除相同}

<代码>

（m₁）不是A的子签名。

• m_{1的签名与m2的签名的擦除不同}

m₁的签名：

getSuppliers(Collection<String> strings);

删除m_{2的签名：}

getSuppliers(Collection strings);

从集合更改m1参数

第一

第二个代码片段（无效覆盖）：方法签名最初是不同的，在对父方法应用擦除后仍然不同。