上限通配符 ? extends T 表示容器元素为 T 或其具体子类型,保障读取安全:get() 返回值可安全赋给 T 类型变量,但禁止写入(除 null 外)。

Java 中的上限通配符 ? extends T 并不是用来“限制子类类型”,而是告诉编译器:这个泛型容器里装的,一定是 T 或它的某个具体子类型(比如 Integer、Double 都是 Number 的子类型),但具体是哪一个,编译器不告诉你——它只知道“上限是 T”,下限未知。
它怎么体现“限制”?核心在读取安全
这种“限制”本质是编译期的安全保障,体现在两个方向:
-
允许读取为 T 类型:你可以放心调用
get(),返回值能直接赋给T变量。例如List extends Number> list中,list.get(0)返回的是Number,可安全调用doubleValue()、intValue()等方法。 -
禁止写入具体类型(null 除外):你不能
add(new Integer(1)),也不能add(new Double(2.0)),哪怕它们都是Number的子类。因为编译器无法确认底层容器实际是List<integer></integer>还是List<double></double>—— 插入错误类型会破坏类型一致性。
它不决定“能放哪些子类”,只验证“传进来的是否合法”
声明 List extends Number> 本身不创建容器,它只是对已有容器的引用约束:
- ✅ 合法赋值:
new ArrayList<integer>()</integer>、new LinkedList<bigdecimal>()</bigdecimal>、new ArrayList<number>()</number> - ❌ 非法赋值:
new ArrayList<string>()</string>、new ArrayList<object>()</object>(Object不是Number的子类)
也就是说,它不限制你“定义子类”,而是限制你“把哪个具体类型的集合传进来”——必须满足“该类型 ≤ Number”(即继承/实现关系成立)。
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
立即学习“Java免费学习笔记(深入)”;
接口和 final 类也适用,逻辑不变
? extends 对接口、抽象类、final 类一视同仁:
-
List extends Comparable<string>></string>可接收ArrayList<string></string>(String实现了Comparable) -
List extends String>语法合法,但只能指向ArrayList<string></string>(因为String是final,无子类),且仍禁止add("x")—— 编译器按规则统一处理,不特殊开绿灯。
多上界时,类必须排第一,且仅一个
如果要用多个约束,得写成 ? extends A & B & C 形式,其中:
-
A必须是类(如Date),且只能有一个; -
B、C必须是接口(如Serializable、Cloneable); - 实际类型必须同时满足所有约束,例如
java.util.Date就符合? extends Date & Serializable & Cloneable。

















