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

Определено в заголовке `<vector>`
	(1)
template< class T, class Alloc > bool operator==( const std::vector<T, Alloc>& lhs, const std::vector<T, Alloc>& rhs );		(до C++20)
template< class T, class Alloc > constexpr bool operator==( const std::vector<T, Alloc>& lhs, const std::vector<T, Alloc>& rhs );		(с C++20)
template< class T, class Alloc > bool operator!=( const std::vector<T, Alloc>& lhs, const std::vector<T, Alloc>& rhs );	(2)	(до C++20)
template< class T, class Alloc > bool operator<( const std::vector<T, Alloc>& lhs, const std::vector<T, Alloc>& rhs );	(3)	(до C++20)
template< class T, class Alloc > bool operator<=( const std::vector<T, Alloc>& lhs, const std::vector<T, Alloc>& rhs );	(4)	(до C++20)
template< class T, class Alloc > bool operator>( const std::vector<T, Alloc>& lhs, const std::vector<T, Alloc>& rhs );	(5)	(до C++20)
template< class T, class Alloc > bool operator>=( const std::vector<T, Alloc>& lhs, const std::vector<T, Alloc>& rhs );	(6)	(до C++20)
template< class T, class Alloc > constexpr /* see below */ operator<=>( const std::vector<T, Alloc>& lhs, const std::vector<T, Alloc>& rhs );	(7)	(с C++20)

Сравнивает содержимое двух vector.

1,2) Проверяет, равны ли содержимое lhs и rhs, то есть, имеют ли они одинаковое количество элементов и каждый элемент в lhs сравнивается как равный элементу в rhs на той же позиции.

3-6) Сравнивает содержимое lhs и rhs лексикографически. Сравнение выполняется с помощью функции, эквивалентной std::lexicographical_compare.

7) Сравнивает содержимое lhs и rhs лексикографически. Сравнение выполняется так, как если бы вызывали std::lexicographical_compare_three_way для двух vector с объектом-функцией, выполняющей синтезированное сравнение по трём значениям (см. ниже). Тип возвращаемого значения совпадает с типом результата синтезированного сравнения по трём значениям.

Для двух const E lvalues lhs и rhs в качестве левого и правого операнда соответственно (где E — T), синтезированное сравнение по трём значениям определяется следующим образом:

если std::three_way_comparable_with<E, E> выполняется, эквивалентно lhs <=> rhs;
в противном случае, если сравнение двух const E lvalues с помощью оператора< допустимо и тип результата удовлетворяет boolean-testable, эквивалентно

lhs < rhs ? std::weak_ordering::less :
rhs < lhs ? std::weak_ordering::greater :
            std::weak_ordering::equivalent

в противном случае, синтезированное сравнение по трём значениям не определено, и оператор<=> не участвует в разрешении перегрузки.

Поведение оператора<=> не определено, если three_way_comparable_with или boolean-testable выполняется, но не моделируется, или оператор< используется, но E и < не устанавливают полную упорядоченность.

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

(с C++20)

Параметры

lhs, rhs	-	`vector`, содержимое которых необходимо сравнить
-`T` должны соответствовать требованиям EqualityComparable для использования перегрузок (1,2).
-`T` должны соответствовать требованиям LessThanComparable для использования перегрузок (3-6). Отношение порядка должно устанавливать полную упорядоченность.

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

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

2) true если содержимое vector не равны, 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 имеют разный размер, в противном случае линейная от размера vector.

3-7) Линейная от размера vector.

Пример

#include <cassert>
#include <vector>
 
int main()
{
    const std::vector
        a{1, 2, 3},
        b{1, 2, 3},
        c{7, 8, 9, 10};
 
    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 469	C++98	`std::vector<bool>` специализировал операторы сравнения	убраны специализации

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