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

Определён в заголовочном файле `<optional>`
Сравнение двух объектов `optional`
template< class T, class U > constexpr bool operator==( const optional<T>& lhs, const optional<U>& rhs );	(1)	(начиная с C++17)
template< class T, class U > constexpr bool operator!=( const optional<T>& lhs, const optional<U>& rhs );	(2)	(начиная с C++17)
template< class T, class U > constexpr bool operator<( const optional<T>& lhs, const optional<U>& rhs );	(3)	(начиная с C++17)
template< class T, class U > constexpr bool operator<=( const optional<T>& lhs, const optional<U>& rhs );	(4)	(начиная с C++17)
template< class T, class U > constexpr bool operator>( const optional<T>& lhs, const optional<U>& rhs );	(5)	(начиная с C++17)
template< class T, class U > constexpr bool operator>=( const optional<T>& lhs, const optional<U>& rhs );	(6)	(начиная с C++17)
template< class T, std::three_way_comparable_with<T> U > constexpr std::compare_three_way_result_t<T, U> operator<=>( const optional<T>& lhs, const optional<U>& rhs );	(7)	(начиная с C++20)
Сравнение объекта `optional` с `nullopt`
template< class T > constexpr bool operator==( const optional<T>& opt, std::nullopt_t ) noexcept;	(8)	(начиная с C++17)
template< class T > constexpr bool operator==( std::nullopt_t, const optional<T>& opt ) noexcept;	(9)	(начиная с C++17) (до C++20)
template< class T > constexpr bool operator!=( const optional<T>& opt, std::nullopt_t ) noexcept;	(10)	(начиная с C++17) (до C++20)
template< class T > constexpr bool operator!=( std::nullopt_t, const optional<T>& opt ) noexcept;	(11)	(начиная с C++17) (до C++20)
template< class T > constexpr bool operator<( const optional<T>& opt, std::nullopt_t ) noexcept;	(12)	(начиная с C++17) (до C++20)
template< class T > constexpr bool operator<( std::nullopt_t, const optional<T>& opt ) noexcept;	(13)	(начиная с C++17) (до C++20)
template< class T > constexpr bool operator<=( const optional<T>& opt, std::nullopt_t ) noexcept;	(14)	(начиная с C++17) (до C++20)
template< class T > constexpr bool operator<=( std::nullopt_t, const optional<T>& opt ) noexcept;	(15)	(начиная с C++17) (до C++20)
template< class T > constexpr bool operator>( const optional<T>& opt, std::nullopt_t ) noexcept;	(16)	(начиная с C++17) (до C++20)
template< class T > constexpr bool operator>( std::nullopt_t, const optional<T>& opt ) noexcept;	(17)	(начиная с C++17) (до C++20)
template< class T > constexpr bool operator>=( const optional<T>& opt, std::nullopt_t ) noexcept;	(18)	(начиная с C++17) (до C++20)
template< class T > constexpr bool operator>=( std::nullopt_t, const optional<T>& opt ) noexcept;	(19)	(начиная с C++17) (до C++20)
template< class T > constexpr std::strong_ordering operator<=>( const optional<T>& opt, std::nullopt_t ) noexcept;	(20)	(начиная с C++20)
Сравнение объекта `optional` со значением
template< class T, class U > constexpr bool operator==( const optional<T>& opt, const U& value );	(21)	(начиная с C++17)
template< class U, class T > constexpr bool operator==( const U& value, const optional<T>& opt );	(22)	(начиная с C++17)
template< class T, class U > constexpr bool operator!=( const optional<T>& opt, const U& value );	(23)	(начиная с C++17)
template< class U, class T > constexpr bool operator!=( const U& value, const optional<T>& opt );	(24)	(начиная с C++17)
template< class T, class U > constexpr bool operator<( const optional<T>& opt, const U& value );	(25)	(начиная с C++17)
template< class U, class T > constexpr bool operator<( const U& value, const optional<T>& opt );	(26)	(начиная с C++17)
template< class T, class U > constexpr bool operator<=( const optional<T>& opt, const U& value );	(27)	(начиная с C++17)
template< class U, class T > constexpr bool operator<=( const U& value, const optional<T>& opt );	(28)	(начиная с C++17)
template< class T, class U > constexpr bool operator>( const optional<T>& opt, const U& value );	(29)	(начиная с C++17)
template< class U, class T > constexpr bool operator>( const U& value, const optional<T>& opt );	(30)	(начиная с C++17)
template< class T, class U > constexpr bool operator>=( const optional<T>& opt, const U& value );	(31)	(начиная с C++17)
template< class U, class T > constexpr bool operator>=( const U& value, const optional<T>& opt );	(32)	(начиная с C++17)
template< class T, std::three_way_comparable_with<T> U > constexpr std::compare_three_way_result_t<T, U> operator<=>( const optional<T>& opt, const U& value );	(33)	(начиная с C++20)

