Namespaces
Variants

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

    Со ru.cppreference.net
     
    C++
    Поддержка компиляторов
    Автономное и размещённое
    Язык
    Стандартная библиотека
    Заголовки стандартной библиотеки
    Именованные требования
    Макросы проверки возможностей (C++20)
    Библиотека поддержки языка
    Библиотека концепций (C++20)
    Библиотека диагностики
    Библиотека управления памятью
    Библиотека метапрограммирования (C++11)
    Библиотека общих утилит
    Библиотека контейнеров
    Библиотека итераторов
    Библиотека диапазонов (C++20)
    Библиотека алгоритмов
    Библиотека строк
    Библиотека обработки текста
    Библиотека численных методов
    Библиотека времени и даты
    Библиотека ввода/вывода
    Библиотека файловой системы (C++17)
    Библиотека поддержки конкурентности (C++11)
    Библиотека управления выполнением (C++26)
    Технические спецификации
    Индекс символов
    Внешние библиотеки
     
    Библиотека утилит
    Поддержка языка
    Поддержка типов (базовые типы, RTTI)
    Макросы проверки возможностей библиотеки (C++20)
    Утилиты программы
    Функции с переменным числом аргументов
    (C++11)
    (C++20)
    (C++26)
    (C++20)
    Поддержка корутин (C++20)
    Поддержка контрактов (C++26)
    Трёхстороннее сравнение
    (C++20)(C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)
    (C++20)    
    (C++20)(C++20)(C++20)    
    (C++20)(C++20)(C++20)

    Общие утилиты
    Операторы отношений (устарело в C++20)
    Функции сравнения целых чисел
    (C++20)(C++20)(C++20)    
    (C++20)
    Swap и операции с типами
    (C++20)
    (C++14)
    (C++11)
    (C++23)
    (C++11)
    (C++23)
    (C++11)
    (C++11)
    (C++17)
    Типы общей лексики
    (C++11)
    (C++17)
    (C++17)
    (C++17)
    (C++11)
    (C++11)
    (C++17)
    (C++17)
    (C++23)



     
    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 )

    Примечания

    Макрос тестирования функций Значение Стандарт Функция
    __cpp_lib_expected 202211L (C++23) Монадические функции для std::expected

    Пример

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

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

    Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены ретроактивно к ранее опубликованным стандартам 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
    (публичная функция-член)