std::experimental::ranges::SizedSentinel
template <class S, class I> concept bool SizedSentinel = |
(1) | (范围 TS) |
template <class S, class I> constexpr bool disable_sized_sentinel = false; |
(1) | (范围 TS) |
SizedSentinel
概念指定能在常数时间内相减迭代器类型 I
的对象和哨位类型 S
的对象,计算其间的距离。
令 i
为 I
类型迭代器,而 s
为 S
类型哨位,使得 [i, s)
代表范围。令 N
为需要应用 ++i
以令 bool(i == s) 为 true 的最小次数。则 SizedSentinel<S, I>
仅若符合下列条件才得到满足:
- 若
N
能以 ranges::difference_type_t<I> 表示,则 s - i 良定义并等于N
;且 - 若
-N
能以 ranges::difference_type_t<I> 表示,则 i - s 良定义并等于-N
。
变量模板 disable_sized_sentinel
通过特化变量模板为拥有值 true ,为能相减但不符合 SizedSentinel
语义要求的迭代器和哨位提供撤出概念的机制。
相等性保持
若表达式对给定的相等输入产生相等输出,则它保持相等性。
- 表达式的输入由其运算数组成。
- 表达式的输出由其结果和表达式所修改的所有运算数(若存在)组成。
进一步要求每个要求保持相等性的表达式都稳定:这种表达式带相同输入对象的二次求值必须拥有相等的输出,而无任何对这些输入对象的显式中间修改。
除非另外提醒,每个用于 requires 表达式中的表达式都要求保持相等性且稳定,而表达式的求值必须只修改其非常运算数。必须不修改常运算数。
隐式表达式变种
使用不修改某 const 左值运算数的表达式的 requires 表达式亦隐式要求该表达式的额外变种对给定运算数接受非 const 左值或(可为 const 的)右值,除非以有区别的语义显式要求这种表达式变种。这些隐式表达式变种必须符合与声明的表达式的相同的语义。不指定实现以何种程度校验变种的语法。