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

< cpp‎ | container‎ | set

set(); explicit set( const Compare& comp, const Allocator& alloc = Allocator() ); |  |
explicit set( const Allocator& alloc ); | (1) | (C++11 起)
| (2) |
template< class InputIt > set( InputIt first, InputIt last, const Compare& comp = Compare(), const Allocator& alloc = Allocator() ); |  |
template< class InputIt > set( InputIt first, InputIt last, const Allocator& alloc) : set(first, last, Compare(), alloc) {} |  | (C++14 起)
set( const set& other ); | (3) |
set( const set& other, const Allocator& alloc ); | (3) | (C++11 起)
set( set&& other ); | (4) | (C++11 起)
set( set&& other, const Allocator& alloc ); | (4) | (C++11 起)
| (5) |
set( std::initializer_list<value_type> init, const Compare& comp = Compare(), const Allocator& alloc = Allocator() ); |  | (C++11 起)
set( std::initializer_list<value_type> init, const Allocator& alloc ) : set(init, Compare(), alloc) {} |  | (C++14 起)

从各种数据源，可选地用用户提供的分配器 `alloc` 或比较函数对象 `comp` 构造新容器。

1) 默认构造函数。构造新容器。
2) 范围构造函数。构造拥有范围 `[first, last)` 内容的容器。若范围中的多个元素拥有比较等价的关键，则插入哪个元素是未指定的（待决的 LWG2844 ）。
3) 复制构造函数。以 `other` 内容的副本构造容器。

若不提供 `alloc` ，则通过调用 std::allocator_traits<allocator_type>::select_on_container_copy_construction( other.get_allocator()) 获得分配器。 | (C++11 起)
在用于类模板实参推导时，仅从首个实参推导模板形参 `Allocator` 。 | (C++23 起)

4) 移动构造函数。用移动语义构造拥有 `other` 内容的容器。若不提供 `alloc` ，则以从属于 `other` 的分配器移动构造获得分配器。

在用于类模板实参推导时，仅从首个实参推导模板形参 `Allocator` 。 | (C++23 起)

5) initializer_list 构造函数。构造拥有 initializer_list `init` 内容的容器。若范围中的多个元素拥有比较等价的关键，则插入哪个元素是未指定的（待决的 LWG2844 ）。

### 参数

alloc | - | 用于此容器所有内存分配的分配器
comp | - | 用于所有关键比较的比较函数对象
first, last | - | 复制元素的来源范围
other | - | 将用作初始化容器元素所用源的另一容器
init | - | 初始化容器元素所用的 initializer_list
类型要求
- `InputIt` 必须满足老式输入迭代器 (LegacyInputIterator) 的要求。
- `Compare` 必须满足比较 (Compare) 的要求。
- `Allocator` 必须满足分配器 (Allocator) 的要求。

### 复杂度

1) 常数
2) 通常为 N log(N) ，若范围已按照 `value_comp()` 排序则与 `N` 成线性，其中 N = std::distance(first, last) 。
3) 与 `other` 的大小成线性。
4) 常数。若给定 `alloc` 而 alloc != other.get_allocator() ，则为线性。
5) N log(N) ，其中通常有 N = init.size() 。若 `init` 已按照 `value_comp()` 排序则与 `N` 成线性。

### 异常

调用 `Allocator::allocate` 可能抛出。

### 注解

在容器移动构造（重载 (4) ）后，指向 `other` 的引用及迭代器（除了尾迭代器）保持合法，但指代现于 *this 中的元素。当前标准由 [container.requirements.general]/12 中的总括陈述作出此保证，而 LWG 2321 正在考虑更严格的保证。

尽管在 C++23 前未正式要求，一些实现已经在较早的模式中将 `Allocator` 放入非推导语境。

### 示例

    #include <iostream>
    #include <string>
    #include <set>
    #include <cmath>

    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);
        }
    };

    int main()
    {
      // (1) 默认初始化器
      std::set<std::string> a;
      a.insert("cat");
      a.insert("dog");
      a.insert("horse");
      for(auto& str: a) std::cout << str << ' ';
      std::cout << '\n';

      // (2) 迭代器初始化器
      std::set<std::string> b(a.find("dog"), a.end());
      for(auto& str: b) std::cout << str << ' ';
      std::cout << '\n';

      // (3) 复制构造函数
      std::set<std::string> c(a);
      c.insert("another horse");
      for(auto& str: c) std::cout << str << ' ';
      std::cout << '\n';

      // (4) 移动构造函数
      std::set<std::string> d(std::move(a));
      for(auto& str: d) std::cout << str << ' ';
      std::cout << '\n';
      std::cout << "moved-from set is ";
      for(auto& str: a) std::cout << str << ' ';
      std::cout << '\n';

      // (5) initializer_list 构造函数
      std::set<std::string> e {"one", "two", "three", "five", "eight"};
      for(auto& str: e) std::cout << str << ' ';
      std::cout << '\n';

      // 自定义比较
      std::set<Point, PointCmp> z = {{2, 5}, {3, 4}, {1, 1}};
      z.insert({1, -1}); // 这会失败，因为 1,-1 的长度等于 1,1
      for(auto& p: z) std::cout << '(' << p.x << ',' << p.y << ") ";
      std::cout << '\n';
    }

输出：

    cat dog horse
    dog horse
    another horse cat dog horse
    cat dog horse
    moved-from set is
    eight five one three two
    (1,1) (3,4) (2,5)

### 缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR | 应用于 | 出版时的行为 | 正确行为
--- | --- | --- | ---
LWG 2193 | C++11 | 默认构造函数为 explicit | 使之为非 explicit

### 参阅

operator= | 赋值给容器 (公开成员函数)