std::experimental::ranges::Sentinel

< cpp‎ | experimental‎ | ranges
 
 
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
概念 (概念 TS)
范围 (范围 TS)
数学特殊函数 (特殊函数 TR)
 
 
迭代器库
迭代器概念
间接可调用概念
                                                  
                                                  
                                                  
常用算法要求
                                                  
概念工具
迭代器工具及运算
迭代器特性
迭代器适配器
流迭代器
 
定义于头文件 <experimental/ranges/iterator>
template < class S, class I >

concept bool Sentinel =
  ranges::Semiregular<S> && ranges::Iterator<I> &&

  ranges::WeaklyEqualityComparableWith<S, I>;
(范围 TS)

Sentinel 概念描述其值代表范围的 Iterator 类型与 Semiregular 类型间的关系。

si 分别表示 SI 类型的值,使得 [i, s) 代表范围。 Sentinel<S, I> 仅若下列条件成立才得到满足:

  • i == s 为良定义。
  • bool(i != s)i 可解引用且 [++i, s) 代表范围。

== 能随时间而更改。给定迭代器 i 和哨位 s 并使得 [i, s) 代表范围且 i != s ,不要求自增任何等于 i 的迭代器后 [i, s) 继续代表范围(从而这种自增后不再要求 i == s 是良定义的)。