Namespaces
Variants

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

    From 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)
     
    std::expected
     
    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 не принимает аргументов.

    Пусть U будет:

    • если T не является (возможно, cv-квалифицированным) void:
      • для перегрузок (1-2), std::remove_cv_t<std::invoke_result_t<F, decltype(operator*())>>;
      • для перегрузок (3-4), std::remove_cv_t<std::invoke_result_t<F, decltype(std::move(operator*()))>>;
    • в противном случае (T является, возможно, cv-квалифицированным void), std::remove_cv_t<std::invoke_result_t<F>>.

    U должна быть допустимым типом значения для std::expected. Переменная типа U должна быть конструируемой из результата вызова (но не обязательно должна быть перемещаемой). Тип возврата — std::expected<U, E>.

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

    Формально эти функции выполняют следующие шаги:

    • Если *this содержит ожидаемое значение val:
    1. Вызвать f как если бы
      • std::invoke(std::forward<F>(f), val) для перегрузок (1,2) если std::is_void_v<T> это false;
      • std::invoke(std::forward<F>(f), std::move(val)) для перегрузок (3,4) если std::is_void_v<T> это false;
      • std::invoke(std::forward<F>(f)) если std::is_void_v<T> это true.
    2. Затем:
      • если std::is_void_v<U> это false, возвращает объект std::expected, содержащий ожидаемое значение, прямо инициализированное из результата вызова;
      • в противном случае возвращает std::expected<U, E>().
    • В противном случае (*this содержит значение ошибки), возвращает std::expected<U, E>(std::unexpect, error()).

    Параметры

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

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

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

    1,2) std:: invoke ( std:: forward < F > ( f ) , val )
    3,4) std:: invoke ( std:: forward < F > ( f ) ,std :: move ( val ) )
    5-8) std:: invoke ( std:: forward < F > ( f ) )

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

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

    Примечания

    Макрос проверки функциональности Значение Стандарт Возможность
    __cpp_lib_expected 202211L (C++23) Монадические функции для std::expected

    Пример

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

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

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

    DR Применяется к Поведение в опубликованной версии Исправленное поведение
    LWG 3938 C++23 ожидаемое значение получалось через value ( ) [1] изменено на ** this
    LWG 3973 C++23 ожидаемое значение получалось через ** this [2] изменено на val
    1. ↑ value() требует, чтобы E был копируемо конструируемым (см. LWG issue 3843 ), тогда как operator* не требует этого.
    2. ↑ ** this может вызывать поиск, зависимый от аргументов .

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

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