? extends T 表示上界通配符，限定类型为T或其子类，适用于读取数据的生产者场景，可安全获取元素但不可添加除null外的元素。
Java泛型中的通配符 ? extends T 和 ? super T 主要用于增强集合的灵活性和类型安全性，特别是在方法参数中使用时。它们分别代表“上界限定”和“下界限定”，配合生产者-消费者场景（PECS原则）能更好地控制数据读写操作。
? extends T：上界通配符（生产者，只能出不能进）
表示未知类型，但这个类型是 T 或 T 的子类。适用于从集合中读取数据的场景。
特点：- 可以获取元素并当作 T 类型使用
- 不能向集合中添加除 null 以外的任何元素（因为具体类型未知）
假设你有一个 List extends Number>，它可以引用 ArrayList
你可以这样做：
立即学习“Java免费学习笔记（深入）”；
List<? extends Number> list = new ArrayList<Integer>(); Number num = list.get(0); // ✅ 安全：读出来至少是 Number list.add(new Integer(1)); // ❌ 编译错误：无法确定具体类型，禁止写入
? super T：下界通配符（消费者，只能进不能安全出）
表示未知类型，但这个类型是 T 或 T 的父类。适用于向集合中写入数据的场景。
特点：
- 可以安全地添加 T 类型或其子类的对象
- 读取元素时只能以 Object 类型接收（不保证具体返回类型）
考虑 List super Integer>，它可以指向 List
你可以这样做：
立即学习“Java免费学习笔记（深入）”；
List<? super Integer> list = new ArrayList<Number>(); list.add(42); // ✅ 安全：Integer 是 Integer 的实例 list.add(new Long(1)); // ❌ 编译错误：Long 不是 Integer 子类 Integer i = list.get(0); // ❌ 错误：返回的是 Object，无法直接转为 Integer Object obj = list.get(0); // ✅ 只能用 Object 接收
PECS 原则：如何选择 extends 还是 super
来自《Effective Java》的指导原则：Producer-Extends, Consumer-Super。
- 如果一个集合主要用于**获取元素**（作为生产者），使用 ? extends T
- 如果一个集合主要用于**添加元素**（作为消费者），使用 ? super T
- 如果既要读又要写，就不使用通配符
public static <T> T max(Collection<? extends T> coll, Comparator<? super T> comp)
这里 Collection 是生产者（提供元素比较），所以用 ? extends T；Comparator 是消费者（接收 T 类型进行比较），所以用 ? super T。
基本上就这些。理解 extends 和 super 的核心在于搞清数据流向：往外取用 extends，往里放用 super。
