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

来自cppreference.com
< cpp‎ | container‎ | set

 
C++
 
容器库
 
std::set
 
(1)
set();
 (C++11 前)
set()
   : set(Compare()) {}
 (C++11 起)
explicit set( const Compare& comp,
              const Allocator& alloc = Allocator() );
 (2)
explicit set( const Allocator& alloc );
 (3) (C++11 起)
template< class InputIt >

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

     const Allocator& alloc = Allocator() );
 (4)
template< class InputIt >

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

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

     const Compare& comp = Compare(),

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

     const Allocator& alloc )

   : set(init, Compare(), alloc) {}
 (11) (C++14 起)
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 起)
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 起)

从各种数据源，可以另外提供分配器 alloc 或比较函数对象 comp 构造新容器。

1-3) 构造空容器。
4,5) 以范围 [first, last) 的内容构造容器。如果范围中的多个元素的键比较相等，那么未指定哪个元素会被插入（参考待决的 LWG2844）。
如果 [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 内容的容器。如果范围中的多个元素的键比较相等，那么未指定哪个元素会被插入（参考待决的 LWG2844）。
12,13) 以 rg 的内容构造容器。如果范围中的多个元素的键比较相等，那么未指定哪个元素会被插入（参考待决的 LWG2844）。

参数

alloc - 用于此容器所有内存分配的分配器
comp - 用于所有关键比较的比较函数对象
first, last - 复制元素的来源范围
other - 将用作初始化容器元素所用源的另一容器
init - 初始化容器元素所用的初始化器列表
rg - 与容器兼容的范围，也就是元素可以转换到 value_type 的 input_range
类型要求
-
InputIt 必须符合老式输入迭代器 (LegacyInputIterator) 的要求。
-
Compare 必须符合比较 (Compare) 的要求。
-
Allocator 必须符合分配器 (Allocator) 的要求。

复杂度

1-3) 常数。
4,5) 通常是 N·log(N)，其中 N 是 std::distance(first, last)，在 [first, last) 已经按 value_comp() 排序的情况下与 N 成线性。
6,7) 与 other 的大小成线性。
8,9) 常数。如果有提供 alloc 并且 alloc != other.get_allocator()，那么是线性。
10,11) 通常是 N·log(N)，其中 N 是 init.size()，在 init 已经按 value_comp() 排序的情况下与 N 成线性。
12,13) 通常是 N·log(N)，其中 N 是 ranges::distance(rg)，在 rg 已经按 value_comp() 排序的情况下与 N 成线性。

异常

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

注解

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

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

功能特性测试宏 值 标准 备注
__cpp_lib_containers_ranges 202202L (C++23) 知范围构造和插入；重载 (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);
    }
};
 
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';
 
    // (4) 范围构造函数
    std::set<std::string> b(a.find("dog"), a.end());
    for (auto& str : b)
        std::cout << str << ' ';
    std::cout << '\n';
 
    // (6) 复制构造函数
    std::set<std::string> c(a);
    c.insert("another horse");
    for (auto& str : c)
        std::cout << str << ' ';
    std::cout << '\n';
 
    // (8) 移动构造函数
    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';
 
    // (10) 初始化器列表构造函数
    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++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 2076 C++11 重载 (4) 在部分情况下要求 Key 可复制插入 (CopyInsertable) 到 *this 中 不再要求
LWG 2193 C++11 默认构造函数是 explicit 的 改成非 explicit 的

参阅

 赋值给容器
(公开成员函数)
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/container/set/set&oldid=46465”