List
为什么 List extends Number> 不能 add，但能 get 为 Number
因为编译器只保证「取出来的一定是 Number 或其子类」，但完全不确定底层具体是 Integer、Double 还是 AtomicInteger —— 所以禁止写入（连 new Integer(1) 都不许），否则就可能把 Double 列表塞进一个 Integer 元素，破坏类型安全。
常见错误现象：
-
list.add(42);编译报错：「no suitable method found for add(int)」 - 误以为
? extends Number是“比 Number 更宽”，实际它是“比 Number 更窄”的读取视图
使用场景：
- 统计所有数字集合的总和（
sum += list.get(i).doubleValue()） - 批量转换为字符串（
list.stream().map(Object::toString)） - 作为只读参数传给工具方法，比如
printAll(List extends Animal> animals)
为什么 List super Integer> 能 add(Integer)，但 get 只能赋给 Object
因为编译器只知道容器装的是 Integer 的某个父类（可能是 Integer、Number、Object），所以往里塞 Integer 安全（子类可赋值给父类引用），但取出来时，你无法确定它到底是 Number 还是 Object，只能按最上层类型 Object 处理。
典型误用：
-
Number n = list.get(0);→ 编译失败，必须写成Object o = list.get(0); - 试图用
? super T做数据提取，结果发现啥都强转不了
使用场景：
- 收集多种整数来源到一个统一容器：比如把
IntStream的 boxed 结果、用户输入的Integer、解析后的BigInteger（需先转成Integer）都塞进List super Integer> - 作为
Consumer接口的入参，例如void acceptAll(List super Integer> sink, Integer... items)
?、? extends T、? super T 三者参数传递时到底能不能互换
不能随意互换，编译器会按协变/逆变规则严格检查。关键看你是「往外拿」还是「往里塞」：
参数差异：
- 接收
List<string></string>？→ 可用List>或List extends Object>，但List super String>不行（它要求容器至少能存String，而List<string></string>满足；但反过来，List<object></object>能传给? super String，List<string></string>却不能） - 想让方法既支持
List<cat></cat>也支持List<dog></dog>？→ 必须用List extends Animal>，而不是List<animal></animal>（后者拒绝所有子类列表）
容易踩的坑：
- 把
List super Integer>当作「能装一切数字」——其实它不能装Double，也不能装Long，只接受Integer及其父类实例 - 在泛型方法返回值里滥用
? extends T，导致调用方无法确定实际类型，被迫用Object接收
PECS 原则不是口号，是编译器强制执行的读写契约
PECS（Producer Extends, Consumer Super）不是经验总结，是 Java 类型系统为保障运行时安全而设计的硬约束。你写 ? extends T，编译器就锁死写入口；你写 ? super T，它就放弃对读取类型的推断能力。
实战建议：
- 定义方法参数时，先问自己：这个集合是用来「吐数据」还是「吞数据」？吐 →
extends；吞 →super - 永远不要为了“看起来通用”而用
?，除非你真只需要size()、isEmpty()、toString()这类Object方法 - IDE 提示「incompatible types」时，别急着加
@SuppressWarnings("unchecked")，先检查通配符方向是否反了
最常被忽略的一点：
extends 和 super 的边界类型必须是**具体可判别的类或接口**，不能是另一个类型变量（比如 <t> void f(List extends T>)</t> 在某些上下文里会触发模糊推断失败）。立即学习“Java免费学习笔记（深入）”；
