std:: equality_comparable, std:: equality_comparable_with

1) Концепт std::equality_comparable определяет, что операторы сравнения == и != для типа T отражают отношение равенства: == возвращает true тогда и только тогда, когда операнды равны.

2) Концепт std::equality_comparable_with определяет, что операторы сравнения == и != для (возможно, различных) операндов T и U дают результаты, соответствующие отношению равенства. Сравнение разнотипных операндов дает результаты, эквивалентные сравнению операндов, приведенных к их общему типу.

3) Экспозиционное понятие __WeaklyEqualityComparableWith определяет, что объект типа T и объект типа U могут быть сравнены на равенство друг с другом (в любом порядке) с использованием как == , так и != , и результаты сравнений являются согласованными.

4) Экспозиционное понятие __ComparisonCommonTypeWith специфицирует, что два типа имеют общий тип, а const lvalue или non-const rvalue (начиная с C++23) любого из этих типов конвертируемы в этот общий тип.

1) std :: equality_comparable < T > моделируется только тогда, когда для объектов a и b типа T , bool ( a == b ) равно true тогда и только тогда, когда a и b равны. В сочетании с требованием, что a == b является сохраняющим равенство , это подразумевает, что == является симметричным и транзитивным, а также что == является рефлексивным для всех объектов a , которые равны хотя бы одному другому объекту.

2) std :: equality_comparable_with < T, U > моделируется только если, пусть

• t и t2 будут lvalue, обозначающими различные равные объекты типов const std:: remove_reference_t < T > и std:: remove_cvref_t < T > соответственно,
• u и u2 будут lvalue, обозначающими различные равные объекты типов const std:: remove_reference_t < U > и std:: remove_cvref_t < U > соответственно,
• C будет std:: common_reference_t < const std:: remove_reference_t < T > & , const std:: remove_reference_t < U > & > ,

следующее выражение истинно:

• bool ( t == u ) == bool ( CONVERT_TO < C > ( t2 ) == CONVERT_TO < C > ( u2 ) ) .

3) __WeaklyEqualityComparableWith < T, U > моделируется только если при заданных

• t , lvalue типа const std:: remove_reference_t < T > и
• u , lvalue типа const std:: remove_reference_t < U > ,

выполняются следующие условия:

• t == u , u == t , t ! = u , u ! = t имеют одинаковую область определения;
• bool ( u == t ) == bool ( t == u ) ;
• bool ( t ! = u ) == ! bool ( t == u ) ; и
• bool ( u ! = t ) == bool ( t ! = u ) .

4) __WeaklyEqualityComparableWith < T, U > моделируется только если:

Соответствующая концепция common_reference_with моделируется.

(до C++23)

Пусть C будет std:: common_reference_t < const T & , const U & > , t1 и t2 будут сохраняющими равенство выражениями, которые являются lvalue типа std:: remove_cvref_t < T > , u1 и u2 будут сохраняющими равенство выражениями, которые являются lvalue типа std:: remove_cvref_t < U > , выполняются следующие условия: CONVERT_TO < C > ( t1 ) равно CONVERT_TO < C > ( t2 ) тогда и только тогда, когда t1 равно t2 ; и CONVERT_TO < C > ( u1 ) равно CONVERT_TO < C > ( u2 ) тогда и только тогда, когда u1 равно u2 .

(начиная с C++23)