Namespaces
Variants

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

From cppreference.net
C++
Utilities library
std::expected
Plantilla principal
template < class F >
constexpr auto or_else ( F && f ) & ;
(1) (desde C++23)
template < class F >
constexpr auto or_else ( F && f ) const & ;
(2) (desde C++23)
template < class F >
constexpr auto or_else ( F && f ) && ;
(3) (desde C++23)
template < class F >
constexpr auto or_else ( F && f ) const && ;
(4) (desde C++23)
void Especialización parcial
template < class F >
constexpr auto or_else ( F && f ) & ;
(5) (desde C++23)
template < class F >
constexpr auto or_else ( F && f ) const & ;
(6) (desde C++23)
template < class F >
constexpr auto or_else ( F && f ) && ;
(7) (desde C++23)
template < class F >
constexpr auto or_else ( F && f ) const && ;
(8) (desde C++23)

Si * this contiene un valor inesperado, invoca f con el valor inesperado de * this como argumento y retorna su resultado. De lo contrario, retorna un objeto std::expected que representa un valor esperado.

1-4) El valor esperado se inicializa con el valor esperado val de * this .

Dado el tipo G como:

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 ( ) ) ) >>

Si G no es una especialización de std::expected , o std:: is_same_v < G :: value_type , T > es false , el programa está mal formado.

1,2) Estas sobrecargas participan en la resolución de sobrecarga solo si std:: is_constructible_v < T, decltype ( ( val ) ) > es true .
3,4) Estas sobrecargas participan en la resolución de sobrecarga solo si std:: is_constructible_v < T, decltype ( std :: move ( val ) ) > es true .

Contenidos

Parámetros

f - una función adecuada u Callable objeto que retorna un std::expected

Valor de retorno

Sobrecarga Valor de 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 ( ) ) )

Notas

Macro de prueba de características Valor Estándar Característica
__cpp_lib_expected 202211L (C++23) Funciones monádicas para std::expected

Ejemplo

Esta sección está incompleta
Razón: sin ejemplo

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares publicados anteriormente de C++.

DR Aplicado a Comportamiento publicado Comportamiento correcto
LWG 3938 C++23 el valor esperado se obtenía mediante value ( ) [1] cambiado a ** this
LWG 3973 C++23 el valor esperado se obtenía mediante ** this [2] cambiado a val
  1. ↑ value() requiere que E sea copiable (ver LWG issue 3843 ), mientras que operator* no lo requiere.
  2. ↑ ** this puede activar la búsqueda dependiente de argumento .

Véase también

retorna el propio expected si contiene un valor esperado; de lo contrario, retorna un expected que contiene el valor inesperado transformado
(función miembro pública)