operator==,!=,<,<=,>,>=,<=>(std::set)

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

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

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

span (C++20)

mdspan (C++23)

表格

迭代器失效

成员函数表格

非成员函数表格

 

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::size set::max_size set::empty 观察器 set::key_comp set::value_comp 修改器 set::clear set::erase set::swap set::extract (C++17) set::merge (C++17) set::insert set::insert_range (C++23) set::emplace (C++11) set::emplace_hint (C++11) 查找 set::count set::find set::contains (C++20)    set::equal_range set::lower_bound set::upper_bound

非成员函数

operator==operator<=> (C++20 起) std::swap(std::set) erase_if(std::set) (C++20)   operator!=operator<operator>operator<=operator>= (until C++20)(until C++20)(until C++20)(until C++20)(until C++20)

推导指南(C++17)

 

在头文件 <set> 中定义
template< class Key, class Compare, class Alloc > bool operator==( const std::set<Key, Compare, Alloc>& lhs,                  const std::set<Key, Compare, Alloc>& rhs );	(1)
template< class Key, class Compare, class Alloc > bool operator!=( const std::set<Key, Compare, Alloc>& lhs,                  const std::set<Key, Compare, Alloc>& rhs );	(2)	(C++20 前)
template< class Key, class Compare, class Alloc > bool operator<( const std::set<Key, Compare, Alloc>& lhs,                 const std::set<Key, Compare, Alloc>& rhs );	(3)	(C++20 前)
template< class Key, class Compare, class Alloc > bool operator<=( const std::set<Key, Compare, Alloc>& lhs,                  const std::set<Key, Compare, Alloc>& rhs );	(4)	(C++20 前)
template< class Key, class Compare, class Alloc > bool operator>( const std::set<Key, Compare, Alloc>& lhs,                 const std::set<Key, Compare, Alloc>& rhs );	(5)	(C++20 前)
template< class Key, class Compare, class Alloc > bool operator>=( const std::set<Key, Compare, Alloc>& lhs,                  const std::set<Key, Compare, Alloc>& rhs );	(6)	(C++20 前)
template< class Key, class Compare, class Alloc > synth-three-way-result<T>     operator<=>( const std::set<Key, Compare, Alloc>& lhs,                  const std::set<Key, Compare, Alloc>& rhs );	(7)	(C++20 起)

比较两个 set 的内容。

1,2) 检查 lhs 和 rhs 的内容是否相等，即它们拥有相同数量的元素，并且 lhs 中的每个元素与 rhs 中相同位置的元素比较相等。

3-6) 按字典序比较 lhs 和 rhs 的内容。比较通过等价于 std::lexicographical_compare 的函数执行。此比较忽略 set 的排序 Compare。

7) 按字典序比较 lhs 和 rhs 的内容。比较的执行如同调用 std::lexicographical_compare_three_way(lhs.begin(), lhs.end(),
                                       rhs.begin(), rhs.end(), synth-three-way)。此比较忽略 set 的排序 Compare。

返回类型是 synth-three-way 的返回类型（即 synth-three-way-result <T>）。

如果以下条件均不满足，则行为未定义

• T 满足 three_way_comparable。
• 为类型（可能 const 限定的）T 的值定义了 <，并且 < 是全序关系。

运算符 <、<=、>、>= 和 != 分别由 operator<=> 和 operator== 合成。

(C++20 起)

参数

lhs, rhs	-	待比较内容的 set
- 为了使用重载 (1,2)，Key 必须满足 EqualityComparable 的要求。

返回值

1) 若 set 的内容相等，则为 true，否则为 false。

2) 若 set 的内容不相等，则为 true，否则为 false。

3) 若 lhs 的内容按字典序小于 rhs 的内容，则为 true，否则为 false。

4) 若 lhs 的内容按字典序小于或等于 rhs 的内容，则为 true，否则为 false。

5) 若 lhs 的内容按字典序大于 rhs 的内容，则为 true，否则为 false。

6) 若 lhs 的内容按字典序大于或等于 rhs 的内容，则为 true，否则为 false。

7) 若 lhs 和 rhs 存在第一对不等价元素，则返回它们的相对顺序，否则返回 lhs.size() <=> rhs.size()。

复杂度

1,2) 如果 lhs 和 rhs 的大小不同，则为常数时间，否则与 set 的大小成线性关系。

3-7) 与 set 的大小成线性关系。

注解

关系运算符是根据元素类型的 operator< 定义的。	(C++20 前)
关系运算符是根据 synth-three-way 定义的，它尽可能使用 operator<=>，否则使用 operator<。 值得注意的是，如果元素本身不提供 operator<=>，但可以隐式转换为三路可比较类型，则将使用该转换而不是 operator<。	(C++20 起)

示例

运行此代码

#include <cassert>
#include <compare>
#include <set>
 
int main()
{
    const std::set
        a{1, 2, 3},
        b{1, 2, 3},
        c{7, 8, 9, 10};
 
    assert
    (""
        "Compare equal containers:" &&
        (a != b) == false &&
        (a == b) == true &&
        (a < b) == false &&
        (a <= b) == true &&
        (a > b) == false &&
        (a >= b) == true &&
        (a <=> b) != std::weak_ordering::less &&
        (a <=> b) != std::weak_ordering::greater &&
        (a <=> b) == std::weak_ordering::equivalent &&
        (a <=> b) >= 0 &&
        (a <=> b) <= 0 &&
        (a <=> b) == 0 &&
 
        "Compare non equal containers:" &&
        (a != c) == true &&
        (a == c) == false &&
        (a < c) == true &&
        (a <= c) == true &&
        (a > c) == false &&
        (a >= c) == false &&
        (a <=> c) == std::weak_ordering::less &&
        (a <=> c) != std::weak_ordering::equivalent &&
        (a <=> c) != std::weak_ordering::greater &&
        (a <=> c) < 0 &&
        (a <=> c) != 0 &&
        (a <=> c) <= 0 &&
    "");
}

缺陷报告

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

缺陷报告	应用于	发布时的行为	正确的行为
LWG 3431	C++20	operator<=> 未要求 T 满足 three_way_comparable	要求