集合运算与Set实现详解

本文深入解析了Java、JavaScript和Python中Set集合的并集、交集、差集运算原理与最佳实践，重点揭示了Java中addAll/retainAll/removeAll会原地修改集合这一易踩陷阱，强调判断交集非空应使用!Collections.disjoint()而非依赖retainAll返回值，并对比了三门语言在语法简洁性、参数灵活性、性能及安全性上的关键差异——从Java需手动复制集合避免副作用，到JavaScript一行式扩展运算符安全构建新Set，再到Python运算符与方法的适用边界，帮助开发者避开隐晦bug，写出更健壮、高效且可维护的集合操作代码。

Java 中用 Set 做并集、交集、差集的正确姿势

Java 的 Set 接口本身不提供直接的集合运算方法，但 HashSet、LinkedHashSet 等实现类支持 addAll、retainAll、removeAll 这三个关键操作——它们就是并、交、差的底层支撑。

注意：这些方法会**原地修改调用者**，不是返回新集合。这是最常踩的坑。

• setA.addAll(setB) → 并集（setA 变成 A ∪ B）
• setA.retainAll(setB) → 交集（setA 变成 A ∩ B）
• setA.removeAll(setB) → 差集（setA 变成 A − B）

如果不想改原始集合，得先复制一份：new HashSet(setA) 再调用。

为什么 retainAll 有时返回 false 却没报错

因为 retainAll 返回的是布尔值：仅当集合内容**实际发生了变化**才返回 true；如果交集结果和原集合一样，就返回 false。这不是错误，是设计如此。

常见误判场景：

• 用 if (set.retainAll(other)) { ... } 当作“是否有交集”判断 → 错！它只表示“是否删了元素”
• 真正要判断交集是否为空，该用 !Collections.disjoint(setA, setB) 或手动遍历 setA.stream().anyMatch(setB::contains)
• retainAll 底层依赖 equals 和 hashCode，自定义对象务必重写这两个方法，否则交集永远为空

JavaScript 里没有内置 Set 运算？别手写 for 循环

ES6 Set 确实没提供 union/intersection 方法，但可以用扩展运算符 + 构造函数一行搞定，比手写循环安全又简洁。

• 并集：new Set([...setA, ...setB])
• 交集：new Set([...setA].filter(x => setB.has(x)))
• 差集：new Set([...setA].filter(x => !setB.has(x)))

注意点：

• 上面写法都生成新 Set，不污染原数据
• 性能上，setB.has(x) 是 O(1)，整体是 O(n)，比双层 for 的 O(n×m) 强太多
• 如果 setA 或 setB 是弱引用或包含 Symbol/NaN，需额外处理——NaN !== NaN，但 Set 里能正确去重；Symbol 没问题

Python 的 set 运算看着简单，但 & 和 intersection 有区别

Python 的 set 支持中缀运算符（|、&、-）和对应方法（union、intersection、difference），但行为不完全等价。

• 运算符只接受 set 类型参数；方法可以接受任意可迭代对象：s.intersection([1,2,3]) 合法，s & [1,2,3] 报 TypeError
• 方法支持多个参数：s.intersection(a, b, c)；运算符只能两两结合：(s & a) & b & c
• 性能差异极小，但传参灵活度决定选哪个——脚本快速验证用运算符，函数封装或参数不确定时用方法

另外，set 是无序的，差集 A - B 不等于 B - A，这点容易在逻辑分支里漏掉方向性。

到这里，我们也就讲完了《集合运算与Set实现详解》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！