# std::optional<T>::transform

< cpp‎ | utility‎ | optional

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

### 示例

| 本节未完成 原因：暂无示例

### 参阅

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