std::expected<T,E>::transform

template< class F >
constexpr auto transform( F&& f ) &;

template< class F >
constexpr auto transform( F&& f ) const&;

template< class F >
constexpr auto transform( F&& f ) &&;

template< class F >
constexpr auto transform( F&& f ) const&&;

如果 *this 包含一个期望值，则调用 f 并返回一个包含其结果的 std::expected 对象；否则，返回一个包含 std::expected 副本的 error() 对象。

如果 T 不是（可能有 cv 限定）void，则包含的值（operator*()）作为参数传递给 f；否则 f 不接受参数。

令 U 为：

• 如果 T 不是（可能有 cv 限定）void：
  • 对于重载 (1-2), std::remove_cv_t<std::invoke_result_t<F, decltype(operator*())>>；
  • 对于重载 (3-4), std::remove_cv_t<std::invoke_result_t<F, decltype(std::move(operator*()))>>；
• 否则（T 可能有 cv 限定 void），则 std::remove_cv_t<std::invoke_result_t<F>>。

U必须是 std::expected 的有效值类型。类型 U 的变量必须可从调用结果构造（但无需可移动构造）。返回类型为 std::expected<U, E>。

形式上，这些函数执行以下步骤：

• 如果 *this 包含期望值 val：

1. 调用 f，如同：
   • std::invoke(std::forward<F>(f), val) 对于重载 (1,2) ，如果 std::is_void_v<T> 是 false；
   • std::invoke(std::forward<F>(f), std::move(val)) 对于重载 (3,4)，如果 std::is_void_v<T> 是 false；
   • std::invoke(std::forward<F>(f)) 如果 std::is_void_v<T> 是 true。
2. 然后：
   • 如果 std::is_void_v<U> 是 false，则返回一个包含期望值的 std::expected 对象，该期望值直接初始化自调用结果；
   • 否则，返回 std::expected<U, E>()。

• 否则（*this 包含错误值），返回 std::expected<U, E>(std::unexpect, error())。

参数

返回值

给定表达式 expr 为：

返回值定义如下：

说明

示例

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

1. ↑ value() 要求 E 可复制构造（参见 LWG 问题 3843 ），而 operator* 无此要求。
2. ↑ ** this 可能触发 实参依赖查找 。

参见