std::experimental::ranges::Sentinel
来自 cppreference.cn
< cpp | experimental | ranges
| template< class S, class I > concept bool Sentinel = |
(ranges TS) | |
Sentinel 概念指定了 Iterator 类型与其值表示一个范围的 Semiregular 类型之间的关系。
令 s 和 i 分别是类型 S 和 I 的值,使得 [i, s) 表示一个范围。Sentinel<S, I> 仅当满足以下条件时才被满足:
- i == s 定义良好。
- 如果 bool(i != s) 为真,那么
i是可解引用的,且[++i,s)表示一个范围。
== 的域可能会随时间变化。给定一个迭代器 i 和一个哨兵 s,使得 [i, s) 表示一个范围,并且 i != s,在递增任何等于 i 的迭代器之后(因此在这样的递增之后,i == s 不再要求定义良好),[i, s) 不再需要继续表示一个范围。