std::unordered_map<Key,T,Hash,KeyEqual,Allocator>::insert_or_assign

template< class M > std::pair<iterator, bool> insert_or_assign( const Key& k, M&& obj );	(1)	(начиная с C++17)
template< class M > std::pair<iterator, bool> insert_or_assign( Key&& k, M&& obj );	(2)	(начиная с C++17)
template< class K, class M > std::pair<iterator, bool> insert_or_assign( K&& k, M&& obj );	(3)	(начиная с C++26)
template< class M > iterator insert_or_assign( const_iterator hint, const Key& k, M&& obj );	(4)	(начиная с C++17)
template< class M > iterator insert_or_assign( const_iterator hint, Key&& k, M&& obj );	(5)	(начиная с C++17)
template< class K, class M > iterator insert_or_assign( const_iterator hint, K&& k, M&& obj );	(6)	(начиная с C++26)

1,4) Если в контейнере уже существует ключ, эквивалентный k, присваивает std::forward<M>(obj) объекту mapped_type, соответствующему ключу k. Если ключ не существует, вставляет новое значение так же, как это делает insert, создавая его из value_type(k, std::forward<M>(obj)).

2,5) То же, что и (1,4), за исключением того, что отображаемое значение создаётся из value_type(std::move(k), std::forward<M>(obj)).

3,6) Если в контейнере уже существует ключ, эквивалентный k, присваивает std::forward<M>(obj) объекту mapped_type, соответствующему ключу k. Если ключ не существует, создаёт объект u типа value_type с помощью std::forward<K>(k), std::forward<M>(obj)), а затем вставляет u в *this. Если hash_function()(u.first) != hash_function()(k) || contains(u.first) является true, поведение не определено. Тип value_type должен удовлетворять требованиям EmplaceConstructible для unordered_map из std::forward<K>(k), std::forward<M>(obj). Эта перегрузка участвует в разрешении перегрузки, только если Hash::is_transparent и KeyEqual::is_transparent корректны и каждый обозначает тип. Предполагается, что такой Hash можно вызвать как с аргументом типа K, так и с аргументом типа Key, а также что KeyEqual является прозрачным; вместе эти условия позволяют вызвать эту функцию, не создавая экземпляр Key.

Поведение не определено(до C++20)Программа некорректна(начиная с C++20), если std::is_assignable_v<mapped_type&, M&&> является false.

Если после операции новое количество элементов превышает старое значение max_load_factor() * bucket_count(), происходит рехеширование.
При рехешировании (вызванном вставкой) все итераторы становятся недействительными. В противном случае (если рехеширования не было) итераторы остаются действительными.

Параметры

k	-	ключ, используемый как для поиска, так и для вставки, если он не найден
hint	-	итератор на позицию, перед которой будет вставлен новый элемент
obj	-	значение для вставки или присваивания

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

1-3) Компонент bool равен true, если произошла вставка, и false, если произошло присваивание. Компонент-итератор указывает на вставленный или обновлённый элемент.

4-6) Итератор, указывающий на вставленный или обновлённый элемент.

Сложность

1-3) Такая же, как у emplace.

4-6) Такая же, как у emplace_hint.

Примечания

insert_or_assign возвращает больше информации, чем operator[], и не требует возможности конструирования отображаемого типа по умолчанию.

Макрос проверки поддержки возможностей	Значение	Стандарт	Возможность
`__cpp_lib_unordered_map_try_emplace`	`201411L`	(C++17)	`std::unordered_map::try_emplace`, `std::unordered_map::insert_or_assign`
`__cpp_lib_associative_heterogeneous_insertion`	`202311L`	(C++26)	Гетерогенные перегрузки для остальных функций-членов упорядоченных и неупорядоченных ассоциативных контейнеров. Перегрузки (3) и (6).

Пример

#include <iostream>
#include <string>
#include <unordered_map>

void print_node(const auto& node)
{
    std::cout << '[' << node.first << "] = " << node.second << '\n';
}

void print_result(auto const& pair)
{
    std::cout << (pair.second ? "inserted: " : "assigned: ");
    print_node(*pair.first);
}

int main()
{
    std::unordered_map<std::string, std::string> myMap;

    print_result(myMap.insert_or_assign("a", "apple"));
    print_result(myMap.insert_or_assign("b", "banana"));
    print_result(myMap.insert_or_assign("c", "cherry"));
    print_result(myMap.insert_or_assign("c", "clementine"));

    for (const auto& node : myMap)
        print_node(node);
}

Возможный вывод:

inserted: [a] = apple
inserted: [b] = banana
inserted: [c] = cherry
assigned: [c] = clementine
[c] = clementine
[a] = apple
[b] = banana

См. также

operator[]	доступ к указанному элементу или его вставка (открытая функция-член)
at	доступ к указанному элементу с проверкой границ (открытая функция-член)
insert	вставляет элементы или узлы(начиная с C++17) (открытая функция-член)
emplace	создаёт элемент на месте (открытая функция-член)

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