std::flat_set<Key,Compare,KeyContainer>::insert

 

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_set

メンバ型

メンバ関数

flat_set::flat_set flat_set::operator= イテレータ flat_set::beginflat_set::cbegin flat_set::endflat_set::cend flat_set::rbeginflat_set::crbegin flat_set::rendflat_set::crend 容量 flat_set::size flat_set::max_size flat_set::empty 監視 flat_set::key_comp flat_set::value_comp      変更 flat_set::clear flat_set::insert flat_set::insert_range flat_set::emplace flat_set::emplace_hint flat_set::erase flat_set::swap flat_set::extract flat_set::replace 検索 flat_set::count flat_set::find flat_set::contains flat_set::equal_range flat_set::lower_bound flat_set::upper_bound 非メンバ関数 operator==operator<=> swap(std::flat_set) erase_if(std::flat_set)

ヘルパークラス

uses_allocator<std::flat_set>

タグ

sorted_unique      sorted_unique_t

推論補助

 

std::pair<iterator, bool> insert( const value_type& value );	(1)	(C++23から)
std::pair<iterator, bool> insert( value_type&& value );	(2)	(C++23から)
iterator insert( const_iterator pos, const value_type& value );	(3)	(C++23から)
iterator insert( const_iterator pos, value_type&& value );	(4)	(C++23から)
template< class K > iterator insert( const_iterator pos, K&& x );	(5)	(C++23から)
template< class InputIt > void insert( InputIt first, InputIt last );	(6)	(C++23から)
template< class K > std::pair<iterator, bool> insert( K&& x );	(7)	(C++23から)
template< class InputIt > void insert( std::sorted_unique_t, InputIt first, InputIt last );	(8)	(C++23から)
void insert( std::initializer_list<key_type> ilist );	(9)	(C++23から)
void insert( std::sorted_unique_t s, std::initializer_list<key_type> ilist );	(10)	(C++23から)

コンテナに要素がまだ存在しない場合に、要素を挿入します。

1) value を挿入します。return emplace(value); と同等です。

2) value を挿入します。return emplace(std::move(value)); と同等です。

3) pos の直前の位置に最も近い位置に value を挿入します。return emplace_hint(pos, value); と同等です。

4) pos の直前の位置に最も近い位置に value を挿入します。return emplace_hint(pos, std::move(value)); と同等です。

5,7) *this が既に x と透過的に同等に比較される要素を含んでいる場合、何も行われません。それ以外の場合、新しい要素は以下のように挿入されます。

• (5) emplace(pos, std::forward<K>(x)) （pos の直前の位置にできるだけ近い位置に挿入されます）。
• (7) emplace(std::forward<K>(x))。

x から key_type への変換は、find(k) == find(u) が true となるオブジェクト u を構築する必要があります。それ以外の場合、動作は未定義です。

これらのオーバーロードは、以下の場合にのみオーバーロード解決に参加します。

• 修飾子付き ID Compare::is_transparent が有効で、型を指す場合、および
• std::is_constructible_v<value_type, K> が true である場合。

これにより、Key のインスタンスを構築せずにこの関数を呼び出すことができます。

6) 以下の操作のシーケンスと同等です。

1. 範囲 [first, last) から要素を挿入します。これは c.insert(c.end(), first, last); と同等です。
2. 新しく挿入された要素の範囲を compare に従ってソートします。
3. 結果として得られたソート済み範囲と、既存の要素のソート済み範囲を、単一のソート済み範囲にマージします。（注意：マージ操作はメモリを割り当てる可能性があります）。
4. 連続する同等な要素の各グループから、最初の要素以外のすべてを削除します。

範囲内の複数の要素のキーが同等に比較される場合、どの要素が挿入されるかは未指定です（LWG2844 参照）。

8) 範囲 [first, last) から要素を挿入します。insert(first, last); と同等です。

範囲内の複数の要素のキーが同等に比較される場合、どの要素が挿入されるかは未指定です（LWG2844 参照）。

9) 初期化子リスト ilist の要素を挿入します。insert(ilist.begin(), ilist.end()); と同等です。

範囲内の複数の要素のキーが同等に比較される場合、どの要素が挿入されるかは未指定です（LWG2844 参照）。

10) 初期化子リスト ilist の要素を挿入します。insert(s, ilist.begin(), ilist.end()); と同等です。

範囲内の複数の要素のキーが同等に比較される場合、どの要素が挿入されるかは未指定です（LWG2844 参照）。

パラメータ

pos	-	新しい要素が挿入される前の位置へのイテレータ
value	-	挿入する要素の値
first, last	-	挿入する要素のソース 範囲 を定義するイテレータのペア
ilist	-	挿入する値の初期化子リスト
x	-	キーと透過的に比較できる任意の型の値
s	-	入力シーケンスが（compare に従って）ソートされており、一意の要素のみを含むことを示す 曖昧さ解消タグ
型要件
- InputIt は LegacyInputIterator の要件を満たす必要があります。

戻り値

1,2) 挿入された要素（または挿入を妨げた要素）へのイテレータと、挿入が行われたかどうかを示す bool 値のペア。挿入が行われた場合は true、それ以外の場合は false となります。

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

6) （なし）

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

8-10) （なし）

例外

1-5,7) いずれかの操作で例外がスローされた場合、挿入は効果がありません。

計算量

1-5) size() に対して線形。

6) N は操作前の size() で、M は std::distance(first, last) です。

7) size() に対して線形。

8) 操作後の size() である N に対して線形。

9) N は操作前の size() で、M は ilist.size() です。

10) 操作後の size() である N に対して線形。

注意

ヒント付き挿入 (3-5) は、`std::vector::insert` のようなシーケンシャルコンテナのポジショナル挿入とシグネチャ互換にするためにブール値を返しません。これにより、`std::inserter` のようなジェネリックインサーターを作成できます。ヒント付き挿入の成功を確認する 1 つの方法は、操作の前と後で size() を比較することです。

例

このコードを実行

#include <cassert>
#include <flat_set>
#include <iostream>
 
int main()
{
    std::flat_set<int> set;
 
    auto result_1 = set.insert(3);
    assert(result_1.first != set.end()); // it is a valid iterator
    assert(*result_1.first == 3);
    if (result_1.second)
        std::cout << "insert done\n";
 
    auto result_2 = set.insert(3);
    assert(result_2.first == result_1.first); // the same iterator
    assert(*result_2.first == 3);
    if (!result_2.second)
        std::cout << "no insertion\n";
}

出力

insert done
no insertion

関連項目

emplace	要素を直接構築する (公開メンバ関数)
emplace_hint	ヒントを使用して要素を直接構築する (公開メンバ関数)
inserter	引数から推論された型の std::insert_iterator を作成する (関数テンプレート)