Namespaces
Variants

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

From cppreference.net
C++
Utilities library
std::expected
Modèle principal
template < class F >
constexpr auto transform_error ( F && f ) & ;
(1) (depuis C++23)
template < class F >
constexpr auto transform_error ( F && f ) const & ;
(2) (depuis C++23)
template < class F >
constexpr auto transform_error ( F && f ) && ;
(3) (depuis C++23)
template < class F >
constexpr auto transform_error ( F && f ) const && ;
(4) (depuis C++23)
void Spécialisation partielle
template < class F >
constexpr auto transform_error ( F && f ) & ;
(5) (depuis C++23)
template < class F >
constexpr auto transform_error ( F && f ) const & ;
(6) (depuis C++23)
template < class F >
constexpr auto transform_error ( F && f ) && ;
(7) (depuis C++23)
template < class F >
constexpr auto transform_error ( F && f ) const && ;
(8) (depuis C++23)

Si * this contient une valeur inattendue, invoque f avec la valeur inattendue de * this comme argument et retourne un objet std::expected qui contient une valeur inattendue, initialisée avec le résultat de f . Sinon, retourne un objet std::expected qui représente une valeur attendue.

1-4) La valeur attendue est initialisée avec la valeur attendue val de * this .

Étant donné le type G comme suit :

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

Si l'une des conditions suivantes est satisfaite, le programme est mal formé :

  • G n'est pas un argument de modèle valide pour std::unexpected .
  • La déclaration correspondante suivante est mal formée :
1,2) G g ( std:: invoke ( std:: forward < F > ( f ) , erreur ( ) ) ) ;
3,4) G g ( std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) ) ;
5,6) G g ( std:: invoke ( std:: forward < F > ( f ) , erreur ( ) ) ) ;
7,8) G g ( std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) ) ;


1,2) Cette surcharge participe à la résolution de surcharge seulement si std:: is_constructible_v < T, decltype ( ( val ) ) > est true .
3,4) Cette surcharge participe à la résolution de surcharge seulement si std:: is_constructible_v < T, decltype ( std :: move ( val ) ) > est true .

Table des matières

Paramètres

f - une fonction appropriée ou Callable objet dont la signature d'appel retourne un type non-référence

Valeur de retour

Expression donnée expr comme :

1,2) std:: invoke ( std:: forward < F > ( f ) , erreur ( ) )
3,4) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )
5,6) std:: invoke ( std:: forward < F > ( f ) , erreur ( ) )
7,8) std:: invoke ( std:: forward < F > ( f ) , std :: move ( error ( ) ) )

Les valeurs de retour sont définies comme suit :

Surcharge Valeur de has_value()
true false
( 1,2 ) std:: expected < T, G > ( std:: in_place , val ) std:: expected < T, G >
( std:: unexpect , expr )
( 3,4 ) std:: expected < T, G > ( std:: in_place , std :: move ( val ) )
( 5,6 ) std:: expected < T, G > ( )
( 7,8 )

Exemple

Cette section est incomplète
Raison : aucun exemple

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

DR Applicable à Comportement publié Comportement corrigé
LWG 3938 C++23 la valeur attendue était obtenue par value ( ) [1] modifié en ** this
LWG 3973 C++23 la valeur attendue était obtenue par ** this [2] modifié en val
  1. ↑ value() nécessite que E soit copiable (voir LWG issue 3843 ), alors que operator* ne le nécessite pas.
  2. ↑ ** this peut déclencher une recherche dépendante des arguments .

Voir aussi

retourne l' expected lui-même s'il contient une valeur attendue ; sinon, retourne le résultat de la fonction donnée sur la valeur inattendue
(fonction membre publique)
retourne un expected contenant la valeur attendue transformée si elle existe ; sinon, retourne l' expected lui-même
(fonction membre publique)