Spec-Zone.ru › C++

std::unordered_map<Key,T,Hash,KeyEqual,Allocator>::operator[]

T& operator[]( const Key& key );
(1) (начиная с C++11)
T& operator[]( Key&& key );
(2) (начиная с C++11)
template< class K >
T& operator[]( K&& x );
(3) (начиная с C++26)

Возвращает ссылку на значение, соответствующее ключу, эквивалентному key или x соответственно; если такого ключа ещё нет, выполняется вставка.

1) Вставляет объект value_type, конструируемый на месте из std::piecewise_construct, std::forward_as_tuple(key), std::tuple<>(), если ключ не существует.
Эквивалентно return this->try_emplace(key).first->second;.(начиная с C++17)При использовании аллокатора по умолчанию ключ копирующим конструированием создаётся из key, а отображаемое значение проходит инициализацию значением.
-value_type должен удовлетворять требованиям EmplaceConstructible для std::piecewise_construct, std::forward_as_tuple(key), std::tuple<>(). При использовании аллокатора по умолчанию это означает, что key_type должен удовлетворять требованиям CopyConstructible, а mapped_type — требованиям DefaultConstructible.
2) Вставляет объект value_type, конструируемый на месте из std::piecewise_construct, std::forward_as_tuple(std::move(key)), std::tuple<>(), если ключ не существует.
Эквивалентно return this->try_emplace(std::move(key)).first->second;.(начиная с C++17)
При использовании аллокатора по умолчанию ключ перемещающим конструированием создаётся из key, а отображаемое значение проходит инициализацию значением.
-value_type должен удовлетворять требованиям EmplaceConstructible для std::piecewise_construct, std::forward_as_tuple(std::move(key)), std::tuple<>(). При использовании аллокатора по умолчанию это означает, что key_type должен удовлетворять требованиям MoveConstructible, а mapped_type — требованиям DefaultConstructible.
3) Вставляет объект value_type, конструируемый на месте, если нет ключа, который прозрачно сравнивается как эквивалентный значению x.
Эквивалентно return this->try_emplace(std::forward<K>(x)).first->second;. Эта перегрузка участвует в разрешении перегрузки, только если Hash::is_transparent и KeyEqual::is_transparent являются корректными выражениями и каждое обозначает тип. Предполагается, что такой Hash можно вызвать как с типом K, так и с типом Key, а KeyEqual является прозрачным; вместе эти условия позволяют вызвать эту функцию без создания экземпляра Key.

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

Параметры

key - ключ искомого элемента
x - значение любого типа, которое можно прозрачно сравнить с ключом

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

1,2) Ссылка на отображаемое значение нового элемента, если элемента с ключом key не существовало. В противном случае — ссылка на отображаемое значение существующего элемента, ключ которого эквивалентен key.
3) Ссылка на отображаемое значение нового элемента, если элемента с ключом, сравниваемым как эквивалентный значению x, не существовало. В противном случае — ссылка на отображаемое значение существующего элемента, ключ которого сравнивается как эквивалентный x.

Исключения

Если какая-либо операция выбрасывает исключение, вставка не оказывает никакого эффекта.

Сложность

В среднем: константная, в худшем случае: линейная относительно размера.

Примечания

В опубликованных стандартах C++11 и C++14 для этой функции было указано требование, чтобы mapped_type удовлетворял требованиям DefaultInsertable, а key_type — требованиям CopyInsertable или MoveInsertable в *this. Эта спецификация была ошибочной и исправлена в решении LWG issue 2469; приведённое выше описание учитывает это исправление.

Однако известно, что одна реализация (libc++) конструирует объекты key_type и mapped_type посредством двух отдельных вызовов construct() аллокатора, как это, возможно, требуется опубликованными стандартами, вместо помещения объекта value_type.

operator[] не является константной функцией, поскольку вставляет ключ, если тот не существует. Если такое поведение нежелательно или контейнер является const, можно использовать at.

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

(начиная с C++17)
Макрос проверки поддержки возможностей Значение Стандарт Возможность
__cpp_lib_associative_heterogeneous_insertion 202311L (C++26) Гетерогенные перегрузки для остальных функций-членов в упорядоченных и неупорядоченных ассоциативных контейнерах. (3)

Пример

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

void println(auto const comment, auto const& map)
{
    std::cout << comment << '{';
    for (const auto& pair : map)
        std::cout << '{' << pair.first << ": " << pair.second << '}';
    std::cout << "}\n";
}

int main()
{
    std::unordered_map<char, int> letter_counts{{'a', 27}, {'b', 3}, {'c', 1}};
    
    println("letter_counts initially contains: ", letter_counts);
    
    letter_counts['b'] = 42; // updates an existing value
    letter_counts['x'] = 9;  // inserts a new value
    
    println("after modifications it contains: ", letter_counts);
    
    // count the number of occurrences of each word
    // (the first call to operator[] initialized the counter with zero)
    std::unordered_map<std::string, int>  word_map;
    for (const auto& w : {"this", "sentence", "is", "not", "a", "sentence",
                          "this", "sentence", "is", "a", "hoax"})
        ++word_map[w];
    word_map["that"]; // just inserts the pair {"that", 0}
    
    for (const auto& [word, count] : word_map)
        std::cout << count << " occurrence(s) of word '" << word << "'\n";
}

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

letter_counts initially contains: {{a: 27}{b: 3}{c: 1}}
after modifications it contains: {{a: 27}{b: 42}{c: 1}{x: 9}}
2 occurrence(s) of word 'a'
1 occurrence(s) of word 'hoax'
2 occurrence(s) of word 'is'
1 occurrence(s) of word 'not'
3 occurrence(s) of word 'sentence'
0 occurrence(s) of word 'that'
2 occurrence(s) of word 'this'

См. также

at
доступ к указанному элементу с проверкой границ
(открытая функция-член)
insert_or_assign
(C++17)
вставляет элемент или присваивает значение существующему элементу, если ключ уже существует
(открытая функция-член)
try_emplace
(C++17)
вставляет элемент на месте, если ключ не существует; ничего не делает, если ключ существует
(открытая функция-член)

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

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API