std::merge是合并两个有序容器的合理选择，但需提前为目标容器分配足够空间（reserve或resize），且输入必须同向有序；它不校验有序性，也不扩容目标容器，误用将导致未定义行为。
直接用 std::merge 是唯一合理选择，但“不产生额外内存开销”是误解——它不分配新节点，但目标容器必须提前有足够空间；否则越界或性能崩盘。
为什么不能跳过 reserve/resize
std::merge 从不扩容目标容器，只按你给的输出迭代器位置写入。传 result.begin() 却没调 reserve() 或 resize()，结果就是未定义行为：可能覆盖栈变量、写入野指针、或静默填入零值。
- 常见现象：合并后前几个数对，后面全是
0或极大随机数 - 错误写法：
std::vector<int> result; std::merge(a.begin(), a.end(), b.begin(), b.end(), result.begin());</int>→ 此时result.begin() == result.end()，一写就崩 - 正确做法二选一：
–result.reserve(a.size() + b.size()); std::merge(..., back_inserter(result));
–result.resize(a.size() + b.size()); std::merge(..., result.begin()); -
reserve()不改变size()，所以back_inserter仍能安全追加；resize()则让begin()可写，且避免了push_back的多次容量检查
输入有序性必须手动保障，std::merge 不校验
它不检查 a 和 b 是否真有序，也不报错。传入一个刚 push_back 出来的 vector，哪怕只多插了一个数，只要破坏了单调性，std::merge 就会按升序逻辑一路比较下去，输出错乱混合体。
- 调试期建议加断言：
assert(std::is_sorted(a.begin(), a.end())); assert(std::is_sorted(b.begin(), b.end())); - 两个输入必须同向有序：都升序，或都降序；混用（一个升序一个降序）会导致结果无序且不可预测
- 降序合并时，必须显式传
std::greater<int>()</int>，且确保两个输入确实按降序排好 - 空容器或单元素视为合法有序，无需特殊处理
别碰 std::inplace_merge，它不适用于两个独立 vector
std::inplace_merge 的设计目标是“同一容器内两段相邻有序区间”，不是合并两个分离的 vector。硬凑会先触发 a.insert(a.end(), b.begin(), b.end())，这一步已是 O(n) 移动+潜在 realloc，再调 inplace_merge 反而更慢、更不可控。
立即学习“C++免费学习笔记（深入）”；
- 真实适用场景极少：比如你维护一个大
vector，刚在末尾push_back了一批新有序数据，想把它和前面部分原地合并 - 若真想减少拷贝，可用
swap+merge：std::vector<int> temp; a.swap(temp); std::merge(temp.begin(), temp.end(), b.begin(), b.end(), std::back_inserter(a));</int> -
inplace_merge内部策略不透明，不同 STL 实现可能用缓存也可能不用，性能不可控，别为省几字节冒险
手写双指针仅在三类定制需求下必要
std::merge 已高度优化，普通归并不值得重写。但以下情况例外：
- 需要在合并过程中过滤（如跳过负数、只取偶数）
- 自定义比较逻辑无法用标准谓词表达（例如按字符串长度、或带状态的比较器）
- 输入是自定义类型，且
operator<未定义或不符合需求，又不想传额外参数进std::merge - 手写时最易漏掉收尾：某一边走完后，必须把另一边剩余全部拷过去；且必须用
<（不是<=）保证稳定性——std::merge是稳定归并，相同值时左边优先
真正难的从来不是“怎么写”，而是判断“该不该用 std::merge”。如果两个 vector 并不确定是否有序，或者目标容器生命周期短、难以预估大小，那不如先 insert 拼接再 sort + unique——虽然时间复杂度高，但逻辑清晰、不易出错。性能优化的前提，是问题边界足够干净。
