equality_comparable.md

equality_comparable

• concepts[meta header]
• std[meta namespace]
• concept[meta id-type]
• cpp20[meta cpp]

概要

equality_comparableは、2つのオブジェクトaとbが==演算子で同値関係にあるかを表す要件である。

要件

以下の式が可能であること：

a == b

• aとbは、任意の型Tのオブジェクト
• 上述した式の結果として、boolに変換可能な型が返ること
• ==が同値関係を持ち、以下の特性を持つこと：
  • 全てのaについて、a == aが成り立つこと
  • a == bであれば、b == aであること
  • a == bかつb == cであれば、a == cであること