optional.hpp File Reference

Classes
struct	ranges::bad_optional_access
struct	ranges::nullopt_t
struct	ranges::nullopt_t::tag
struct	ranges::optional< T >

Variables
template<typename U , typename T >
concept	ranges::optional_should_convert
template<typename U , typename T >
concept	ranges::optional_should_convert_assign

Variable Documentation

optional_should_convert

template<typename U , typename T >

concept ranges::optional_should_convert

Initial value:

=
        !(
            constructible_from<T, optional<U> &       > ||
            constructible_from<T, optional<U> &&      > ||
            constructible_from<T, optional<U> const & > ||
            constructible_from<T, optional<U> const &&> ||
            convertible_to<optional<U> &,        T> ||
            convertible_to<optional<U> &&,       T> ||
            convertible_to<optional<U> const &,  T> ||
            convertible_to<optional<U> const &&, T>
        )

optional_should_convert_assign

template<typename U , typename T >

concept ranges::optional_should_convert_assign

Initial value:

=
        optional_should_convert<U, T> &&
        !(assignable_from<T &, optional<U> &> ||
        assignable_from<T &, optional<U> &&> ||
        assignable_from<T &, optional<U> const &> ||
        assignable_from<T &, optional<U> const &&>)