Namespaces
Variants

std::experimental::ranges:: Relation

From cppreference.net
C++
Experimental
Ranges
Concepts library
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)

Das Konzept Relation<R, T, U> spezifiziert, dass R eine binäre Relation über der Menge von Ausdrücken definiert, deren Typ und Wertkategorie durch entweder T oder U kodiert sind.

Gegeben

  • r , ein Ausdruck, bei dem decltype ( ( r ) ) gleich R ist,
  • t , ein Ausdruck, bei dem decltype ( ( t ) ) gleich T ist,
  • u , ein Ausdruck, bei dem decltype ( ( u ) ) gleich U ist,

und sei C gleich ranges:: common_reference_t < const std:: remove_reference_t < T > & , const std:: remove_reference_t < U > & > ,

dann Relation<R, T, U> ist nur erfüllt, wenn

  • bool ( r ( t, u ) ) == bool ( r ( C ( t ) , C ( u ) ) ) und
  • bool ( r ( u, t ) ) == bool ( r ( C ( u ) , C ( t ) ) ) .