std::experimental::ranges::Relation
来自cppreference.com
< cpp | experimental | ranges
template <class R, class T, class U> concept bool Relation = |
(1) | (范围 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)))
才得到满足