std::optional<T>::transform
来自cppreference.com
template< class F > constexpr auto transform( F&& f ) &; |
(1) | (C++23 起) |
template< class F > constexpr auto transform( F&& f ) const&; |
(2) | (C++23 起) |
template< class F > constexpr auto transform( F&& f ) &&; |
(3) | (C++23 起) |
template< class F > constexpr auto transform( F&& f ) const&&; |
(4) | (C++23 起) |
若 *this 含值则返回含有 f
在所含值上调用结果的 std::optional 。否则返回这种类型的空 std::optional 。
结果的所含值类型(以下以 U
代表)必须为非数组对象类型,且必须不是 std::in_place_t 或 std::nullopt_t 。否则程序非良构。
1) 令
若变量定义 U x(std::invoke(std::forward<F>(f), this->value())); 非良构则程序非良构。
U
为 std::remove_cv_t<std::invoke_result_t<F, T&>> 。若 *this 含值,则返回所含值从 std::invoke(std::forward<F>(f), this->value()) 直接非列表初始化的 std::optional<U> 。否则返回空的 std::optional<U> 。若变量定义 U x(std::invoke(std::forward<F>(f), this->value())); 非良构则程序非良构。
3) 令
若变量定义 U x(std::invoke(std::forward<F>(f), std::move(this->value()))); 非良构则程序非良构。
U
为 std::remove_cv_t<std::invoke_result_t<F, T>> 。若 *this 含值,则返回所含值从 std::invoke(std::forward<F>(f), std::move(this->value())) 直接非列表初始化的 std::optional<U> 。否则返回空的 std::optional<U> 。若变量定义 U x(std::invoke(std::forward<F>(f), std::move(this->value()))); 非良构则程序非良构。
参数
f | - | 适合的函数或可调用 (Callable) 对象 |
返回值
含有 f
的结果的 std::optional 或空 std::optional ,如上所属。
注解
因为 transform
直接在正确的位置构造 U
对象,而非将它传递给构造函数, std::is_move_constructible_v<U> 能为 false 。
有些语言称此操作为 map
。
示例
本节未完成 原因:暂无示例 |
参阅
若所含值可用则返回它,否则返回另一个值 (公开成员函数) | |
(C++23) |
若所含值存在则返回给定的函数在其上的结果,否则返回空的 optional (公开成员函数) |
(C++23) |
若 optional 含值则返回其自身,否则返回给定函数的结果 (公开成员函数) |