Namespaces
Variants

std::unordered_map<Key,T,Hash,KeyEqual,Allocator>:: try_emplace

From cppreference.net

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 が対応する式から unordered_map EmplaceConstructible でない場合、動作は未定義です。
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 - 要素のコンストラクタに転送される引数

戻り値

1-3) emplace と同様:
挿入された要素(または挿入を妨げた要素)へのイテレータと、挿入が行われた場合にのみ bool 値が true に設定されるペア。
4-6) emplace_hint と同様:
挿入された要素、または挿入を妨げた要素へのイテレータ。

計算量

1-3) emplace と同様:
平均償却定数時間、最悪ケースではコンテナのサイズに対して線形時間。
4-6) 以下は emplace_hint と同じです:
平均償却定数時間、最悪ケースではコンテナのサイズに対して線形時間。

注記

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以降)
(公開メンバ関数)