23 General utilities library [utilities]

23.6 Optional objects [optional]

23.6.8 Comparison with T [optional.comp_with_t]

template <class T, class U> constexpr bool operator==(const optional<T>& x, const U& v);

1
#

Requires: The expression *x == v shall be well-formed and its result shall be convertible to bool. [ Note: T need not be EqualityComparable.  — end note ]

2
#

Effects: Equivalent to: return bool(x) ? *x == v : false;

template <class T, class U> constexpr bool operator==(const U& v, const optional<T>& x);

3
#

Requires: The expression v == *x shall be well-formed and its result shall be convertible to bool.

4
#

Effects: Equivalent to: return bool(x) ? v == *x : false;

template <class T, class U> constexpr bool operator!=(const optional<T>& x, const U& v);

5
#

Requires: The expression *x != v shall be well-formed and its result shall be convertible to bool.

6
#

Effects: Equivalent to: return bool(x) ? *x != v : true;

template <class T, class U> constexpr bool operator!=(const U& v, const optional<T>& x);

7
#

Requires: The expression v != *x shall be well-formed and its result shall be convertible to bool.

8
#

Effects: Equivalent to: return bool(x) ? v != *x : true;

template <class T, class U> constexpr bool operator<(const optional<T>& x, const U& v);

9
#

Requires: The expression *x < v shall be well-formed and its result shall be convertible to bool.

10
#

Effects: Equivalent to: return bool(x) ? *x < v : true;

template <class T, class U> constexpr bool operator<(const U& v, const optional<T>& x);

11
#

Requires: The expression v < *x shall be well-formed and its result shall be convertible to bool.

12
#

Effects: Equivalent to: return bool(x) ? v < *x : false;

template <class T, class U> constexpr bool operator<=(const optional<T>& x, const U& v);

13
#

Requires: The expression *x <= v shall be well-formed and its result shall be convertible to bool.

14
#

Effects: Equivalent to: return bool(x) ? *x <= v : true;

template <class T, class U> constexpr bool operator<=(const U& v, const optional<T>& x);

15
#

Requires: The expression v <= *x shall be well-formed and its result shall be convertible to bool.

16
#

Effects: Equivalent to: return bool(x) ? v <= *x : false;

template <class T, class U> constexpr bool operator>(const optional<T>& x, const U& v);

17
#

Requires: The expression *x > v shall be well-formed and its result shall be convertible to bool.

18
#

Effects: Equivalent to: return bool(x) ? *x > v : false;

template <class T, class U> constexpr bool operator>(const U& v, const optional<T>& x);

19
#

Requires: The expression v > *x shall be well-formed and its result shall be convertible to bool.

20
#

Effects: Equivalent to: return bool(x) ? v > *x : true;

template <class T, class U> constexpr bool operator>=(const optional<T>& x, const U& v);

21
#

Requires: The expression *x >= v shall be well-formed and its result shall be convertible to bool.

22
#

Effects: Equivalent to: return bool(x) ? *x >= v : false;

template <class T, class U> constexpr bool operator>=(const U& v, const optional<T>& x);

23
#

Requires: The expression v >= *x shall be well-formed and its result shall be convertible to bool.

24
#

Effects: Equivalent to: return bool(x) ? v >= *x : true;