std::inplace_merge用于原地合并同一容器中两个相邻且各自有序的子序列,要求[first, middle)和[middle, last)连续、可随机访问,middle必须为合法迭代器且满足first
std::inplace_merge 的基本用法和前提条件
std::inplace_merge不是把两段独立内存“拼起来再排序”,而是要求输入必须是**一个连续的、由两个有序子序列拼接而成的区间**。比如[1,3,5,2,4,6]—— 前半段[1,3,5]递增,后半段[2,4,6]也递增,整体不有序,但满足前提。常见错误是传入两个分离的 vector 或数组,比如先
vec1 = {1,3,5},再vec2 = {2,4,6},然后试图用inplace_merge合并它们 —— 这不行,它不接受两段地址不连续的数据。
- 必须保证整个范围可随机访问(
RandomAccessIterator),所以std::list不能用- 中间迭代器(即两段分界点)必须合法:不能等于
first或last,否则行为未定义- 时间复杂度平均 O(n),最坏 O(n log n);空间复杂度 O(log n)(内部可能递归或用临时缓冲区)
正确调用 std::inplace_merge 的三步操作
典型场景:已有 vector 存储了前半有序 + 后半有序的数据,想原地归并成一个有序序列。
std::vector<int> v = {1, 4, 7, 2, 5, 8}; // 前3个有序,后3个有序 auto mid = v.begin() + 3; std::inplace_merge(v.begin(), mid, v.end()); // 结果:{1,2,4,5,7,8}</int>
- 第一个参数:
first,指向整个区间的开头- 第二个参数:
middle,指向第二段有序序列的起点(也是第一段的终点)- 第三个参数:
last,指向整个区间的结尾(开区间)- 可选第四个参数:自定义比较函数,如
std::greater<int>()</int>实现降序合并容易踩的坑:迭代器失效与边界错误
最常见的崩溃原因是传入的
middle迭代器越界或无效。例如:
- 对空容器调用:
v.empty() == true时,v.begin() + 0虽合法,但v.begin() + 1就是v.end(),不能再当middle- 误把 size 当索引:
v.begin() + v.size()是v.end(),不能作middle;必须确保middle满足first- 容器在 merge 过程中被其他线程修改,或迭代器来自不同容器(哪怕内容相同)—— 行为未定义
调试时如果遇到
__glibcxx_assert(__first 失败,基本就是 <code>middle位置错了。和 std::merge 的关键区别在哪
std::merge是“读两段,写一段”,输出到新容器或另一段内存;std::inplace_merge是“读一段,改同一段”,不额外分配目标空间。
- 如果你有两段独立数据(比如两个 vector),该用
std::merge+std::back_inserter或预分配空间- 如果你已经把两段数据顺序存进一个 vector(比如先 push_back 一堆,再 push_back 另一堆),且各自有序,才轮到
inplace_merge- 性能上,
inplace_merge省空间但不一定更快;小数据量下,手写循环合并可能更直接真正要小心的是“有序性”是否真的成立 —— 比如浮点数比较、自定义类型没重载
、或者用了 <code>std::sort但忘了加stable_sort保证相等元素顺序 —— 这些都会让inplace_merge输出不可预期的结果。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!












