unordered_set::find 能快速判断单个元素是否存在，平均时间复杂度为 O(1)；判断两集合是否有交集时，遍历较小集合并对每个元素调用另一集合的 find，总时间复杂度为 O(min(A.size(), B.size()))，高效且安全，但需确保自定义类型哈希与相等逻辑一致。
unordered_set::find 能否快速判断单个元素是否存在
判断两个 unordered_set 是否无重复交集，本质是检查「A 中是否有任意一个元素也在 B 中」。最直接的方式就是遍历 A，对每个元素调用 B.find(x) != B.end()。因为 find 平均时间复杂度是 O(1)，整趟遍历是 O(A.size())，比暴力双重循环（O(A.size() × B.size())）高效得多。
注意：不要用 B.count(x) 替代 —— 虽然语义等价，但 count 在键不存在时仍要完成一次哈希查找+桶遍历，而 find 找到就立即返回迭代器，实际微快且更符合意图。
std::any_of + lambda 是最简洁的写法
用 STL 算法封装逻辑，代码清晰且不易出错：
std::unordered_set<int> a = {1, 2, 3};
std::unordered_set<int> b = {4, 5, 6};
bool has_intersection = std::any_of(a.begin(), a.end(), [&b](int x) {
return b.find(x) != b.end();
});
bool no_intersection = !has_intersection;
常见错误：把 std::any_of 的谓词写成 b.count(x) > 0，虽能运行，但可读性略差；或误用 std::none_of 却忘了取反逻辑，导致语义颠倒。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
当 A 远大于 B 时，换方向遍历更优
如果 a.size() >> b.size()（比如 A 有 10 万元素，B 只有几十个），此时遍历 B、查 A 更快——总操作数从 O(A.size()) 降到 O(B.size())。
实操建议：
- 无需提前预判大小，直接比较：用
std::min(a.size(), b.size())选小集合遍历 - 写成通用函数时，传入两个 const 引用，并在内部 swap 指针或用索引跳转，避免拷贝
- 别依赖
unordered_set的迭代顺序——它不保证任何顺序，但不影响正确性
自定义类型需确保哈希和相等函数一致
若 unordered_set 存的是自定义结构体（如 struct Point），必须同时提供：
- 特化
std::hash<Point>或传入自定义哈希函数对象 - 重载
operator==，或传入相等比较函数，且逻辑必须与哈希函数“一致”：即a == b为 true 时，hash(a) == hash(b)必须成立
否则 find 可能查不到明明存在的元素——这是最隐蔽也最难调试的问题之一。简单验证方法：对同一对象连续调用两次 hash，结果应相同；不同对象若 == 为 true，则哈希值必须相同。
交集判断本身不涉及插入或重哈希，所以只要哈希/相等实现正确，其余逻辑和内置类型完全一样。
