std::optional<T>::transform
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. В противном случае программа считается некорректной.
U будет std::remove_cv_t<std::invoke_result_t<F, T&>>. Если *this содержит значение, возвращает std::optional<U>, чьё содержащееся значение является прямо инициализированным из std::invoke(std::forward<F>(f), **this) (в отличие от and_then(), который должен возвращать std::optional непосредственно). В противном случае возвращает пустой std::optional<U>.
- Программа считается некорректной, если определение переменной
U x(std::invoke(std::forward<F>(f), **this));является некорректным.
U будет std::remove_cv_t<std::invoke_result_t<F, const T&>>.U будет std::remove_cv_t<std::invoke_result_t<F, T>>. Если *this содержит значение, возвращает std::optional<U>, чьё содержащееся значение является прямо инициализированным из std::invoke(std::forward<F>(f), std::move(**this)). В противном случае возвращает пустой std::optional<U>.
- Программа считается некорректной, если определение переменной
U x(std::invoke(std::forward<F>(f), std::move(**this)));является некорректным.
U будет std::remove_cv_t<std::invoke_result_t<F, const T>>.Параметры
| f | - | подходящая функция или Callable объект, сигнатура вызова которого возвращает тип, не являющийся ссылкой |
Возвращаемое значение
Объект
std::optional
, содержащий результат выполнения
f
или пустой
std::optional
, как описано выше.
Примечания
Поскольку
transform
напрямую конструирует объект
U
в нужном месте, вместо передачи его конструктору,
std::
is_move_constructible_v
<
U
>
может быть
false
.
Поскольку вызываемый объект
f
не может возвращать ссылочный тип, он не может быть
указателем на член данных
.
Некоторые языки называют эту операцию map .
| Макрос тестирования возможностей | Значение | Стандарт | Функция |
|---|---|---|---|
__cpp_lib_optional
|
202110L
|
(C++23) | Монадические операции в std::optional |
Пример
#include <iostream> #include <optional> struct A { /* ... */ }; struct B { /* ... */ }; struct C { /* ... */ }; struct D { /* ... */ }; auto A_to_B(A) -> B { /* ... */ std::cout << "A => B \n"; return {}; } auto B_to_C(B) -> C { /* ... */ std::cout << "B => C \n"; return {}; } auto C_to_D(C) -> D { /* ... */ std::cout << "C => D \n"; return {}; } void try_transform_A_to_D(std::optional<A> o_A) { std::cout << (o_A ? "o_A has a value\n" : "o_A is empty\n"); std::optional<D> o_D = o_A.transform(A_to_B) .transform(B_to_C) .transform(C_to_D); std::cout << (o_D ? "o_D has a value\n\n" : "o_D is empty\n\n"); }; int main() { try_transform_A_to_D( A{} ); try_transform_A_to_D( {} ); }
Вывод:
o_A has a value A => B B => C C => D o_D has a value o_A is empty o_D is empty
Смотрите также
|
возвращает содержащееся значение, если оно доступно, иначе другое значение
(публичная функция-член) |
|
|
(C++23)
|
возвращает результат заданной функции для содержащегося значения, если оно существует, или пустой
optional
в противном случае
(публичная функция-член) |
|
(C++23)
|
возвращает сам
optional
если он содержит значение, или результат заданной функции в противном случае
(публичная функция-член) |