java有界通配符理解问题[重复]

Question

我是 Java 新手，我在网上阅读了很多关于 ? super T 或 ? extends T 的文章，但我仍然不明白。这是我的例子：

public class A<T> {

    private T t;

    public T getT() {
        return t;
    }

    public void setT(T t) {
        this.t = t;
    }

    public void doExtends(A<? extends T> b) {
        T t = b.getT();      //ok
        this.setT(b.getT()); // ok
        b.setT(this.getT()); // error
    }
    public void doSuper(A<? super T> b) {
        T t = b.getT();       // error
        this.setT(b.getT()); // error
        b.setT(this.getT()); // ok
    }
}

为什么会出现错误？我的问题与 cmets 中引用的问题不同

Answer 1

事情如下：

在doExtends(A<? extends T> b) 中，您指定b 的类型为A，封装了可​​能是T 的unknown 子类的内容。因此，做T t = b.getT() 是完全可以的，因为b.getT() 产生了extends T 的东西（所以你可以转换为T）。 this.setT(b.getT()) 也是如此 - 相当于 this.setT(t)。现在让我们看一下方法的最后一行b.setT(...)。如前所述，A 包含T 的未知子类。但是您想填充 T（this.getT() 产生 T）并且您不能确定您的 T 是否匹配可能在 b 中的 子类 - 这就是它的原因不工作。

接下来是doSuper(A<? super T> b) - 这里b 包含T 或可能 T 本身的未知超类。这就是为什么最后一行 - 设置值 - 非常好。 this.getT() 产生一个 T ，您始终可以将其强制转换为任何超类。但是，当您使用b.getT() 获得值时，您只知道它是T 的未知超类，但不保证 是T。你基本上不知道它会是什么类。