名前空間
変種
操作

std::Relation

提供: cppreference.com
< cpp‎ | concepts
ヘッダ <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>RT または U にエンコードされている型および値カテゴリを持つ式の集合に対して二項関係を定義することを表します。