覆盖下界参数

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);
}

在上面的示例中，重写方法 accept 是完全安全的，因为 NumberConsumer 可以接受数字、可序列化和对象的消费者，而 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 特性。

覆盖方法与它覆盖的方法具有相同的名称、参数数量和类型以及返回类型。覆盖方法还可以返回被覆盖方法返回的类型的子类型。此子类型称为协变返回类型。

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

例如，以下情况抛出错误。

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

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

   以下情况编译正确。

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

4. 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> 的子类型，并且在方法覆盖中允许继承返回类型