std::set_intersection要求两输入区间均已升序排列，仅接受迭代器范围而非容器本身；对vector需先sort，对set可直接用begin()/end()；输出须用独立容器配合back_inserter或手动resize截断，且自定义比较器必须一致。
set_intersection 要求输入是已排序区间
std::set_intersection 不接受 std::set 对象直接传入，它只操作**迭代器范围**，且明确要求两个输入范围都已升序排列。如果你拿 std::vector 或原始数组调用它，必须先确保它们有序；若用 std::set，虽然其内部有序，但你仍需传入 begin()/end() 迭代器，不能传容器本身。
常见错误是把无序 std::vector 直接送进去，结果输出为空或乱序片段——这不是函数 bug，而是前提不满足。
- 对
std::set：可直接用s1.begin(), s1.end(), s2.begin(), s2.end() - 对
std::vector：务必先调用std::sort，否则行为未定义 - 输出容器（如
std::vector）需预留足够空间，或用std::back_inserter
输出目标必须能接收插入，且不能和输入重叠
输出迭代器指向的目标容器不能是任一输入容器的子区间，也不能与输入迭代器指向的内存重叠——否则结果未定义。最安全做法是用独立容器 + std::back_inserter。
例如，不能写成 set_intersection(a.begin(), a.end(), b.begin(), b.end(), a.begin())，即使 a 足够大也不行；也不能用 std::array 的原生指针而没确认长度。
立即学习“C++免费学习笔记（深入）”；
- 推荐：用
std::vectorresult; set_intersection(..., std::back_inserter(result)) - 手动分配空间：需先调用
result.resize(std::min(a.size(), b.size()))，再用result.begin()，最后用result.erase(it, result.end())截断 - 输出类型必须和输入元素类型一致或可隐式转换
自定义比较函数要两边一致
如果集合按降序排列，或用了自定义比较（比如 std::set），那么 set_intersection 的第五个参数必须传入**完全相同的比较器**，否则逻辑错乱。
例如，两个 std::set<:string std::less>> 可以直接用默认版本；但若其中一个是 std::greater，就必须显式传入对应函数对象。
- 默认调用：
set_intersection(a.begin(), a.end(), b.begin(), b.end(), out) - 自定义比较：
set_intersection(a.begin(), a.end(), b.begin(), b.end(), out, std::greater{}) - lambda 也可，但注意生命周期：不能捕获局部变量并用于多线程场景
完整可用示例（含 vector 和 set 两种情况）
#include#include #include #include int main() { // 情况1：两个 std::set（天然有序） std::set s1 = {1, 3, 5, 7, 9}; std::set s2 = {3, 4, 5, 6, 7}; std::vector v_result; std::set_intersection(s1.begin(), s1.end(), s2.begin(), s2.end(), std::back_inserter(v_result)); // v_result == {3, 5, 7} // 情况2：两个 vector（需先排序） std::vector v1 = {5, 1, 7, 3}; std::vector v2 = {7, 4, 3, 6}; std::sort(v1.begin(), v1.end()); std::sort(v2.begin(), v2.end()); std::vector v2_result; std::set_intersection(v1.begin(), v1.end(), v2.begin(), v2.end(), std::back_inserter(v2_result)); // v2_result == {3, 7} }
注意：std::set_intersection 返回的是输出迭代器末位置，不返回交集大小；如果需要，得自己算 std::distance 或依赖 back_inserter 后容器的 size()。实际项目中，除非性能极端敏感，否则优先用 back_inserter —— 它省去容量预估，也避免越界风险。
