std::experimental::ranges::Iterator
来自cppreference.com
                    
                                        
                    < cpp | experimental | ranges
                    
                                                            
                    |   template <class I> concept bool Iterator =  | 
(范围 TS) | |
Iterator 概念组成迭代器分类学的基础;每个迭代器都满足 Iterator 要求。
相等性保持
若表达式对给定的相等输入产生相等输出,则它保持相等性。
- 表达式的输入由其运算数组成。
 - 表达式的输出由其结果和表达式所修改的所有运算数(若存在)组成。
 
进一步要求每个要求保持相等性的表达式都稳定:这种表达式带相同输入对象的二次求值必须拥有相等的输出,而无任何对这些输入对象的显式中间修改。
除非另外提醒,每个用于 requires 表达式中的表达式都要求保持相等性且稳定,而表达式的求值必须只修改其非常运算数。必须不修改常运算数。
注意
Iterator 自身仅指定解引用和自增迭代器的操作。大多数算法将要求额外操作:
-  比较迭代器与哨位(见 
Sentinel); -  从迭代器读取值(见 
Readable及InputIterator); -  写入值到迭代器(见 
Writable及OutputIterator) -  更丰富的迭代器动作集合(见 
ForwardIterator、BidirectionalIterator、RandomAccessIterator) 
-> auto&& 制约解引用的结果类型不能为 void 。