std::map<Key,T,Compare,Allocator>::extract

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). Эта перегрузка участвует в разрешении перегрузки, только если квалифицированный идентификатор Compare::is_transparent корректен и обозначает тип, а также ни iterator, ни const_iterator не преобразуются неявно из K. Это позволяет вызывать функцию без создания экземпляра Key.

В обоих случаях элементы не копируются и не перемещаются; меняются только внутренние указатели узлов контейнера (может выполняться перебалансировка, как и при erase()).

Извлечение узла делает недействительными только итераторы, указывающие на извлечённый элемент. Указатели и ссылки на извлечённый элемент остаются действительными, но их нельзя использовать, пока элемент принадлежит дескриптору узла: они снова становятся пригодными для использования, если элемент вставить в контейнер.

Параметры

position	-	действительный итератор в этот контейнер
k	-	ключ для определения извлекаемого узла
x	-	значение любого типа, который можно прозрачно сравнить с ключом, определяющим извлекаемый узел

Возвращаемое значение

Дескриптор узла, владеющий извлечённым элементом, или пустой дескриптор узла, если элемент не найден в (2,3).

Исключения

1) Ничего не выбрасывает.

2,3) Любые исключения, выбрасываемые объектом Compare.

Сложность

1) Амортизированная константная.

2,3) log(size())

Примечания

extract — единственный способ изменить ключ элемента map без перевыделения памяти:

std::map<int, std::string> m{{1, "mango"}, {2, "papaya"}, {3, "guava"}};
auto nh = m.extract(2);
nh.key() = 4;
m.insert(std::move(nh));
// m == {{1, "mango"}, {3, "guava"}, {4, "papaya"}}

Макрос проверки возможностей	Значение	Стандарт	Возможность
`__cpp_lib_associative_heterogeneous_erasure`	`202110L`	(C++23)	Гетерогенное удаление в ассоциативных контейнерах и неупорядоченных ассоциативных контейнерах, (3)

Пример

#include <algorithm>
#include <iostream>
#include <string_view>
#include <map>

void print(std::string_view comment, const auto& data)
{
    std::cout << comment;
    for (auto [k, v] : data)
        std::cout << ' ' << k << '(' << v << ')';

    std::cout << '\n';
}
 
int main()
{
    std::map<int, char> cont{{1, 'a'}, {2, 'b'}, {3, 'c'}};

    print("Start:", cont);
    
    // Extract node handle and change key
    auto nh = cont.extract(1);
    nh.key() = 4;

    print("After extract and before insert:", cont);
 
    // Insert node handle back
    cont.insert(std::move(nh));

    print("End:", cont);
}

Вывод:

Start: 1(a) 2(b) 3(c)
After extract and before insert: 2(b) 3(c)
End: 2(b) 3(c) 4(a)

См. также

merge (C++17)	перемещает узлы из другого контейнера (открытая функция-член)
insert	вставляет элементы или узлы(начиная с C++17) (открытая функция-член)
erase	удаляет элементы (открытая функция-член)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/container/map/extract