tl::detail::expected_storage_base< T, E, bool, bool > Struct Template Reference

#include <expected.hpp>

Inheritance diagram for tl::detail::expected_storage_base< T, E, bool, bool >:

Public Member Functions
constexpr	expected_storage_base ()
constexpr	expected_storage_base (no_init_t)
template<class... Args, detail::enable_if_t< std::is_constructible< T, Args &&... >::value > * = nullptr>
constexpr	expected_storage_base (in_place_t, Args &&...args)
template<class U, class... Args, detail::enable_if_t< std::is_constructible< T, std::initializer_list< U > &, Args &&... >::value > * = nullptr>
constexpr	expected_storage_base (in_place_t, std::initializer_list< U > il, Args &&...args)
template<class... Args, detail::enable_if_t< std::is_constructible< E, Args &&... >::value > * = nullptr>
constexpr	expected_storage_base (unexpect_t, Args &&...args)
template<class U, class... Args, detail::enable_if_t< std::is_constructible< E, std::initializer_list< U > &, Args &&... >::value > * = nullptr>
constexpr	expected_storage_base (unexpect_t, std::initializer_list< U > il, Args &&...args)
	~expected_storage_base ()

Public Attributes
union {
T   m_val
unexpected< E >   m_unexpect
char   m_no_init
};
bool	m_has_val

Constructor & Destructor Documentation

expected_storage_base() [1/6]

template<class T, class E, bool = std::is_trivially_destructible<T>::value, bool = std::is_trivially_destructible<E>::value>

tl::detail::expected_storage_base< T, E, bool, bool >::expected_storage_base ( )

inlineconstexpr

References m_has_val, and m_val.

expected_storage_base() [2/6]

template<class T, class E, bool = std::is_trivially_destructible<T>::value, bool = std::is_trivially_destructible<E>::value>

tl::detail::expected_storage_base< T, E, bool, bool >::expected_storage_base ( no_init_t )

inlineconstexpr

References m_has_val, and m_no_init.

expected_storage_base() [3/6]

template<class T, class E, bool = std::is_trivially_destructible<T>::value, bool = std::is_trivially_destructible<E>::value>

template<class... Args, detail::enable_if_t< std::is_constructible< T, Args &&... >::value > * = nullptr>

tl::detail::expected_storage_base< T, E, bool, bool >::expected_storage_base ( in_place_t , Args &&... args )

inlineconstexpr

References m_has_val, and m_val.

expected_storage_base() [4/6]

template<class T, class E, bool = std::is_trivially_destructible<T>::value, bool = std::is_trivially_destructible<E>::value>

template<class U, class... Args, detail::enable_if_t< std::is_constructible< T, std::initializer_list< U > &, Args &&... >::value > * = nullptr>

tl::detail::expected_storage_base< T, E, bool, bool >::expected_storage_base ( in_place_t , std::initializer_list< U > il, Args &&... args )

inlineconstexpr

References m_has_val, and m_val.

expected_storage_base() [5/6]

template<class T, class E, bool = std::is_trivially_destructible<T>::value, bool = std::is_trivially_destructible<E>::value>

template<class... Args, detail::enable_if_t< std::is_constructible< E, Args &&... >::value > * = nullptr>

tl::detail::expected_storage_base< T, E, bool, bool >::expected_storage_base ( unexpect_t , Args &&... args )

inlineexplicitconstexpr

References m_has_val, and m_unexpect.

expected_storage_base() [6/6]

template<class T, class E, bool = std::is_trivially_destructible<T>::value, bool = std::is_trivially_destructible<E>::value>

template<class U, class... Args, detail::enable_if_t< std::is_constructible< E, std::initializer_list< U > &, Args &&... >::value > * = nullptr>

tl::detail::expected_storage_base< T, E, bool, bool >::expected_storage_base ( unexpect_t , std::initializer_list< U > il, Args &&... args )

inlineexplicitconstexpr

References m_has_val, and m_unexpect.

~expected_storage_base()

template<class T, class E, bool = std::is_trivially_destructible<T>::value, bool = std::is_trivially_destructible<E>::value>

tl::detail::expected_storage_base< T, E, bool, bool >::~expected_storage_base ( )

inline

References m_has_val, m_unexpect, and m_val.

Member Data Documentation

[union]

union { ... } tl::detail::expected_storage_base< T, E, bool, bool >

m_has_val

template<class T, class E, bool = std::is_trivially_destructible<T>::value, bool = std::is_trivially_destructible<E>::value>

bool tl::detail::expected_storage_base< T, E, bool, bool >::m_has_val

Referenced by tl::detail::expected_operations_base< T, E >::assign(), tl::detail::expected_operations_base< T, E >::assign(), tl::detail::expected_operations_base< T, E >::assign_common(), tl::detail::expected_operations_base< T, E >::construct(), tl::detail::expected_operations_base< T, E >::construct_error(), tl::detail::expected_operations_base< T, E >::construct_with(), tl::expected< Ret, err_t< Exp > >::emplace(), tl::expected< Ret, err_t< Exp > >::emplace(), expected_storage_base(), expected_storage_base(), expected_storage_base(), expected_storage_base(), expected_storage_base(), expected_storage_base(), tl::detail::expected_operations_base< T, E >::has_value(), tl::expected< Ret, err_t< Exp > >::operator=(), tl::expected< Ret, err_t< Exp > >::operator=(), tl::expected< Ret, err_t< Exp > >::operator=(), and ~expected_storage_base().

m_no_init

template<class T, class E, bool = std::is_trivially_destructible<T>::value, bool = std::is_trivially_destructible<E>::value>

char tl::detail::expected_storage_base< T, E, bool, bool >::m_no_init

Referenced by expected_storage_base().

m_unexpect

template<class T, class E, bool = std::is_trivially_destructible<T>::value, bool = std::is_trivially_destructible<E>::value>

unexpected<E> tl::detail::expected_storage_base< T, E, bool, bool >::m_unexpect

Referenced by tl::detail::expected_operations_base< T, E >::construct_error(), expected_storage_base(), expected_storage_base(), tl::detail::expected_operations_base< T, E >::geterr(), tl::detail::expected_operations_base< T, E >::geterr(), tl::detail::expected_operations_base< T, E >::geterr(), tl::detail::expected_operations_base< T, E >::geterr(), and ~expected_storage_base().

m_val

template<class T, class E, bool = std::is_trivially_destructible<T>::value, bool = std::is_trivially_destructible<E>::value>

T tl::detail::expected_storage_base< T, E, bool, bool >::m_val

Referenced by tl::detail::expected_operations_base< T, E >::construct(), tl::detail::expected_operations_base< T, E >::construct_with(), expected_storage_base(), expected_storage_base(), expected_storage_base(), tl::detail::expected_operations_base< T, E >::get(), tl::detail::expected_operations_base< T, E >::get(), tl::detail::expected_operations_base< T, E >::get(), tl::detail::expected_operations_base< T, E >::get(), and ~expected_storage_base().

---

The documentation for this struct was generated from the following file:

• expected.hpp