Namespaces
Variants

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

    Материал из 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 and_then( F&& f ) &;
    		(1) (начиная с C++23) 
    template< class F >
constexpr auto and_then( F&& f ) const&;
    		(2) (начиная с C++23) 
    template< class F >
constexpr auto and_then( F&& f ) &&;
    		(3) (начиная с C++23) 
    template< class F >
constexpr auto and_then( F&& f ) const&&;
    		(4) (начиная с C++23)
    void частичная специализация
    		 
    template< class F >
constexpr auto and_then( F&& f ) &;
    		(5) (начиная с C++23) 
    template< class F >
constexpr auto and_then( F&& f ) const&;
    		(6) (начиная с C++23) 
    template< class F >
constexpr auto and_then( F&& f ) &&;
    		(7) (начиная с C++23) 
    template< class F >
constexpr auto and_then( F&& f ) const&&;
    		(8) (начиная с C++23)

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

    1-4) f вызывается с ожидаемым значением val в качестве аргумента.
    5-8) f вызывается без аргументов.

    Пусть тип U определён как:

    1,2) std::remove_cvref_t<std::invoke_result_t<F, decltype((val))>>
    3,4) std::remove_cvref_t<std::invoke_result_t<F, decltype(std::move(val))>>
    5-8) std::remove_cvref_t<std::invoke_result_t<F>>

    Если U не является специализацией std::expected, или std::is_same_v<U::error_type, E> является false, программа считается некорректной.

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

    Параметры

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

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

    Перегрузка Значение has_value()
    true false
    ( 1,2 ) std:: invoke ( std:: forward < F > ( f ) , val ) U ( std:: unexpect , error ( ) )
    ( 3,4 ) std:: invoke ( std:: forward < F > ( f ) ,std :: move ( val ) ) U ( std:: unexpect , std :: move ( error ( ) ) )
    ( 5,6 ) std:: invoke ( std:: forward < F > ( f ) ) U ( std:: unexpect , error ( ) )
    ( 7,8 ) U ( 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 может вызвать поиск, зависимый от аргументов .

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

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