std::map<Key,T,Compare,Allocator>::try_emplace
来自 cppreference.cn
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。
- 限定ID Compare::is_transparent 有效且表示一个类型。
如果 equal_range(u.first) == equal_range(k) 为 false,则行为未定义,其中 u 是要插入的新元素。
6) 此重载仅在限定ID Compare::is_transparent 有效且表示一个类型时才参与重载决议。
如果 equal_range(u.first) == equal_range(k) 为 false,则行为未定义,其中 u 是要插入的新元素。
迭代器或引用均未失效。
目录 |
[edit] 参数
k | - | 用于查找和插入(如果未找到)的键 |
hint | - | 指向新元素将插入位置之前的迭代器 |
args | - | 转发给元素构造函数的参数 |
[edit] 返回值
[edit] 复杂度
[edit] 注意
与 insert
或 emplace
不同,如果未发生插入,这些函数不会从右值参数移动,这使得操作值是仅可移动类型的 map 变得容易,例如 std::map<std::string, std::unique_ptr<foo>>。此外,try_emplace
独立处理键和 mapped_type
的参数,这与 emplace
不同,后者要求参数构造一个 value_type
(即 std::pair)。
重载 (3,6) 可以在不构造 Key
类型对象的情况下调用。
特性测试宏 | 值 | 标准 | 特性 |
---|---|---|---|
__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)。 |
[edit] 示例
运行此代码
#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
[edit] 参阅
(C++11) |
就地构造元素 (公共成员函数) |
(C++11) |
使用提示就地构造元素 (公共成员函数) |
插入元素 或节点(C++17 起) (公共成员函数) |