Namespaces
Variants

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

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

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

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

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

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

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

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

    Параметры

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

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

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

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

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