通配符捕获是Java编译器自动启用的类型推断机制，用于为? extends T或? super T临时引入唯一未知类型变量（如capture#1），在方法调用等场景中恢复局部类型一致性，使因泛型不变性被拒的操作合法，但不改变运行时擦除本质。
Java 中通配符捕获（Wildcard Capture）不是显式语法，而是一种编译器内部机制，用于在特定上下文中“推断并固定”一个未知但一致的类型，从而绕过泛型类型检查的限制。它常出现在使用 ? extends T 或 ? super T 的泛型方法调用、赋值或泛型方法参数传递中，尤其当编译器无法直接确认类型安全时，通过捕获机制临时引入一个“隐藏的类型变量”，让操作变得合法。
为什么需要通配符捕获？
泛型在 Java 中是不可变的（invariant），即使 List<string></string> 是 List<object></object> 的子类型，List<string></string> 也不是 List extends Object> 的子类型——但后者可接受任意具体 List。问题在于：一旦用了通配符，你就不能往里面 add（除 null），也不能直接把不同通配符实例当作同一类型处理。比如：
错误示例：
List<? extends Number> list1 = new ArrayList<Integer>(); List<? extends Number> list2 = new ArrayList<Double>(); // ❌ 编译失败：无法确定 ? 是同一个未知类型 swapFirst(list1, list2); // 假设 swapFirst 要求两个参数是同一种 ? 类型
通配符捕获如何“悄悄起作用”？
当你把通配符引用传给一个**泛型方法**，且该方法形参使用了类型变量（如 <T> void f(List<T> a, List<T> b)），编译器会尝试对每个通配符参数进行“捕获转换”（capture conversion）：为每个 ? extends Number 推出一个独立的、只在此方法调用中有效的“捕获类型”，例如 CAP#1 extends Number 和 CAP#2 extends Number。但如果方法签名要求两个参数共享同一个类型变量 T，编译器就只能尝试让它们都捕获成同一个 CAP#1 —— 这仅在它们“兼容”时才成功。
立即学习“Java免费学习笔记（深入）”；
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
✅ 正确写法（借助捕获）：
// 定义一个泛型辅助方法，触发捕获
static <T> void swapFirst(List<T> a, List<T> b) {
if (!a.isEmpty() && !b.isEmpty()) {
T tmp = a.get(0);
a.set(0, b.get(0));
b.set(0, tmp);
}
}
// 调用时，编译器对 list1 和 list2 分别做 capture，
// 并发现它们都能统一为某个 CAP#1 extends Number → 成功绑定 T = CAP#1
List<? extends Number> list1 = new ArrayList<Integer>();
List<? extends Number> list2 = new ArrayList<Double>();
swapFirst(list1, list2); // ✅ 编译通过（尽管运行时 list1 仍不能 add(Double)）
注意：这个调用能过，是因为 swapFirst 只读取和设置元素，不违反类型安全 —— get(0) 返回 CAP#1，set(0, ...) 接受 CAP#1，而两个列表的元素类型都被视为同一个捕获类型。
手动模拟捕获：用私有泛型方法封装
当 API 不支持泛型方法（比如你只能拿到 List<?> 参数），又想执行类型安全的操作，可以把逻辑移到一个私有泛型方法中，由编译器为你完成捕获：
- 不要直接在 public 方法里操作
List<?> - 把具体逻辑提取到
private <T> void doWork(List<T> list)中 - 在 public 方法里调用它：
doWork(list);—— 此时编译器自动捕获?为某个T
例如，安全地清空一个未知元素类型的列表并返回其大小：
public int safeClear(List<?> list) {
return clearAndGetSize(list); // ✅ 触发捕获
}
private <T> int clearAndGetSize(List<T> list) {
int size = list.size();
list.clear(); // 允许，因为 clear 不依赖 T
return size;
}
捕获的局限与注意事项
- 捕获只发生在方法调用、赋值、强制转换等上下文中，不能显式声明
CAP类型 - 捕获类型是编译期虚构的，不可在代码中写出，也不参与运行时类型信息
- 对
? super T同样适用，但捕获后允许add，不允许安全get（只能得到Object） - 嵌套通配符（如
List<List<? extends Number>>）可能触发多层捕获，理解成本高，建议尽量用具体泛型替代
