Namespaces
Variants

std::experimental::ranges:: Relation

From cppreference.net
C++
Experimental
Ranges
Concepts library
Определено в заголовочном файле <experimental/ranges/concepts>
template < class R, class T, class U >

concept bool Relation =
Predicate < R, T, T > &&
Predicate < R, U, U > &&
CommonReference <
const std:: remove_reference_t < T > & ,
const std:: remove_reference_t < U > & > &&
Predicate < R,
ranges:: common_reference_t <
const std:: remove_reference_t < T > & ,
const std:: remove_reference_t < U > & > ,
ranges:: common_reference_t <
const std:: remove_reference_t < T > & ,
const std:: remove_reference_t < U > & >> &&
Predicate < R, T, U > &&

Predicate < R, U, T > ;
(1) (ranges TS)

Концепт 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 ) ) ) .