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

来自cppreference.com

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

返回到映射到等于 key 的键的值的引用,这种键不存在的情况下就会进行插入。

1) 在键不存在的情况下插入从 std::piecewise_construct, std::forward_as_tuple(key), std::tuple<>() 原位构造的 value_type 对象。此函数等价于 return this->try_emplace(key).first->second; (C++17 起)
使用默认分配器时,这导致从 key 复制构造键,并值初始化被映射值。
-
value_type 必须从 std::piecewise_construct, std::forward_as_tuple(key), std::tuple<>() 可就位构造 (EmplaceConstructible) 。使用默认分配器时,这表明 key_type 必须可复制构造 (CopyConstructible) mapped_type 必须可默认构造 (DefaultConstructible)
2) 在键不存在的情况下插入从 std::piecewise_construct, std::forward_as_tuple(std::move(key)), std::tuple<>() 原位构造的 value_type 对象。此函数等价于 return this->try_emplace(std::move(key)).first->second; (C++17 起)
使用默认分配器时,这导致从 key 移动构造键,并值初始化被映射值。
-
value_type 必须从 std::piecewise_construct, std::forward_as_tuple(std::move(key)), std::tuple<>() 可就位构造 (EmplaceConstructible) 。使用默认分配器时,这表明 key_type 必须为可移动构造 (MoveConstructible) mapped_type 必须为可默认构造 (DefaultConstructible)

如果插入发生且导致容器的重哈希,那么所有迭代器会失效。否则迭代器不受影响。重哈希只有在新元素数量大于 max_load_factor() * bucket_count() 时才会发生。

参数

key - 要寻找的元素键

返回值

不存在拥有键 key 的元素时返回到新元素被映射值的引用。否则返回到既存的关键等价于 key 的元素的被映射值的引用。

异常

如果任何操作抛出异常,那么插入无效果。

复杂度

平均情况:常数,最坏情况:与大小成线性。

注解

出版的 C++11 和 C++14 标准中,指定此函数要求 mapped_type可默认插入 (DefaultInsertable) key_type可复制插入 (CopyInsertable) 可移动插入 (MoveInsertable) *this。此规定有缺陷并为 LWG 问题 2469 所修复,而上面的描述合并了该问题的解决方案。

然而,已知一个实现(libc++)通过两个分离的分配器 construct() 调用构造 key_typemapped_type 对象,可认为如发布时的标准所要求,而非原位构造 value_type 对象。

operator[] 非 const,因为它会在键不存在时插入键。如果此行为非所欲或容器为 const,那么可以使用 at()

insert_or_assign() 返回的信息多于 operator[],而且不要求 mapped_type 可默认构造。

(C++17 起)

示例

#include <iostream>
#include <string>
#include <unordered_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::<char, int> letter_counts{{'a', 27}, {'b', 3}, {'c', 1}};
 
    print("letter_counts 初始状态下包含:", letter_counts);
 
    letter_counts['b'] = 42; // 更新既存值
    letter_counts['x'] = 9;  // 插入新值
 
    print("修改后它包含:", letter_counts);
 
    // 统计每个单词的出现次数
    // (首次调用 operator[] 会初始化计数为零)
    std::<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"]; // 插入对 {"that", 0}
 
    for (const auto& [word, count] : word_map)
        std::cout << "单词 '" << word << "' 出现 " << count << "次\n";
}

可能的输出:

letter_counts 初始状态下包含:{{a: 27}{b: 3}{c: 1}}
修改后它包含:{{a: 27}{b: 42}{c: 1}{x: 9}}
单词 'a' 出现 2 次
单词 'hoax' 出现 1 次
单词 'is' 出现 2 次
单词 'not' 出现 1 次
单词 'sentence' 出现 3 次
单词 'that' 出现 0 次
单词 'this' 出现 2 次


参阅

(C++11)
访问指定的元素,同时进行越界检查
(公开成员函数)
插入元素,或若键已存在则赋值给当前元素
(公开成员函数)
若键不存在则原位插入,若键存在则不做任何事
(公开成员函数)