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

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека утилит

Языковая поддержка Поддержка типов (базовые типы, RTTI) Макросы тестирования функциональности библиотеки (C++20)     Управление динамической памятью Программные утилиты Поддержка сопрограмм (C++20) Вариативные функции is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Трёхстороннее сравнение (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)     is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

Общие утилиты Дата и время Функциональные объекты Библиотека форматирования (C++20) bitset hash (C++11) Операторы отношения (устарело в C++20) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= Целочисленные функции сравнения cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)     cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Операции обмена и типа swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Общие лексические типы pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

std::optional

Функции-элементы

optional::optional

optional::~optional

optional::operator=

Наблюдатели

optional::operator->optional::operator*

optional::operator booloptional::has_value

optional::value

optional::value_or

Монадические операции

optional::and_then (C++23)

optional::transform (C++23)

optional::or_else (C++23)

Модификаторы

optional::emplace

optional::swap

optional::reset

Функции, не являющиеся элементами

operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20)

make_optional

swap

Правила вывода

Вспомогательные классы

hash

nullopt_t

in_place_t

bad_optional_access

Вспомогательные объекты

nullopt

in_place

 

<tbody> </tbody>

Определено в заголовочном файле <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 с value
template< class T, class U > constexpr bool operator==( const optional<T>& opt, const U& value);	(21)	(начиная с C++17)
template< class T, class U > constexpr bool operator==( const T& value, const optional<U>& opt );	(22)	(начиная с C++17)
template< class T, class U > constexpr bool operator!=( const optional<T>& opt, const U& value );	(23)	(начиная с C++17)
template< class T, class U > constexpr bool operator!=( const T& value, const optional<U>& opt );	(24)	(начиная с C++17)
template< class T, class U > constexpr bool operator<( const optional<T>& opt, const U& value );	(25)	(начиная с C++17)
template< class T, class U > constexpr bool operator<( const T& value, const optional<U>& opt );	(26)	(начиная с C++17)
template< class T, class U > constexpr bool operator<=( const optional<T>& opt, const U& value );	(27)	(начиная с C++17)
template< class T, class U > constexpr bool operator<=( const T& value, const optional<U>& opt);	(28)	(начиная с C++17)
template< class T, class U > constexpr bool operator>( const optional<T>& opt, const U& value );	(29)	(начиная с C++17)
template< class T, class U > constexpr bool operator>( const T& value, const optional<U>& opt );	(30)	(начиная с C++17)
template< class T, class U > constexpr bool operator>=( const optional<T>& opt, const U& value );	(31)	(начиная с C++17)
template< class T, class U > constexpr bool operator>=( const T& value, const optional<U>& 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 нет.

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

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

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

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

Параметры

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

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

1) Если bool(lhs) != bool(rhs), возвращает false

Иначе, если bool(lhs) == false (и, следовательно, bool(rhs) == false), возвращает true
Иначе возвращает *lhs == *rhs.

2) Если bool(lhs) != bool(rhs), возвращает true

Иначе, если bool(lhs) == false (и, следовательно, bool(rhs) == false), возвращает false
Иначе возвращает *lhs != *rhs.

3) Если bool(rhs) == false, возвращает false

Иначе, если bool(lhs) == false, возвращает true
Иначе возвращает *lhs < *rhs

4) Если bool(lhs) == false, возвращает true

Иначе, если bool(rhs) == false, возвращает false
Иначе возвращает *lhs <= *rhs

5) Если bool(lhs) == false, возвращает false

Иначе, если bool(rhs) == false, возвращает true
Иначе возвращает *lhs > *rhs

6) Если bool(rhs) == false, возвращает true

Иначе, если bool(lhs) == false, возвращает false
Иначе возвращает *lhs >= *rhs

7) Если bool(lhs) && bool(rhs) равно true, возвращает *x <=> *y

Иначе возвращает bool(lhs) <=> bool(rhs)

8,9) Возвращает !opt.

10,11) Возвращает bool(opt).

12) Возвращает false.

13) Возвращает bool(opt).

14) Возвращает !opt.

15) Возвращает true.

16) Возвращает bool(opt).

17) Возвращает false.

18) Возвращает true.

19) Возвращает !opt.

20) Возвращает bool(opt) <=> false.

21) Возвращает bool(opt) ? *opt == value : false.

22) Возвращает bool(opt) ? value == *opt : false.

23) Возвращает bool(opt) ? *opt != value : true.

24) Возвращает bool(opt) ? value != *opt : true.

25) Возвращает bool(opt) ? *opt < value  : true.

26) Возвращает bool(opt) ? value < *opt  : false.

27) Возвращает bool(opt) ? *opt <= value : true.

28) Возвращает bool(opt) ? value <= *opt : false.

29) Возвращает bool(opt) ? *opt > value  : false.

30) Возвращает bool(opt) ? value > *opt  : true.

31) Возвращает bool(opt) ? *opt >= value : false.

32) Возвращает bool(opt) ? value >= *opt : true.

33) Возвращает bool(opt) ? *opt <=> value : std::strong_ordering::less.

Исключения

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

21-33) Генерирует исключение, когда исключение генерирует сравнение.

Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

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