Namespaces
Variants

std::experimental::ranges:: WeaklyEqualityComparableWith

From cppreference.net
C++
Experimental
Ranges
Concepts library
Défini dans l'en-tête <experimental/ranges/concepts>
template < class T, class U >

concept bool WeaklyEqualityComparableWith =
requires ( const std:: remove_reference_t < T > & t,
const std:: remove_reference_t < U > & u ) {
{ t == u } - > Boolean && ;
{ t ! = u } - > Boolean && ;
{ u == t } - > Boolean && ;
{ u ! = t } - > Boolean && ;

} ;
(ranges TS)

Le concept WeaklyEqualityComparableWith<T, U> spécifie qu'un objet de type T et un objet de type U peuvent être comparés pour l'égalité l'un avec l'autre (dans les deux ordres) en utilisant à la fois == et != , et que les résultats des comparaisons sont cohérents. Plus formellement, WeaklyEqualityComparableWith<T, U> n'est satisfait que si étant donnés

les affirmations suivantes sont vraies :

  • t == u , u == t , t ! = u , u ! = t ont le même domaine ;
  • bool ( u == t ) == bool ( t == u ) ;
  • bool ( t ! = u ) == ! bool ( t == u ) ; et
  • bool ( u ! = t ) == bool ( t ! = u ) .

Préservation de l'égalité

Une expression est préservatrice d'égalité si elle produit des résultats égaux pour des entrées égales.

  • Les entrées d'une expression consistent en ses opérandes.
  • Les sorties d'une expression consistent en son résultat et tous les opérandes modifiés par l'expression (le cas échéant).

Toute expression devant préserver l'égalité doit en outre être stable : deux évaluations d'une telle expression avec les mêmes objets d'entrée doivent produire des sorties égales en l'absence de toute modification explicite intervenant entre-temps sur ces objets d'entrée.

Sauf indication contraire, toute expression utilisée dans une requires-expression doit être égalité-préservante et stable, et l'évaluation de l'expression ne peut modifier que ses opérandes non constants. Les opérandes constants ne doivent pas être modifiés.

Variations d'expressions implicites

Une requires-expression qui utilise une expression non modifiante pour un opérande constant lvalue donné exige également implicitement des variations supplémentaires de cette expression qui acceptent un lvalue non constant ou un rvalue (éventuellement constant) pour l'opérande spécifié, sauf si une telle variation d'expression est explicitement exigée avec une sémantique différente. Ces variations d'expression implicites doivent satisfaire aux mêmes exigences sémantiques que l'expression déclarée. La mesure dans laquelle une implémentation valide la syntaxe des variations n'est pas spécifiée.

Voir aussi

spécifie que l'opérateur == est une relation d'équivalence
(concept)