Namespaces
Variants

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

From cppreference.net
C++
Utilities library
std::pair
Member functions
(C++11)
Non-member functions
operator== operator!= operator< operator<= operator> operator>= operator<=>
(until C++20) (until C++20) (until C++20) (until C++20) (until C++20) (C++20)
(C++11)
(C++11)
Helper classes
(C++11)
(C++11)
(C++23)
(C++23)
(C++23)
(C++11)
Deduction guides (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) Сравнивает lhs и rhs лексикографически с помощью operator < , то есть сравнивает первые элементы и только если они эквивалентны, сравнивает вторые элементы. Поведение не определено, если тип и категория значения любого из lhs. first < rhs. first , rhs. first < lhs. first , или lhs. second < rhs. second не соответствуют требованиям BooleanTestable .
7) Сравнивает lhs и rhs лексикографически с помощью synth-three-way , то есть сравнивает первые элементы и только если они эквивалентны, сравнивает вторые элементы. synth-three-way-result является возвращаемым типом synth-three-way .

Операторы < , <= , > , >= и != синтезируются из operator <=> и operator == соответственно.

(начиная с C++20)

Содержание

Параметры

lhs, rhs - пары для сравнения

Возвращаемое значение

1) true если оба условия lhs. first == rhs. first и lhs. second == rhs. second выполняются, иначе 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) Ограниченный 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)
лексикографически сравнивает значения в кортеже
(шаблон функции)