一个类或内置类型X模型 *Single Pass Iterator* 概念，如果以下表达式有效且符合所述语义。
| 单次遍历迭代器要求（除了可增量迭代器和相等可比） | ||
|---|---|---|
| 表达式 | 返回类型 | 断言/语义/前置/后置条件 |
| ++r | X& | prer是可解引用的；postr是可解引用的，或者r是 past-the-end |
| a == b | 可转换为bool | ==在其域上是等价关系 |
| a != b | 可转换为bool | !(a == b) |
| iterator_traversal<X>::type | 可转换为single_pass_traversal_tag | |
