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)
不再需要继续表示一个范围。