namespace std::ranges {
template <bidirectional_iterator I,
sentinel_for<I> S,
class Comp = ranges::less,
class Proj = identity>
requires sortable<I, Comp, Proj>
I
inplace_merge(I first,
I middle,
S last,
Comp comp = {},
Proj proj = {}); // (1) C++20
template <bidirectional_iterator I,
sentinel_for<I> S,
class Comp = ranges::less,
class Proj = identity>
requires sortable<I, Comp, Proj>
constexpr I
inplace_merge(I first,
I middle,
S last,
Comp comp = {},
Proj proj = {}); // (1) C++26
template <bidirectional_range R,
class Comp = ranges::less,
class Proj = identity>
requires sortable<iterator_t<R>, Comp, Proj>
borrowed_iterator_t<R>
inplace_merge(R&& r,
iterator_t<R> middle,
Comp comp = {},
Proj proj = {}); // (2) C++20
template <bidirectional_range R,
class Comp = ranges::less,
class Proj = identity>
requires sortable<iterator_t<R>, Comp, Proj>
constexpr borrowed_iterator_t<R>
inplace_merge(R&& r,
iterator_t<R> middle,
Comp comp = {},
Proj proj = {}); // (2) C++26
}
概要
2つの連続したソート済み範囲をマージする。
- (1): イテレータ範囲を指定する
- (2): Rangeを直接指定する
事前条件
[first,middle)
と[middle,last)
の範囲はそれぞれソートされていること。
効果
[first,middle)
, [middle,last)
という、連続した2つの範囲をマージし、結果を [first,last)
へ格納する。
結果の範囲 [first,last)
は昇順になる。
戻り値
last
計算量
N = last - first
であるとして説明する。
- 余分なメモリを使用する場合は、
N - 1
回比較する。そうでない場合は、O(N log(N))回比較する
備考
この操作は安定である。つまり、各入力範囲内の要素の前後関係は保たれ、また、1 番目の範囲と 2 番目に等値の要素があった場合には、1 番目の範囲の要素の方が先に来る。
例
#include <iostream>
#include <vector>
#include <algorithm>
int main()
{
std::vector<int> v = {1,4,5, 2,3,6};
// ソートされた2つの範囲をマージ
std::ranges::inplace_merge(v, v.begin() + 3);
for (int x : v) {
std::cout << x << std::endl;
}
}
出力
1
2
3
4
5
6
実装例
バージョン
言語
- C++20
処理系
- Clang: ??
- GCC: 10.1.0 ✅
- ICC: ??
- Visual C++: 2019 Update 10 ✅
参照
- N4861 25 Algorithms library
- P2562R1
constexpr
Stable Sorting- C++26から
constexpr
に対応した
- C++26から