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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

容器库

序列

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

deque

forward_list (C++11)

list

关联容器

set

multiset

map

multimap

无序关联容器

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

容器适配器

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

span (C++20)

mdspan (C++23)

表格

迭代器失效

成员函数表格

非成员函数表格

 

std::unordered_map

成员类型
成员函数
unordered_map::unordered_map unordered_map::~unordered_map	unordered_map::operator= unordered_map::get_allocator
迭代器
unordered_map::beginunordered_map::cbegin	unordered_map::endunordered_map::cend
容量
unordered_map::size unordered_map::max_size	unordered_map::empty
修改器
unordered_map::clear unordered_map::erase unordered_map::swap unordered_map::extract (C++17) unordered_map::merge (C++17) unordered_map::insert	unordered_map::insert_range (C++23) unordered_map::insert_or_assign (C++17) unordered_map::emplace unordered_map::emplace_hint unordered_map::try_emplace (C++17)
查找
unordered_map::at unordered_map::operator[] unordered_map::count	unordered_map::find unordered_map::contains (C++20) unordered_map::equal_range
桶接口
unordered_map::begin(size_type)unordered_map::cbegin(size_type) unordered_map::end(size_type)unordered_map::cend(size_type)	unordered_map::bucket_count unordered_map::max_bucket_count unordered_map::bucket_size unordered_map::bucket
散列策略
unordered_map::load_factor unordered_map::max_load_factor	unordered_map::rehash unordered_map::reserve
观察器
unordered_map::hash_function	unordered_map::key_eq
非成员函数
operator==operator!= (C++11)(C++11)(C++20 前)	std::swap(std::unordered_map) (C++11) erase_if(std::unordered_map) (C++20)
推导指引(C++17)

 

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) 在键不存在的情况下插入从 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) 。

3) 如果没有与 x 的值进行透明比较相等的键，则插入一个就地构造的 value_type 对象。

等价于 return this->try_emplace(std::forward<K>(x)).first->second;。 此重载仅在 此重载只有在Hash::is_transparent 与 KeyEqual::is_transparent 均合法并指代类型时才会参与重载决议。这假设使得 Hash 能用 K 和 Key 类型调用，并且 KeyEqual 是透明的，进而允许调用此函数时不需要构造 Key 的实例。时参与重载决议。它允许调用该函数时无需构建 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 问题 2469 所修复，而上面的描述合并了该问题的解决方案。

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

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

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

(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 起初包含：", letter_counts);
 
    letter_counts['b'] = 42; // 更新既存值
    letter_counts['x'] = 9;  // 插入新值
 
    println("修改后它包含：", letter_counts);
 
    // 统计每个单词的出现次数
    // （首次调用 operator[] 会初始化计数为零）
    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"]; // 插入对 {"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 次

参阅

at	带越界检查访问指定的元素 (公开成员函数)
insert_or_assign (C++17)	插入元素，或若键已存在则赋值给当前元素 (公开成员函数)
try_emplace (C++17)	若键不存在则原位插入，若键存在则不做任何事 (公开成员函数)