Java 中的通配符捕获（wildcard capture） 是为了解决通配符（?）表示 “未知类型” 带来的类型信息缺失问题，让编译器能够在特定范围内临时确定通配符对应的具体类型，从而实现类型安全的操作。
核心问题：通配符的 “未知性” 导致的限制
通配符（如 ?、? extends T、? super T、? extends Employee）的本质是表示 “一个未知的具体类型”。例如：
List<?> list = new ArrayList<String>();
这里的 List<?> 表示 “某种未知类型的 List”，编译器只知道它是 List，但不知道具体是 List<String>、List<Integer> 还是其他类型。
这种 “未知性” 会导致两个问题：
- 无法向通配符类型的集合中写入具体类型的元素（除了 null），因为编译器无法确认元素类型是否匹配未知类型。
- 无法在方法中对通配符类型的变量进行 “自洽” 的操作（例如将集合中的元素取出后再放回），因为编译器丢失了类型关联。
通配符捕获的作用：临时绑定未知类型
通配符捕获是编译器的一种机制：在特定作用域（通常是单个方法）内，将通配符 ? 临时绑定到一个新的、命名的类型变量（如 T）上，从而让编译器能够追踪这个类型，实现类型安全的操作。
例如，下面的代码直接操作通配符会报错：
// 尝试交换列表中两个元素的位置
public static void swap(List<?> list, int i, int j) {
Object temp = list.get(i);
list.set(i, list.get(j)); // 编译错误：无法向 List<?> 中写入未知类型的元素
list.set(j, temp); // 同样错误
}
原因是 List<?> 中的 set 方法参数类型是未知的，编译器无法确认 list.get(j) 或 temp 是否与该未知类型兼容。
通配符捕获解决问题的方式
通过引入一个辅助方法，用类型变量 T 捕获通配符 ? 对应的具体类型，编译器就能确认类型一致性：
// 辅助方法：用类型变量 T 捕获通配符
private static <T> void swapHelper(List<T> list, int i, int j) {
T temp = list.get(i);
list.set(i, list.get(j)); // 合法：T 类型的元素可以放入 List<T>
list.set(j, temp); // 合法：T 类型的 temp 可以放入 List<T>
}
// 对外暴露的方法：通配符被捕获为 T
public static void swap(List<?> list, int i, int j) {
swapHelper(list, i, j); // 编译器自动捕获通配符为 T，调用辅助方法
}
这里的关键是：当调用 swapHelper(list, i, j) 时，编译器会推断出通配符 ? 对应的具体类型（例如，如果 list 实际是 List<String>，则 T 被捕获为 String），从而让 swapHelper 中的操作完全符合类型安全规则。
总结：
1 .为什么需要通配符捕获？
通配符的设计是为了增强泛型的灵活性（例如让方法接收更广泛的类型），但通配符的 “未知性” 会导致编译器无法进行具体的类型检查，限制了操作的可能性。
通配符捕获通过临时将未知的通配符绑定到具体的类型变量，解决了这种 “未知性” 带来的限制，既保留了通配符的灵活性，又保证了类型安全，让开发者能够在方法内部对通配符类型进行自洽的操作（如上述的 swap 方法）。
简单说：通配符捕获是编译器在 “灵活性” 和 “类型安全” 之间找到平衡的关键机制。
2. 注意点
通配符捕捉只有在泛型方法中，才能捕捉到。因为类型变量是通配符的载体，编译器也是需要类型变量进行类型追踪，所以通配符的捕获仅限于泛型方法的作用域内（即方法内部）。