cpp/iterator/output iterator

The concept is a refinement of, adding the requirement that it can be used to write values of type and value category encoded by  (via ). is not required.

Semantic requirements
Let be an expression such that  is, and  be a dereferenceable object of type. is modeled only if all the concepts it subsumes are modeled, and has effects equivalent to.