#include <qexpected_p.h>

Inheritance diagram for q23::expected< T, E >:

Collaboration diagram for q23::expected< T, E >:

Public Types
typedef T	value_type
typedef E	error_type
typedef unexpected< E >	unexpected_type

Public Member Functions
template<class F>
TL_EXPECTED_11_CONSTEXPR auto	and_then (F &&f) &-> decltype(and_then_impl(std::declval< expected & >(), std::forward< F >(f)))
template<class F>
TL_EXPECTED_11_CONSTEXPR auto	and_then (F &&f) &&-> decltype(and_then_impl(std::declval< expected && >(), std::forward< F >(f)))
template<class F>
constexpr auto	and_then (F &&f) const &-> decltype(and_then_impl(std::declval< expected const & >(), std::forward< F >(f)))
template<class F>
constexpr auto	and_then (F &&f) const &&-> decltype(and_then_impl(std::declval< expected const && >(), std::forward< F >(f)))
template<class F>
TL_EXPECTED_11_CONSTEXPR decltype(expected_map_impl(std::declval< expected & >(), std::declval< F && >()))	map (F &&f) &
template<class F>
TL_EXPECTED_11_CONSTEXPR decltype(expected_map_impl(std::declval< expected >(), std::declval< F && >()))	map (F &&f) &&
template<class F>
constexpr decltype(expected_map_impl(std::declval< const expected & >(), std::declval< F && >()))	map (F &&f) const &
template<class F>
constexpr decltype(expected_map_impl(std::declval< const expected && >(), std::declval< F && >()))	map (F &&f) const &&
template<class F>
TL_EXPECTED_11_CONSTEXPR decltype(expected_map_impl(std::declval< expected & >(), std::declval< F && >()))	transform (F &&f) &
template<class F>
TL_EXPECTED_11_CONSTEXPR decltype(expected_map_impl(std::declval< expected >(), std::declval< F && >()))	transform (F &&f) &&
template<class F>
constexpr decltype(expected_map_impl(std::declval< const expected & >(), std::declval< F && >()))	transform (F &&f) const &
template<class F>
constexpr decltype(expected_map_impl(std::declval< const expected && >(), std::declval< F && >()))	transform (F &&f) const &&
template<class F>
TL_EXPECTED_11_CONSTEXPR decltype(map_error_impl(std::declval< expected & >(), std::declval< F && >()))	map_error (F &&f) &
template<class F>
TL_EXPECTED_11_CONSTEXPR decltype(map_error_impl(std::declval< expected && >(), std::declval< F && >()))	map_error (F &&f) &&
template<class F>
constexpr decltype(map_error_impl(std::declval< const expected & >(), std::declval< F && >()))	map_error (F &&f) const &
template<class F>
constexpr decltype(map_error_impl(std::declval< const expected && >(), std::declval< F && >()))	map_error (F &&f) const &&
template<class F>
TL_EXPECTED_11_CONSTEXPR decltype(map_error_impl(std::declval< expected & >(), std::declval< F && >()))	transform_error (F &&f) &
template<class F>
TL_EXPECTED_11_CONSTEXPR decltype(map_error_impl(std::declval< expected && >(), std::declval< F && >()))	transform_error (F &&f) &&
template<class F>
constexpr decltype(map_error_impl(std::declval< const expected & >(), std::declval< F && >()))	transform_error (F &&f) const &
template<class F>
constexpr decltype(map_error_impl(std::declval< const expected && >(), std::declval< F && >()))	transform_error (F &&f) const &&
template<class F>
expected TL_EXPECTED_11_CONSTEXPR	or_else (F &&f) &
template<class F>
expected TL_EXPECTED_11_CONSTEXPR	or_else (F &&f) &&
template<class F>
expected constexpr	or_else (F &&f) const &
template<class F>
expected constexpr	or_else (F &&f) const &&
constexpr	expected ()=default
constexpr	expected (const expected &rhs)=default
constexpr	expected (expected &&rhs)=default
expected &	operator= (const expected &rhs)=default
expected &	operator= (expected &&rhs)=default
template<class... Args, detail::enable_if_t< std::is_constructible< T, Args &&... >::value > * = nullptr>
constexpr	expected (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 (in_place_t, std::initializer_list< U > il, Args &&...args)
template<class G = E, detail::enable_if_t< std::is_constructible< E, const G & >::value > * = nullptr, detail::enable_if_t<!std::is_convertible< const G &, E >::value > * = nullptr>
constexpr	expected (const unexpected< G > &e)
template<class G = E, detail::enable_if_t< std::is_constructible< E, const G & >::value > * = nullptr, detail::enable_if_t< std::is_convertible< const G &, E >::value > * = nullptr>
constexpr	expected (unexpected< G > const &e)
template<class G = E, detail::enable_if_t< std::is_constructible< E, G && >::value > * = nullptr, detail::enable_if_t<!std::is_convertible< G &&, E >::value > * = nullptr>
constexpr	expected (unexpected< G > &&e) noexcept(std::is_nothrow_constructible< E, G && >::value)
template<class G = E, detail::enable_if_t< std::is_constructible< E, G && >::value > * = nullptr, detail::enable_if_t< std::is_convertible< G &&, E >::value > * = nullptr>
constexpr	expected (unexpected< G > &&e) noexcept(std::is_nothrow_constructible< E, G && >::value)
template<class... Args, detail::enable_if_t< std::is_constructible< E, Args &&... >::value > * = nullptr>
constexpr	expected (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 (unexpect_t, std::initializer_list< U > il, Args &&...args)
template<class U, class G, detail::enable_if_t<!(std::is_convertible< U const &, T >::value &&std::is_convertible< G const &, E >::value)> * = nullptr, detail::expected_enable_from_other< T, E, U, G, const U &, const G & > * = nullptr>
TL_EXPECTED_11_CONSTEXPR	expected (const expected< U, G > &rhs)
template<class U, class G, detail::enable_if_t<(std::is_convertible< U const &, T >::value &&std::is_convertible< G const &, E >::value)> * = nullptr, detail::expected_enable_from_other< T, E, U, G, const U &, const G & > * = nullptr>
TL_EXPECTED_11_CONSTEXPR	expected (const expected< U, G > &rhs)
template<class U, class G, detail::enable_if_t<!(std::is_convertible< U &&, T >::value &&std::is_convertible< G &&, E >::value)> * = nullptr, detail::expected_enable_from_other< T, E, U, G, U &&, G && > * = nullptr>
TL_EXPECTED_11_CONSTEXPR	expected (expected< U, G > &&rhs)
template<class U, class G, detail::enable_if_t<(std::is_convertible< U &&, T >::value &&std::is_convertible< G &&, E >::value)> * = nullptr, detail::expected_enable_from_other< T, E, U, G, U &&, G && > * = nullptr>
TL_EXPECTED_11_CONSTEXPR	expected (expected< U, G > &&rhs)
template<class U = T, detail::enable_if_t<!std::is_convertible< U &&, T >::value > * = nullptr, detail::expected_enable_forward_value< T, E, U > * = nullptr>
TL_EXPECTED_MSVC2015_CONSTEXPR	expected (U &&v)
template<class U = T, detail::enable_if_t< std::is_convertible< U &&, T >::value > * = nullptr, detail::expected_enable_forward_value< T, E, U > * = nullptr>
TL_EXPECTED_MSVC2015_CONSTEXPR	expected (U &&v)
template<class U = T, class G = T, detail::enable_if_t< std::is_nothrow_constructible< T, U && >::value > * = nullptr, detail::enable_if_t<!std::is_void< G >::value > * = nullptr, detail::enable_if_t<(!std::is_same< expected< T, E >, detail::decay_t< U > >::value &&!detail::conjunction< std::is_scalar< T >, std::is_same< T, detail::decay_t< U > > >::value &&std::is_constructible< T, U >::value &&std::is_assignable< G &, U >::value &&std::is_nothrow_move_constructible< E >::value)> * = nullptr>
expected &	operator= (U &&v)
template<class U = T, class G = T, detail::enable_if_t<!std::is_nothrow_constructible< T, U && >::value > * = nullptr, detail::enable_if_t<!std::is_void< U >::value > * = nullptr, detail::enable_if_t<(!std::is_same< expected< T, E >, detail::decay_t< U > >::value &&!detail::conjunction< std::is_scalar< T >, std::is_same< T, detail::decay_t< U > > >::value &&std::is_constructible< T, U >::value &&std::is_assignable< G &, U >::value &&std::is_nothrow_move_constructible< E >::value)> * = nullptr>
expected &	operator= (U &&v)
template<class G = E, detail::enable_if_t< std::is_nothrow_copy_constructible< G >::value &&std::is_assignable< G &, G >::value > * = nullptr>
expected &	operator= (const unexpected< G > &rhs)
template<class G = E, detail::enable_if_t< std::is_nothrow_move_constructible< G >::value &&std::is_move_assignable< G >::value > * = nullptr>
expected &	operator= (unexpected< G > &&rhs) noexcept
template<class... Args, detail::enable_if_t< std::is_nothrow_constructible< T, Args &&... >::value > * = nullptr>
void	emplace (Args &&...args)
template<class... Args, detail::enable_if_t<!std::is_nothrow_constructible< T, Args &&... >::value > * = nullptr>
void	emplace (Args &&...args)
template<class U, class... Args, detail::enable_if_t< std::is_nothrow_constructible< T, std::initializer_list< U > &, Args &&... >::value > * = nullptr>
void	emplace (std::initializer_list< U > il, Args &&...args)
template<class U, class... Args, detail::enable_if_t<!std::is_nothrow_constructible< T, std::initializer_list< U > &, Args &&... >::value > * = nullptr>
void	emplace (std::initializer_list< U > il, Args &&...args)
template<class OT = T, class OE = E>
detail::enable_if_t< detail::is_swappable< OT >::value &&detail::is_swappable< OE >::value &&(std::is_nothrow_move_constructible< OT >::value\|\|std::is_nothrow_move_constructible< OE >::value)>	swap (expected &rhs) noexcept(std::is_nothrow_move_constructible< T >::value &&detail::is_nothrow_swappable< T >::value &&std::is_nothrow_move_constructible< E >::value &&detail::is_nothrow_swappable< E >::value)
constexpr const T *	operator-> () const
TL_EXPECTED_11_CONSTEXPR T *	operator-> ()
template<class U = T, detail::enable_if_t<!std::is_void< U >::value > * = nullptr>
constexpr const U &	operator* () const &
template<class U = T, detail::enable_if_t<!std::is_void< U >::value > * = nullptr>
TL_EXPECTED_11_CONSTEXPR U &	operator* () &
template<class U = T, detail::enable_if_t<!std::is_void< U >::value > * = nullptr>
constexpr const U &&	operator* () const &&
template<class U = T, detail::enable_if_t<!std::is_void< U >::value > * = nullptr>
TL_EXPECTED_11_CONSTEXPR U &&	operator* () &&
constexpr bool	has_value () const noexcept
constexpr	operator bool () const noexcept
template<class U = T, detail::enable_if_t<!std::is_void< U >::value > * = nullptr>
TL_EXPECTED_11_CONSTEXPR const U &	value () const &
template<class U = T, detail::enable_if_t<!std::is_void< U >::value > * = nullptr>
TL_EXPECTED_11_CONSTEXPR U &	value () &
template<class U = T, detail::enable_if_t<!std::is_void< U >::value > * = nullptr>
TL_EXPECTED_11_CONSTEXPR const U &&	value () const &&
template<class U = T, detail::enable_if_t<!std::is_void< U >::value > * = nullptr>
TL_EXPECTED_11_CONSTEXPR U &&	value () &&
constexpr const E &	error () const &
TL_EXPECTED_11_CONSTEXPR E &	error () &
constexpr const E &&	error () const &&
TL_EXPECTED_11_CONSTEXPR E &&	error () &&
template<class U>
constexpr T	value_or (U &&v) const &
template<class U>
TL_EXPECTED_11_CONSTEXPR T	value_or (U &&v) &&

Detailed Description

template<class T, class E>
class q23::expected< T, E >

An expected<T, E> object is an object that contains the storage for another object and manages the lifetime of this contained object T. Alternatively it could contain the storage for another unexpected object E. The contained object may not be initialized after the expected object has been initialized, and may not be destroyed before the expected object has been destroyed. The initialization state of the contained object is tracked by the expected object.

Definition at line 1310 of file qexpected_p.h.

Member Typedef Documentation

◆ error_type

template<class T, class E>

typedef E q23::expected< T, E >::error_type

Definition at line 1350 of file qexpected_p.h.

◆ unexpected_type

template<class T, class E>

typedef unexpected<E> q23::expected< T, E >::unexpected_type

Definition at line 1351 of file qexpected_p.h.

◆ value_type

template<class T, class E>

typedef T q23::expected< T, E >::value_type

Definition at line 1349 of file qexpected_p.h.

Constructor & Destructor Documentation

◆ expected() [1/17]

template<class T, class E>

q23::expected< T, E >::expected ( )

constexprdefault

◆ expected() [2/17]

template<class T, class E>

q23::expected< T, E >::expected ( const expected< T, E > & rhs )

constexprdefault

◆ expected() [3/17]

template<class T, class E>

q23::expected< T, E >::expected ( expected< T, E > && rhs )

constexprdefault

◆ expected() [4/17]

template<class T, class E>

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

q23::expected< T, E >::expected	(	in_place_t	,
		Args &&...	args )

inlineconstexpr

Definition at line 1599 of file qexpected_p.h.

Referenced by q23::expected< std::shared_ptr< MediaDataHolder >, ContextError >::expected().

Here is the caller graph for this function:

◆ expected() [5/17]

template<class T, class E>

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

q23::expected< T, E >::expected	(	in_place_t	,
		std::initializer_list< U >	il,
		Args &&...	args )

inlineconstexpr

Definition at line 1606 of file qexpected_p.h.

Referenced by q23::expected< std::shared_ptr< MediaDataHolder >, ContextError >::expected().

Here is the caller graph for this function:

◆ expected() [6/17]

template<class T, class E>

template<class G = E, detail::enable_if_t< std::is_constructible< E, const G & >::value > * = nullptr, detail::enable_if_t<!std::is_convertible< const G &, E >::value > * = nullptr>

q23::expected< T, E >::expected ( const unexpected< G > & e )

inlineexplicitconstexpr

Definition at line 1615 of file qexpected_p.h.

Referenced by q23::expected< std::shared_ptr< MediaDataHolder >, ContextError >::expected(), and q23::expected< std::shared_ptr< MediaDataHolder >, ContextError >::expected().

Here is the caller graph for this function:

◆ expected() [7/17]

template<class T, class E>

template<class G = E, detail::enable_if_t< std::is_constructible< E, const G & >::value > * = nullptr, detail::enable_if_t< std::is_convertible< const G &, E >::value > * = nullptr>

q23::expected< T, E >::expected ( unexpected< G > const & e )

inlineconstexpr

Definition at line 1624 of file qexpected_p.h.

◆ expected() [8/17]

template<class T, class E>

template<class G = E, detail::enable_if_t< std::is_constructible< E, G && >::value > * = nullptr, detail::enable_if_t<!std::is_convertible< G &&, E >::value > * = nullptr>

q23::expected< T, E >::expected ( unexpected< G > && e )

inlineexplicitconstexprnoexcept

Definition at line 1632 of file qexpected_p.h.

Referenced by q23::expected< std::shared_ptr< MediaDataHolder >, ContextError >::expected().

Here is the caller graph for this function:

◆ expected() [9/17]

template<class T, class E>

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

q23::expected< T, E >::expected ( unexpected< G > && e )

inlineconstexprnoexcept

Definition at line 1641 of file qexpected_p.h.

◆ expected() [10/17]

template<class T, class E>

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

q23::expected< T, E >::expected	(	unexpect_t	,
		Args &&...	args )

inlineexplicitconstexpr

Definition at line 1649 of file qexpected_p.h.

Referenced by q23::expected< std::shared_ptr< MediaDataHolder >, ContextError >::expected().

Here is the caller graph for this function:

◆ expected() [11/17]

template<class T, class E>

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

q23::expected< T, E >::expected	(	unexpect_t	,
		std::initializer_list< U >	il,
		Args &&...	args )

inlineexplicitconstexpr

Definition at line 1656 of file qexpected_p.h.

Referenced by q23::expected< std::shared_ptr< MediaDataHolder >, ContextError >::expected().

Here is the caller graph for this function:

◆ expected() [12/17]

template<class T, class E>

template<class U, class G, detail::enable_if_t<!(std::is_convertible::value &&std::is_convertible< G const &, E >::value)> * = nullptr, detail::expected_enable_from_other< T, E, U, G, const U &, const G & > * = nullptr>

TL_EXPECTED_11_CONSTEXPR q23::expected< T, E >::expected ( const expected< U, G > & rhs )

inlineexplicit

Definition at line 1667 of file qexpected_p.h.

Referenced by q23::expected< std::shared_ptr< MediaDataHolder >, ContextError >::expected().

Here is the caller graph for this function:

◆ expected() [13/17]

template<class T, class E>

template<class U, class G, detail::enable_if_t<(std::is_convertible::value &&std::is_convertible< G const &, E >::value)> * = nullptr, detail::expected_enable_from_other< T, E, U, G, const U &, const G & > * = nullptr>

TL_EXPECTED_11_CONSTEXPR q23::expected< T, E >::expected ( const expected< U, G > & rhs )

inline

Definition at line 1682 of file qexpected_p.h.

◆ expected() [14/17]

template<class T, class E>

template<class U, class G, detail::enable_if_t<!(std::is_convertible::value &&std::is_convertible< G &&, E >::value)> * = nullptr, detail::expected_enable_from_other< T, E, U, G, U &&, G && > * = nullptr>

TL_EXPECTED_11_CONSTEXPR q23::expected< T, E >::expected ( expected< U, G > && rhs )

inlineexplicit

Definition at line 1696 of file qexpected_p.h.

Referenced by q23::expected< std::shared_ptr< MediaDataHolder >, ContextError >::expected().

Here is the caller graph for this function:

◆ expected() [15/17]

template<class T, class E>

template<class U, class G, detail::enable_if_t<(std::is_convertible::value &&std::is_convertible< G &&, E >::value)> * = nullptr, detail::expected_enable_from_other< T, E, U, G, U &&, G && > * = nullptr>

TL_EXPECTED_11_CONSTEXPR q23::expected< T, E >::expected ( expected< U, G > && rhs )

inline

Definition at line 1710 of file qexpected_p.h.

◆ expected() [16/17]

template<class T, class E>

template<class U = T, detail::enable_if_t<!std::is_convertible::value > * = nullptr, detail::expected_enable_forward_value< T, E, U > * = nullptr>

TL_EXPECTED_MSVC2015_CONSTEXPR q23::expected< T, E >::expected ( U && v )

inlineexplicit

Definition at line 1723 of file qexpected_p.h.

◆ expected() [17/17]

template<class T, class E>

template<class U = T, detail::enable_if_t< std::is_convertible::value > * = nullptr, detail::expected_enable_forward_value< T, E, U > * = nullptr>

TL_EXPECTED_MSVC2015_CONSTEXPR q23::expected< T, E >::expected ( U && v )

inline

Definition at line 1730 of file qexpected_p.h.

Member Function Documentation

◆ and_then() [1/4]

template<class T, class E>

template<class F>

TL_EXPECTED_11_CONSTEXPR auto q23::expected< T, E >::and_then ( F && f ) && -> decltype(and_then_impl(std::declval<expected &&>(), std::forward<F>(f)))

inline

Definition at line 1380 of file qexpected_p.h.

◆ and_then() [2/4]

template<class T, class E>

template<class F>

TL_EXPECTED_11_CONSTEXPR auto q23::expected< T, E >::and_then ( F && f ) & -> decltype(and_then_impl(std::declval<expected &>(), std::forward<F>(f)))

inline

Definition at line 1374 of file qexpected_p.h.

◆ and_then() [3/4]

template<class T, class E>

template<class F>

auto q23::expected< T, E >::and_then ( F && f ) const && -> decltype(and_then_impl( std::declval<expected const &&>(), std::forward<F>(f)))

inlineconstexpr

Definition at line 1392 of file qexpected_p.h.

◆ and_then() [4/4]

template<class T, class E>

template<class F>

auto q23::expected< T, E >::and_then ( F && f ) const & -> decltype(and_then_impl( std::declval<expected const &>(), std::forward<F>(f)))

inlineconstexpr

Definition at line 1385 of file qexpected_p.h.

◆ emplace() [1/4]

template<class T, class E>

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

void q23::expected< T, E >::emplace ( Args &&... args )

inline

Definition at line 1825 of file qexpected_p.h.

◆ emplace() [2/4]

template<class T, class E>

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

void q23::expected< T, E >::emplace ( Args &&... args )

inline

Definition at line 1837 of file qexpected_p.h.

◆ emplace() [3/4]

template<class T, class E>

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

void q23::expected< T, E >::emplace	(	std::initializer_list< U >	il,
		Args &&...	args )

inline

Definition at line 1863 of file qexpected_p.h.

◆ emplace() [4/4]

template<class T, class E>

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

void q23::expected< T, E >::emplace	(	std::initializer_list< U >	il,
		Args &&...	args )

inline

Definition at line 1877 of file qexpected_p.h.

◆ error() [1/4]

template<class T, class E>

TL_EXPECTED_11_CONSTEXPR E & q23::expected< T, E >::error ( ) &

inline

Definition at line 2080 of file qexpected_p.h.

◆ error() [2/4]

template<class T, class E>

TL_EXPECTED_11_CONSTEXPR E && q23::expected< T, E >::error ( ) &&

inline

Definition at line 2088 of file qexpected_p.h.

◆ error() [3/4]

template<class T, class E>

const E & q23::expected< T, E >::error ( ) const &

inlineconstexpr

Definition at line 2076 of file qexpected_p.h.

◆ error() [4/4]

template<class T, class E>

const E && q23::expected< T, E >::error ( ) const &&

inlineconstexpr

Definition at line 2084 of file qexpected_p.h.

◆ has_value()

template<class T, class E>

bool q23::expected< T, E >::has_value ( ) const

inlineconstexprnoexcept

Definition at line 2044 of file qexpected_p.h.

Here is the caller graph for this function:

◆ map() [1/4]

template<class T, class E>

template<class F>

TL_EXPECTED_11_CONSTEXPR decltype(expected_map_impl( std::declval< expected & >(), std::declval< F && >())) q23::expected< T, E >::map ( F && f ) &

inline

Definition at line 1417 of file qexpected_p.h.

◆ map() [2/4]

template<class T, class E>

template<class F>

TL_EXPECTED_11_CONSTEXPR decltype(expected_map_impl(std::declval< expected >(), std::declval< F && >())) q23::expected< T, E >::map ( F && f ) &&

inline

Definition at line 1423 of file qexpected_p.h.

◆ map() [3/4]

template<class T, class E>

template<class F>

decltype(expected_map_impl(std::declval< const expected & >(), std::declval< F && >())) q23::expected< T, E >::map ( F && f ) const &

inlineconstexpr

Definition at line 1429 of file qexpected_p.h.

◆ map() [4/4]

template<class T, class E>

template<class F>

decltype(expected_map_impl(std::declval< const expected && >(), std::declval< F && >())) q23::expected< T, E >::map ( F && f ) const &&

inlineconstexpr

Definition at line 1437 of file qexpected_p.h.

◆ map_error() [1/4]

template<class T, class E>

template<class F>

TL_EXPECTED_11_CONSTEXPR decltype(map_error_impl(std::declval< expected & >(), std::declval< F && >())) q23::expected< T, E >::map_error ( F && f ) &

inline

Definition at line 1505 of file qexpected_p.h.

◆ map_error() [2/4]

template<class T, class E>

template<class F>

TL_EXPECTED_11_CONSTEXPR decltype(map_error_impl(std::declval< expected && >(), std::declval< F && >())) q23::expected< T, E >::map_error ( F && f ) &&

inline

Definition at line 1511 of file qexpected_p.h.

◆ map_error() [3/4]

template<class T, class E>

template<class F>

decltype(map_error_impl(std::declval< const expected & >(), std::declval< F && >())) q23::expected< T, E >::map_error ( F && f ) const &

inlineconstexpr

Definition at line 1517 of file qexpected_p.h.

◆ map_error() [4/4]

template<class T, class E>

template<class F>

decltype(map_error_impl(std::declval< const expected && >(), std::declval< F && >())) q23::expected< T, E >::map_error ( F && f ) const &&

inlineconstexpr

Definition at line 1525 of file qexpected_p.h.

◆ operator bool()

template<class T, class E>

q23::expected< T, E >::operator bool ( ) const

inlineexplicitconstexprnoexcept

Definition at line 2045 of file qexpected_p.h.

◆ operator*() [1/4]

template<class T, class E>

template<class U = T, detail::enable_if_t<!std::is_void::value > * = nullptr>

TL_EXPECTED_11_CONSTEXPR U & q23::expected< T, E >::operator* ( ) &

inline

Definition at line 2027 of file qexpected_p.h.

◆ operator*() [2/4]

template<class T, class E>

template<class U = T, detail::enable_if_t<!std::is_void::value > * = nullptr>

TL_EXPECTED_11_CONSTEXPR U && q23::expected< T, E >::operator* ( ) &&

inline

Definition at line 2039 of file qexpected_p.h.

◆ operator*() [3/4]

template<class T, class E>

template<class U = T, detail::enable_if_t<!std::is_void::value > * = nullptr>

const U & q23::expected< T, E >::operator* ( ) const &

inlineconstexpr

Definition at line 2021 of file qexpected_p.h.

◆ operator*() [4/4]

template<class T, class E>

template<class U = T, detail::enable_if_t<!std::is_void::value > * = nullptr>

const U && q23::expected< T, E >::operator* ( ) const &&

inlineconstexpr

Definition at line 2033 of file qexpected_p.h.

◆ operator->() [1/2]

template<class T, class E>

TL_EXPECTED_11_CONSTEXPR T * q23::expected< T, E >::operator-> ( )

inline

Definition at line 2014 of file qexpected_p.h.

◆ operator->() [2/2]

template<class T, class E>

const T * q23::expected< T, E >::operator-> ( ) const

inlineconstexpr

Definition at line 2010 of file qexpected_p.h.

◆ operator=() [1/6]

template<class T, class E>

expected & q23::expected< T, E >::operator= ( const expected< T, E > & rhs )

default

◆ operator=() [2/6]

template<class T, class E>

template<class G = E, detail::enable_if_t< std::is_nothrow_copy_constructible< G >::value &&std::is_assignable< G &, G >::value > * = nullptr>

expected & q23::expected< T, E >::operator= ( const unexpected< G > & rhs )

inline

Definition at line 1796 of file qexpected_p.h.

◆ operator=() [3/6]

template<class T, class E>

expected & q23::expected< T, E >::operator= ( expected< T, E > && rhs )

default

◆ operator=() [4/6]

template<class T, class E>

template<class U = T, class G = T, detail::enable_if_t< std::is_nothrow_constructible< T, U && >::value > * = nullptr, detail::enable_if_t<!std::is_void< G >::value > * = nullptr, detail::enable_if_t<(!std::is_same< expected< T, E >, detail::decay_t >::value &&!detail::conjunction< std::is_scalar< T >, std::is_same< T, detail::decay_t > >::value &&std::is_constructible< T, U >::value &&std::is_assignable< G &, U >::value &&std::is_nothrow_move_constructible< E >::value)> * = nullptr>

expected & q23::expected< T, E >::operator= ( U && v )

inline

Definition at line 1745 of file qexpected_p.h.

◆ operator=() [5/6]

template<class T, class E>

template<class U = T, class G = T, detail::enable_if_t<!std::is_nothrow_constructible< T, U && >::value > * = nullptr, detail::enable_if_t<!std::is_void::value > * = nullptr, detail::enable_if_t<(!std::is_same< expected< T, E >, detail::decay_t >::value &&!detail::conjunction< std::is_scalar< T >, std::is_same< T, detail::decay_t > >::value &&std::is_constructible< T, U >::value &&std::is_assignable< G &, U >::value &&std::is_nothrow_move_constructible< E >::value)> * = nullptr>

expected & q23::expected< T, E >::operator= ( U && v )

inline

Definition at line 1769 of file qexpected_p.h.

◆ operator=() [6/6]

template<class T, class E>

template<class G = E, detail::enable_if_t< std::is_nothrow_move_constructible< G >::value &&std::is_move_assignable< G >::value > * = nullptr>

expected & q23::expected< T, E >::operator= ( unexpected< G > && rhs )

inlinenoexcept

Definition at line 1811 of file qexpected_p.h.

◆ or_else() [1/4]

template<class T, class E>

template<class F>

expected TL_EXPECTED_11_CONSTEXPR q23::expected< T, E >::or_else ( F && f ) &

inline

Definition at line 1573 of file qexpected_p.h.

◆ or_else() [2/4]

template<class T, class E>

template<class F>

expected TL_EXPECTED_11_CONSTEXPR q23::expected< T, E >::or_else ( F && f ) &&

inline

Definition at line 1577 of file qexpected_p.h.

◆ or_else() [3/4]

template<class T, class E>

template<class F>

expected constexpr q23::expected< T, E >::or_else ( F && f ) const &

inlineconstexpr

Definition at line 1581 of file qexpected_p.h.

◆ or_else() [4/4]

template<class T, class E>

template<class F>

expected constexpr q23::expected< T, E >::or_else ( F && f ) const &&

inlineconstexpr

Definition at line 1586 of file qexpected_p.h.

◆ swap()

template<class T, class E>

template<class OT = T, class OE = E>

detail::enable_if_t< detail::is_swappable< OT >::value &&detail::is_swappable< OE >::value &&(std::is_nothrow_move_constructible< OT >::value||std::is_nothrow_move_constructible< OE >::value)> q23::expected< T, E >::swap ( expected< T, E > & rhs )

inlinenoexcept

Definition at line 1993 of file qexpected_p.h.

◆ transform() [1/4]

template<class T, class E>

template<class F>

TL_EXPECTED_11_CONSTEXPR decltype(expected_map_impl( std::declval< expected & >(), std::declval< F && >())) q23::expected< T, E >::transform ( F && f ) &

inline

Definition at line 1461 of file qexpected_p.h.

◆ transform() [2/4]

template<class T, class E>

template<class F>

TL_EXPECTED_11_CONSTEXPR decltype(expected_map_impl(std::declval< expected >(), std::declval< F && >())) q23::expected< T, E >::transform ( F && f ) &&

inline

Definition at line 1467 of file qexpected_p.h.

◆ transform() [3/4]

template<class T, class E>

template<class F>

decltype(expected_map_impl(std::declval< const expected & >(), std::declval< F && >())) q23::expected< T, E >::transform ( F && f ) const &

inlineconstexpr

Definition at line 1473 of file qexpected_p.h.

◆ transform() [4/4]

template<class T, class E>

template<class F>

decltype(expected_map_impl(std::declval< const expected && >(), std::declval< F && >())) q23::expected< T, E >::transform ( F && f ) const &&

inlineconstexpr

Definition at line 1481 of file qexpected_p.h.

◆ transform_error() [1/4]

template<class T, class E>

template<class F>

TL_EXPECTED_11_CONSTEXPR decltype(map_error_impl(std::declval< expected & >(), std::declval< F && >())) q23::expected< T, E >::transform_error ( F && f ) &

inline

Definition at line 1548 of file qexpected_p.h.

◆ transform_error() [2/4]

template<class T, class E>

template<class F>

TL_EXPECTED_11_CONSTEXPR decltype(map_error_impl(std::declval< expected && >(), std::declval< F && >())) q23::expected< T, E >::transform_error ( F && f ) &&

inline

Definition at line 1554 of file qexpected_p.h.

◆ transform_error() [3/4]

template<class T, class E>

template<class F>

decltype(map_error_impl(std::declval< const expected & >(), std::declval< F && >())) q23::expected< T, E >::transform_error ( F && f ) const &

inlineconstexpr

Definition at line 1560 of file qexpected_p.h.

◆ transform_error() [4/4]

template<class T, class E>

template<class F>

decltype(map_error_impl(std::declval< const expected && >(), std::declval< F && >())) q23::expected< T, E >::transform_error ( F && f ) const &&

inlineconstexpr

Definition at line 1568 of file qexpected_p.h.

◆ value() [1/4]

template<class T, class E>

template<class U = T, detail::enable_if_t<!std::is_void::value > * = nullptr>

TL_EXPECTED_11_CONSTEXPR U & q23::expected< T, E >::value ( ) &

inline

Definition at line 2056 of file qexpected_p.h.

◆ value() [2/4]

template<class T, class E>

template<class U = T, detail::enable_if_t<!std::is_void::value > * = nullptr>

TL_EXPECTED_11_CONSTEXPR U && q23::expected< T, E >::value ( ) &&

inline

Definition at line 2070 of file qexpected_p.h.

◆ value() [3/4]

template<class T, class E>

template<class U = T, detail::enable_if_t<!std::is_void::value > * = nullptr>

TL_EXPECTED_11_CONSTEXPR const U & q23::expected< T, E >::value ( ) const &

inline

Definition at line 2049 of file qexpected_p.h.

◆ value() [4/4]

template<class T, class E>

template<class U = T, detail::enable_if_t<!std::is_void::value > * = nullptr>

TL_EXPECTED_11_CONSTEXPR const U && q23::expected< T, E >::value ( ) const &&

inline

Definition at line 2063 of file qexpected_p.h.

◆ value_or() [1/2]

template<class T, class E>

template<class U>

TL_EXPECTED_11_CONSTEXPR T q23::expected< T, E >::value_or ( U && v ) &&

inline

Definition at line 2099 of file qexpected_p.h.

◆ value_or() [2/2]

template<class T, class E>

template<class U>

T q23::expected< T, E >::value_or ( U && v ) const &

inlineconstexpr

Definition at line 2093 of file qexpected_p.h.

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

qtbase/src/corelib/global/qexpected_p.h (901ccf760891cc3aa1adf2f6c8105c6417f4783a)

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

◆ error_type

◆ unexpected_type

◆ value_type

Constructor & Destructor Documentation

◆ expected() [1/17]

◆ expected() [2/17]

◆ expected() [3/17]

◆ expected() [4/17]

◆ expected() [5/17]

◆ expected() [6/17]

◆ expected() [7/17]

◆ expected() [8/17]

◆ expected() [9/17]

◆ expected() [10/17]

◆ expected() [11/17]

◆ expected() [12/17]

◆ expected() [13/17]

◆ expected() [14/17]

◆ expected() [15/17]

◆ expected() [16/17]

◆ expected() [17/17]

Member Function Documentation

◆ and_then() [1/4]

◆ and_then() [2/4]

◆ and_then() [3/4]

◆ and_then() [4/4]

◆ emplace() [1/4]

◆ emplace() [2/4]

◆ emplace() [3/4]

◆ emplace() [4/4]

◆ error() [1/4]

◆ error() [2/4]

◆ error() [3/4]

◆ error() [4/4]

◆ has_value()

◆ map() [1/4]

◆ map() [2/4]

◆ map() [3/4]

◆ map() [4/4]

◆ map_error() [1/4]

◆ map_error() [2/4]

◆ map_error() [3/4]

◆ map_error() [4/4]

◆ operator bool()

◆ operator*() [1/4]

◆ operator*() [2/4]

◆ operator*() [3/4]

◆ operator*() [4/4]

◆ operator->() [1/2]

◆ operator->() [2/2]

◆ operator=() [1/6]

◆ operator=() [2/6]

◆ operator=() [3/6]

◆ operator=() [4/6]

◆ operator=() [5/6]

◆ operator=() [6/6]

◆ or_else() [1/4]

◆ or_else() [2/4]

◆ or_else() [3/4]

◆ or_else() [4/4]

◆ swap()

◆ transform() [1/4]

◆ transform() [2/4]

◆ transform() [3/4]

◆ transform() [4/4]

◆ transform_error() [1/4]

◆ transform_error() [2/4]

◆ transform_error() [3/4]

◆ transform_error() [4/4]

◆ value() [1/4]

◆ value() [2/4]

◆ value() [3/4]

◆ value() [4/4]

◆ value_or() [1/2]

◆ value_or() [2/2]