std::set_intersection要求输入区间已升序排序且比较逻辑一致，否则结果未定义；输出容器需预分配空间或使用inserter；它不自动去重，也不检查输入有效性。

std::set_intersection要求输入必须是已排序区间

它不检查也不排序，直接假设两个输入范围已经升序排列。如果没排序，结果不可预测，甚至可能崩溃——比如传入 std::vector{3,1,4} 和 {2,1,5}，输出可能是空、重复值或越界访问。

• 常见错误：把无序容器（如未排序的 std::vector 或 std::unordered_set）直接丢进去
• 正确做法：先调用 std::sort，或从一开始就用 std::set/std::multiset 存储数据
• 注意：std::set 迭代器天然有序，可直接传入；但 std::unordered_set 必须先拷贝到 vector 再排序

输出迭代器必须预留足够空间或使用 inserter

std::set_intersection 不会自动扩容目标容器，它只是把结果“写”过去。写超了就是未定义行为。

• 用 std::vector 接收时，得提前 reserve（至少 std::min(a.size(), b.size())）或用 back_inserter
• 用 std::set 接收时，推荐 std::inserter(result_set, result_set.end())，避免手动管理大小
• 别用普通指针或裸数组作输出——没有 size 检查，极易溢出

注意元素比较逻辑必须一致

输入区间排序用的比较函数，必须和 std::set_intersection 的第三个参数（可选）完全一致。否则行为未定义。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

• 默认用 std::less<T>，所以两个输入都得按升序排好
• 如果用了自定义比较（比如降序 std::greater<int>），三个地方必须统一：两个 sort 调用 + set_intersection 的 comparator 参数
• 混用 < 和 > 会导致跳过合法交集，或反复写入同一位置

std::set_intersection不会去重，但输入本身要满足“有序不重复”语义

名字里带 set，不代表它能处理重复元素。它只按顺序逐个比对，遇到相等就写入结果——如果输入里有重复，结果里也会有重复。

立即学习“C++免费学习笔记（深入）”；

• 想严格模拟数学集合交集？确保输入本身无重复（如用 std::set，或排序后 std::unique）
• 想保留重复？那得用 std::intersection（C++17 <algorithm> 新版，支持 multiset 语义）或手写循环
• 性能提示：对大容器，用 std::set 迭代器比 vector + sort + set_intersection 更省内存，但插入慢

实际用的时候，最常漏掉的是排序和输出容器预分配这两步。尤其在调试时看到空结果，第一反应不该是算法写错了，而是先检查输入有没有 sort，输出容器是不是空着就被写了。