operator==(std::expected)

template< class T2, class E2 > requires (!std::is_void_v<T2>) friend constexpr bool operator==( const expected& lhs, const std::expected<T2, E2>& rhs );	(1)	(с C++23) (T не является cv void)
template< class T2, class E2 > requires std::is_void_v<T2> friend constexpr bool operator==( const expected& lhs, const std::expected<T2, E2>& rhs );	(2)	(с C++23) (T является cv void)
template< class T2 > friend constexpr bool operator==( const expected& x, const T2& val );	(3)	(с C++23) (T не является cv void)
template< class E2 > friend constexpr bool operator==( const expected& x, const unexpected<E2>& e );	(4)	(с C++23)

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

1,2) Сравнивает два объекта expected. Объекты равны тогда и только тогда, когда lhs.has_value() и rhs.has_value() равны, и сохранённые значения также равны.

Для перегрузки (1), если выражения *lhs == *rhs и lhs.error() == rhs.error() некорректны или их результаты не могут быть преобразованы к типу bool, программа является некорректной.
Для перегрузки (2), если выражение lhs.error() == rhs.error() некорректно, или если его результат не может быть преобразован к типу bool, программа является некорректной.

3) Сравнивает объект expected со значением. Объекты равны тогда и только тогда, когда x содержит ожидаемое значение, и это сохранённое значение равно val.

Если выражение *x == val некорректно, или если его результат не может быть преобразован к типу bool, программа является некорректной.

4) Сравнивает объект expected с неожиданным значением. Объекты равны тогда и только тогда, когда x содержит неожиданное значение, и это сохранённое значение равно e.error().

Если выражение x.error() == e.error() некорректно, или если его результат не может быть преобразован к типу bool, программа является некорректной.

Эти функции не видны для обычного неквалифицированного или квалифицированного поиска и могут быть найдены только с помощью поиска с учётом аргументов, когда std::expected<T, E> является связанным классом аргументов.

Оператор != синтезируется из operator==.

Параметры

lhs, rhs, x	-	Объект `expected` для сравнения
val	-	Значение для сравнения с ожидаемым значением, содержащимся в `x`
e	-	Значение для сравнения с неожиданным значением, содержащимся в `x`

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

1) Если lhs.has_value() != rhs.has_value(), возвращает false. В противном случае, если lhs.has_value() истинно, возвращает *lhs == *rhs. В противном случае, возвращает lhs.error() == rhs.error().

2) Если lhs.has_value() != rhs.has_value(), возвращает false. В противном случае, если lhs.has_value() истинно, возвращает true. В противном случае, возвращает lhs.error() == rhs.error().

3) Возвращает x.has_value() && static_cast<bool>(*x == val).

4) Возвращает !x.has_value() && static_cast<bool>(x.error() == e.error()).

Исключения

Выбрасывает исключение, когда и что выбрасывает сравнение.

Пример

См. также

unexpected

(C++23)

представление как неожиданное значение
(шаблон класса)

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