std::flat_map<Key,T,Compare,KeyContainer,MappedContainer>::try_emplace

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

コンテナライブラリ

シーケンス

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 と等価なキーが既に存在する場合、何もしません。そうでない場合、キー k と、args で構築された値を持つ要素を、基底となるコンテナ c に挿入します。

1,2,4,5) emplace と同等です。

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) emplace_hint と同等です。

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,6) の場合のみ、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	要素を直接構築する (公開メンバ関数)
emplace_hint	ヒントを使用して要素を直接構築する (公開メンバ関数)
insert	要素を挿入する (公開メンバ関数)
insert_or_assign	要素を挿入するか、キーが既に存在する場合は現在の要素に代入する (public member function)