java - Java 上的通配符和子类型

Question

我刚刚开始学习 Java 上的通配符和子类型，并尝试测试我学到的东西。

假设:

Class A { public int y=1; }
Class B extends A { public int x=2; }

主要内容:

List<B> lb = new ArrayList<>();
lb.add(new B());
System.out.println(lb.get(0).y); //Displays member y of Class A
List<? extends A> la = lb;
System.out.println(la.get(0).y); //Can access member y of Class A

List<A> la1 = new ArrayList<>();
la1.add(new A());
System.out.println(la1.get(0).y); //Displays member y of Class A
List<? super B> lb1 = la1;
System.out.println(lb1.get(0).y); //Cannot access member y of Class A? Why?

我不明白为什么我无法使用下限通配符访问成员 y，而可以使用上限通配符。我错过了什么吗？

Answer 1

考虑

Interface X { ... }
Class A { public int y=1; }
Class B extends A implements X { public int x=2; }

List<? super B> lb1 = la1;

现在，lb1 中的对象可以与 A 和 B 完全无关，只要它们实现了 X >。编译器无法知道 lb1.get(0) 有成员 y。

一个更“具体”的例子:

Class X { ... }
Class A extends X { public int y=1; }
Class B extends A { public int x=2; }

使用此层次结构，lb1 中的对象可以是没有成员 y 的 X 类型。