Description

An |Inserter| is a compile-time substitute for STL |Output Iterator|. Under the hood, it's simply a type holding two entities: a state and an operation. When passed to a |transformation algorithm|, the inserter's binary operation is invoked for every element that would normally be written into the output iterator, with the element itself (as the second argument) and the result of the previous operation's invocation |--| or, for the very first element, the inserter's initial state.

Technically, instead of taking a single inserter parameter, |transformation algorithms| could accept the state and the "output" operation separately. Grouping these in a single parameter entity, however, brings the algorithms semantically and syntactically closer to their STL counterparts, significantly simplifying many of the common use cases.

Valid expressions

|In the following table...| in is a model of |Inserter|.

Expression semantics

Example

typedef transform<
      range_c<int,0,10>
    , plus<_1,_1>
    , back_inserter< vector0<> >
    >::type result;

Models

• |inserter|
• |front_inserter|
• |back_inserter|

See also

|Algorithms|, |Transformation Algorithms|, |inserter|, |front_inserter|, |back_inserter|