Namespaces
Variants

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

From cppreference.net
C++
Utilities library
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
(публичная функция-член)