ConceptC++ Concept Web

Concept EqualityComparable

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

Where Defined

#include <concepts>

Description

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.