std::experimental::ranges::Relation
| Definiert in Header <experimental/ranges/concepts> |
||
| template< class R, class T, class U > concept bool Relation = |
(1) | (Ranges TS) |
Das Konzept Relation<R, T, U> spezifiziert, dass R eine binäre Relation über der Menge von Ausdrücken definiert, deren Typ und Wertkategorie durch T oder U kodiert sind.
Gegeben
-
r, ein Ausdruck, für den decltype((r))Rist, -
t, ein Ausdruck, für den decltype((t))Tist, -
u, ein Ausdruck, für den decltype((u))Uist,
und sei C ranges::common_reference_t<const std::remove_reference_t<T>&, const std::remove_reference_t<U>&>,
dann wird Relation<R, T, U> nur dann erfüllt, wenn
- bool(r(t, u)) == bool(r(C(t), C(u))) und
- bool(r(u, t)) == bool(r(C(u), C(t))).
