C++ set怎么进行集合求并集set

std::set_union要求输入为已排序区间，输出需可写容器；常用vector配合back_inserter高效获取有序去重结果，或用inserter写入新set；不可用set迭代器作输出，自定义类型须保证比较一致。

c++ set怎么进行集合求并集set_union

set_union 要求输入是已排序的范围，而 set 本身有序，但不能直接传迭代器进去就完事

因为 std::set_union 是泛型算法，它不认 std::set 类型，只认「支持前向迭代器的、已排序的区间」。你得把两个 set 的迭代器传给它，再提供一个输出容器（比如 std::vector 或另一个 std::set）来接收结果。

常见错误是直接写 set_union(a.begin(), a.end(), b.begin(), b.end(), a.begin()) —— 这会越界或写入只读位置，set 的迭代器是 const 的，不能用作输出迭代器。

输出目标必须是可写容器，例如 std::vector<int></int> 或用 std::inserter 包装的 std::set
输入迭代器没问题：set::begin() 和 set::end() 满足严格弱序要求
别忘了包含头文件：<algorithm></algorithm> 和 <set></set>（以及 <iterator></iterator> 如果用 inserter）

用 vector 接收并集结果最简单，也最常用

这是性能和可读性兼顾的做法：不用额外构造 set，避免重复插入开销；结果天然去重且有序，符合并集语义。

C++ Code Review Master

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

下载

std::set<int> a = {1, 2, 4};
std::set<int> b = {2, 3, 4, 5};
std::vector<int> result;
result.reserve(a.size() + b.size()); // 预留空间防多次 realloc
std::set_union(a.begin(), a.end(), b.begin(), b.end(), std::back_inserter(result));</int></int></int>

std::back_inserter(result) 把每次写入转为 push_back，安全高效
reserve 不是必须，但对大集合能明显减少内存重分配
结果 result 是 {1,2,3,4,5}，保持升序，无重复

想原地合并进一个 set？用 inserter 包装，别手写循环

有人试图遍历 b 并对每个元素调 a.insert(x)，这虽然可行，但时间复杂度是 O(m log n)，不如 set_union 的线性合并 O(n+m)。

std::set<int> a = {1, 2, 4};
std::set<int> b = {2, 3, 4, 5};
std::set<int> result;
std::set_union(a.begin(), a.end(), b.begin(), b.end(), std::inserter(result, result.begin()));</int></int></int>

std::inserter(result, result.begin()) 的第二个参数只是占位，inserter 内部会自动用 insert 方法，与插入位置无关
注意：不要传 a.begin() 试图“原地更新 a”——set 迭代器不可写，编译不过
如果真要覆盖 a，只能先清空再 insert：a.clear(); std::set_union(..., std::inserter(a, a.begin()));

自定义类型要用 operator

如果你的 set 存的是结构体，比如 std::set<point></point>，那不仅 set 构造时要能比较，set_union 内部也要用同一套序关系 —— 它默认调用 operator。

没定义 operator？编译报错：「invalid operands to binary expression」或类似提示
用了自定义 Compare（如 std::set<int std::greater>></int>），那两个输入 set 的比较器必须相同，否则行为未定义
若比较逻辑复杂，建议统一用函数对象传给 set_union 第五个参数，显式保持一致：std::set_union(..., cmp)