本文深入解析java泛型中下界通配符? super animal为何允许调用sett(new dog())，对比上界通配符? extends animal的只读特性，阐明pecs原则（producer extends, consumer super）在实际编码中的核心逻辑。
本文深入解析java泛型中下界通配符? super animal为何允许调用sett(new dog())，对比上界通配符? extends animal的只读特性，阐明pecs原则（producer extends, consumer super）在实际编码中的核心逻辑。
在Java泛型中，通配符的上下界设计并非语法糖，而是编译器保障类型安全的关键机制。理解其行为，关键在于把握“能安全写入什么” 与 “能安全读出什么” 的逻辑边界。
上界通配符 ? extends T：安全读取，禁止写入
声明 A<? extends Animal> 表示该容器的实际类型是 A<X>，其中 X 是 Animal 的某个具体未知子类型（如 Dog、Cat 或 Animal 自身）。由于编译器无法确定 X 的确切类型，为防止类型污染，它禁止任何写入操作：
public static void print1(A<? extends Animal> obj) {
// ❌ 编译错误：无法保证 Cat 是 obj 内部 T 的具体类型
// obj.setT(new Cat());
// ✅ 安全：getT() 返回类型一定是 Animal 或其子类，可向上转型为 Animal
Animal a = obj.getT(); // 编译通过
System.out.println(a.getClass());
}此处 getT() 的返回值被保守推断为 Animal（即上界），因此可安全赋值给 Animal 类型变量；但 setT() 的参数需精确匹配内部 T，而 T 未知，故禁止调用。
下界通配符 ? super T：安全写入，读取受限
声明 A<? super Animal> 表示该容器的实际类型是 A<Y>，其中 Y 是 Animal 的某个具体未知父类型（如 Object、Animal 自身，或自定义的 LivingBeing）。此时，Y 必然能容纳 Animal 及其所有子类实例——因为子类对象天然可赋值给父类引用：
立即学习“Java免费学习笔记（深入）”；
public static void print2(A<? super Animal> obj) {
// ✅ 编译通过：Dog 是 Animal 的子类，而 Animal 是 Y 的子类型，故 Dog → Y 安全
obj.setT(new Dog());
// ⚠️ 注意：getT() 返回类型仅为 Object（下界中最宽泛的公共父类）
Object o = obj.getT(); // 编译通过，但只能获得 Object 引用
// Animal a = obj.getT(); // ❌ 编译错误：无法保证返回值是 Animal
System.out.println(o.getClass());
}setT(new Dog()) 能通过编译，是因为 Dog 是 Animal 的子类，而 Animal 是 Y 的子类型（Y 是 Animal 的超类），因此 Dog 可安全赋值给 Y 类型的字段。但反向地，getT() 的返回类型被推断为 Object（? super Animal 的所有可能 Y 的公共上界），导致读取后只能以 Object 类型使用，丧失具体类型信息。
核心原则：PECS（Producer-Extends, Consumer-Super）
这一设计直指泛型容器的本质角色：
- Producer（生产者）：主要提供数据（如 List<? extends Number> 用于读取 Number），用 extends —— 保证读取安全。
- Consumer（消费者）：主要接收数据（如 List<? super Integer> 用于写入 Integer），用 super —— 保证写入安全。
✅ 实际建议：若方法仅遍历集合，用 <? extends T>；若方法仅向集合添加元素，用 <? super T>；若需同时读写，应避免通配符，直接使用具体类型参数。
理解通配符的本质，是掌握Java泛型类型安全的基石——它不是限制，而是编译器为你筑起的类型防火墙。
