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