std::unordered_set<Key,Hash,KeyEqual,Allocator>:: insert

1,2) value を挿入します。

3,4) value を挿入します。 hint は検索を開始すべき位置に関する非拘束的な提案として使用されます。

5) 範囲 [ first , last ) から要素を挿入します。範囲内の複数の要素が同等と比較されるキーを持つ場合、どの要素が挿入されるかは未規定です（ LWG2844 保留中）。

6) 初期化子リスト ilist から要素を挿入します。範囲内の複数の要素が同等と比較されるキーを持つ場合、どの要素が挿入されるかは未規定です（ LWG2844 保留中）。

7) nh が空の node handle である場合、何も行わない。そうでない場合、コンテナが nh. key ( ) と等価なキーを持つ要素を既に含んでいない場合に限り、 nh が所有する要素をコンテナに挿入する。 nh が空でなく、かつ get_allocator ( ) ! = nh. get_allocator ( ) である場合、動作は未定義である。

8) もし nh が空の node handle であれば、何もせずに終端イテレータを返す。そうでなければ、 nh が所有する要素をコンテナに挿入する（ただし、コンテナが既に nh. key ( ) と等価なキーを持つ要素を含んでいない場合）。挿入の成否に関わらず、 nh. key ( ) と等価なキーを持つ要素を指すイテレータを返す。挿入が成功した場合、 nh は移動され、そうでない場合は要素の所有権を保持する。 hint は検索を開始すべき位置に対する非拘束的なヒントとして使用される。 nh が空でなく、かつ get_allocator ( ) ! = nh. get_allocator ( ) の場合、動作は未定義である。

9) * this が既に透過的に比較して 等価 な要素を含む場合、何もしない。それ以外の場合、 value_type 型のオブジェクト u を std:: forward < K > ( obj ) で構築し、 u を * this に挿入する。 equal_range ( u ) ! = hash_function ( ) ( obj ) || contains ( u ) が true の場合、動作は未定義である。 value_type は std:: forward < K > ( obj ) から unordered_set へ EmplaceConstructible でなければならない。このオーバーロードは、 Hash と KeyEqual が両方とも 透過的 である場合にのみオーバーロード解決に参加する。これは、そのような Hash が K と Key 型の両方で呼び出し可能であり、 KeyEqual が透過的であることを前提としており、これらにより Key のインスタンスを構築せずにこの関数を呼び出すことができる。

10) もし * this が既に透過的に比較して 等価 な要素を含む場合、何もしない。

そうでない場合、 u を value_type のオブジェクトとして std:: forward < K > ( obj ) で構築し、 u を * this に挿入する。 Template:hint は検索を開始すべき場所に対する非拘束的な提案として使用される。もし equal_range ( u ) ! = hash_function ( ) ( obj ) || contains ( u ) が true の場合、動作は未定義である。 value_type は std:: forward < K > ( obj ) から unordered_set へ EmplaceConstructible でなければならない。このオーバーロードは以下の場合にのみオーバーロード解決に参加する:

• std:: is_convertible_v < K && , const_iterator > と std:: is_convertible_v < K && , iterator > の両方が false であり、かつ
• Hash :: is_transparent と KeyEqual :: is_transparent が有効であり、それぞれが型を表すこと。これは、そのような Hash が K と Key 型の両方で呼び出し可能であり、 KeyEqual が透過的であることを前提とする。

これらにより、 Key のインスタンスを構築せずにこの関数を呼び出すことが可能になる。

1,2) 挿入された要素（または挿入を妨げた要素）へのイテレータと、挿入が行われた場合にのみ bool 値が true に設定されるペア。

3,4) 挿入された要素、または挿入を妨げた要素へのイテレータ。

5,6) (なし)

7) insert_return_type のオブジェクトが以下のようにメンバーが初期化されます：

• nh が空の場合、 inserted は false 、 position は end ( ) 、かつ node は空です。
• 挿入が行われた場合、 inserted は true 、 position は挿入された要素を指し、 node は空です。
• 挿入が失敗した場合、 inserted は false 、 node は nh の前の値を持ち、 position は nh. key ( ) と等価なキーを持つ要素を指します。

8) nh が空の場合は終端イテレータ、挿入が行われた場合は挿入された要素を指すイテレータ、失敗した場合は nh. key ( ) と同等のキーを持つ要素を指すイテレータを返す。

9) 挿入された要素（または挿入を妨げた要素）へのイテレータと、挿入が行われた場合にのみ bool 値が true に設定されるペア。

10) 挿入された要素、または挿入を妨げた要素へのイテレータ。

1-4) いずれかの操作によって例外がスローされた場合、挿入は無効となります。

1-4) 平均ケース: O(1) 、最悪ケース O(size()) 。

5,6) 平均ケース: O(N) （Nは挿入する要素の数）。最悪ケース: O(N * size() + N) 。

7-10) 平均ケース: O(1) 、最悪ケース O(size()) 。

#include <array>
#include <iostream>
#include <unordered_set>
std::ostream& operator<<(std::ostream& os, std::unordered_set<int> const& s)
{
    for (os << '[' << s.size() << "] { "; int i : s)
        os << i << ' ';
    return os << "}\n";
}
int main ()
{
    std::unordered_set<int> nums{2, 3, 4};
    std::cout << "1) Initially: " << nums << std::boolalpha;
    auto p = nums.insert(1); // insert element, overload (1)
    std::cout << "2) '1' was inserted: " << p.second << '\n';
    std::cout << "3) After insertion: " << nums;
    nums.insert(p.first, 0); // insert with hint, overload (3)
    std::cout << "4) After insertion: " << nums;
    std::array<int, 4> a = {10, 11, 12, 13};
    nums.insert(a.begin(), a.end()); // insert range, overload (5)
    std::cout << "5) After insertion: " << nums;
    nums.insert({20, 21, 22, 23}); // insert initializer_list, (6)
    std::cout << "6) After insertion: " << nums;
    std::unordered_set<int> other_nums = {42, 43};
    auto node = other_nums.extract(other_nums.find(42));
    nums.insert(std::move(node)); // insert node, overload (7)
    std::cout << "7) After insertion: " << nums;
    node = other_nums.extract(other_nums.find(43));
    nums.insert(nums.begin(), std::move(node)); // insert node with hint, (8)
    std::cout << "8) After insertion: " << nums;
}

1) Initially: [3] { 4 3 2 }
2) '1' was inserted: true
3) After insertion: [4] { 1 2 3 4 }
4) After insertion: [5] { 0 1 2 3 4 }
5) After insertion: [9] { 13 12 11 10 4 3 2 1 0 }
6) After insertion: [13] { 23 22 13 12 11 10 21 4 20 3 2 1 0 }
7) After insertion: [14] { 42 23 22 13 12 11 10 21 4 20 3 2 1 0 }
8) After insertion: [15] { 43 42 23 22 13 12 11 10 21 4 20 3 2 1 0 }