java - Java 通配符不允许类型转换

Question

interface Message<T, L> {
}

interface Foo<T> {
    void frob(Message<T, Foo<?>> message);
}

class AuxiliaryFoo implements Foo<Integer> {
    @Override
    public void frob(Message<Integer, Foo<?>> message) { }
}

class MainFoo implements Foo<Object> {
    @Override
    public void frob(Message<Object, Foo<?>> message) {
        new AuxiliaryFoo().frob(new Message<Integer, MainFoo>() {});
    }
}

Java 编译器告诉我actual argument < anonymous Message< Integer, MainFoo >> cannot be converted to Message< Integer, Foo< ?>> by method invocation conversion.

为什么？

什么可以转换为 Message< Integer, Foo< ?>> ？

Answer 1

你应该使用<? extends Foo<?>>

interface Foo<T> {     
    void frob(Message<T, ? extends Foo<?>> message); 
} 

另外，在处理泛型时值得牢记的是 PECS 规则：Producer Extends，Consumer Super虽然它不直接属于这里，但我不能说它根本不属于这里..