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

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

容器庫

序列

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

關聯

set

multiset

map

multimap

無序關聯

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

介面卡

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

檢視

span (C++20)

mdspan (C++23)

表格

迭代器失效

成員函式表格

非成員函式表格

 

std::map

成員函式

map::map map::~map               map::operator= map::get_allocator

元素訪問 map::at map::operator[] 迭代器 map::beginmap::cbegin (C++11) map::endmap::cend (C++11) map::rbeginmap::crbegin (C++11)      map::rendmap::crend (C++11) 容量 map::size map::max_size map::empty 觀察器 map::key_comp map::value_comp 修改器 map::clear map::insert map::erase map::swap map::extract (C++17) map::merge (C++17) map::insert_range (C++23) map::insert_or_assign (C++17) map::emplace (C++11) map::emplace_hint (C++11) map::try_emplace (C++17) 查詢 map::count map::find map::contains (C++20) map::equal_range map::lower_bound map::upper_bound

非成員函式

operator==operator<=> (C++20 起) std::swap(std::map) erase_if(std::map) (C++20)   operator!=operator<operator>operator<=operator>= (until C++20)(until C++20)(until C++20)(until C++20)(until 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 到 map 中，則行為未定義。

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 是要插入的新元素。

迭代器或引用均未失效。

引數

k	-	用於查詢和插入（如果未找到）的鍵
hint	-	指向新元素將插入位置之前的迭代器
args	-	轉發給元素建構函式的引數

返回值

1-3) 與 emplace 相同
一個 pair，由指向插入元素的迭代器（或阻止插入的元素）和一個 bool 值組成，該值僅在插入發生時設定為 true。

4-6) 與 emplace_hint 相同
一個迭代器，指向插入的元素或阻止插入的元素。

複雜度

1-3) 與 emplace 相同
容器大小的對數級別。

4-6) 與 emplace_hint 相同
通常為容器大小的對數級，但如果新元素剛好插入在 hint 之前，則為攤銷常數級。

注意

與 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)。

示例

執行此程式碼

#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

參閱

emplace (C++11)	就地構造元素 (公共成員函式)
emplace_hint (C++11)	使用提示就地構造元素 (公共成員函式)
insert	插入元素 或節點(C++17 起) (公共成員函式)