node_type extract(const_iterator position); // (1) C++17
node_type extract(const key_type& x); // (2) C++17
template <class K>
node_type extract(K&& x); // (3) C++23
概要
指定された要素を*this
から切り離し、その要素を所有するノードハンドルを取得する。
- (1) :
position
が指すノードを切り離す - (2) :
x
と等価なキーをもつノードを切り離す - (3) :
key_type
と比較可能なx
と等価なキーをもつノードを切り離す
戻り値
要素を所有するか、空のノードハンドル
計算量
- (1) : 償却定数時間
- (2), (3) : 要素数を
N
として、log(N)
備考
- この関数は、要素に対するコピーもムーブも行わずに、要素の所有権を転送することができる
- この関数は、再確保なしでマップ要素のキーを変更することができる
例
#include <iostream>
#include <map>
int main()
{
std::map<int, char> m1;
std::map<int, char> m2 = {
{10, 'a'},
{20, 'b'},
{30, 'c'}
};
// ノードを取得
std::map<int, char>::node_type node = m2.extract(10);
// キーを書き換え
node.key() = 15;
// ノードを転送
m1.insert(std::move(node));
std::cout << "m1 :" << std::endl;
for (const auto& [key, value] : m1)
std::cout << "[" << key << ", " << value << "]" << std::endl;
std::cout << "\n" << "m2 :" << std::endl;
for (const auto& [key, value] : m2)
std::cout << "[" << key << ", " << value << "]" << std::endl;
}
出力
m1 :
[15, a]
m2 :
[20, b]
[30, c]
バージョン
言語
- C++17
処理系
- Clang: 7.0.0 ✅
- GCC: 7.1.0 ✅
- ICC: ??
- Visual C++: 2017 Update 5 ✅
関連項目
参照
- Splicing Maps and Sets(Revision 5)
- P2077R3 Heterogeneous erasure overloads for associative containers
- C++23で、
template <class K> extract(K&& x)
のオーバーロードが追加された
- C++23で、