Namespaces
Variants

std::optional<T>:: transform

From cppreference.net
C++
Utilities library
std::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:: 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 ) ) ; является некорректным.
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:: 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 ) ) ) ; является некорректным.
4) То же, что и (3) , за исключением того, что 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 если он содержит значение, или результат заданной функции в противном случае
(публичная функция-член)