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

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (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::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==( const std::map<Key, T, Compare, Alloc>& lhs,                  const std::map<Key, T, Compare, Alloc>& rhs );	(1)
template< class Key, class T, class Compare, class Alloc > bool operator!=( const std::map<Key, T, Compare, Alloc>& lhs,                  const std::map<Key, T, Compare, Alloc>& rhs );	(2)	(直到 C++20)
template< class Key, class T, class Compare, class Alloc > bool operator<( const std::map<Key, T, Compare, Alloc>& lhs,                 const std::map<Key, T, Compare, Alloc>& rhs );	(3)	(直到 C++20)
template< class Key, class T, class Compare, class Alloc > bool operator<=( const std::map<Key, T, Compare, Alloc>& lhs,                  const std::map<Key, T, Compare, Alloc>& rhs );	(4)	(直到 C++20)
template< class Key, class T, class Compare, class Alloc > bool operator>( const std::map<Key, T, Compare, Alloc>& lhs,                 const std::map<Key, T, Compare, Alloc>& rhs );	(5)	(直到 C++20)
template< class Key, class T, class Compare, class Alloc > bool operator>=( const std::map<Key, T, Compare, Alloc>& lhs,                  const std::map<Key, T, Compare, Alloc>& rhs );	(6)	(直到 C++20)
template< class Key, class T, class Compare, class Alloc > synth-three-way-result<T>     operator<=>( const std::map<Key, T, Compare, Alloc>& lhs,                  const std::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
- T, Key 必须满足 EqualityComparable 的要求才能使用重载 (1,2)。
- Key 必须满足 LessThanComparable 的要求才能使用重载 (3-6)。 排序关系必须建立全序关系。

返回值

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
    (""
        "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++ 标准。

DR	应用于	已发布行为	正确行为
LWG 3431	C++20	operator<=> 不需要 T 建模 three_way_comparable	需要