std::experimental::ranges::迭代器

定义于头文件 `<experimental/ranges/iterator>`
template< class I > concept bool Iterator = requires(I i) { { *i } -> auto&&; // 要求：i 可解引用 } && WeaklyIncrementable<I>;		(ranges TS)

Iterator 概念构成了迭代器概念分类的基础；每个迭代器都满足 Iterator 的要求。

如果一个表达式在给定相等输入时产生相等输出，则该表达式是相等保持的。

每个要求相等保持的表达式还必须是稳定的：在没有显式干预修改这些输入对象的情况下，对具有相同输入对象的此类表达式的两次求值必须具有相等的输出。

除非另有说明，否则在 requires-expression 中使用的每个表达式都必须是相等保持和稳定的，并且表达式的求值可能只会修改其非常量操作数。常量操作数不得修改。

Iterator 本身仅指定了用于解引用和递增迭代器的操作。大多数算法将需要额外的操作，例如

将迭代器与哨位进行比较（参见 Sentinel）；
从迭代器读取值（参见 Readable 和 InputIterator）；
向迭代器写入值（参见 Writable 和 OutputIterator）；
更丰富的迭代器移动集合（参见 ForwardIterator、BidirectionalIterator、RandomAccessIterator）。

-> auto&& 约束意味着解引用的结果类型不能是 void。

技术规范
文件系统库 (filesystem TS)
库基础 (library fundamentals TS)
库基础 2 (library fundamentals TS v2)
库基础 3 (library fundamentals TS v3)
并行扩展 (parallelism TS)
并行扩展 2 (parallelism TS v2)
并发扩展 (concurrency TS)
并发扩展 2 (concurrency TS v2)
概念 (concepts TS)
范围 (ranges TS)
反射 (reflection TS)
数学特殊函数 (special functions TR)
实验性非TS
模式匹配
线性代数
std::execution
契约
2D图形