std::unordered_map<Key,T,Hash,KeyEqual,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。
- 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 | - | 轉發給元素建構函式的引數 |
[編輯] 返回值
[編輯] 複雜度
[編輯] 注意
與 insert
或 emplace
不同,如果未發生插入,這些函式不會從右值引數進行移動,這使得操作值為僅可移動型別(例如 std::unordered_map<std::string, std::unique_ptr<foo>>)的對映變得容易。此外,try_emplace
獨立處理鍵和 mapped_type
的引數,這與 emplace
不同,後者要求引數構造一個 value_type
(即 std::pair)。
過載 (3,6) 可以在不構造 Key
型別物件的情況下呼叫。
特性測試宏 | 值 | 標準 | 特性 |
---|---|---|---|
__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
[編輯] 另請參閱
就地構造元素 (公共成員函式) | |
使用提示就地構造元素 (公共成員函式) | |
插入元素 或節點(C++17 起) (公共成員函式) |