Java泛型方法重写

Question

abstract class A {
    abstract public void dosome(Class<? extends Number> c);
}

class B extends A {
    @Override
    public void dosome(Class<Number> c) {}
}

来自Java文档：在类C中声明的实例方法m1覆盖在类A中声明的另一个实例方法m2，如果以下所有条件都为真：。。。。。m1的签名是m2签名的子签名（§8.4.2）。

方法m1的签名是方法m2签名的子签名，前提是：m1的签名与m2签名的擦除相同（§4.6）。

是对一个

dosome(Class<Number> c)?

如果是这样，什么是错的？

EDIT1:或者如果我切换通用类型：

abstract class A {
    abstract public void dosome(Class<Number> c);
}

class B extends A {
    @Override
    public void dosome(Class<? extends Number> c) {}
}

这种情况下有什么问题？

EDIT2：我知道如何修复它，但我想了解，在这种情况下，根据java规则，什么是错误的。

Answer 1

方法doome在抽象类中，调用者可以选择调用任何类型的类，只要它是某种类型的数字

abstract public void dosome(Class<? extends Number> c);

但是您像这样重写了该方法

public void dosome(Class<Number> c) {}

这将阻止用户调用任何类型的Number，这意味着您不能使用integer类型调用。

根据覆盖规则，您不能更改方法参数。所以

类

Answer 2

如果您希望能够根据每个参数类型都必须扩展的公共基类型来定义子类中的具体参数类型，您必须编写以下内容

abstract class A<T extends Number> {
    abstract public void dosome(Class<T> c);
}

class B extends A<Number> {
    @Override
    public void dosome(Class<Number> c) {}
}

代码的问题在于的特殊含义？扩展数字描述具有给定“上限”的“未知”类型，当您不关心或无法获得具体类型时，可以使用该上限。