命名空间
变体
操作

std::map<Key,T,Compare,Allocator>::try_emplace

来自 cppreference.com
< cpp‎ | container‎ | map
 
 
 
 
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 不是 EmplaceConstructiblemap 中,来自相应的表达式,行为是未定义的。
3) 此重载仅在满足以下所有条件时参与重载解析
如果 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 - 要转发给元素构造函数的参数

[编辑] 返回值

1-3)emplace 相同
一个包含指向插入的元素(或阻止插入的元素)的迭代器和一个 bool 值的对,该值仅当插入成功时设置为 true
4-6)emplace_hint 相同
指向插入的元素或阻止插入的元素的迭代器。

[编辑] 复杂度

1-3)emplace 相同
容器大小的对数。
4-6)emplace_hint 相同
通常情况下,容器大小的对数;但如果新元素在 hint 之前插入,则摊销常数时间。

[编辑] 注释

insertemplace 不同,这些函数在插入不成功的情况下不会从右值参数中移动,这使得操作其值为移动唯一类型的映射变得容易,例如 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++17 起)
(公共成员函数) [编辑]