std::optional<T>::and_then

来自cppreference.com
< cpp‎ | utility‎ | optional
 
 
工具库
通用工具
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)

初等字符串转换
(C++17)
(C++17)
栈踪
 
std::optional
成员函数
观察器
单子操作
optional::and_then
(C++23)
修改器
非成员函数
(C++17)(C++17)(C++17)(C++17)(C++17)(C++17)(C++20)
(C++17)
推导指引
辅助类
(C++17)
(C++17)
(C++17)
辅助对象
(C++17)
(C++17)
 
template< class F >
constexpr auto and_then( F&& f ) &;
(1) (C++23 起)
template< class F >
constexpr auto and_then( F&& f ) const&;
(2) (C++23 起)
template< class F >
constexpr auto and_then( F&& f ) &&;
(3) (C++23 起)
template< class F >
constexpr auto and_then( F&& f ) const&&;
(4) (C++23 起)

若所含值存在则返回在其上调用 f 的结果。否则,返回返回类型的空值。

返回类型(见后述)必须为 std::optional 的特化。否则程序非良构。

1) 等价于
if (*this)

    return std::invoke(std::forward<F>(f), this->value());
else

    return std::remove_cvref_t<std::invoke_result_t<F, T&>>();
2) 等价于
if (*this)

    return std::invoke(std::forward<F>(f), this->value());
else

    return std::remove_cvref_t<std::invoke_result_t<F, const T&>>();
3) 等价于
if (*this)

    return std::invoke(std::forward<F>(f), std::move(this->value()));
else

    return std::remove_cvref_t<std::invoke_result_t<F, T>>();
4) 等价于
if (*this)

    return std::invoke(std::forward<F>(f), std::move(this->value()));
else

    return std::remove_cvref_t<std::invoke_result_t<F, const T>>();

参数

f - 适合的函数或可调用 (Callable) 对象,返回 std::optional

返回值

f 的结果或空的 std::optional ,如上所述。

注解

有些语言称此操作为 flatmap

示例

参阅

若所含值可用则返回它,否则返回另一个值
(公开成员函数)
(C++23)
若所含值存在则返回含有变换后的所含值的 optional ,否则返回空的 optional
(公开成员函数)
(C++23)
optional 含值则返回其自身,否则返回给定函数的结果
(公开成员函数)