Namespaces
Variants

std:: relation

From cppreference.net
Определено в заголовке <concepts>
template < class R, class T, class U >

concept relation =
std:: predicate < R, T, T > && std:: predicate < R, U, U > &&

std:: predicate < R, T, U > && std:: predicate < R, U, T > ;
(1) (начиная с C++20)

Концепт relation<R, T, U> определяет, что R задаёт бинарное отношение над множеством выражений, тип и категория значения которых соответствуют закодированным либо в T , либо в U .

Ссылки

  • Стандарт C++23 (ISO/IEC 14882:2024):
  • 18.7.5 Концепт relation [concept.relation]
  • Стандарт C++20 (ISO/IEC 14882:2020):
  • 18.7.5 Концепт relation [concept.relation]