Namespaces
Variants

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

From cppreference.net
C++
Utilities library
std::expected
Основной шаблон
template < class F >
constexpr auto transform_error ( F && f ) & ;
(1) (начиная с C++23)
template < class F >
constexpr auto transform_error ( F && f ) const & ;
(2) (начиная с C++23)
template < class F >
constexpr auto transform_error ( F && f ) && ;
(3) (начиная с C++23)
template < class F >
constexpr auto transform_error ( F && f ) const && ;
(4) (начиная с C++23)
void частичная специализация
template < class F >
constexpr auto transform_error ( F && f ) & ;
(5) (начиная с C++23)
template < class F >
constexpr auto transform_error ( F && f ) const & ;
(6) (начиная с C++23)
template < class F >
constexpr auto transform_error ( F && f ) && ;
(7) (начиная с C++23)
template < class F >
constexpr auto transform_error ( F && f ) const && ;
(8) (начиная с C++23)

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

1-4) Ожидаемое значение инициализируется ожидаемым значением val из * this .

Дан тип G как:

1,2) std:: remove_cv_t < std:: invoke_result_t < F, decltype ( error ( ) ) >>
3,4) std:: remove_cv_t < std:: invoke_result_t < F, decltype ( std :: move ( error ( ) ) ) >>
5,6) std:: remove_cv_t < std:: invoke_result_t < F, decltype ( error ( ) ) >>
7,8) std:: remove_cv_t < std:: invoke_result_t < F, decltype ( std :: move ( error ( ) ) ) >>

Если выполняется любое из следующих условий, программа является некорректной:

  • G не является допустимым аргументом шаблона для std::unexpected .
  • Следующее соответствующее объявление является некорректным:
1,2) G g ( std:: invoke ( std:: forward < F > ( f ) , error ( ) ) ) ;
3,4) G g ( std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) ) ;
5,6) G g ( std:: invoke ( std:: forward < F > ( f ) , error ( ) ) ) ;
7,8) G g ( std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) ) ;


1,2) Эта перегрузка участвует в разрешении перегрузки только если std:: is_constructible_v < T, decltype ( ( val ) ) > равно true .
3,4) Эта перегрузка участвует в разрешении перегрузки только если std:: is_constructible_v < T, decltype ( std :: move ( val ) ) > равно true .

Содержание

Параметры

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

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

Дано выражение expr как:

1,2) std:: invoke ( std:: forward < F > ( f ) , error ( ) )
3,4) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )
5,6) std:: invoke ( std:: forward < F > ( f ) , error ( ) )
7,8) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )

Возвращаемые значения определяются следующим образом:

Перегрузка Значение has_value()
true false
( 1,2 ) std:: expected < T, G > ( std:: in_place , val ) std:: expected < T, G >
( std:: unexpect , expr )
( 3,4 ) std:: expected < T, G > ( std:: in_place , std :: move ( val ) )
( 5,6 ) std:: expected < T, G > ( )
( 7,8 )

Пример

Этот раздел не завершён
Причина: отсутствует пример

Отчеты о дефектах

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

DR Applied to Behavior as published Correct behavior
LWG 3938 C++23 the expected value was obtained by value ( ) [1] changed to ** this
LWG 3973 C++23 the expected value was obtained by ** this [2] changed to val
  1. ↑ value() требует, чтобы E был копируемым (см. LWG issue 3843 ), тогда как operator* не требует этого.
  2. ↑ ** this может вызвать поиск, зависимый от аргументов .

Смотрите также

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