Ada 2.9.2
Fast spec-compliant URL parser
Loading...
Searching...
No Matches
tl::detail::expected_storage_base< T, E, bool, bool > Struct Template Reference

#include <ada.h>

Inheritance diagram for tl::detail::expected_storage_base< T, E, bool, bool >:
tl::detail::expected_operations_base< T, E > tl::detail::expected_copy_base< T, E, bool > tl::detail::expected_copy_base< T, E, false > tl::detail::expected_move_base< T, E, bool > tl::detail::expected_move_base< T, E, false > tl::detail::expected_copy_assign_base< T, E, bool > tl::detail::expected_copy_assign_base< T, E, false > tl::detail::expected_move_assign_base< T, E, bool > tl::detail::expected_move_assign_base< T, E, false > tl::expected< T, E >

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
 

Detailed Description

template<class T, class E, bool = std::is_trivially_destructible<T>::value, bool = std::is_trivially_destructible<E>::value>
struct tl::detail::expected_storage_base< T, E, bool, bool >

Definition at line 2345 of file ada.h.

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

Definition at line 2346 of file ada.h.

◆ 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

Definition at line 2347 of file ada.h.

◆ 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

Definition at line 2352 of file ada.h.

◆ 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

Definition at line 2358 of file ada.h.

◆ 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

Definition at line 2364 of file ada.h.

◆ 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

Definition at line 2370 of file ada.h.

◆ ~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

Definition at line 2375 of file ada.h.

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

Definition at line 2387 of file ada.h.

◆ 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

Definition at line 2385 of file ada.h.

◆ 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

Definition at line 2384 of file ada.h.

◆ 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

Definition at line 2383 of file ada.h.


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