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]