Question

我想知道为什么java不允许覆盖较低的有界泛型参数。

public interface NumberConsumer {
    public void accept(Consumer<? super Number> consumer);
}

public interface IntegerConsumer extends NumberConsumer {
    @Override
    public void accept(Consumer<? super Integer> consumer);
}

在上面的示例中，覆盖方法接受是完全安全的，因为NumberConsumer可以使用Numbers of Numbers，Serializables和Objects，而IntegerConsumer也可以使用所有这些和整数。

这也是不允许的，即使它也非常安全。

public interface IntegerPrinter {
    public void print(List<? extends Integer> list);
}

public interface NumberPrinter extends IntegerPrinter {
    @Override
    public void print(List<? extends Number> list);
}

这里NumberPrinter可以毫无问题地使用List<? extends Integer>。

最后，在返回时允许一些类似的情况（或相反）。

public interface NumberListProducer {
    java.util.List<? extends Number> next();
}

public interface IntegerListProducer extends NumberListProducer {
    @Override
    java.util.List<? extends Integer> next();
}

Answer 1

这不是泛型问题，而是java如何处理其overriding功能。

重写方法具有相同的名称，参数的数量和类型，并返回类型作为它覆盖的方法。重写方法还可以返回由重写方法返回的类型的子类型。此子类型称为协变返回类型。

因此，仅在返回类型中的覆盖方法中允许继承类型。类型的精确匹配应该在方法参数中发生。

例如，以下情况会引发错误。

interface PaterntInterface {
    public void accept(Integer consumer);
}

interface ChildInterface extends NumberConsumer {
    @Override
    public void accept(Number consumer);
}

interface PaterntInterface {
    public void accept(Number consumer);
}

interface ChildInterface extends NumberConsumer {
    @Override
    public void accept(Integer consumer);
}

以下案例正确编制。

interface PaterntInterface {
    public void accept(Integer consumer);
}

interface ChildInterface extends NumberConsumer {
    @Override
    public void accept(Integer consumer);
}

interface PaterntInterface {
    public void accept(Number consumer);
}

interface ChildInterface extends NumberConsumer {
    @Override
    public void accept(Number consumer);
}

你的论点是你的第一个案例，

public interface NumberConsumer {
    public void accept(Consumer<? super Number> consumer);
}

public interface IntegerConsumer extends NumberConsumer {
    @Override
    public void accept(Consumer<? super Integer> consumer);
}

应该没问题，因为Consumer<? super Integer>是Consumer<? super Number>的超类是无效的，因为覆盖需要完全匹配方法参数类型。你的第二种情况也一样。第三种情况编译，因为java.util.List<? extends Integer>是java.util.List<? extends Number>的子类型，并且在方法覆盖中允许继承返回类型

覆盖较低的有界参数

1 个答案: