命名空间
变体
操作

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

来自 cppreference.com
< cpp‎ | utility‎ | pair
 
 
实用程序库
语言支持
类型支持 (基本类型,RTTI)
库功能测试宏 (C++20)
动态内存管理
程序实用程序
协程支持 (C++20)
可变参数函数
调试支持
(C++26)
三向比较
(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++14)
(C++11)
(C++11)
(C++11)
(C++17)
通用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
基本字符串转换
(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++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) 测试 lhsrhs 的两个元素是否相等,即比较 lhs.firstrhs.first 以及 lhs.secondrhs.second.

如果 lhs.first == rhs.firstlhs.second == rhs.second 的类型和值类别不满足 BooleanTestable 要求,则行为未定义。

(直到 C++26)

此重载仅当 decltype(lhs.first == rhs.first)decltype(lhs.second == rhs.second) 满足 布尔可测试 概念时才参与重载解析。

(自 C++26 起)
3-6) 通过 operator< 按字典序比较 lhsrhs,即比较第一个元素,如果它们等效,则比较第二个元素。如果 lhs.first < rhs.firstrhs.first < lhs.firstlhs.second < rhs.second 的类型和值类别不满足 布尔可测试 要求,则行为未定义。
7) 通过 合成三元比较 按字典序比较 lhsrhs,即比较第一个元素,如果它们等效,则比较第二个元素。 合成三元比较结果合成三元比较 的返回类型。

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

(自 C++20 起)

内容

[编辑] 参数

lhs, rhs - 要比较的配对

[编辑] 返回值

1) 如果 lhs.first == rhs.firstlhs.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) 如果 合成三元比较(lhs.first, rhs.first) 不等于 0,则返回 合成三元比较(lhs.first, rhs.first),否则返回 合成三元比较(lhs.second, rhs.second)

[编辑] 备注

关系运算符根据每个元素的 operator< 定义。

(直到 C++20)

关系运算符根据 合成三元比较 定义,如果可能,它使用 operator<=>,否则使用 operator<

值得注意的是,如果某个元素类型本身不提供 operator<=>,但可以隐式转换为可三元比较的类型,则将使用该转换,而不是 operator<

(自 C++20 起)
功能测试 Std 功能
__cpp_lib_constrained_equality 202403L (C++26) 受约束的 operator== 适用于 std::pair

[编辑] 示例

因为 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++ 标准。

DR 应用于 已发布的行为 正确行为
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)
按字典序比较元组中的值
(函数模板) [编辑]