std::experimental::ranges::StrictTotallyOrdered, std::experimental::ranges::StrictTotallyOrderedWith
| template< class T > concept bool StrictTotallyOrdered = |
(1) | (ranges TS) |
| template< class T, class U > concept bool StrictTotallyOrderedWith = |
(2) | (ranges TS) |
StrictTotallyOrdered<T> 指定了 T 上的比较运算符 ==,!=,<,>,<=,>= 的结果与 T 上的 严格全序 一致。仅当给定类型为 const std::remove_reference_t<T> 的左值 a、b 和 c 时，StrictTotallyOrdered<T> 才满足：
- 以下三者中，有且仅有一个为 true：bool(a < b)、bool(a > b) 和 bool(a == b)；
- 如果 bool(a < b) 和 bool(b < c) 都为 true，那么 bool(a < c) 为 true；
- bool(a > b) == bool(b < a)
- bool(a >= b) == !bool(a < b)
- bool(a <= b) == !bool(b < a)
StrictTotallyOrderedWith<T, U> 指定了 T 和 U（可能混合）操作数上的比较运算符 ==,!=,<,>,<=,>= 的结果与严格全序一致。比较混合操作数的结果等价于比较转换为它们共同类型的操作数。形式上，仅当给定类型为 const std::remove_reference_t<T> 的任何左值 t 和类型为 const std::remove_reference_t<U> 的任何左值 u，并且令 C 为 ranges::common_reference_t<const std::remove_reference_t<T>&, const std::remove_reference_t<U>&> 时，StrictTotallyOrderedWith<T, U> 才满足：
- bool(t < u) == bool(C(t) < C(u))
- bool(t > u) == bool(C(t) > C(u))
- bool(t <= u) == bool(C(t) <= C(u))
- bool(t >= u) == bool(C(t) >= C(u))
- bool(u < t) == bool(C(u) < C(t))
- bool(u > t) == bool(C(u) > C(t))
- bool(u <= t) == bool(C(u) <= C(t))
- bool(u >= t) == bool(C(u) >= C(t))
[编辑] 相等性保持
如果一个表达式在给定相等输入时产生相等输出，则称其为保持相等性。
- 表达式的输入由其操作数组成。
- 表达式的输出由其结果以及被表达式修改的所有操作数（如果有的话）组成。
所有要求保持相等性的表达式还必须是稳定的：在没有显式介入修改输入对象的情况下，对具有相同输入对象的表达式的两次求值必须产生相等的输出。
除非另有说明，requires-expression 中使用的每个表达式都必须保持相等且稳定，并且表达式的评估只能修改其非常量操作数。常量操作数不得修改。
[编辑] 隐式表达式变体
如果一个 `requires-expression` 使用了一个对某个 `const` 左值操作数而言非修改的表达式，那么它也会隐式地要求该表达式的其他变体，这些变体接受非 `const` 左值或（可能 `const`）右值作为给定操作数，除非明确要求具有不同语义的此类表达式变体。这些*隐式表达式变体*必须满足所声明表达式的相同语义要求。实现验证这些变体语法的程度未指定。
