std::expected<T,E>::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::expected, содержащий его результат; в противном случае возвращает объект std::expected, содержащий копию error().

Если T не является (возможно, с квалификаторами cv) void, содержащее значение (полученное из operator*) передаётся в качестве аргумента в f; в противном случае f не принимает аргументов.

1,2) Дано тип U как

std::remove_cv_t<std::invoke_result_t<F>> если T является (возможно, с квалификаторами cv) void, или
std::remove_cv_t<std::invoke_result_t<F, decltype(**this)>> в противном случае,

и выражение /* invoke-expr */ как

std::invoke(std::forward<F>(f)) если T является (возможно, с квалификаторами cv) void, или
std::invoke(std::forward<F>(f), **this) в противном случае.

Если U не является допустимым типом значения для std::expected, или U u(/* invoke-expr */); некорректно сформировано, когда std::is_void_v<U> является false, программа некорректно сформирована.

Эффект эквивалентен

if (has_value())
{
    if constexpr (std::is_void_v<U>)
    {
        /* invoke-expr */;
        return std::expected<U, E>();
    }
    else
        // the returned std::expected object contains an expected value,
        // which is direct-non-list-initialized with /* invoke-expr */
        return /* an std::expected<U, E> object */;
}
else
    return std::expected<U, E>(std::unexpect, error());

Эти перегрузки участвуют в разрешении перегрузки только если std::is_constructible_v<E, decltype(error())> является true.

3,4) Дано тип U как

std::remove_cv_t<std::invoke_result_t<F>> если T является (возможно, с квалификаторами cv) void, или
std::remove_cv_t<std::invoke_result_t<F, decltype(std::move(**this))>> в противном случае,

и выражение /* invoke-expr */ как

std::invoke(std::forward<F>(f)) если T является (возможно, с квалификаторами cv) void, или
std::invoke(std::forward<F>(f), std::move(**this)) в противном случае.

Эффект эквивалентен

if (has_value())
{
    if constexpr (std::is_void_v<U>)
    {
        /* invoke-expr */;
        return std::expected<U, E>();
    }
    else
        // the returned std::expected object contains an expected value,
        // which is direct-non-list-initialized with /* invoke-expr */
        return /* an std::expected<U, E> object */;
}
else
    return std::expected<U, E>(std::unexpect, std::move(error()));

Эти перегрузки участвуют в разрешении перегрузки только если std::is_constructible_v<E, decltype(std::move(error()))> является true.

Параметры

подходящий объект функции или Callable, сигнатура вызова которого возвращает тип без ссылки

Возвращаемое значение

Объект std::expected, содержащий либо результат f, либо значение ошибки, как описано выше.

Пример

Отчёты об ошибках

Следующие исправления, меняющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

DR	Применено к	Поведение, опубликованное	Правильное поведение
LWG 3938	C++23	`transform` было некорректно сформировано, если `T` не является (возможно, с квалификаторами cv) void и `E` не является копируемым	сделано корректно сформированным

См. также

transform_error

возвращает expected само по себе, если оно содержит ожидаемое значение; в противном случае возвращает expected, содержащее преобразованное неожиданное значение
(публичный член-функция)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/utility/expected/transform