The MPL Reference Manual: next

Front Page / Iterators / Iterator Metafunctions / next

# next

### Synopsis

    template<
          typename Iterator
        >
    struct next
    {
        typedef unspecified type;
    };

### Description

Returns the next iterator in the sequence. [Note: `next` has a number of overloaded meanings, depending on the type of its argument. For instance, if `X` is an Integral Constant, `next<X>` returns an incremented Integral Constant of the same type. The following specification is iterator-specific. Please refer to the corresponding concept's documentation for the details of the alternative semantics — end note].

### Header

    #include <boost/mpl/next_prior.hpp>

### Parameters

Parameter | Requirement | Description
--- | --- | ---
`Iterator` | Forward Iterator. | An iterator to increment.

### Expression semantics

For any Forward Iterators `iter`:

    typedef next<iter>::type j;

Return type: | Forward Iterator.
Precondition: | `iter` is incrementable.
Semantics: | `j` is an iterator pointing to the next element in the sequence, or is past-the-end. If `iter` is a user-defined iterator, the library-provided default implementation is equivalent to
    typedef iter::next j;

### Complexity

Amortized constant time.

### Example

    typedef vector_c<int,1> v;
    typedef begin<v>::type first;
    typedef end<v>::type last;

    BOOST_MPL_ASSERT(( is_same< next<first>::type, last > ));

### See also

Iterators, begin / end, prior, deref