Namespaces
Variants

std::experimental::ranges:: Relation

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

El concepto Relation<R, T, U> especifica que R define una relación binaria sobre el conjunto de expresiones cuyo tipo y categoría de valor son aquellos codificados por T o U .

Dado

  • r , una expresión tal que decltype ( ( r ) ) es R ,
  • t , una expresión tal que decltype ( ( t ) ) es T ,
  • u , una expresión tal que decltype ( ( u ) ) es U ,

y sea C el ranges:: common_reference_t < const std:: remove_reference_t < T > & , const std:: remove_reference_t < U > & > ,

entonces Relation<R, T, U> se satisface solo si

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