java - 为什么泛型不能应用于相同的签名？

Question

我有以下代码片段，乍一看它应该可以工作，但我收到了非常有趣的错误:

'apply(capture<? extends Generic.MyClass>)' in 'java.util.function.Function' cannot be applied to '(capture<? extends Generic.MyClass>)'

此错误发生在这里:function.apply(wrapper.value);

我错过了什么？

public class Generic {

    public static void main(String[] args) {
        Wrapper wrapper = new Wrapper<>(new MyClass());
    }

    private static void method(Wrapper<? extends MyClass> wrapper) {
        Function<? extends MyClass, String> function = (MyClass m) -> m.getClass().toString();
        function.apply(wrapper.value);
    }

    static class Wrapper<T extends MyClass> {
        private final T value;

        Wrapper(T value) {
            this.value = value;
        }
    }

    static class MyClass {

    }

}

Answer 1

将变量类型改为(*):

Function<MyClass, String>

？ extends MyClass 表示此函数接受 MyClass 的特定子类，但您只是不知道是哪一个。

虽然错误消息使类型看起来相同，但它们不是:每个 ? extends MyClass 指的是不同的(但特定的)类型。

您唯一可以安全地传递给此函数的是文字 null。

缩写PECS告诉您 extends 用于生产者方法(例如“wrapper produces value”)。它不用于消费者方法(例如“函数接受 T 作为参数”):这就是 super 的用途。

---

(*) 或者只使用 wrapper.value.getClass().toString();，而不用声明函数。