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_in_place_construction(T *, in_place_type_t<U>, Args &&...) noexcept`
One of the constructor hooks for basic_outcome<T, EC, EP, NoValuePolicy> , generally invoked by the in-place 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_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. »