home | help
std::experi...tputIterator(3)  C++ Standard Libary std::experi...tputIterator(3)

NAME
     std::experimental::ranges::OutputIterator - std::experimental::ranges::Out-
     putIterator

Synopsis
	Defined in header <experimental/ranges/iterator>
	template< class I, class T >

	concept bool OutputIterator =
	    Iterator<I> && Writable<I, T> &&
	    requires(I		   i,		  T&&		 t)	       {
     (ranges TS)
		*i++ = std::forward<T>(t); // not required to be equality
	preserving

	    };

	The OutputIterator concept is a refinement of Iterator, adding	the  re-
     quirement that
	it  can be used to write values of values of type and value category en-
     coded by T
	(via Writable). EqualityComparable is not required.

	Let E be an expression such that decltype((E)) is T, and i be a derefer-
     enceable
	object of type I. OutputIterator<I, T> is satisfied only if  *i++  =  E;
     has effects
	equivalent to *i = E; ++i;.

	Equality preservation

	An  expression	is  equality  preserving  if it results in equal outputs
     given equal
	inputs.

	  * The inputs to an expression consist of its operands.
	  * The outputs of an expression consist of its result and all	operands
     modified by
	    the expression (if any).

	Every  expression required to be equality preserving is further required
     to be
	stable: two evaluations of such an expression with the	same  input  ob-
     jects must have
	equal  outputs absent any explicit intervening modification of those in-
     put objects.

Notes
	Unlike the output iterator requirements in the C++ standard, OutputIter-
     ator in the
	Ranges TS does not require that the iterator category tag be defined.

	Algorithms on output iterators should be single pass.

http://cppreference.com 	   2024.06.10	   std::experi...tputIterator(3)

home | help