Observer Policies

`static void narrow_error_check(Impl &&) noexcept`

Observer policy performing hard UB if no error is present, by calling static void _ub(Impl &&) . Constexpr where possible. Requires: Always available. Complexity: Constant time. Guarantees: Never throws an exception. »

`static void narrow_exception_check(Impl &&) noexcept`

Observer policy performing hard UB if no exception is present, by calling static void _ub(Impl &&) . Constexpr where possible. Requires: Always available. Complexity: Constant time. Guarantees: Never throws an exception. »

`static void narrow_value_check(Impl &&) noexcept`

Observer policy performing hard UB if no value is present, by calling static void _ub(Impl &&) . Constexpr where possible. Requires: Always available. Complexity: Constant time. Guarantees: Never throws an exception. »

`static void on_outcome_construction(T *, U &&) noexcept`

One of the constructor hooks for basic_outcome<T, EC, EP, NoValuePolicy> , generally invoked by the implicit constructors of basic_outcome. See each constructor’s documentation to see which specific hook it invokes. Requires: Always available. Guarantees: Never throws an exception. »

`static void on_outcome_construction(T *, U &&, V &&) noexcept`

One of the constructor hooks for basic_outcome<T, EC, EP, NoValuePolicy> , generally invoked by the implicit constructors of basic_outcome which consume two arguments. See each constructor’s documentation to see which specific hook it invokes. Requires: Always available. Guarantees: Never throws an exception. »

`static void on_outcome_copy_construction(T *, U &&) noexcept`

One of the constructor hooks for basic_outcome<T, EC, EP, NoValuePolicy> , generally invoked by the converting copy constructors of basic_outcome (NOT the standard copy constructor). See each constructor’s documentation to see which specific hook it invokes. Requires: Always available. Guarantees: Never throws an exception. »

`static void on_outcome_copy_construction(T *, U &&, V &&) noexcept`

One of the constructor hooks for basic_outcome<T, EC, EP, NoValuePolicy> , generally invoked by the converting copy constructors of basic_outcome (NOT the standard copy constructor) which consume two arguments. See each constructor’s documentation to see which specific hook it invokes. Requires: Always available. Guarantees: Never throws an exception. »

`static void on_outcome_move_construction(T *, U &&) noexcept`

One of the constructor hooks for basic_outcome<T, EC, EP, NoValuePolicy> , generally invoked by the converting move constructors of basic_outcome (NOT the standard move constructor). See each constructor’s documentation to see which specific hook it invokes. Requires: Always available. Guarantees: Never throws an exception. »

`static void on_outcome_move_construction(T *, U &&, V &&) noexcept`

One of the constructor hooks for basic_outcome<T, EC, EP, NoValuePolicy> , generally invoked by the converting move constructors of basic_outcome (NOT the standard move constructor) which consume two arguments. See each constructor’s documentation to see which specific hook it invokes. Requires: Always available. Guarantees: Never throws an exception. »