std::optional<T>::transform

来自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::transform
(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 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_tstd::nullopt_t 。否则程序非良构。

1)Ustd::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())); 非良构则程序非良构。
2)(1) ,除了 Ustd::remove_cv_t<std::invoke_result_t<F, const T&>>
3)Ustd::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()))); 非良构则程序非良构。
4)(3) ,除了 Ustd::remove_cv_t<std::invoke_result_t<F, const T>>

参数

f - 适合的函数或可调用 (Callable) 对象

返回值

含有 f 的结果的 std::optional 或空 std::optional ,如上所属。

注解

因为 transform 直接在正确的位置构造 U 对象,而非将它传递给构造函数, std::is_move_constructible_v<U> 能为 false

有些语言称此操作为 map

示例

参阅

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