一个类或内置类型X模型了前向遍历的概念，如果除了X满足 Default Constructible 和 Single Pass Iterator 的要求外，以下表达式有效且符合所述语义。
| 前向遍历迭代器要求（除了默认构造和单次遍历迭代器） | ||
|---|---|---|
| 表达式 | 返回类型 | 断言/注意 |
| X u; | X& | 注意u可能有一个奇异值。 |
| ++r | X& | r == sandr是可解引用的，则蕴含++r == ++s. |
| iterator_traits<X>::difference_type | 表示迭代器之间距离的有符号整数类型 | |
| iterator_traversal<X>::type | 可转换为forward_traversal_tag | |
