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)
(Примечание: В данном фрагменте HTML отсутствует текстовое содержимое для перевода - присутствуют только HTML-теги и атрибуты, которые согласно инструкциям не подлежат переводу)
(1)
set ( ) ;
(до C++11)
set ( ) : set ( Compare ( ) ) { }
(начиная с C++11)
(constexpr начиная с C++26)
explicit set ( const Compare & comp,
const Allocator & alloc = Allocator ( ) ) ;
(2) (constexpr начиная с C++26)
explicit set ( const Allocator & alloc ) ;
(3) (начиная с C++11)
(constexpr начиная с C++26)
template < class InputIt >

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

const Allocator & alloc = Allocator ( ) ) ;
(4) (constexpr начиная с C++26)
template < class InputIt >

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

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

const Compare & comp = Compare ( ) ,

const Allocator & alloc = Allocator ( ) ) ;
(10) (начиная с C++11)
(constexpr начиная с C++26)
set ( std:: initializer_list < value_type > init,

const Allocator & alloc )

: set ( init, Compare ( ) , alloc ) { }
(11) (начиная с C++14)
(constexpr начиная с C++26)
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)
(constexpr начиная с C++26)
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)
(constexpr начиная с C++26)

Создает новый контейнер из различных источников данных и, опционально, с использованием предоставленного пользователем аллокатора 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 ( ) ) .

(since C++11)

При выводе аргументов шаблона класса только первый аргумент участвует в выводе параметра шаблона Allocator контейнера.

(since C++23)
8,9) Конструирует контейнер с содержимым other с использованием семантики перемещения. Если alloc не предоставлен, аллокатор получается путем перемещающего конструирования из аллокатора, принадлежащего other .

Во время вывода аргументов шаблона класса только первый аргумент участвует в выводе параметра шаблона Allocator контейнера.

(since C++23)
10,11) Конструирует контейнер с содержимым списка инициализации init .
12,13) Конструирует контейнер с содержимым rg .

Содержание

Параметры

alloc - аллокатор для использования во всех выделениях памяти этого контейнера
comp - функциональный объект сравнения для использования во всех сравнениях ключей
first, last - пара итераторов, определяющая исходный диапазон элементов для копирования
other - другой контейнер, используемый в качестве источника для инициализации элементов контейнера
init - список инициализации для инициализации элементов контейнера
rg - совместимый с контейнером диапазон , то есть input_range , элементы которого конвертируются в value_type
Требования к типам
-
InputIt должен удовлетворять требованиям LegacyInputIterator .
-
Compare должен удовлетворять требованиям Compare .
-
Allocator должен удовлетворять требованиям Allocator .

Сложность

1-3) Константа.
4,5) N·log(N) где N равно std:: distance ( first, last ) в общем случае, линейно по N если [ first , last ) уже отсортирован согласно value_comp ( ) .
6,7) Линейно по размеру other .
8,9) Константная. Если alloc задан и alloc ! = other. get_allocator ( ) , то линейная.
10,11) N·log(N) где N это init. size ( ) в общем случае, линейно по N если init уже отсортирован с помощью value_comp ( ) .
12,13) N·log(N) где N это ranges:: distance ( rg ) в общем случае, линейно по N если rg уже отсортирован по value_comp ( ) .

Исключения

Вызовы Allocator::allocate могут генерировать исключения.

Примечания

После перемещающего конструирования контейнера (перегрузка ( 8,9 ) ), ссылки, указатели и итераторы (кроме конечного итератора) на other остаются действительными, но ссылаются на элементы, которые теперь находятся в * this . Текущий стандарт обеспечивает эту гарантию с помощью общего положения в [container.reqmts]/67 , и более прямая гарантия рассматривается через LWG issue 2321 .

Если несколько элементов в диапазоне имеют эквивалентные ключи, не определено, какой элемент будет вставлен (в ожидании LWG2844 ).

Хотя формально это не требовалось до C++23, некоторые реализации уже поместили параметр шаблона Allocator в невыводимые контексты в более ранних режимах.

Feature-test macro Value Std Feature
__cpp_lib_containers_ranges 202202L (C++23) Ranges-aware construction and insertion; overloads ( 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 в * this не требуется
LWG 2193 C++11 конструктор по умолчанию был explicit сделан не-explicit

Смотрите также

присваивает значения контейнеру
(public member function)