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

Объявлено в заголовочном файле `<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) true, если содержимое map равно, и false в противном случае.

2) true, если содержимое map не равно, и false в противном случае.

3) true, если содержимое lhs лексикографически меньше содержимого rhs, и false в противном случае.

4) true, если содержимое lhs лексикографически меньше или равно содержимому rhs, и false в противном случае.

5) true, если содержимое lhs лексикографически больше содержимого rhs, и false в противном случае.

6) true, если содержимое lhs лексикографически больше или равно содержимому rhs, и 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`	требует

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/container/map/operator_cmp