The MPL Reference Manual: list

list

Description

A list is a variadic, forward, extensible sequence of types that supports constant-time insertion and removal of elements at the beginning, and linear-time insertion and removal of elements at the end and in the middle.

Header

Sequence form	Header
Variadic	`#include <boost/mpl/list.hpp>`
Numbered	`#include` n`.hpp>`

Model of

Expression semantics

In the following table, l is a list, pos and last are iterators into l, r is a Forward Sequence, and t₁,t₂,... t_n and x are arbitrary types.

Expression	Semantics
list<t₁,t₂,... t_n> listn<t₁,t₂,... t_n>	`list` of elements t₁,t₂,... t_n; see Variadic Sequence.
list<t₁,t₂,... t_n>::type listn<t₁,t₂,... t_n>::type	Identical to `list`n`<`t₁,t₂,... t_n`>`; see Variadic Sequence.
`begin::type`	An iterator to the beginning of `l`; see Forward Sequence.
`end::type`	An iterator to the end of `l`; see Forward Sequence.
`size::type`	The size of `l`; see Forward Sequence.
`empty::type`	A boolean Integral Constant `c` such that `c::value == true` if and only if `l` is empty; see Forward Sequence.
`front::type`	The first element in `l`; see Forward Sequence.
`insert::type`	A new `list` of following elements: [`begin::type`, `pos`), `x`, [`pos`, `end::type`); see Extensible Sequence.
`insert_range::type`	A new `list` of following elements: [`begin::type`, `pos`), [`begin::type`, `end::type`) [`pos`, `end::type`); see Extensible Sequence.
`erase::type`	A new `list` of following elements: [`begin::type`, `pos`), [`next::type`, `end::type`); see Extensible Sequence.
`erase::type`	A new `list` of following elements: [`begin::type`, `pos`), [`last`, `end::type`); see Extensible Sequence.
`clear::type`	An empty `list`; see Extensible Sequence.
`push_front::type`	A new `list` containing `x` as its first element; see Front Extensible Sequence.
`pop_front::type`	A new `list` containing all but the first elements of `l` in the same order; see Front Extensible Sequence.

Example

typedef list floats;
typedef push_front::type types;

BOOST_MPL_ASSERT(( is_same< front::type, int > ));

Boost C++ Libraries