上限通配符 ? 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> 本身不创建容器，它只是对已有容器的引用约束：

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

• ✅ 合法赋值：new ArrayList<integer>()</integer>、new LinkedList<bigdecimal>()</bigdecimal>、new ArrayList<number>()</number>
• ❌ 非法赋值：new ArrayList<string>()</string>、new ArrayList<object>()</object>（Object 不是 Number 的子类）

也就是说，它不限制你“定义子类”，而是限制你“把哪个具体类型的集合传进来”——必须满足“该类型 ≤ Number”（即继承/实现关系成立）。

接口和 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。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南