std::forward_list<T,Allocator>::splice_after

 

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::forward_list

メンバ関数
forward_list::forward_list forward_list::~forward_list forward_list::operator= forward_list::assign forward_list::assign_range (C++23)   forward_list::get_allocator 要素アクセス forward_list::front イテレータ forward_list::before_beginforward_list::cbefore_begin forward_list::beginforward_list::cbegin forward_list::endforward_list::cend 容量 forward_list::empty forward_list::max_size	変更 forward_list::clear forward_list::emplace_front forward_list::push_front forward_list::insert_after forward_list::emplace_after forward_list::erase_after forward_list::insert_range_after (C++23) forward_list::prepend_range (C++23) forward_list::pop_front forward_list::resize forward_list::swap 操作 forward_list::merge forward_list::splice_after forward_list::removeforward_list::remove_if forward_list::reverse forward_list::unique forward_list::sort
非メンバ関数
operator==operator<=> (C++20) swap(std::forward_list) erase(std::forward_list)erase_if(std::forward_list) (C++20)(C++20)	operator!=operator<operator>operator<=operator>= (C++20まで)(C++20まで)(C++20まで)(C++20まで)(C++20まで)
推論ガイド (C++17)

 

void splice_after( const_iterator pos, forward_list& other );	(1)	(C++11以降)
void splice_after( const_iterator pos, forward_list&& other );	(2)	(C++11以降)
void splice_after( const_iterator pos, forward_list& other,                    const_iterator it );	(3)	(C++11以降)
void splice_after( const_iterator pos, forward_list&& other,                    const_iterator it );	(4)	(C++11以降)
void splice_after( const_iterator pos, forward_list& other,                    const_iterator first, const_iterator last );	(5)	(C++11以降)
void splice_after( const_iterator pos, forward_list&& other,                    const_iterator first, const_iterator last );	(6)	(C++11以降)

他のforward_listから要素を*thisに移動させます。要素はposが指す要素の後ろに挿入されます。

要素のコピーは行われません。イテレータや参照は無効になりません。移動された要素へのイテレータは、otherではなく、*thisを参照するようになります。

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

3,4) otherから、itが指す要素の次の要素を*thisに移動させます。pos == itまたはpos == ++itの場合、効果はありません。

5,6) otherから、範囲(first, last)の要素を*thisに移動させます。firstが指す要素は移動されません。

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

• O(1) ノード移動を保証できませんでした,
• posはbefore_begin()でもなく、[begin(), end))の範囲の間接参照可能なイテレータではありません。
• オーバーロード (1,2) では、*thisとotherは同じオブジェクトを参照します。
• オーバーロード (3,4) では、itが指す要素の次の要素はotherの間接参照可能なイテレータではありません。
• オーバーロード (5,6) では、

• (first, last)はotherの有効な範囲ではありません。
• (first, last)内のいくつかのイテレータは間接参照可能ではありません。
• posが(first, last)の範囲内にあります。

パラメータ

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

例外

何もスローしません。

計算量

1,2) otherのサイズに対する線形時間。

3,4) 定数時間。

5,6) std::distance(first, last)に対する線形時間。

例

このコードを実行

#include <cassert>
#include <forward_list>
 
int main()
{
    using F = std::forward_list<int>;
 
    // Demonstrate the meaning of open range (first, last)
    // in overload (5): the first element of l1 is not moved.
    F l1 = {1, 2, 3, 4, 5};
    F l2 = {10, 11, 12};
 
    l2.splice_after(l2.cbegin(), l1, l1.cbegin(), l1.cend());
    // Not equivalent to l2.splice_after(l2.cbegin(), l1);
    // which is equivalent to
    // l2.splice_after(l2.cbegin(), l1, l1.cbefore_begin(), l1.end());
 
    assert((l1 == F{1}));
    assert((l2 == F{10, 2, 3, 4, 5, 11, 12}));
 
    // Overload (1)
    F x = {1, 2, 3, 4, 5};
    F y = {10, 11, 12};
    x.splice_after(x.cbegin(), y);
    assert((x == F{1, 10, 11, 12, 2, 3, 4, 5}));
    assert((y == F{}));
 
    // Overload (3)
    x = {1, 2, 3, 4, 5};
    y = {10, 11, 12};
    x.splice_after(x.cbegin(), y, y.cbegin());
    assert((x == F{1, 11, 2, 3, 4, 5}));
    assert((y == F{10, 12}));
 
    // Overload (5)
    x = {1, 2, 3, 4, 5};
    y = {10, 11, 12};
    x.splice_after(x.cbegin(), y, y.cbegin(), y.cend());
    assert((x == F{1, 11, 12, 2, 3, 4, 5}));
    assert((y == F{10}));
}

不具合報告

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

DR	適用対象	公開された動作	正しい動作
LWG 2045	C++11	O(1)スプライスが保証されない場合 O(1) ノード移動を保証できませんでした	この場合の動作は 未定義となる
LWG 2222	C++11	itが指す要素は移動されないが、それへのポインタ、参照、および イテレータがスプライス後に*this内の要素を参照するようになる場合	依然として other内の要素を参照してしまう

関連項目

merge	ソート済みの2つのリストをマージする (公開メンバ関数)
removeremove_if	特定の基準を満たす要素を削除する (public member function)
before_begincbefore_begin	先頭の前を指すイテレータを返す (公開メンバ関数)