Spec-Zone.ru › C++

std::map<Key,T,Compare,Allocator>::operator[]

T& operator[]( const Key& key );
(1)
T& operator[]( Key&& key );
(2) (с C++11)

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

1) Вставляет value_type(key, T()) если ключ не существует.
-key_type должно удовлетворять требованиям CopyConstructible.
-mapped_type должно удовлетворять требованиям CopyConstructible и DefaultConstructible.
Если вставка выполняется, сопоставленное значение инициализируется по умолчанию (для типов классов - конструктором по умолчанию, в противном случае - нулевым значением), и возвращается ссылка на него.
(до C++11)
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.
(с C++11)

Никакие итераторы или ссылки не становятся недействительными.

Параметры

key - ключ элемента для поиска

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

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

Исключение

Если любое действие вызывает исключение, вставка не выполняется.

Сложность

Логарифмическая по размеру контейнера.

Примечания

В опубликованных стандартах 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, потому что она вставляет ключ, если он не существует. Если это поведение нежелательно или контейнер является const, можно использовать at().

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

(с C++17)

Пример

#include <iostream>
#include <string>
#include <map>
 
auto print = [](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::map<char, int> letter_counts{{'a', 27}, {'b', 3}, {'c', 1}};
 
    print("letter_counts initially contains: ", letter_counts);
 
    letter_counts['b'] = 42; // updates an existing value
    letter_counts['x'] = 9;  // inserts a new value
 
    print("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::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'

Отчеты об ошибках

Следующие отчеты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

DR Применён к Поведение в опубликованном виде Правильное поведение
LWG 334 C++98 эффект перегрузки (1) заключался просто в возвращении
(*((insert(std::make_pair(x, T()))).first)).second
предоставлено собственное
описание вместо

См. также

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/w/cpp/container/map/operator_at

Spec-Zone.ru

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