base
Implements the base class of most policy classes defining the narrow observer policies.
Requires: Nothing.
Namespace: BOOST_OUTCOME_V2_NAMESPACE::policy
Header: <boost/outcome/policy/base.hpp>
Protected member functions
Special
-
static void _ub(Impl &&)Special function which causes noticeable hard undefined behaviour.
Observers
-
static bool _has_value(Impl &&) noexceptReturns true if a value is present in the implementation passed in. Constexpr, never throws.
-
static bool _has_error(Impl &&) noexceptReturns true if an error is present in the implementation passed in. Constexpr, never throws.
-
static bool _has_exception(Impl &&) noexceptReturns true if an exception is present in the implementation passed in. Constexpr, never throws.
-
static bool _has_error_is_errno(Impl &&) noexceptReturns true if the error code in the implementation passed in has a domain or category matching that of POSIX
errno. Constexpr, never throws. -
static auto &&_value(Impl &&) noexceptReturns a reference to the value in the implementation passed in. Constexpr, never throws.
-
static auto &&_error(Impl &&) noexceptReturns a reference to the error in the implementation passed in. Constexpr, never throws.
-
static auto &&_exception(Impl &&) noexceptReturns a reference to the exception in the implementation passed in. Constexpr, never throws.
Modifiers
-
static void _set_has_value(Impl &&, bool) noexceptSets whether the implementation has a value. Constexpr, never throws.
-
static void _set_has_error(Impl &&, bool) noexceptSets whether the implementation has an error. Constexpr, never throws.
-
static void _set_has_exception(Impl &&, bool) noexceptSets whether the implementation has an exception. Constexpr, never throws.
-
static void _set_has_exception(Impl &&, bool) noexceptSets whether the implementation’s error code has a domain or category matching that of POSIX
errno. Constexpr, never throws.
Public member functions
-
static void narrow_value_check(Impl &&) noexceptObserver policy performing hard UB if no value is present. Constexpr, never throws.
-
static void narrow_error_check(Impl &&) noexceptObserver policy performing hard UB if no error is present. Constexpr, never throws.
-
static void narrow_exception_check(Impl &&) noexceptObserver policy performing hard UB if no exception is present. Constexpr, never throws.
-
static void on_outcome_construction(T *, U &&) noexcept(>= Outcome v2.2.0) Hook invoked by the implicit constructors of
basic_outcome. -
static void on_outcome_construction(T *, U &&, V &&) noexcept(>= Outcome v2.2.0) Hook invoked by the implicit constructors of
basic_outcome. -
static void on_outcome_copy_construction(T *, U &&) noexcept(>= Outcome v2.2.0) Hook invoked by the converting copy constructors of
basic_outcome. -
static void on_outcome_copy_construction(T *, U &&, V &&) noexcept(>= Outcome v2.2.0) Hook invoked by the converting copy constructors of
basic_outcome. -
static void on_outcome_in_place_construction(T *, in_place_type_t<U>, Args &&...) noexcept(>= Outcome v2.2.0) Hook invoked by the in-place constructors of
basic_outcome. -
static void on_outcome_move_construction(T *, U &&) noexcept(>= Outcome v2.2.0) Hook invoked by the converting move constructors of
basic_outcome. -
static void on_outcome_move_construction(T *, U &&, V &&) noexcept(>= Outcome v2.2.0) Hook invoked by the converting move constructors of
basic_outcome. -
static void on_result_construction(T *, U &&) noexcept(>= Outcome v2.2.0) Hook invoked by the implicit constructors of
basic_result. -
static void on_result_copy_construction(T *, U &&) noexcept(>= Outcome v2.2.0) Hook invoked by the converting copy constructors of
basic_result. -
static void on_result_in_place_construction(T *, in_place_type_t<U>, Args &&...) noexcept(>= Outcome v2.2.0) Hook invoked by the in-place constructors of
basic_result. -
static void on_result_move_construction(T *, U &&) noexcept(>= Outcome v2.2.0) Hook invoked by the converting move constructors of
basic_result.



