Iterator library

若为满足迭代器类别要求所提供的所有操作均为 constexpr函数 ，则称该迭代器为 constexpr 迭代器。

范围 可通过以下任一方式表示：

• [ i , s ) ，使用迭代器 i 与 哨位 s 指定计算的起始与结束（ i 与 s 可具有不同类型）；或
• i + [ ​ 0 ​ , n ) ，使用迭代器 i 与计数 n 指定计算的起始位置及要应用计算的元素数量。

迭代器-哨位范围

表示范围的迭代器与哨位需可比较。若 i == s ，则 [ i , s ) 为空范围；否则， [ i , s ) 表示数据结构中从 i 指向的元素开始，到首个满足 j == s 的迭代器 j 指向的元素（若存在）为止（不包含该元素）的所有元素。

若存在有限次应用表达式 ++ i 能使 i == s ，则称哨位 s 可从迭代器 i 抵达 。

若 s 可从 i 抵达，则 [ i , s ) 表示一个 有效的 范围。

计数范围

若 n == 0 ，则 计数范围 i + [ ​ 0 ​ , n ) 为空范围；否则， i + [ ​ 0 ​ , n ) 表示数据结构中从 i 指向的元素开始，连续 n 个元素（不包含第 n 次应用 ++ i 后指向的元素）的集合。

当且仅当满足以下条件时，计数范围 i + [ ​ 0 ​ , n ) 是 有效的 ：

• n == 0 ；或
• 以下所有条件均成立：
  • n 为正数，
  • i 可解引用，且
  • ++ i + [ ​ 0 ​ , -- n ) 是有效的。