std::set_difference要求两输入区间必须升序排列，否则结果错误；它计算A-B而非B-A，目标容器需预留空间或用back_inserter，重复元素按唯一处理，不检查排序且不自动去重。
std::set_difference 要求输入必须是已排序区间
直接对未排序的 std::vector 或原始数组调用 std::set_difference 不会报错，但结果大概率是错的——它不检查顺序，只按“有序前提”做线性归并。比如两个乱序 vector：{3,1,4} 和 {2,1,5}，哪怕你传进去，它也从头开始比，根本不会识别出公共元素 1。
正确做法是：确保两个输入范围都升序排列（默认比较规则），且目标容器预留足够空间或使用 std::back_inserter。
- 若源数据来自
std::set，天然有序，可直接用 - 若来自
std::vector，必须先调用std::sort - 目标容器不能是空的
std::vector且没 resize —— 否则写入会越界；推荐用std::back_inserter
差集方向很重要：A - B ≠ B - A
std::set_difference 计算的是「第一个范围中存在、第二个范围中不存在」的元素，即数学上的 A \ B。参数顺序不能颠倒。
例如：vec_a = {1,2,3,4}，vec_b = {3,4,5,6}，调用：
立即学习“C++免费学习笔记（深入）”；
std::set_difference(vec_a.begin(), vec_a.end(),
vec_b.begin(), vec_b.end(),
std::back_inserter(result));得到 {1,2}；反过来调用就得到 {5,6}。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 差集不是对称操作，别凭直觉换参
- 如果需要对称差（即并集减交集），要用
std::set_symmetric_difference - 注意：重复元素在输入中会被视为单个（因算法基于有序唯一逻辑），所以输入本身最好去重，或提前用
std::unique+erase
迭代器类型和分配器兼容性容易被忽略
std::set_difference 对迭代器要求是「可读、可递增、支持 == 和 比较」，但实际踩坑多发生在目标迭代器上。
常见错误：用普通指针往裸数组写，却忘了数组长度不够；或者用 std::vector::begin() 写入，但没提前 resize。
- 安全写法统一用
std::back_inserter(container)，自动处理容量 - 若需写入固定大小缓冲区（如 C 风格数组），务必确认目标空间 ≥
std::distance(first1, last1)（最坏情况全保留） - 自定义比较函数（如降序）必须同时用于两个输入范围，否则行为未定义；例如都加
std::greater<int>()
性能和底层逻辑：它只是归并扫描，不是哈希查找
std::set_difference 时间复杂度是 O(n + m)，但它依赖双指针线性扫描，前提是两边都排序。它不会建哈希表，也不支持随机访问加速。
这意味着：如果数据量不大（std::unordered_set 手动遍历过滤。
- 排序成本高时，用哈希做差集可能更快：
build unordered_set from B，再遍历 A 做count()判断 -
std::set_difference优势在于内存友好（无额外哈希开销）、稳定、且能复用已有有序结构（如std::set或已排好序的文件流） - 不要指望它自动 dedup：输入含重复元素时，输出也可能重复（取决于你是否先去重）
实际用的时候，最常漏掉的是排序和方向判断。尤其当数据来自不同模块，没人告诉你它“恰好有序”——建议加个 assert 或调试时打印前几项确认顺序。
