? extends T 只读不可写,因编译器无法确定具体子类型,添加非null元素会破坏类型安全;仅允许get()等读操作,可传null;适用于只读方法参数,提升API兼容性与安全性。
使用 ? extends t 泛型通配符,可以让容器(如 list、collection 等)接受任意 t 的子类集合,同时保证**只读安全**——即能安全地获取元素(因为所有子类都“是”t),但禁止向其中添加(除 null 外)任何对象,从而避免类型污染。
为什么 ? extends T 只能读不能写
编译器无法确定通配符具体代表哪个子类型。例如:List extends Number> 可能是 List、List 或 List。如果允许 add(new Integer(1)),而实际底层是 List,就会破坏类型安全。因此 Java 禁止向 ? extends T 类型的集合中添加任何非 null 元素。
- ✅ 安全操作:调用
get()、iterator().next()、stream().map(...)等——返回值类型是T或其父类(如Object) - ❌ 禁止操作:调用
add()、set()、addAll()(参数不是Collection extends T>时)等会修改内容的方法 - ⚠️ 特例:可以传入
null(因为null是所有引用类型的合法值)
典型应用场景:只读容器方法设计
当你编写一个处理多种数值类型(如 Integer、Double)集合的工具方法时,应使用 ? extends Number 作为参数类型:
public static double sumNumbers(List extends Number> numbers) {
return numbers.stream()
.mapToDouble(Number::doubleValue)
.sum();
}
这样既能接收 List、List,也能接收 List,且编译器确保不会意外往里塞错类型。
- 方法参数用
? extends T→ 表达“我只消费(read)这些元素,它们至少是T” - 返回值慎用
? extends T→ 虽然合法,但调用方可能难以进一步操作(可考虑返回更具体的类型或使用泛型方法) - 避免在字段中长期持有
? extends T类型引用 → 易导致后续使用受限;更适合做方法临时参数
与泛型方法配合提升灵活性
单独用通配符有时不够,结合泛型方法可兼顾类型推导和安全读取:
分析 Java Spring Boot 后端 Controller 代码,自动生成 Markdown 格式的接口文档。当用户说“生成 Java 接口文档”、“生成 API 文档”、“从 Spring 代码生成文档”时触发。
public <e extends number> E findMax(List<e> list) {
return list.stream().max(Comparator.naturalOrder()).orElse(null);
}</e></e>
该方法保留了元素的具体子类型 E,既支持安全读取,又允许返回原类型(如 Integer 而非退化为 Number)。相比 List extends Number>,它更适合需要“读出并保持子类型信息”的场景。
- 通配符适合“消费者”角色(Consumer):强调输入兼容性
- 泛型方法适合“生产者+消费者”混合场景:需在方法内维持类型一致性
- 两者可共存:例如方法参数用通配符接收,内部转为泛型方法处理
常见误区提醒
不要误以为 ? extends T 能代替运行时类型检查。它仅提供编译期安全,不改变实际运行时行为:
- ❌ 错误认知:“用了
? extends Animal就能自动把Dog当Cat用” → 不行,仍需按Animal接口或父类方法访问 - ❌ 错误写法:
List extends String> list = new ArrayList();→String是 final 类,没有子类,这种写法虽合法但无意义 - ✅ 正确思路:把
? extends T看作“只读视图”,核心价值是让 API 更宽松、更安全,而不是绕过类型系统
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










