Collections.disjoint使用无界通配符<?>，根本原因是为了支持任意类型集合间的交集判断而不引入类型约束；它只要求参数是Collection的子类型，内部仅依赖equals(Object)比较，避免泛型擦除问题，且比上界/下界更简洁通用。
Java 中 Collections.disjoint(Collection<?> c1, Collection<?> c2) 使用无界通配符 ?>（即 ?），根本原因是为了**支持任意类型集合之间的交集判断，同时不引入类型约束或强制类型转换**。
为什么不能用具体类型参数？
如果方法签名写成 <T> boolean disjoint(Collection<T> c1, Collection<T> c2)，就要求两个集合元素必须是同一类型 T。但现实中常见场景如：
– Collection<String> 和 Collection<Integer>
– Set<User> 和 List<Object>
这些集合显然不可能有交集（因为元素类型不同），但编译器无法在泛型擦除后安全推断 T，强行统一类型会限制调用，甚至导致编译失败。
无界通配符如何满足需求？
- 它只要求参数是
Collection的任意子类型，不限制元素类型是否相同 - 方法内部只做
equals()比较，而equals(Object)接收任意对象 —— 类型无关性天然成立 - 避免了泛型类型擦除带来的桥接方法或类型检查开销
- 允许传入
Collection<String>、Collection<Number>、Collection<? extends Runnable>等各种声明，全部合法
为什么不选上界或下界？
上界（如 Collection<? extends Object>）语义冗余，因为 Object 是所有类的默认上界；下界（如 Collection<? super String>）则过度约束，排除了绝大多数常用集合（比如 ArrayList<String> 不是 ? super String 的实例）。无界通配符在表达“只读、仅需遍历和比较”语义时最简洁、最准确。
实际效果就是：安全、通用、零额外约束
该设计让 disjoint() 成为一个真正面向集合结构本身（而非元素类型）的工具方法 —— 它只关心“有没有相同元素”，不关心“它们是什么类型”。只要两个集合能被遍历、能调用 equals()，就能用。
立即学习“Java免费学习笔记（深入）”；
