std::list<T,Allocator>::merge

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

コンテナライブラリ

シーケンス

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

連想

set

multiset

map

multimap

非順序連想

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

アダプタ

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

表示

span (C++20)

mdspan (C++23)

表

イテレータの無効化

メンバ関数テーブル

非メンバ関数テーブル

 

std::list

メンバ関数
list::list list::~list list::operator= list::assign list::assign_range (C++23)   list::get_allocator 要素アクセス list::front list::back イテレータ list::beginlist::cbegin (C++11) list::endlist::cend (C++11) list::rbeginlist::crbegin (C++11) list::rendlist::crend (C++11) 容量 list::size list::empty list::max_size	変更 list::clear list::insert list::insert_range (C++23) list::emplace (C++11) list::erase list::push_front list::emplace_front (C++11) list::prepend_range (C++23) list::pop_front list::push_back list::emplace_back (C++11) list::append_range (C++23) list::pop_back list::resize list::swap 操作 list::merge list::splice list::removelist::remove_if list::reverse list::unique list::sort
非メンバ関数
operator==operator<=> (C++20) swap(std::list) erase(std::list)erase_if(std::list) (C++20)(C++20)	operator!=operator<operator>operator<=operator>= (C++20まで)(C++20まで)(C++20まで)(C++20まで)(C++20まで)
推論補助(C++17)

 

void merge( list& other );	(1)
void merge( list&& other );	(2)	(C++11以降)
template< class Compare > void merge( list& other, Compare comp );	(3)
template< class Compare > void merge( list&& other, Compare comp );	(4)	(C++11以降)

other が *this と同じオブジェクトを参照している場合、この関数は何も行いません。

それ以外の場合、other を *this にマージします。両方のリストはソートされている必要があります。要素はコピーされず、コンテナ other はマージ後に空になります。この操作は安定です。つまり、2つのリスト内の等価な要素については、*this の要素が常に other の要素よりも前に配置され、*this と other の等価な要素の順序は変更されません。

イテレータや参照は無効になりません。*this から移動された要素へのポインタや参照、およびこれらの要素を指すイテレータは、other ではなく、*this の同じ要素を指すようになります。

1,2) 要素は std::less<T>()(until C++14)std::less<>()(since C++14) を使用して比較されます。

3,4) 要素は comp を使用して比較されます。

*this または other が対応するコンパレータに関してソートされていない場合、または get_allocator() != other.get_allocator() の場合、動作は未定義です。

パラメータ

その他	-	マージする別のコンテナ
comp	-	比較関数オブジェクト（つまり、Compare の要件を満たすオブジェクト）。最初の引数が2番目の引数より小さい（つまり、前に順序付けられる）場合に true を返します。 比較関数のシグネチャは、以下と同等でなければならない。 bool cmp(const Type1& a, const Type2& b); シグネチャは const& を持つ必要はありませんが、関数は渡されたオブジェクトを変更してはならず、値カテゴリ に関係なく、(おそらく const の) Type1 と Type2 のすべての値を受け入れられる必要があります (したがって、Type1& は許可されません。また、Type1 のムーブがコピーと同等でない限り、Type1 も許可されません(C++11以降))。 Type1 および Type2 の型は、list<T, Allocator>::const_iterator 型のオブジェクトを逆参照してから、それらの両方に暗黙的に変換できる必要があります。
型要件
- CompareはCompareの要件を満たす必要がある。

戻り値

(なし)

例外

何らかの理由で例外がスローされた場合、これらの関数は影響を与えません（強力な例外安全性保証）。比較からの例外の場合を除きます。

計算量

other が *this と同じオブジェクトを参照している場合、比較は行われません。

\(\scriptsize N\)N を std::distance(begin(), end()) として、\(\scriptsize R\)R を std::distance(other.begin(), other.end()) として

1,2) \(\scriptsize N+R-1\)N+R-1 回以下の operator< による比較。

3,4) \(\scriptsize N+R-1\)N+R-1 回以下の比較関数 comp の適用。

例

このコードを実行

#include <iostream>
#include <list>
 
std::ostream& operator<<(std::ostream& ostr, const std::list<int>& list)
{
    for (const int i : list)
        ostr << ' ' << i;
    return ostr;
}
 
int main()
{
    std::list<int> list1 = {5, 9, 1, 3, 3};
    std::list<int> list2 = {8, 7, 2, 3, 4, 4};
 
    list1.sort();
    list2.sort();
    std::cout << "list1: " << list1 << '\n';
    std::cout << "list2: " << list2 << '\n';
 
    list1.merge(list2);
    std::cout << "merged:" << list1 << '\n';
}

出力

list1:  1 3 3 5 9
list2:  2 3 4 4 7 8
merged: 1 2 3 3 3 4 4 5 7 8 9

不具合報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 300	C++98	*this と other が参照する 場合の効果は指定されていませんでした	何も行わないと指定されました
LWG 1207	C++98	イテレータや参照が無効になるかどうか不明でした	有効のまま
LWG 1215	C++98	get_allocator() != other.get_allocator() の場合 O(1) ノード移動を保証できませんでした	この場合の動作は 未定義となる
LWG 3088	C++98	operator< がポインタ要素で誤動作する可能性がありました	実装定義 厳密な全順序が使用されました

関連項目

splice	別のlistから要素を移動します (public member function)
merge	2つのソート済み範囲をマージする (関数テンプレート)
inplace_merge	2つの順序付けられた範囲をインプレースでマージする (関数テンプレート)
ranges::merge (C++20)	2つのソート済み範囲をマージする (アルゴリズム関数オブジェクト)
ranges::inplace_merge (C++20)	2つの順序付けられた範囲をインプレースでマージする (アルゴリズム関数オブジェクト)