std::set_difference要求两输入区间必须升序排序且使用相同比较器，否则结果未定义；目标容器需预留空间或用back_inserter；不支持无序容器，差集按集合语义去重。
std::set_difference要求输入必须是已排序区间
它不是通用容器差集工具，而是归并算法的变体，只接受两个**升序排列**的迭代器范围。如果传入未排序的 std::vector 或 std::list，结果不可预测——哪怕逻辑上“有差集”，也会输出乱序或重复值，甚至越界访问。
常见错误现象：std::set_difference 返回空结果，或输出大量重复元素，或程序崩溃（因越界解引用）。根本原因几乎全是排序缺失。
- 务必在调用前对两个输入容器分别调用
std::sort（若为std::vector）或std::list::sort（若为std::list） - 若数据来自
std::set或std::map，可直接使用，因其底层已有序 - 注意：
std::unordered_set不适用——它无序，也不能用std::set_difference
输出目标容器必须预留足够空间或使用插入迭代器
std::set_difference 不会自动扩容目标容器；它只按需写入，超出已有容量的部分会触发未定义行为（如内存越界写）。不能像 std::copy 那样直接写进空 std::vector 的 begin()。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 安全做法：用
std::back_inserter，例如std::back_inserter(result_vec) - 若追求性能且能预估大小，可先调用
result_vec.reserve(max_size)，再用result_vec.begin()—— 但必须确保预留 ≥ 实际差集长度，否则仍危险 - 错误示例：
std::vector<int> res; std::set_difference(a.begin(), a.end(), b.begin(), b.end(), res.begin());</int>→ 写入空容器起始地址，崩溃风险极高
差集结果依赖于严格弱序比较，自定义类型要小心
默认用 operator< 比较，但若容器元素是自定义结构体，且未定义 operator< 或定义不满足严格弱序（比如用了 <=、或比较逻辑不一致），std::set_difference 行为未定义——可能漏掉元素、重复输出，或提前终止。
立即学习“C++免费学习笔记（深入）”；
- 检查自定义类型的比较函数是否满足：自反性（a<a 为 false）、反对称性（a<b ⇒ !(b<a)）、传递性（a<b && b<c ⇒ a<c）
- 若用自定义比较器（如
std::greater<int>），必须保证两个输入区间都按同一规则排序，且传给std::set_difference相同的比较器对象 - 常见坑：一个容器用
std::less排序，另一个用std::greater，却传入默认比较器 → 结果全错
注意差集方向：A \ B ≠ B \ A，且重复元素被忽略
std::set_difference(first1, last1, first2, last2, ...) 计算的是“第一个区间中存在、但第二个区间中不存在”的元素。它把两个区间都当集合看待——即自动去重，不保留原始频次。
- 若
a = {1,2,2,3}、b = {2,4}，且均已升序排序，则结果是{1,3}（不是{1,2,3}），因为重复的2在集合语义下只算一次 - 若需要带频次的差（如 multiset 差），不能用
std::set_difference，得改用std::remove_copy_if+ 手动计数，或用std::multiset配合std::set_difference的自定义谓词（较复杂） - 方向不可逆：交换两个输入区间的顺序，得到的是 B \ A，不是原结果的补集
std::sort 这一下。 
