std::experimental::ranges::OutputIterator
来自 cppreference.cn
< cpp | experimental | ranges
| template< class I, class T > concept bool OutputIterator = |
(Ranges TS) | |
OutputIterator 概念是 Iterator 的一个细化，它增加了迭代器可用于写入类型和值类别由 T 编码的值（通过 Writable）的要求。EqualityComparable 不是必需的。
令 E 为一个表达式，使得 decltype((E)) 为 T，且 i 为类型 I 的可解引用对象。 OutputIterator<I, T> 仅当 *i++ = E; 的效果等同于 *i = E; ++i; 时才满足。
[编辑] 相等性保持
如果一个表达式在给定相等输入时产生相等输出，则称其为保持相等性。
- 表达式的输入由其操作数组成。
- 表达式的输出由其结果以及被表达式修改的所有操作数（如果有的话）组成。
所有要求保持相等性的表达式还必须是稳定的：在没有显式介入修改输入对象的情况下，对具有相同输入对象的表达式的两次求值必须产生相等的输出。
[编辑] 注意
与 C++ 标准中的输出迭代器要求不同，Ranges TS 中的 OutputIterator 不要求定义迭代器类别标签。
对输出迭代器的算法应该是单趟的。
