std::flat_map<Key,T,Compare,KeyContainer,MappedContainer>::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::flat_map

成員型別

成員函式

flat_map::flat_map flat_map::operator= 元素訪問 flat_map::at flat_map::operator[] 迭代器 flat_map::beginflat_map::cbegin flat_map::endflat_map::cend flat_map::rbeginflat_map::crbegin flat_map::rendflat_map::crend 查詢 flat_map::count flat_map::find flat_map::contains flat_map::equal_range    flat_map::lower_bound flat_map::upper_bound 容量 flat_map::size flat_map::max_size flat_map::empty 修改器 flat_map::clear flat_map::erase flat_map::swap flat_map::emplace flat_map::extract flat_map::replace flat_map::insert flat_map::insert_range flat_map::insert_or_assign flat_map::emplace_hint flat_map::try_emplace 觀察器 flat_map::key_comp flat_map::keys flat_map::value_comp flat_map::values

非成員函式

operator==operator<=>         swap(std::flat_map) erase_if(std::flat_map)

輔助類

uses_allocator<std::flat_map>

標籤

sorted_unique       sorted_unique_t

推導指引

 

template< class... Args > std::pair<iterator, bool> try_emplace( const key_type& k, Args&&... args );	(1)	(C++23 起)
template< class... Args > std::pair<iterator, bool> try_emplace( key_type&& k, Args&&... args );	(2)	(C++23 起)
template< class K, class... Args > std::pair<iterator, bool> try_emplace( K&& k, Args&&... args );	(3)	(C++23 起)
template< class... Args > iterator try_emplace( const_iterator hint, const key_type& k, Args&&... args );	(4)	(C++23 起)
template< class... Args > iterator try_emplace( const_iterator hint, key_type&& k, Args&&... args );	(5)	(C++23 起)
template< class K, class... Args > iterator try_emplace( const_iterator hint, K&& k, Args&&... args );	(6)	(C++23 起)

如果容器中已存在與 k 等價的鍵，則不做任何操作。否則，將一個新元素插入到底層容器 c 中，鍵為 k，值由 args 構造。

1,2,4,5) 等價於

auto key_it = ranges::upper_bound(c.keys, k, compare);
auto value_it = c.values.begin() + std::distance(c.keys.begin(), key_it);
c.keys.insert(key_it, std::forward<decltype(k)>(k));
c.values.emplace(value_it, std::forward<Args>(args)...);

3,6) 等價於

auto key_it = ranges::upper_bound(c.keys, k, compare);
auto value_it = c.values.begin() + std::distance(c.keys.begin(), key_it);
c.keys.emplace(key_it, std::forward<K>(k));
c.values.emplace(value_it, std::forward<Args>(args)...);

從 k 到 key_type 的轉換必須構造一個物件 u，使得 find(k) == find(u) 為 true。否則，行為未定義。

這些過載僅在以下條件之一滿足時參與過載決議：

• 限定 ID Compare::is_transparent 有效且表示一個型別。
• std::is_constructible_v<key_type, K> 為 true。
• std::is_assignable_v<mapped_type&, Args...> 為 true。
• 對於 (3)，std::is_convertible_v<K&&, const_iterator> 和 std::is_convertible_v<K&&, iterator> 都為 false。

引數

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

返回值

1-3) 與 emplace 相同。

4-6) 與 emplace_hint 相同。

複雜度

1-3) 與 emplace 相同。

4-6) 與 emplace_hint 相同。

注意

與 insert 或 emplace 不同，這些函式在不發生插入時不會移動右值引數，這使得操作值為僅可移動型別的對映變得容易，例如 std::flat_map<std::string, std::unique_ptr<foo>>。此外，try_emplace 分別處理鍵和 mapped_type 的引數，這與 emplace 不同，後者要求引數構造一個 value_type（即 std::pair）。

過載 (3,6) 可以在不構造 key_type 型別物件的情況下呼叫。

示例

執行此程式碼

#include <flat_map>
#include <iostream>
#include <string>
#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	就地構造元素 (public member function)
emplace_hint	使用提示就地構造元素 (public member function)
insert	插入元素 (public member function)
insert_or_assign	插入元素或如果鍵已存在則賦值給當前元素 (public member function)