tl::detail::expected_operations_base< T, E > Struct Template Reference

#include <expected.hpp>

Inheritance diagram for tl::detail::expected_operations_base< T, E >:

Collaboration diagram for tl::detail::expected_operations_base< T, E >:

Public Member Functions
template<class... Args>
void	construct (Args &&...args) noexcept
template<class Rhs>
void	construct_with (Rhs &&rhs) noexcept
template<class... Args>
void	construct_error (Args &&...args) noexcept
void	assign (const expected_operations_base &rhs) noexcept
void	assign (expected_operations_base &&rhs) noexcept
template<class Rhs>
void	assign_common (Rhs &&rhs)
bool	has_value () const
constexpr T &	get () &
constexpr const T &	get () const &
constexpr T &&	get () &&
constexpr const T &&	get () const &&
constexpr unexpected< E > &	geterr () &
constexpr const unexpected< E > &	geterr () const &
constexpr unexpected< E > &&	geterr () &&
constexpr const unexpected< E > &&	geterr () const &&
constexpr void	destroy_val ()
Public Member Functions inherited from tl::detail::expected_storage_base< T, E, bool, bool >
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 ()

Additional Inherited Members
Public Attributes inherited from tl::detail::expected_storage_base< T, E, bool, bool >
union {
T   m_val
unexpected< E >   m_unexpect
char   m_no_init
};
bool	m_has_val

Member Function Documentation

assign() [1/2]

template<class T, class E>

void tl::detail::expected_operations_base< T, E >::assign ( const expected_operations_base< T, E > & rhs )

inlinenoexcept

References assign_common(), construct(), geterr(), and tl::detail::expected_storage_base< T, E, bool, bool >::m_has_val.

Referenced by tl::detail::expected_copy_assign_base< T, E, false, true >::operator=(), and tl::detail::expected_move_assign_base< T, E, false >::operator=().

assign() [2/2]

template<class T, class E>

void tl::detail::expected_operations_base< T, E >::assign ( expected_operations_base< T, E > && rhs )

inlinenoexcept

References assign_common(), construct(), get(), geterr(), and tl::detail::expected_storage_base< T, E, bool, bool >::m_has_val.

assign_common()

template<class T, class E>

template<class Rhs>

void tl::detail::expected_operations_base< T, E >::assign_common ( Rhs && rhs )

inline

References construct_error(), destroy_val(), get(), geterr(), and tl::detail::expected_storage_base< T, E, bool, bool >::m_has_val.

Referenced by assign(), and assign().

construct()

template<class T, class E>

template<class... Args>

void tl::detail::expected_operations_base< T, E >::construct ( Args &&... args )

inlinenoexcept

References tl::detail::expected_storage_base< T, E, bool, bool >::m_has_val, and tl::detail::expected_storage_base< T, E, bool, bool >::m_val.

Referenced by assign(), assign(), and tl::detail::expected_operations_base< void, E >::assign().

construct_error()

template<class T, class E>

template<class... Args>

void tl::detail::expected_operations_base< T, E >::construct_error ( Args &&... args )

inlinenoexcept

References tl::detail::expected_storage_base< T, E, bool, bool >::m_has_val, and tl::detail::expected_storage_base< T, E, bool, bool >::m_unexpect.

Referenced by tl::detail::expected_operations_base< void, E >::assign(), and assign_common().

construct_with()

template<class T, class E>

template<class Rhs>

void tl::detail::expected_operations_base< T, E >::construct_with ( Rhs && rhs )

inlinenoexcept

References get(), tl::detail::expected_storage_base< T, E, bool, bool >::m_has_val, and tl::detail::expected_storage_base< T, E, bool, bool >::m_val.

destroy_val()

template<class T, class E>

void tl::detail::expected_operations_base< T, E >::destroy_val ( )

inlineconstexpr

References get(), and TL_EXPECTED_11_CONSTEXPR.

Referenced by assign_common(), tl::expected< Ret, err_t< Exp > >::operator=(), and tl::expected< Ret, err_t< Exp > >::operator=().

get() [1/4]

template<class T, class E>

T & tl::detail::expected_operations_base< T, E >::get ( ) &

inlineconstexpr

References tl::detail::expected_storage_base< T, E, bool, bool >::m_val, and TL_EXPECTED_11_CONSTEXPR.

Referenced by assign(), assign_common(), construct_with(), and destroy_val().

get() [2/4]

template<class T, class E>

T && tl::detail::expected_operations_base< T, E >::get ( ) &&

inlineconstexpr

References tl::detail::expected_storage_base< T, E, bool, bool >::m_val, and TL_EXPECTED_11_CONSTEXPR.

get() [3/4]

template<class T, class E>

const T & tl::detail::expected_operations_base< T, E >::get ( ) const &

inlineconstexpr

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

get() [4/4]

template<class T, class E>

const T && tl::detail::expected_operations_base< T, E >::get ( ) const &&

inlineconstexpr

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

geterr() [1/4]

template<class T, class E>

unexpected< E > & tl::detail::expected_operations_base< T, E >::geterr ( ) &

inlineconstexpr

References tl::detail::expected_storage_base< T, E, bool, bool >::m_unexpect, and TL_EXPECTED_11_CONSTEXPR.

Referenced by assign(), assign(), tl::detail::expected_operations_base< void, E >::assign(), and assign_common().

geterr() [2/4]

template<class T, class E>

unexpected< E > && tl::detail::expected_operations_base< T, E >::geterr ( ) &&

inlineconstexpr

References tl::detail::expected_storage_base< T, E, bool, bool >::m_unexpect, and TL_EXPECTED_11_CONSTEXPR.

geterr() [3/4]

template<class T, class E>

const unexpected< E > & tl::detail::expected_operations_base< T, E >::geterr ( ) const &

inlineconstexpr

References tl::detail::expected_storage_base< T, E, bool, bool >::m_unexpect.

geterr() [4/4]

template<class T, class E>

const unexpected< E > && tl::detail::expected_operations_base< T, E >::geterr ( ) const &&

inlineconstexpr

References tl::detail::expected_storage_base< T, E, bool, bool >::m_unexpect.

has_value()

template<class T, class E>

bool tl::detail::expected_operations_base< T, E >::has_value ( ) const

inline

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

Referenced by tl::detail::expected_copy_base< T, E, false, true >::expected_copy_base().

---

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

• expected.hpp