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

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

容器库

序列

array (C++11)

vector

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

视图

span (C++20)

 

std::set

成员函数

set::set

set::~set

set::operator=

set::get_allocator

迭代器

set::beginset::cbegin (C++11)

set::endset::cend (C++11)

set::rbeginset::crbegin (C++11)

set::rendset::crend (C++11)

容量

set::empty

set::size

set::max_size

修改器

set::clear

set::insert

set::emplace (C++11)

set::emplace_hint (C++11)

set::erase

set::swap

set::extract (C++17)

set::merge (C++17)

查找

set::count

set::find

set::contains (C++20)

set::equal_range

set::lower_bound

set::upper_bound

观察器

set::key_comp

set::value_comp

非成员函数

std::swap

erase_if (C++20)

operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20)

推导指引(C++17)

 

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=

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