std::map<Key,T,Compare,Allocator>::try_emplace
来自 cppreference.com
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) 行为类似于
value_type(std::piecewise_construct,
std::forward_as_tuple(std::forward<Args>(args)...))
emplace
,除了元素的构造方式为value_type(std::piecewise_construct,
std::forward_as_tuple(std::forward<Args>(args)...))
2) 行为类似于
value_type(std::piecewise_construct,
emplace
,除了元素的构造方式为value_type(std::piecewise_construct,
std::forward_as_tuple(std::move(k)),
3) 行为类似于
value_type(std::piecewise_construct,
emplace
,除了元素的构造方式为value_type(std::piecewise_construct,
std::forward_as_tuple(std::forward<K>(k)),
4) 行为类似于
value_type(std::piecewise_construct,
std::forward_as_tuple(std::forward<Args>(args)...))
emplace_hint
,除了元素的构造方式为value_type(std::piecewise_construct,
std::forward_as_tuple(std::forward<Args>(args)...))
5) 行为类似于
value_type(std::piecewise_construct,
emplace_hint
,除了元素的构造方式为value_type(std::piecewise_construct,
std::forward_as_tuple(std::move(k)),
6) 行为类似于
value_type(std::piecewise_construct,
emplace_hint
,除了元素的构造方式为value_type(std::piecewise_construct,
std::forward_as_tuple(std::forward<K>(k)),
3) 此重载仅在满足以下所有条件时参与重载解析
- std::is_convertible_v<K&&, const_iterator> 和 std::is_convertible_v<K&&, iterator> 都为 false。
- 限定标识符 Compare::is_transparent 有效且表示一个类型。
如果 equal_range(u.first) == equal_range(k) 为 false,则行为是未定义的,其中 u 是要插入的新元素。
6) 此重载仅在限定标识符 Compare::is_transparent 有效且表示一个类型时参与重载解析。
如果 equal_range(u.first) == equal_range(k) 为 false,则行为是未定义的,其中 u 是要插入的新元素。
没有迭代器或引用失效。
内容 |
[编辑] 参数
k | - | 用于查找和插入的键(如果未找到) |
hint | - | 指向新元素将要插入之前的那个位置的迭代器 |
args | - | 要转发给元素构造函数的参数 |
[编辑] 返回值
[编辑] 复杂度
[编辑] 注释
与 insert
或 emplace
不同,这些函数在插入不成功的情况下不会从右值参数中移动,这使得操作其值为移动唯一类型的映射变得容易,例如 std::map<std::string, std::unique_ptr<foo>>。此外,try_emplace
会分别处理键和mapped_type
的参数,这与 emplace
不同,后者要求参数来构造一个value_type
(即一个 std::pair)。
重载 (3,6) 可以不构造类型为Key
的对象而被调用。
特性测试 宏 | 值 | Std | 特性 |
---|---|---|---|
__cpp_lib_map_try_emplace |
201411L | (C++17) | std::map::try_emplace , std::map::insert_or_assign |
__cpp_lib_associative_heterogeneous_insertion |
202311L | (C++26) | 剩余成员函数在 有序 和 无序 关联 容器 中的异构重载。重载 (3) 和 (6)。 |
[编辑] 示例
运行此代码
#include <iostream> #include <string> #include <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::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
[编辑] 参见
(C++11) |
原地构造元素 (公共成员函数) |
(C++11) |
使用提示原地构造元素 (公共成员函数) |
插入元素或节点(自 C++17 起) (公共成员函数) |