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

 

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 splice( const_iterator pos, list& other );	(1)
void splice( const_iterator pos, list&& other );	(2)	(C++11以降)
void splice( const_iterator pos, list& other, const_iterator it );	(3)
void splice( const_iterator pos, list&& other, const_iterator it );	(4)	(C++11以降)
void splice( const_iterator pos, list& other,              const_iterator first, const_iterator last);	(5)
void splice( const_iterator pos, list&& other,              const_iterator first, const_iterator last );	(6)	(C++11以降)

リスト間で要素を移動させます。

要素のコピーや移動は行われず、リストノードの内部ポインタのみが再設定されます。イテレータや参照が無効になることはありません。移動された要素を指すイテレータは有効なままで、もはやotherではなく*thisを参照します。

1,2)otherの全要素を*thisに移動させます。要素はposが指す要素の前に挿入されます。操作後、コンテナotherは空になります。

3,4)otherからitが指す要素を*thisに移動させます。要素はposが指す要素の前に挿入されます。

5,6)otherの範囲[first, last)の要素を*thisに移動させます。要素はposが指す要素の前に挿入されます。

以下の場合、動作は未定義です:

• O(1) ノード移動を保証できませんでした,
• オーバーロード(1,2)の場合、*thisとotherは同じオブジェクトを参照します。
• オーバーロード(3,4)の場合、itはotherに対するdereferenceable iteratorではありません。または、
• オーバーロード(5,6)の場合、

• 範囲[first, last)はotherの有効な範囲ではありません。または、
• posが[first, last)の範囲内にあります。

パラメータ

pos	-	コンテンツが挿入される要素の前
その他	-	コンテンツを転送する別のコンテナ
it	-	otherから*thisへ転送する要素
first, last	-	otherから*thisへ転送する要素の範囲を定義するイテレータのペア

戻り値

(なし)

例外

何もスローしません。

計算量

1-4)定数時間。

5,6)otherが*thisと同じオブジェクトを参照する場合、定数時間。それ以外の場合は、std::distance(first, last)に線形時間。

例

このコードを実行

#include <iostream>
#include <list>
 
std::ostream& operator<<(std::ostream& ostr, const std::list<int>& list)
{
    for (auto& i : list)
        ostr << ' ' << i;
 
    return ostr;
}
 
int main ()
{
    std::list<int> list1{1, 2, 3, 4, 5};
    std::list<int> list2{10, 20, 30, 40, 50};
 
    auto it = list1.begin();
    std::advance(it, 2);
 
    list1.splice(it, list2);
 
    std::cout << "list1:" << list1 << '\n';
    std::cout << "list2:" << list2 << '\n';
 
    list2.splice(list2.begin(), list1, it, list1.end());
 
    std::cout << "list1:" << list1 << '\n';
    std::cout << "list2:" << list2 << '\n';
}

出力

list1: 1 2 10 20 30 40 50 3 4 5
list2:
list1: 1 2 10 20 30 40 50
list2: 3 4 5

不具合報告

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

DR	適用対象	公開された動作	正しい動作
LWG 250	C++98	移動された要素の参照とイテレータはすべて無効になりました。 それらは*thisの同じ要素を参照または指します。	それらは*thisの同じ要素を参照または指します。 それらは*thisの同じ要素を参照または指します。
N2525	C++98	otherが*thisと同じオブジェクトを参照する場合、O(1)のスプライシングは保証できませんでした。 O(1) ノード移動を保証できませんでした	この場合の動作は 未定義となる

関連項目

merge	ソート済みの2つのリストをマージする (公開メンバ関数)
removeremove_if	特定の基準を満たす要素を削除する (public member function)