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))).
