Java泛型中下界通配符? super T的原理与应用-java教程-PHP中文网

Java泛型中下界通配符? super T的原理与应用

本文深入解析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 是 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 是 Animal 的某个具体未知父类型（如 Object、Animal 自身，或自定义的 LivingBeing）。此时，Y 必然能容纳 Animal 及其所有子类实例——因为子类对象天然可赋值给父类引用：

JavaStoryDevelop

你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在

下载

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 —— 保证写入安全。