ut::Expected< T, E > Class Template Reference

C++23 std::expected. More...

#include <ut0expected.h>

Inheritance diagram for ut::Expected< T, E >:

Public Types
using	value_type = T
using	error_type = E

Public Member Functions
constexpr	Expected (const Expected &other)=default
constexpr	Expected (Expected &&other) noexcept
template<class U , std::enable_if_t< !std::is_same_v< std::decay_t< U >, Expected >, int > = 0>
constexpr	Expected (U &&u) noexcept
template<class U >
constexpr	Expected (Unexpected< U > &&u)
constexpr Expected &	operator= (const Expected &)=default
constexpr Expected &	operator= (Expected &&)=default
constexpr const T *	operator-> () const noexcept
constexpr T *	operator-> () noexcept
constexpr const T &	operator* () const &noexcept
constexpr T &	operator* () &noexcept
constexpr const T &&	operator* () const &&noexcept
constexpr T &&	operator* () &&noexcept
constexpr	operator bool () const noexcept
constexpr bool	has_value () const noexcept
constexpr const T &	value () const &
constexpr T &	value () &
constexpr const T &&	value () const &&
constexpr T &&	value () &&
constexpr const E &	error () const &noexcept
constexpr E &	error () &noexcept
constexpr const E &&	error () const &&noexcept
constexpr E &&	error () &&noexcept

Detailed Description

template<class T, class E = dberr_t>
class ut::Expected< T, E >

C++23 std::expected.

Member Typedef Documentation

error_type

template<class T , class E = dberr_t>

using ut::Expected< T, E >::error_type = E

value_type

template<class T , class E = dberr_t>

using ut::Expected< T, E >::value_type = T

Constructor & Destructor Documentation

Expected() [1/4]

template<class T , class E = dberr_t>

constexpr ut::Expected< T, E >::Expected ( const Expected< T, E > &  other )

constexprdefault

Expected() [2/4]

template<class T , class E = dberr_t>

constexpr ut::Expected< T, E >::Expected ( Expected< T, E > &&  other )

inlineconstexprnoexcept

Expected() [3/4]

template<class T , class E = dberr_t>

template<class U , std::enable_if_t< !std::is_same_v< std::decay_t< U >, Expected >, int > = 0>

constexpr ut::Expected< T, E >::Expected ( U &&  u )

inlineconstexprnoexcept

Expected() [4/4]

template<class T , class E = dberr_t>

template<class U >

constexpr ut::Expected< T, E >::Expected ( Unexpected< U > &&  u )

inlineconstexpr

Member Function Documentation

error() [1/4]

template<class T , class E = dberr_t>

constexpr E && ut::Expected< T, E >::error ( ) &&

inlineconstexprnoexcept

error() [2/4]

template<class T , class E = dberr_t>

constexpr E & ut::Expected< T, E >::error ( ) &

inlineconstexprnoexcept

error() [3/4]

template<class T , class E = dberr_t>

constexpr const E && ut::Expected< T, E >::error ( ) const &&

inlineconstexprnoexcept

error() [4/4]

template<class T , class E = dberr_t>

constexpr const E & ut::Expected< T, E >::error ( ) const &

inlineconstexprnoexcept

has_value()

template<class T , class E = dberr_t>

constexpr bool ut::Expected< T, E >::has_value ( ) const

inlineconstexprnoexcept

operator bool()

template<class T , class E = dberr_t>

constexpr ut::Expected< T, E >::operator bool ( ) const

inlineexplicitconstexprnoexcept

operator*() [1/4]

template<class T , class E = dberr_t>

constexpr T && ut::Expected< T, E >::operator* ( ) &&

inlineconstexprnoexcept

operator*() [2/4]

template<class T , class E = dberr_t>

constexpr T & ut::Expected< T, E >::operator* ( ) &

inlineconstexprnoexcept

operator*() [3/4]

template<class T , class E = dberr_t>

constexpr const T && ut::Expected< T, E >::operator* ( ) const &&

inlineconstexprnoexcept

operator*() [4/4]

template<class T , class E = dberr_t>

constexpr const T & ut::Expected< T, E >::operator* ( ) const &

inlineconstexprnoexcept

operator->() [1/2]

template<class T , class E = dberr_t>

constexpr const T * ut::Expected< T, E >::operator-> ( ) const

inlineconstexprnoexcept

operator->() [2/2]

template<class T , class E = dberr_t>

constexpr T * ut::Expected< T, E >::operator-> ( )

inlineconstexprnoexcept

operator=() [1/2]

template<class T , class E = dberr_t>

constexpr Expected & ut::Expected< T, E >::operator= ( const Expected< T, E > &  )

constexprdefault

operator=() [2/2]

template<class T , class E = dberr_t>

constexpr Expected & ut::Expected< T, E >::operator= ( Expected< T, E > &&  )

constexprdefault

value() [1/4]

template<class T , class E = dberr_t>

constexpr T & ut::Expected< T, E >::value ( ) &

inlineconstexpr

value() [2/4]

template<class T , class E = dberr_t>

constexpr T && ut::Expected< T, E >::value ( ) &&

inlineconstexpr

value() [3/4]

template<class T , class E = dberr_t>

constexpr const T & ut::Expected< T, E >::value ( ) const &

inlineconstexpr

value() [4/4]

template<class T , class E = dberr_t>

constexpr const T && ut::Expected< T, E >::value ( ) const &&

inlineconstexpr

---

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

• storage/innobase/include/ut0expected.h