std::set<Key,Compare,Allocator>::extract

 

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

メンバ関数

set::set set::~set            set::operator= set::get_allocator

イテレータ set::beginset::cbegin (C++11) set::endset::cend (C++11) set::rbeginset::crbegin (C++11)   set::rendset::crend (C++11) 容量 set::size set::max_size set::empty 監視 set::key_comp set::value_comp 変更 set::clear set::erase set::swap set::extract (C++17) set::merge (C++17) set::insert set::insert_range (C++23) set::emplace (C++11) set::emplace_hint (C++11) 検索 set::count set::find set::contains (C++20)    set::equal_range set::lower_bound set::upper_bound

非メンバ関数

operator==operator<=> (C++20) std::swap(std::set) erase_if(std::set) (C++20)   operator!=operator<operator>operator<=operator>= (C++20まで)(C++20まで)(C++20まで)(C++20まで)(C++20まで)

推論補助(C++17)

 

node_type extract( const_iterator position );	(1)	(C++17以降)
node_type extract( const Key& k );	(2)	(C++17以降)
template< class K > node_type extract( K&& x );	(3)	(C++23から)

1) position が指す要素を含むノードをコンテナから外し、それを所有する ノードハンドル を返します。

2) コンテナに k と等価なキーを持つ要素がある場合、その要素を含むノードをコンテナから外し、それを所有する ノードハンドル を返します。それ以外の場合、空のノードハンドルを返します。

3) (2) と同じです。このオーバーロードは、修飾されたID Compare::is_transparent が有効で型を表し、かつ iterator も const_iterator も K から暗黙的に変換できない場合にのみオーバーロード解決に参加します。これにより、Key のインスタンスを構築せずにこの関数を呼び出すことができます。

どちらの場合も、要素はコピーも移動もされず、コンテナノードの内部ポインタのみが再設定されます（erase() と同様に、再平衡化が発生する可能性があります）。

ノードを抽出しても、抽出された要素へのイテレータのみが無効になります。抽出された要素へのポインタと参照は有効なままですが、要素がノードハンドルによって所有されている間は使用できません。要素がコンテナに挿入されると、再び使用可能になります。

パラメータ

position	-	このコンテナ内の有効なイテレータ
k	-	抽出するノードを識別するためのキー
x	-	抽出するノードを識別するキーと比較できる任意の型の値

戻り値

抽出された要素を所有する ノードハンドル、または (2,3) で要素が見つからない場合は空のノードハンドル。

例外

1) 何も投げない。

2,3) Compare オブジェクトによって投げられるすべての例外。

計算量

1) 償却定数。

2,3) log(size())

備考

extract は、ムーブ専用オブジェクトをセットから取り出す唯一の方法です。

std::set<move_only_type> s;
s.emplace(...);
move_only_type mot = std::move(s.extract(s.begin()).value());

機能テストマクロ	値	規格	機能
__cpp_lib_associative_heterogeneous_erasure	202110L	(C++23)	連想コンテナ および 非順序連想コンテナ における異種消去、(3)

例

このコードを実行

#include <algorithm>
#include <iostream>
#include <string_view>
#include <set>
 
void print(std::string_view comment, const auto& data)
{
    std::cout << comment;
    for (auto datum : data)
        std::cout << ' ' << datum;
 
    std::cout << '\n';
}
 
int main()
{
    std::set<int> cont{1, 2, 3};
 
    print("Start:", cont);
 
    // Extract node handle and change key
    auto nh = cont.extract(1);
    nh.value() = 4;
 
    print("After extract and before insert:", cont);
 
    // Insert node handle back
    cont.insert(std::move(nh));
 
    print("End:", cont);
}

出力

Start: 1 2 3
After extract and before insert: 2 3
End: 2 3 4

関連項目

merge (C++17)	他のコンテナからノードを連結する (公開メンバ関数)
insert	要素 またはノード(C++17以降)を挿入する (公開メンバ関数)
erase	要素を削除する (公開メンバ関数)