expect< void > Class Reference

#include <expect.h>

Public Types
using	value_type = void
using	error_type = std::error_code

Public Member Functions
*Create a successful object	expect () noexcept
	expect (std::error_code const &code) noexcept
	expect (expect const &)=default
	~expect ()=default
expect &	operator= (expect const &)=default
*return True if this is storing a value instead of an error	operator bool () const noexcept
*return True if this is storing an error instead of a value bool	has_error () const noexcept
*return Error alway std::error_code	error () const noexcept
*return	error ()
void &&	value () &&
*return pre	has_value ()`. void *operator->() noexcept
bool	equal (expect< U > const &rhs) const noexcept(noexcept(*std::declval< expect< void > >()==*rhs))

Public Attributes
*return	Value

Detailed Description

Definition at line 344 of file expect.h.

Member Typedef Documentation

error_type

using expect< void >::error_type = std::error_code

Definition at line 350 of file expect.h.

value_type

using expect< void >::value_type = void

Definition at line 349 of file expect.h.

Constructor & Destructor Documentation

expect() [1/3]

*Create a successful object expect< void >::expect ( )

inlinenoexcept

Definition at line 353 of file expect.h.

      : code_()
    {}

Here is the caller graph for this function:

expect() [2/3]

expect< void >::expect ( std::error_code const & code )

inlinenoexcept

Definition at line 357 of file expect.h.

      : code_(code)
    {
        if (!has_error())
            code_ = ::common_error::kInvalidErrorCode;
    }

Here is the call graph for this function:

expect() [3/3]

expect< void >::expect ( expect< void > const & )

default

Here is the call graph for this function:

~expect()

expect< void >::~expect ( )

default

Member Function Documentation

equal()

bool expect< void >::equal ( expect< U > const & rhs ) const

inlinenoexcept

Note

This function is noexcept when U == T is noexcept.

Returns

True if has_value() == rhs.has_value() and if values or errors are equal.

Definition at line 314 of file expect.h.

    {
        return has_value() && rhs.has_value() ?
            get() == *rhs : error() == rhs.error();
    }

error() [1/2]

*return expect< void >::error

(

)

Here is the call graph for this function:

error() [2/2]

*return Error alway std::error_code expect< void >::error ( ) const

inlinenoexcept

Definition at line 375 of file expect.h.

{ return code_; }

has_error()

*return True if this is storing an error instead of a value bool expect< void >::has_error ( ) const

inlinenoexcept

Definition at line 372 of file expect.h.

{ return bool(code_); }

Here is the caller graph for this function:

has_value()

*return pre expect< void >::has_value ( ) ->() noexcept

inline

Definition at line 300 of file expect.h.

                             { return std::addressof(get()); }

operator bool()

*return True if this is storing a value instead of an error expect< void >::operator bool ( ) const

inlineexplicitnoexcept

Definition at line 369 of file expect.h.

{ return !has_error(); }

Here is the call graph for this function:

operator=()

expect & expect< void >::operator= ( expect< void > const & )

default

Here is the call graph for this function:

value()

void && expect< void >::value ( ) &&

inline

Move src into this. If src.has_value() && addressof(src) != this then src.value() will be in a "moved from state". */ expect& operator=(expect&& src) noexcept(std::is_nothrow_move_constructible<T>() && std::is_nothrow_move_assignable<T>()) { if (this != std::addressof(src)) { if (has_value() && src.has_value()) get() = std::move(src.get()); else if (has_value()) get().~T(); else if (src.has_value()) store(std::move(src.get())); code_ = src.error(); } return *this; } @iverbatim \return True if this is storing a value instead of an error. @endiverbatim\ilinebr explicit operator bool() const noexcept { return has_value(); } @iverbatim \return True if this is storing an error instead of a value. @endiverbatim\ilinebr bool has_error() const noexcept { return bool(code_); } @iverbatim \return True if this is storing a value instead of an error. @endiverbatim\ilinebr bool has_value() const noexcept { return !has_error(); } @iverbatim \return Error - always safe to call. Empty when !has_error(). @endiverbatim\ilinebr std::error_code error() const noexcept { return code_; } @iverbatim \return Value if has_value() otherwise \throw std::system_error{error()}. @endiverbatim\ilinebr T& value() & { maybe_throw(); return get(); } @iverbatim \return Value if has_value() otherwise \throw std::system_error{error()}`. T const& value() const & { maybe_throw(); return get(); }

/*! Same as other overloads, but expressions such as foo(bar().value()) will automatically perform moves with no copies.

Definition at line 294 of file expect.h.

    {
        maybe_throw();
        return std::move(get());
    }

Member Data Documentation

Value

*return expect< void >::Value

Definition at line 300 of file expect.h.

---

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

• /home/abuild/rpmbuild/BUILD/electroneum-5.1.3.1-build/electroneum-5.1.3.1/src/common/expect.h