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); // not required to be equality preserving };		(ranges TS)

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

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

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

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

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

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

技术规范
文件系统库 (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 图形