Выполняет операции сравнения над объектами optional.

1-7) Сравнивает два объекта optional: lhs и rhs. Содержащиеся в них значения сравниваются (с помощью соответствующего оператора T) только в том случае, если оба объекта lhs и rhs содержат значения. В противном случае

lhs считается равным rhs тогда и только тогда, когда ни lhs, ни rhs не содержит значения.
lhs считается меньше rhs тогда и только тогда, когда rhs содержит значение, а lhs не содержит.

1-6) Обозначим @ соответствующий оператор сравнения для каждой из этих функций:

Если соответствующее выражение `lhs @ rhs` некорректно или его результат не преобразуется в bool, программа некорректна.	(до C++26)
Эта перегрузка участвует в разрешении перегрузки только в том случае, если соответствующее выражение `lhs @ rhs` корректно и его результат преобразуется в bool.	(начиная с C++26)

8-20) Сравнивает opt с nullopt. Эквивалентно (1-6) при сравнении с optional, не содержащим значения.

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

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

21-33) Сравнивает opt со значением value. Значения сравниваются (с помощью соответствующего оператора T) только в том случае, если opt содержит значение. В противном случае opt считается меньше value.

21-32) Обозначим @ соответствующий оператор сравнения для каждой из этих функций:

Если соответствующее выражение *opt @ value или value @ *opt (в зависимости от расположения операндов) некорректно или его результат не преобразуется в bool, программа некорректна.

(до C++26)

Эта перегрузка участвует в разрешении перегрузки только при выполнении всех следующих условий:

U не является специализацией std::optional.
Соответствующее выражение *opt @ value или value @ *opt (в зависимости от расположения операндов) корректно, и его результат преобразуется в bool.

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

Параметры

lhs, rhs, opt	-	объект `optional` для сравнения
value	-	значение для сравнения с содержащимся значением

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

1) lhs.has_value() != rhs.has_value() ? false :(lhs.has_value() == false ? true : *lhs == *rhs)

2) lhs.has_value() != rhs.has_value() ? true :(lhs.has_value() == false ? false : *lhs != *rhs)

3) !rhs ? false : (!lhs ? true : *lhs < *rhs)

4) !lhs ? true : (!rhs ? false : *lhs <= *rhs)

5) !lhs ? false : (!rhs ? true : *lhs > *rhs)

6) !rhs ? true : (!lhs ? false : *lhs >= *rhs)

7) lhs && rhs ? *lhs <=> *rhs : lhs.has_value() <=> rhs.has_value()

8,9) !opt

10,11) opt.has_value()

12) false

13) opt.has_value()

14) !opt

15) true

16) opt.has_value()

17) false

18) true

19) !opt

20) opt.has_value() <=> false

21) opt.has_value() ? *opt == value : false

22) opt.has_value() ? value == *opt : false

23) opt.has_value() ? *opt != value : true

24) opt.has_value() ? value != *opt : true

25) opt.has_value() ? *opt < value : true

26) opt.has_value() ? value < *opt : false

27) opt.has_value() ? *opt <= value : true

28) opt.has_value() ? value <= *opt : false

29) opt.has_value() ? *opt > value : false

30) opt.has_value() ? value > *opt : true

31) opt.has_value() ? *opt >= value : false

32) opt.has_value() ? value >= *opt : true

33) opt.has_value() ? *opt <=> value : std::strong_ordering::less

Исключения

1-7) Может генерировать исключения, определяемые реализацией.

21-33) Генерирует те же исключения, что и операция сравнения.

Примечания

Макрос проверки наличия функции	Значение	Стандарт	Функция
`__cpp_lib_constrained_equality`	`202403L`	(C++26)	ограниченные операторы сравнения для `std::optional`

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.

Отчёт об ошибке	Применяется к	Опубликованное поведение	Корректное поведение
LWG 2945	C++17	порядок параметров шаблона для случаев сравнения с T был непоследовательным	приведён к единообразию

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