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

template< class F > constexpr auto transform_error( F&& f ) &;	(1)	(since C++23)
template< class F > constexpr auto transform_error( F&& f ) const&;	(2)	(since C++23)
template< class F > constexpr auto transform_error( F&& f ) &&;	(3)	(since C++23)
template< class F > constexpr auto transform_error( F&& f ) const&&;	(4)	(since C++23)

Если *this содержит значение ошибки, вызывает f с аргументом error() и возвращает объект std::expected, содержащий его результат; в противном случае возвращает объект std::expected, содержащий копию содержащегося ожидаемого значения (полученного из operator*).

1,2) Тип G задан как std::remove_cv_t<std::invoke_result_t<F, decltype(error())>>.

Если G не является допустимым шаблоном аргумента для std::unexpected, или G g(std::invoke(std::forward<F>(f), error())); не является корректным, программа некорректна.

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

if (has_value())
{
    if (std::is_void_v<T>)
        return std::expected<T, G>();
    else
        return std::expected<T, G>(std::in_place, **this);
}
else
    // the returned std::expected object contains an unexpected value,
    // which is direct-non-list-initialized with
    // std::invoke(std::forward<F>(f), error())
    return /* an std::expected<T, G> object */;

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

3,4) Тип G задан как std::remove_cv_t<std::invoke_result_t<F, decltype(std::move(error()))>>.

Если G не является допустимым шаблоном аргумента для std::unexpected, или G g(std::invoke(std::forward<F>(f), std::move(error()))); не является корректным, программа некорректна.

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

if (has_value())
{
    if (std::is_void_v<T>)
        return std::expected<T, G>();
    else
        return std::expected<T, G>(std::in_place, std::move(**this));
}
else
    // the returned std::expected object contains an unexpected value,
    // which is direct-non-list-initialized with
    // std::invoke(std::forward<F>(f), std::move(error()))
    return /* an std::expected<T, G> object */;

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

Параметры

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

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

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

Пример

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

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

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

См. также

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

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