Namespaces
Variants

    std::expected<T,E>::or_else

    来自 zh.cppreference.net
     
    C++
     
    工具库
    通用工具
    关系运算符 (在 C++20 中弃用)
    整数比较函数
    (C++20)(C++20)(C++20)    
    (C++20)
    交换 与 类型操作
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    常用词汇类型
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    std::expected
     
    主模板
    		 
    template< class F >
constexpr auto or_else( F&& f ) &;
    		(1) (自 C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&;
    		(2) (自 C++23) 
    template< class F >
constexpr auto or_else( F&& f ) &&;
    		(3) (自 C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&&;
    		(4) (自 C++23)
    void 部分特化
    		 
    template< class F >
constexpr auto or_else( F&& f ) &;
    		(5) (自 C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&;
    		(6) (自 C++23) 
    template< class F >
constexpr auto or_else( F&& f ) &&;
    		(7) (自 C++23) 
    template< class F >
constexpr auto or_else( F&& f ) const&&;
    		(8) (自 C++23)

    如果 *this 包含一个意外值，则以 f 的意外值为实参调用 *this 并返回其结果。否则，返回一个表示期望值的 std::expected 对象。

    1-4) 期望值以 val 的期望值 *this 初始化。

    给定类型 G 为：

    1,2) std::remove_cvref_t<std::invoke_result_t<F, decltype(error())>>
    3,4) std::remove_cvref_t<std::invoke_result_t<F, decltype(std::move(error()))>>
    5,6) std::remove_cvref_t<std::invoke_result_t<F, decltype(error())>>
    7,8) std::remove_cvref_t<std::invoke_result_t<F, decltype(std::move(error()))>>

    如果 G 不是 std::expected 的特化，或者 std::is_same_v<G::value_type, T> 是 false，则程序非良构。

    1,2) 仅当 std::is_constructible_v<T, decltype((val))> 为 true 时，这些重载才参与重载决议。
    3,4) 仅当 std::is_constructible_v<T, decltype(std::move(val))> 为 true 时，这些重载才参与重载决议。

    参数

    f - 一个合适的函数或 可调用对象 ，其返回值为 std::expected

    返回值

    重载版本 has_value() 的值
    true false
    ( 1,2 ) G ( std:: in_place , val ) std:: invoke ( std:: forward < F > ( f ) , error ( ) )
    ( 3,4 ) G ( std:: in_place , std :: move ( val ) ) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )
    ( 5,6 ) G ( ) std:: invoke ( std:: forward < F > ( f ) , error ( ) )
    ( 7,8 ) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )

    注释

    功能测试 宏 值 标准 功能
    __cpp_lib_expected 202211L (C++23) std::expected 的单子函数

    示例

    本节内容不完整
    原因：缺少示例

    缺陷报告

    下列行为变更缺陷报告被追溯应用于先前发布的C++标准。

    缺陷报告 应用于 发布时行为 正确行为
    LWG 3938 C++23 期望值通过 value ( ) [1] 获取 改为 ** this
    LWG 3973 C++23 期望值通过 ** this [2] 获取 改为 val
    1. ↑ value() 要求 E 可复制构造（参见 LWG issue 3843 ），而 operator* 无此要求。
    2. ↑ ** this 可能触发 实参依赖查找 。

    参见

    		若当前 expected 包含期望值则返回其本身；否则返回包含转换后非期望值的 expected
    (公开成员函数)