std::experimental::ranges::SizedSentinel

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库(文件系统 TS)

库基础(库基础 TS)

库基础 2(库基础 TS v2)

库基础 3(库基础 TS v3)

并行扩展(并行 TS)

并行扩展 2(并行 TS v2)

并发扩展(并发 TS)

并发扩展 2(并发 TS v2)

概念(概念 TS)

范围(范围 TS)

反射(反射 TS)

数学特殊函数(特殊函数 TR)

实验性非 TS 功能特性

模式匹配

线性代数

std::execution

契约

2D 图形

 

范围

概念

通用工具

迭代器

范围

算法

 

迭代器库

迭代器概念
Readable Writable WeaklyIncrementable Incrementable	Iterator Sentinel SizedSentinel	InputIterator ForwardIterator BidirectionalIterator RandomAccessIterator	OutputIterator
间接可调用概念
IndirectUnaryInvocableIndirectRegularUnaryInvocable	IndirectUnaryPredicate	IndirectRelation	IndirectStrictWeakOrder
常用算法要求
IndirectlyMovable IndirectlyMovableStorable	IndirectlyCopyable IndirectlyCopyableStorable	IndirectlySwappable IndirectlyComparable	Permutable Mergeable Sortable
概念工具
indirect_result_of	projected
迭代器工具及运算
iter_move iter_swap	advance distance	next prev
迭代器特征
difference_type value_type reference_trvalue_reference_titer_common_reference_t iterator_category	input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tag	ranges::iterator_traits std::iterator_traits<InputIterator>std::iterator_traits<OutputIterator>
迭代器适配器
reverse_iterator move_iterator move_sentinel	back_insert_iterator front_insert_iterator insert_iterator	common_iterator counted_iterator default_sentinel	danglingsafe_iterator_t unreachable
流迭代器
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

在标头 <experimental/ranges/iterator> 定义
template<class S, class I > concept bool SizedSentinel =     Sentinel<S, I>&&     !ranges::disable_sized_sentinel<std::remove_cv_t<S>, std::remove_cv_t<I>>&&     requires(const I& i, const S& s){         { s - i }-> Same<ranges::difference_type_t<I>>&&;         { i - s }-> Same<ranges::difference_type_t<I>>&&;     };	(1)	(范围 TS)
template<class S, class I > constexprbool 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 操作数。必须不修改常运算数。

隐式表达式变种

使用不修改某 const 左值操作数的表达式的 requires 表达式亦隐式要求该表达式的额外变种对给定操作数接受非 const 左值或（可为 const 的）右值，除非以有区别的语义显式要求这种表达式变种。这些隐式表达式变种必须符合与声明的表达式的相同的语义。不指定实现以何种程度校验变种的语法。