std:: inplace_merge

将两个连续的有序范围 [ first , middle ) 和 [ middle , last ) 合并为一个有序范围 [ first , last ) 。

此合并函数是稳定的，这意味着对于原始两个范围中的等价元素，来自第一个范围的元素（保持其原始顺序）会先于来自第二个范围的元素（保持其原始顺序）。

若满足以下任一条件，则行为未定义：

• [ first , middle ) 或 [ middle , last ) 不是有效的 范围 。

参数

复杂度

给定 \(\scriptsize N\) N 为 std:: distance ( first, last ) ：

异常

带有名为 ExecutionPolicy 模板参数的重载按以下方式报告错误：

• 如果作为算法一部分调用的函数执行抛出异常，且 ExecutionPolicy 是某个 标准策略 ，则调用 std::terminate 。对于其他任何 ExecutionPolicy ，其行为由实现定义。
• 如果算法无法分配内存，则抛出 std::bad_alloc 。

可能的实现

查看 libstdc++ 和 libc++ 中的实现。

注释

此函数尝试分配临时缓冲区。若分配失败，将选择效率较低的算法。

示例

#include <algorithm>
#include <iostream>
#include <vector>
template<class Iter>
void merge_sort(Iter first, Iter last)
{
    if (last - first > 1)
    {
        Iter middle = first + (last - first) / 2;
        merge_sort(first, middle);
        merge_sort(middle, last);
        std::inplace_merge(first, middle, last);
    }
}
int main()
{
    std::vector<int> v{8, 2, -2, 0, 11, 11, 1, 7, 3};
    merge_sort(v.begin(), v.end());
    for (const auto& n : v)
        std::cout << n << ' ';
    std::cout << '\n';
}

-2 0 1 2 3 7 8 11 11

参见