std::experimental::ranges::OutputIterator

定义在头文件 `<experimental/ranges/iterator>` 中
template< class I, class T > concept bool OutputIterator = Iterator<I> && Writable<I, T> && requires(I i, T&& t) { *i++ = std::forward<T>(t); // 不需要是相等保持的 };		(范围 TS)

OutputIterator 概念是 Iterator 的细化，它添加了可以使用它写入类型和值类别由 T 编码的值的要求（通过 Writable）。EqualityComparable 不需要。

设 E 为一个表达式，使得 decltype((E)) 为 T，而 i 为类型为 I 的可解引用对象。OutputIterator<I, T> 只有在 *i++ = E; 的效果等同于 *i = E; ++i; 时才满足。

如果表达式在给定相同输入的情况下产生相等的输出，则该表达式是 *相等保持* 的。

每个要求相等保持的表达式还需要是 *稳定的*: 在没有对这些输入对象进行显式干预修改的情况下，对这样的表达式进行两次相同的输入对象评估必须具有相同的输出。

与 C++ 标准中的输出迭代器要求不同，范围 TS 中的 OutputIterator 不需要定义迭代器类别标记。

输出迭代器上的算法应该是单遍的。