Namespaces
Variants

std::set<Key,Compare,Allocator>:: set

From cppreference.net

C++
Containers library
std::set
Member functions
Non-member functions
(until C++20) (until C++20) (until C++20) (until C++20) (until C++20)
Deduction guides (C++17)
(1)
set ( ) ;
(C++11まで)
set ( ) : set ( Compare ( ) ) { }
(C++11から)
(constexprはC++26から)
explicit set ( const Compare & comp,
const Allocator & alloc = Allocator ( ) ) ;
(2) (C++26以降constexpr)
explicit set ( const Allocator & alloc ) ;
(3) (C++11以降)
(C++26以降constexpr)
template < class InputIt >

set ( InputIt first, InputIt last,
const Compare & comp = Compare ( ) ,

const Allocator & alloc = Allocator ( ) ) ;
(4) (C++26以降 constexpr)
template < class InputIt >

set ( InputIt first, InputIt last,
const Allocator & alloc )

: set ( first, last, Compare ( ) , alloc ) { }
(5) (C++14以降)
(C++26以降constexpr)
set ( const set & other ) ;
(6) (C++26以降 constexpr)
set ( const set & other, const Allocator & alloc ) ;
(7) (C++11以降)
(C++26以降 constexpr)
set ( set && other ) ;
(8) (C++11以降)
(C++26以降constexpr)
set ( set && other, const Allocator & alloc ) ;
(9) (C++11以降)
(C++26以降 constexpr)
set ( std:: initializer_list < value_type > init,

const Compare & comp = Compare ( ) ,

const Allocator & alloc = Allocator ( ) ) ;
(10) (C++11以降)
(C++26以降 constexpr)
set ( std:: initializer_list < value_type > init,

const Allocator & alloc )

: set ( init, Compare ( ) , alloc ) { }
(11) (C++14以降)
(C++26以降constexpr)
template < container-compatible-range < value_type > R >

set ( std:: from_range_t , R && rg,
const Compare & comp = Compare ( ) ,

const Allocator & alloc = Allocator ( ) ) ;
(12) (C++23以降)
(C++26以降 constexpr)
template < container-compatible-range < value_type > R >

set ( std:: from_range_t , R && rg,
const Allocator & alloc )

: set ( std:: from_range , std:: forward < R > ( rg ) , Compare ( ) , alloc ) { }
(13) (C++23以降)
(C++26以降 constexpr)

様々なデータソースから新しいコンテナを構築し、オプションでユーザー提供のアロケータ alloc または比較関数オブジェクト comp を使用します。

1-3) 空のコンテナを構築します。
4,5) 範囲の内容でコンテナを構築します [ first , last ) 。
[ first , last ) が 有効な範囲 でない場合、動作は未定義です。
6,7) コンテナを other の内容のコピーで構築します。

alloc が提供されない場合、アロケータは std:: allocator_traits < allocator_type > ::
select_on_container_copy_construction ( other. get_allocator ( ) ) を呼び出すことで取得されます。

(C++11以降)

クラステンプレート引数推論 中、最初の引数のみがコンテナの Allocator テンプレートパラメータの推論に寄与します。

(C++23以降)
8,9) ムーブセマンティクスを使用して other の内容でコンテナを構築します。 alloc が提供されない場合、アロケータは other に属するアロケータからのムーブ構築によって取得されます。

クラステンプレート引数推論 の間、最初の引数のみがコンテナの Allocator テンプレートパラメータの推論に寄与します。

(C++23以降)
10,11) コンテナを初期化子リスト init の内容で構築します。
12,13) コンテナを rg の内容で構築します。

目次

パラメータ

alloc - このコンテナのすべてのメモリ割り当てに使用するアロケータ
comp - キーのすべての比較に使用する比較関数オブジェクト
first, last - コピーする要素のソース範囲を定義するイテレータのペア range
other - コンテナの要素を初期化するためのソースとして使用する別のコンテナ
init - コンテナの要素を初期化するための初期化子リスト
rg - container compatible range 、つまり要素が value_type に変換可能な input_range
型要件
-
InputIt は LegacyInputIterator の要件を満たさなければならない
-
Compare は Compare の要件を満たさなければならない
-
Allocator は Allocator の要件を満たさなければならない

計算量

