std::merge静默出错因不校验输入有序性与目标容量，易致越界写入；需预分配空间或用back_inserter，禁用空vector.begin()；勿误用inplace_merge；仅过滤、定制比较或无operator
直接用 std::merge，但必须提前分配空间、确保输入同序、比较逻辑一致——否则结果看似正常，实则错得隐蔽。
为什么 std::merge 会静默出错
它不校验输入是否有序，也不检查目标容器容量。传入无序数据或未 reserve 的空 vector，编译通过、运行不崩溃，但输出可能：前几个值对，后面全是 0 或随机大数；元素重复、缺失；甚至覆盖栈内存。
- 根本原因是输出迭代器写越界：比如
vector<int> out; std::merge(..., out.begin())</int>，此时out.begin() == out.end()，一写就未定义行为 - 另一个常见坑：把
a的begin()当作输出位置，和输入区间重叠 → 未定义行为 - 调试建议：合并前加
assert(std::is_sorted(a.begin(), a.end()))和assert(std::is_sorted(b.begin(), b.end()))
怎么给目标容器配够空间（两种可靠方式）
核心原则：目标容器 capacity() >= a.size() + b.size()，且不能与任一输入重叠。
- 预分配固定大小（推荐用于性能敏感场景）：
vector<int> out(a.size() + b.size());</int>，然后传out.begin()给std::merge - 动态追加（更安全，适合通用逻辑）：
vector<int> out; out.reserve(a.size() + b.size());</int>，再用std::back_inserter(out) - 注意：
reserve()不改变size()，所以back_inserter仍能正确追加；没reserve就用back_inserter，每次push_back都可能触发扩容，大数据量下明显拖慢 - 绝对不要写
vector<int> out; std::merge(..., out.begin())</int>—— 此时out是空的，begin()不可写
别误用 std::inplace_merge
std::inplace_merge 要求所有数据在同一个 vector 里，且中间有明确分界点（比如前半段有序、后半段也有序）。你手上是两个独立 vector，硬凑就得先 a.insert(a.end(), b.begin(), b.end())，这一步本身已是 O(n) 移动 + 可能的内存重分配，之后再 inplace_merge 反而更慢、更不可控。
立即学习“C++免费学习笔记（深入）”；
- 真实适用场景极少：仅当你维护一个大
vector，刚push_back了一批新有序数据，想把它和前面部分合并时才值得考虑 - 它内部策略不透明（可能用缓存，也可能不用），不同 STL 实现行为不一致，调试困难
- 若真要“省空间”，不如
swap + merge：用临时vector接走a，再把b合并进空的a，避免拷贝
什么情况下才该手写双指针
std::merge 已高度优化，普通合并没必要自己写。但以下三类情况例外：
- 需要在合并过程中过滤元素（比如跳过负数、只取偶数）
- 定制比较逻辑，且无法用
std::greater<int></int>等标准谓词表达（例如按字符串长度、或带状态的比较器） - 输入是自定义类型，且
operator 未定义或不符合需求，又不想传额外参数进 <code>merge - 最容易漏掉的是收尾：某一边走完后，必须把另一边剩余全部拷过去；还要坚持用
（不是 <code>）保证稳定性——<code>std::merge是稳定归并，相同值时左边优先
最常被忽略的其实是输入顺序一致性：两个 vector 必须同为升序或同为降序。升序输入却传 std::greater<int></int>，结果不是“反序”，而是逻辑错乱的混合体——std::merge 只按你给的规则归并，不负责校验你是否自洽。
