std::experimental::ranges:: Relation

概念 Relation<R, T, U> は、 R が、型と値カテゴリが T または U のいずれかによってエンコードされる式の集合上の二項関係を定義することを指定します。

与えられた

• r 、 decltype ( ( r ) ) が R となる式、
• t 、 decltype ( ( t ) ) が T となる式、
• u 、 decltype ( ( u ) ) が U となる式、

そして C を ranges:: common_reference_t < const std:: remove_reference_t < T > & , const std:: remove_reference_t < U > & > とします。

その場合、 Relation<R, T, U> は以下の場合にのみ満たされます

• bool ( r ( t, u ) ) == bool ( r ( C ( t ) , C ( u ) ) ) かつ
• bool ( r ( u, t ) ) == bool ( r ( C ( u ) , C ( t ) ) ) 。