ConceptC++ Concept Web

Concept EqualityComparable

auto concept EqualityComparable<typename T, typename U = T> {
  bool operator==(T a, U b);

Where Defined

#include <concepts>


Concept EqualityComparable requires that two values be comparable with operator==.

When T and U are identical, operator== is an equivalence relation, that is, it satisfied the following properties:

  • For all a, a == a.
  • If a == b, then b == a.
  • If a == b and b == c, then a == c.