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

来自cppreference.com
< cpp‎ | utility‎ | pair


 
C++
 
工具库
语言支持
类型支持（基本类型、RTTI）
库功能特性测试宏 (C++20)
动态内存管理
程序工具
协程支持 (C++20)
变参数函数
(C++20)
(C++26)
(C++11)
(C++20)
调试支持
(C++26)
(C++26)
(C++26)
三路比较
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)   
(C++20)(C++20)(C++20)
(C++20)(C++20)(C++20)
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)   
(C++20)
交换与类型运算
(C++20)
(C++14)
(C++11)
(C++23)
(C++11)
(C++23)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++11)
(C++17)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)
(C++17)

 
std::pair
成员函数
(C++11)
非成员函数
operator==operator!=operator<operator<=operator>operator>=operator<=>
(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20)
(C++11)
(C++11)
辅助类
(C++11)
(C++11)
(C++23)
(C++23)
(C++23)
(C++11)
推导指引(C++17)
 
在标头 <utility> 定义
(1)
template< class T1, class T2, class U1, class U2 >
bool operator==( const std::pair<T1, T2>& lhs, const std::pair<U1, U2>& rhs );
 (C++14 前)
template< class T1, class T2, class U1, class U2 >

constexpr bool operator==( const std::pair<T1, T2>& lhs,

                           const std::pair<U1, U2>& rhs );
 (C++14 起)
(2)
template< class T1, class T2, class U1, class U2 >
bool operator!=( const std::pair<T1, T2>& lhs, const std::pair<U1, U2>& rhs );
 (C++14 前)
template< class T1, class T2, class U1, class U2 >

constexpr bool operator!=( const std::pair<T1, T2>& lhs,

                           const std::pair<U1, U2>& rhs );
 (C++14 起)
(C++20 前)
(3)
template< class T1, class T2, class U1, class U2 >
bool operator<( const std::pair<T1, T2>& lhs, const std::pair<U1, U2>& rhs );
 (C++14 前)
template< class T1, class T2, class U1, class U2 >

constexpr bool operator<( const std::pair<T1, T2>& lhs,

                          const std::pair<U1, U2>& rhs );
 (C++14 起)
(C++20 前)
(4)
template< class T1, class T2, class U1, class U2 >
bool operator<=( const std::pair<T1, T2>& lhs, const std::pair<U1, U2>& rhs );
 (C++14 前)
template< class T1, class T2, class U1, class U2 >

constexpr bool operator<=( const std::pair<T1, T2>& lhs,

                           const std::pair<U1, U2>& rhs );
 (C++14 起)
(C++20 前)
(5)
template< class T1, class T2, class U1, class U2 >
bool operator>( const std::pair<T1, T2>& lhs, const std::pair<U1, U2>& rhs );
 (C++14 前)
template< class T1, class T2, class U1, class U2 >

constexpr bool operator>( const std::pair<T1, T2>& lhs,

                          const std::pair<U1, U2>& rhs );
 (C++14 起)
(C++20 前)
(6)
template< class T1, class T2, class U1, class U2 >
bool operator>=( const std::pair<T1, T2>& lhs, const std::pair<U1, U2>& rhs );
 (C++14 前)
template< class T1, class T2, class U1, class U2 >

constexpr bool operator>=( const std::pair<T1, T2>& lhs,

                           const std::pair<U1, U2>& rhs );
 (C++14 起)
(C++20 前)
template< class T1, class T2, class U1, class U2 >

constexpr std::common_comparison_category_t<synth-three-way-result<T1, U1>,
                                            synth-three-way-result<T2, U2>>

    operator<=>( const std::pair<T1, T2>& lhs, const std::pair<U1, U2>& rhs );
 (7) (C++20 起)
1-2) 测试 lhs 和 rhs 的两个元素是否都各自相等，即分别比较 lhs.first 和 rhs.first，以及 lhs.second 和 rhs.second。

如果 lhs.first == rhs.first 或 lhs.second == rhs.second 的类型与值类别不符合可布尔测试 (BooleanTestable) 要求，则行为未定义。

(C++26 前)

此重载只有在 decltype(lhs.first == rhs.first) 和 decltype(lhs.second == rhs.second) 均实现 boolean-testable 时才会参与重载决议。

(C++26 起)
3-6) 用 operator< 按字典序比较 lhs 和 rhs，即比较首元素，然后只有在它们等价时再比较第二元素。如果 lhs.first < rhs.first、 rhs.first < lhs.first 或 lhs.second < rhs.second 中任何一者的类型与值类别不符合可布尔测试 (BooleanTestable) 要求，则行为未定义。
7) 用 synth-three-way 按字典序比较 lhs 和 rhs，即比较首元素，然后只有在它们等价时再比较第二元素。synth-three-way-result 是 synth-three-way 的返回类型。

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

(C++20 起)

参数

lhs, rhs - 要比较的对偶

返回值

1) 在 lhs.first == rhs.first 且 lhs.second == rhs.second 时返回 true，否则返回 false。
2) !(lhs == rhs)
3) 在 lhs.first < rhs.first 时返回 true。否则在 rhs.first < lhs.first 时返回 false。否则在 lhs.second < rhs.second 时返回 true。否则返回 false。
4) !(rhs < lhs)
5) rhs < lhs
6) !(lhs < rhs)
7) 在 synth-three-way(lhs.first, rhs.first) 不等于 ​0​ 时返回它，否则返回 synth-three-way(lhs.second, rhs.second)。

注解

各关系运算符是基于各个元素的 operator< 定义的。

(C++20 前)

各关系运算符是基于 synth-three-way 定义的，若有可能则它会使用 operator<=>，否则使用 operator<。

要注意，如果元素类型自身并不提供 operator<=>，但可以隐式转换为可三路比较的类型，则就会用这项转换来替代 operator<。

(C++20 起)
功能特性测试宏 值 标准 功能特性
__cpp_lib_constrained_equality 202403L (C++26) std::pair 的受约束的 operator==

示例

因为为对偶定义了 operator<，所以存储对偶的容器可以排序。

运行此代码
#include <algorithm>
#include <iomanip>
#include <iostream>
#include <string>
#include <utility>
#include <vector>
 
int main()
{
    std::vector<std::pair<int, std::string>> v = {{2, "baz"}, {2, "bar"}, {1, "foo"}};
    std::sort(v.begin(), v.end());
 
    for (auto p : v)
        std::cout << '{' << p.first << ", " << std::quoted(p.second) << "}\n";
}

输出： 

{1, "foo"}
{2, "bar"}
{2, "baz"}

缺陷报告

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

缺陷报告 应用于 出版时的行为 正确行为
LWG 296 C++98 缺失了除了 == 和 < 以外的运算符的描述 已补充
LWG 2114
(P2167R3) 		C++98 缺少布尔运算的类型前条件 已添加
LWG 3865 C++98 比较运算符仅接受同类型的 pair 接受不同类型的 pair

参阅

(C++20 中移除)(C++20 中移除)(C++20 中移除)(C++20 中移除)(C++20 中移除)(C++20)
 按字典顺序比较 tuple 中的值
(函数模板)
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/utility/pair/operator_cmp&oldid=94116”