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

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

命名需求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

数组 (C++11)

向量

vector<bool>

inplace_vector (C++26)

双端队列

前向列表 (C++11)

列表

关联

集合

多重集

映射

多重映射

无序关联

无序集合 (C++11)

无序多重集 (C++11)

无序映射 (C++11)

无序多重映射 (C++11)

适配器

栈

队列

优先队列

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

跨度 (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++20)	std::swap(std::unordered_map) erase_if(std::unordered_map) (C++20)
推导指南(C++17)

 

template< class... Args > std::pair<iterator, bool> try_emplace( const Key& k, Args&&... args );	(1)	(自 C++17 起)
template< class... Args > std::pair<iterator, bool> try_emplace( Key&& k, Args&&... args );	(2)	(自 C++17 起)
template< class K, class... Args > std::pair<iterator, bool> try_emplace( K&& k, Args&&... args );	(3)	(自 C++26 起)
template< class... Args > iterator try_emplace( const_iterator hint, const Key& k, Args&&... args );	(4)	(自 C++17 起)
template< class... Args > iterator try_emplace( const_iterator hint, Key&& k, Args&&... args );	(5)	(自 C++17 起)
template< class K, class... Args > iterator try_emplace( const_iterator hint, K&& k, Args&&... args );	(6)	(自 C++26 起)

如果与 k 等效的键已存在于容器中，则不执行任何操作。否则，将一个新的元素插入到容器中，该元素的键为 k，值由 args 构造。在这种情况下

1) 行为类似于 emplace，但元素的构造方式为
value_type(std::piecewise_construct,

           std::forward_as_tuple(k),

           std::forward_as_tuple(std::forward<Args>(args)...))

2) 行为类似于 emplace，但元素的构造方式为
value_type(std::piecewise_construct,

           std::forward_as_tuple(std::move(k)),

           std::forward_as_tuple(std::forward<Args>(args)...))

3) 行为类似于 emplace，但元素的构造方式为
value_type(std::piecewise_construct,

           std::forward_as_tuple(std::forward<K>(k)),

           std::forward_as_tuple(std::forward<Args>(args)...))

4) 行为类似于 emplace_hint，但元素的构造方式为
value_type(std::piecewise_construct,

           std::forward_as_tuple(k),

           std::forward_as_tuple(std::forward<Args>(args)...))

5) 行为类似于 emplace_hint，但元素的构造方式为
value_type(std::piecewise_construct,

           std::forward_as_tuple(std::move(k)),

           std::forward_as_tuple(std::forward<Args>(args)...))

6) 行为类似于 emplace_hint，但元素的构造方式为
value_type(std::piecewise_construct,

           std::forward_as_tuple(std::forward<K>(k)),

           std::forward_as_tuple(std::forward<Args>(args)...))

1-6) 如果 value_type 不能从相应的表达式 EmplaceConstructible 到 unordered_map 中，则行为未定义。

3) 只有在满足以下所有条件时，此重载才能参与重载解析

• std::is_convertible_v<K&&, const_iterator> 和 std::is_convertible_v<K&&, iterator> 都为 false。
• Hash::is_transparent 和 KeyEqual::is_transparent 有效，并且分别表示一个类型。

如果 hash_function()(u.first) != hash_function()(k) || contains(u.first) 为 true，则行为未定义，其中 u 是要插入的新元素。

6) 只有当 Hash::is_transparent 和 KeyEqual::is_transparent 都有效，并且分别表示一个类型时，此重载才能参与重载解析。

如果 hash_function()(u.first) != hash_function()(k) || contains(u.first) 为 true，则行为未定义，其中 u 是要插入的新元素。

如果在操作后，新的元素数量大于旧的 max_load_factor() * bucket_count()，则会进行重新哈希。
如果发生重新哈希（由于插入），则所有迭代器都会失效。否则（没有重新哈希），迭代器不会失效。

参数

k	-	用于查找和插入（如果未找到）的键
hint	-	迭代器，指向将插入新元素之前的那个位置
args	-	要转发给元素构造函数的参数

返回值

1-3) 与 emplace 相同
包含指向已插入元素（或阻止插入的元素）的迭代器和一个值为 bool 的 true 的对，当且仅当插入发生时。

4-6) 与 emplace_hint 相同
指向已插入元素或阻止插入的元素的迭代器。

复杂度

1-3) 与 emplace 相同
平均摊销常数，最坏情况下容器大小为线性。

4-6) 与 emplace_hint 相同
平均摊销常数，最坏情况下容器大小为线性。

注释

与 insert 或 emplace 不同，这些函数不会从右值参数移动，如果插入没有发生，这使得操作其值为仅移动类型的映射变得容易，例如 std::unordered_map<std::string, std::unique_ptr<foo>>。此外，try_emplace 对键和mapped_type 的参数进行单独处理，不像 emplace，它需要参数来构造一个value_type（即一个std::pair）。

重载 (3,6) 可以不构造类型为 Key 的对象来调用。

特性测试 宏	值	Std	特性
__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>
#include <utility>
 
void print_node(const auto& node)
{
    std::cout << '[' << node.first << "] = " << node.second << '\n';
}
 
void print_result(auto const& pair)
{
    std::cout << (pair.second ? "inserted: " : "ignored:  ");
    print_node(*pair.first);
}
 
int main()
{
    using namespace std::literals;
    std::unordered_map<std::string, std::string> m;
 
    print_result(m.try_emplace("a", "a"s));
    print_result(m.try_emplace("b", "abcd"));
    print_result(m.try_emplace("c", 10, 'c'));
    print_result(m.try_emplace("c", "Won't be inserted"));
 
    for (const auto& p : m)
        print_node(p);
}

可能的输出

inserted: [a] = a
inserted: [b] = abcd
inserted: [c] = cccccccccc
ignored:  [c] = cccccccccc
[a] = a
[b] = abcd
[c] = cccccccccc

另请参阅

emplace	就地构造元素 (公共成员函数)
emplace_hint	使用提示就地构造元素 (公共成员函数)
insert	插入元素 或节点(自 C++17 起) (公共成员函数)