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); // 不要求保持相等性 };		(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 不要求定義迭代器類別標籤。

對輸出迭代器的演算法應該是單趟的。