Java 泛型 - Java 泛型通配符（上界通配符、下界通配符、无界通配符、PECS 原则）

一、上界通配符

• 上界通配符? extends T，表示 T 或 T 的任意子类型，只能读取，不能写入

List<?extendsNumber>list=newArrayList<Integer>(List.of(1,2,3));Numbernum=list.get(0);// 安全读取为 Number

// 不能写入 Integer 类型，因为无法确定具体类型，list 可能是 List<Integer>，也可能是 List<Double> 等publicvoidtest_write(List<?extendsNumber>list){list.add(newInteger(100));}

// 除了写入 nullpublicvoidtest_write(List<?extendsNumber>list){list.add(null);}

二、下界通配符

• 下界通配符，? super T，表示 T 或 T 的任意父类型

List<?superInteger>list=newArrayList<Number>();list.add(newInteger(1));// 安全，Integer 是 Number 子类

// 只能读取为 Object，因为无法确定具体类型，list 可能是 List<Integer>，也可能是 List<Number> 等publicvoidtest_read(List<?superInteger>list){Objectobj=list.get(0);}

三、无界通配符

• 无界通配符，?，表示任意类型，只读为 Object

// 不能写入，因为无法确定具体类型，list 可能是 List<Dog>，也可能是 List<Cat> 等// 只能读取为 Object，因为无法确定具体类型，list 可能是 List<Dog>，也可能是 List<Cat> 等voidprocess(List<?>list){for(Objectobj:list){}}

PECS 原则

• PECS，全称 Producer Extends Consumer Super，用于指导泛型通配符的使用

1. Producer Extends：生产者，使用上界通配符作为返回类型

2. Consumer Super：消费者，使用下界通配符作为参数类型