std::experimental::ranges::Relation
来自 cppreference.cn
< cpp | experimental | ranges
| template< class R, class T, class U > concept bool Relation = |
(1) | (ranges TS) |
概念 Relation<R, T, U> 指定 R 定义了一个二元关系，该关系作用于类型和值类别由 T 或 U 编码的表达式集合。
给定
-
r，一个表达式，使得 decltype((r)) 为R， -
t，一个表达式，使得 decltype((t)) 为T， -
u，一个表达式，使得 decltype((u)) 为U，
并令 C 为 ranges::common_reference_t<const std::remove_reference_t<T>&, const std::remove_reference_t<U>&>，
则 Relation<R, T, U> 仅在以下情况满足：
- bool(r(t, u)) == bool(r(C(t), C(u))) 且
- bool(r(u, t)) == bool(r(C(u), C(t))).
