std::optional<T>::and_then
来自cppreference.com
| 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); else return std::remove_cvref_t<std::invoke_result_t<F, T&>>{};
2) 等价于
if (*this) return std::invoke(std::forward<F>(f), **this); 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)); 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)); else return std::remove_cvref_t<std::invoke_result_t<F, const T>>{};
参数
| f | - | 适合的函数或可调用 (Callable) 对象，返回 std::optional |
返回值
f 的结果或空的 std::optional ，如上所述。
注解
有些语言称此操作为 flatmap 。
| 功能特性测试宏 | 值 | 标准 | 备注 |
|---|---|---|---|
__cpp_lib_optional |
202110L | (C++23) | std::optional 的单子操作 |
示例
运行此代码
#include <charconv> #include <iomanip> #include <iostream> #include <optional> #include <ranges> #include <string> #include <string_view> #include <vector> std::optional<int> to_int(std::string_view sv) { int r {}; auto [ptr, ec] { std::from_chars(sv.data(), sv.data() + sv.size(), r) }; if (ec == std::errc()) return r; else return std::nullopt; } int main() { using namespace std::literals; const std::vector<std::optional<std::string>> v { "1234", "15 foo", "bar", "42", "5000000000", " 5", std::nullopt, "-43" }; for (auto&& x : v | std::views::transform( [](auto&& o) { // 调试打印输入的 optional<string> 的内容 std::cout << std::left << std::setw(13) << std::quoted(o.value_or("nullopt")) << " -> "; return o // 若 optional 为空则转换它为持有 "" 字符串的 optional .or_else([]{ return std::optional{""s}; }) // 拉平映射 string 为 int （失败时产生空的 optional） .and_then(to_int) // 映射 int 为 int + 1 .transform([](int n) { return n + 1; }) // 转换回 string .transform([](int n) { return std::to_string(n); }) // 以 and_than 替换，并用 "NaN" 变换并忽略所有剩余的空 optional // and_then and ignored by transforms with "NaN" .value_or("NaN"s); })) std::cout << x << '\n'; }
输出：
"1234" -> 1235 "15 foo" -> 16 "bar" -> NaN "42" -> 43 "5000000000" -> NaN " 5" -> NaN "nullopt" -> NaN "-43" -> -42
参阅
| 在所含值可用时返回它，否则返回另一个值 (公开成员函数) | |
| (C++23) |
在所含值存在时返回含有变换后的所含值的 optional，否则返回空的 optional (公开成员函数) |
| (C++23) |
在 optional 含值时返回自身，否则返回给定函数的结果 (公开成员函数) |