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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

容器库

node-handle (C++17)

序列容器

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::map

成员函数

map::map map::~map               map::operator= map::get_allocator

元素访问 map::at map::operator[] 迭代器 map::beginmap::cbegin (C++11) map::endmap::cend (C++11) map::rbeginmap::crbegin (C++11)      map::rendmap::crend (C++11) 容量 map::size map::max_size map::empty 观察器 map::key_comp map::value_comp 修改器 map::clear map::insert map::erase map::swap map::extract (C++17) map::merge (C++17) map::insert_range (C++23) map::insert_or_assign (C++17) map::emplace (C++11) map::emplace_hint (C++11) map::try_emplace (C++17) 查找 map::count map::find map::contains (C++20) map::equal_range map::lower_bound map::upper_bound

非成员函数

operator==operator<=> (C++20) std::swap(std::map) erase_if(std::map) (C++20)   operator!=operator<operator>operator<=operator>= (C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20 前)

推导指引(C++17)

 

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

比较两个 map 的内容。

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

3-6) 按字典序比较 lhs 与 rhs 的内容。由等价于 std::lexicographical_compare 的函数进行比较。此比较忽略 map 的定序 Compare。

7) 按字典序比较 lhs 与 rhs 的内容。如同通过调用 std::lexicographical_compare_three_way(lhs.begin(), lhs.end(),
                                       rhs.begin(), rhs.end(), synth-three-way) 进行比较。此比较忽略 map 的定序 Compare。

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

如果不满足以下任意条件，那么行为未定义：

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

<、<=、>、>= 及 != 运算符分别从 operator<=> 与 operator==合成。

(C++20 起)

参数

lhs, rhs	-	要比较内容的 map
- 为使用重载 (1,2)， T, Key 必须满足可相等比较(EqualityComparable) 。
- 为使用重载 (3-6)， Key 必须满足可小于比较(LessThanComparable) 。顺序关系必须建立全序。

返回值

1) 在 map 内容相等时返回 true，否则返回 false

2) 在 map 内容不相等时返回 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 的大小不同时是常数，否则与 map 的大小成线性

3-7) 与 map 的大小成线性

注解

各关系运算符是基于各个元素的 operator< 定义的。	(C++20 前)
各关系运算符是基于 synth-three-way 定义的，若有可能则它会使用 operator<=>，否则使用 operator<。 要注意，如果元素类型自身并不提供 operator<=>，但可以隐式转换为可三路比较的类型，则就会用这项转换来替代 operator<。	(C++20 起)

示例

运行此代码

#include <cassert>#include <compare>#include <map>   int main(){std::map<int, char> a{{1, 'a'}, {2, 'b'}, {3, 'c'}};std::map<int, char> b{{1, 'a'}, {2, 'b'}, {3, 'c'}};std::map<int, char> c{{7, 'Z'}, {8, 'Y'}, {9, 'X'}, {10, 'W'}};   assert("""比较相等的容器:"&&(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&&   "比较不相等的容器:"&&(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	需要