Java中＜?superT＞和List＜?extendsT＞的区别

Java中和List的区别

下面通配符声明List foo3的赋值式是合法的&＃xff1a;

List<? extends Number> foo3 &＃61; new ArrayList<Number>(); // Number "extends" Number (in this context)
List<? extends Number> foo3 &＃61; new ArrayList<Integer>(); // Integer extends Number
List<? extends Number> foo3 &＃61; new ArrayList<Double>(); // Double extends Number


1. 读 - 上面给出可能的赋值式&＃xff0c;你能确保从List foo3读取什么类型的对象&＃xff1f;&＃xff1a;
   • 你可以读取一个Number&＃xff0c;因为任意包含一个Number或一个Number子类的列表都可赋值于foo3。
   • 你不可读取一个Integer&＃xff0c;因为foo3可以指List。
   • 你不可读取一个Double&＃xff0c;因为foo3可以指List。
2. 写 - 上面给出可能的赋值式&＃xff0c;你能添加什么类型的对象至List foo3&＃xff1f;&＃xff1a;
   • 你不能添加一个Integer&＃xff0c;因为foo3可以指List。
   • 你不能添加一个Double&＃xff0c;因为foo3可以指List。
   • 你不能添加一个Number&＃xff0c;因为foo3可以指List。

你不能将任何对象添加到List是因为你不能保证它真正指向的是哪种类型的列表&＃xff0c;因此&＃xff0c;你不能保证某对象在该列表中是允许的。唯一的“确保”是你只能从中读取&＃xff0c;你会得到一个T或者T的子类。

下面通配符声明List foo3的赋值式是合法的&＃xff1a;

List<? super Integer> foo3 &＃61; new ArrayList<Integer>(); // Integer is a "superclass" of Integer (in this context)
List<? super Integer> foo3 &＃61; new ArrayList<Number>(); // Number is a superclass of Integer
List<? super Integer> foo3 &＃61; new ArrayList<Object>(); // Object is a superclass of Integer


1. 读 - 上面给出可能的赋值式&＃xff0c;你能确保从List foo3读取什么类型的对象&＃xff1f;&＃xff1a;
   • 你不能确保读取一个Integer&＃xff0c;因为foo3可以指List或List。
   • 你不能确保读取一个Number&＃xff0c;因为foo3可以指List。
   • 唯一能确定的是你能读取一个Object或Object子类的对象&＃xff08;但是你不知道具体哪个子类&＃xff09;。
2. 写 - 上面给出可能的赋值式&＃xff0c;你能添加什么类型的对象至List foo3&＃xff1f;&＃xff1a;
   • 你可以添加一个Integer或Integer的子类。
   • 你不能添加一个Number&＃xff0c;因为foo3可以指List。
   • 你不能添加一个Object&＃xff0c;因为foo3可以指List。

PECS

记住PECS: “Producer Extends, Consumer Super”。

• "Producer Extends" - 如果你需要一个List来生产T值&＃xff08;你想从列表读取T&＃xff09;&＃xff0c;你就用? extends T来声明它&＃xff0c;如List。但是你不能够添加东西到列表中。
• "Consumer Super" - 如果你需要一个List来消费T值&＃xff08;你想从列表写入T&＃xff09;&＃xff0c;你就用? super T来声明它&＃xff0c;如List。但是你能从列表读取什么类型对象是不能确定的。
• 如果你要列表读写兼顾&＃xff0c;你就不要任何通配符声明该列表&＃xff0c;如List。

我的助记

• PECS -> PE teacher taught me computer science.
• extends du, super xie -> edsx -> 恶毒的思想

一个例子

public class Collections { public static <T> void copy(List<? super T> dest, List<? extends T> src) {for (int i &＃61; 0; i < src.size(); i&＃43;&＃43;) dest.set(i, src.get(i)); }
}


关于该例更多说明。

参考资料

Difference between and in Java