Java 泛型机制中怎么通过通配符的协变与逆变特性理解 PECS 原则-java教程-PHP中文网

java泛型默认不变，但通过? extends t（协变，读取安全）和? super t（逆变，写入安全）实现类型放宽，遵循pecs原则：producer-extends、consumer-super。

java 泛型机制中怎么通过通配符的协变与逆变特性理解 pecs 原则

Java 泛型本身是不变的，但通配符（? extends T 和 ? super T）提供了安全的类型放宽机制——协变用于读取，逆变用于写入。PECS 原则正是对这两种使用场景的精准概括：Producer-Extends，Consumer-Super。

协变（`? extends T`）对应“生产者”

当你只从集合中获取元素、不往里放时，用 ? extends T。它表示“能装 T 或其子类”，所以读出来的元素至少是 T 类型，可安全赋值给 T 变量。

例如：List extends Number> 可以是 List<integer></integer> 或 List<double></double>，从中 get(0) 得到的是 Number，安全
但不能调用 add(...) —— 编译器不知道具体是哪个子类型，加 Integer 还是 Double 都可能出错
本质是“只出不进”，适合作为数据源（Producer）

逆变（`? super T`）对应“消费者”

当你只往集合中添加元素、不关心读出来是什么时，用 ? super T。它表示“能装 T 或其父类”，所以往里加 T 是安全的，因为任何 T 都能放进 T 的父类容器中。

deep-java-review

Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...

下载

例如：List super Integer> 可以是 List<integer></integer>、List<number></number> 或 List<object></object>，往里 add(new Integer(42)) 总是合法
但 get(0) 返回的是 Object（最宽上界），无法直接当 Integer 用，除非强转
本质是“只进不出”，适合作为数据目标（Consumer）

为什么不能混用？类型安全是硬约束

泛型不变性防止了运行时类型错误。数组允许协变（String[] 赋给 Object[]），但会引发 ArrayStoreException；泛型通过编译期限制彻底规避这类风险。

List<string></string> 不是 List<object></object> 的子类型，否则 list.add(new Object()) 就会污染字符串列表
通配符不是绕过规则，而是按需启用受限的型变：读就协变，写就逆变，各守边界
如果既要读又要写，就别用通配符，直接用确定类型，比如 List<t></t>