1-3) 定数。
4,5) N·log(N) ここで N は std:: distance ( first, last ) である。一般的には N に対して線形時間だが、 [ first , last ) が既に value_comp ( ) によってソートされている場合は N に対して線形時間となる。
6,7) サイズに対して線形 other 。
8,9) 定数時間。もし alloc が与えられ、かつ alloc ! = other. get_allocator ( ) の場合、線形時間。
10,11) N·log(N) ここで N は init. size ( ) 一般には N に対して線形時間、 init が既に value_comp ( ) でソートされている場合は N に対して線形時間。
12,13) N·log(N) ここで N は ranges:: distance ( rg ) です。一般的には N に対して線形時間ですが、 rg が既に value_comp ( ) でソートされている場合は N に対して線形時間となります。

例外

Allocator::allocate への呼び出しは例外をスローする可能性があります。

注記

コンテナのムーブ構築後（オーバーロード ( 8,9 ) ）、 other への参照、ポインタ、およびイテレータ（終端イテレータを除く）は有効なままですが、現在は * this 内の要素を参照します。現在の標準規格は [container.reqmts]/67 の包括的な記述によってこの保証を行っており、より直接的な保証が LWG issue 2321 を通じて検討中です。

範囲内に比較等価なキーを持つ複数の要素がある場合、どの要素が挿入されるかは未規定です（ LWG2844 未解決）。

C++23で正式に要求される前から、一部の実装では既にテンプレートパラメータ Allocator を 非推定コンテキスト に置いていたものもあります。

機能テスト マクロ 値 標準 機能
__cpp_lib_containers_ranges 202202L (C++23) Ranges-aware 構築と挿入; オーバーロード ( 12,13 )

例

このコードを実行 
#include <cmath>
#include <iostream>
#include <set>
#include <string>
struct Point { double x, y; };
struct PointCmp
{
    bool operator()(const Point& lhs, const Point& rhs) const
    {
        return std::hypot(lhs.x, lhs.y) < std::hypot(rhs.x, rhs.y);
    }
};
std::ostream& operator<<(std::ostream& os, Point pt)
{
    return os << '(' << pt.x << ',' << pt.x << ')';
}
void println(auto rem, const auto& seq)
{
    std::cout << rem << '{';
    for (auto n{seq.size()}; const auto& elm : seq)
        std::cout << elm << (--n ? ", " : "");
    std::cout << "}\n";
}
int main()
{
    // (1) デフォルトコンストラクタ
    std::set<std::string> a;
    a.insert("horse");
    a.insert("cat");
    a.insert("dog");
    println("1) a: ", a);
    // (4) 範囲コンストラクタ
    std::set<std::string> b(a.find("dog"), a.end());
    println("2) b: ", b);
    // (6) コピーコンストラクタ
    std::set<std::string> c(a);
    c.insert("another horse");
    println("3) c: ", c);
    // (8) ムーブコンストラクタ
    std::set<std::string> d(std::move(a));
    println("4) d: ", d);
    println("5) a: ", a);
    // (10) 初期化子リストコンストラクタ
    std::set<std::string> e{"one", "two", "three", "five", "eight"};
    println("6) e: ", e);
    // カスタム比較関数
    std::set<Point, PointCmp> f = {{2, 5}, {3, 4}, {1, 1}};
    f.insert({1, -1}); // これは失敗します - (1,-1)の大きさが(1,1)と等しいため
    println("7) f: ", f);
    // (12) 範囲コンストラクタ
    const auto w = {"Eurybia", "Theia", "Rhea", "Aura", "Mnemosyne", "Mnemosyne"};
#if __cpp_lib_containers_ranges
    std::set<std::string> g(std::from_range, w); // オーバーロード (12)
#else
    std::set<std::string> g(w.begin(), w.end()); // (4)へのフォールバック
#endif
    println("8) g: ", g);
}

出力例: 

1) a: {cat, dog, horse}
2) b: {dog, horse}
3) c: {another horse, cat, dog, horse}
4) d: {cat, dog, horse}
5) a: {}
6) e: {eight, five, one, three, two}
7) f: {(1,1), (3,3), (2,2)}
8) g: {Aura, Eurybia, Mnemosyne, Rhea, Theia}

欠陥報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

DR 適用対象 公開時の動作 正しい動作
LWG 2076 C++11 オーバーロード ( 4 ) が条件付きで Key の CopyInsertable を要求 要求しない
LWG 2193 C++11 デフォルトコンストラクタがexplicit non-explicitに変更

関連項目

コンテナに値を代入する
(公開メンバ関数)