The MPL Reference Manual: Extensible Sequence

Front Page / Sequences / Concepts / Extensible Sequence

# Extensible Sequence

### Description

An Extensible Sequence is a sequence that supports insertion and removal of elements. Extensibility is orthogonal to sequence traversal characteristics.

### Expression requirements

For any Extensible Sequence `s`, its iterators `pos` and `last`, Forward Sequence `r`, and any type `x`, the following expressions must be valid:

Expression | Type | Complexity
--- | --- | ---
`insert<s,pos,x>::type` | Extensible Sequence | Unspecified
`insert_range<s,pos,r>::type` | Extensible Sequence | Unspecified
`erase<s,pos>::type` | Extensible Sequence | Unspecified
`erase<s,pos,last>::type` | Extensible Sequence | Unspecified
`clear<s>::type` | Extensible Sequence | Constant time

### Expression semantics

Expression | Semantics
--- | ---
`insert<s,pos,x>::type` | A new sequence, concept-identical to `s`, of the following elements: [`begin<s>::type`, `pos`), `x`, [`pos`, `end<s>::type`); see `insert`.
`insert_range<s,pos,r>::type` | A new sequence, concept-identical to `s`, of the following elements: [`begin<s>::type`, `pos`), [`begin<r>::type`, `end<r>::type`), [`pos`, `end<s>::type`); see `insert_range`.
`erase<s,pos>::type` | A new sequence, concept-identical to `s`, of the following elements: [`begin<s>::type`, `pos`), [`next<pos>::type`, `end<s>::type`); see `erase`.
`erase<s,pos,last>::type` | A new sequence, concept-identical to `s`, of the following elements: [`begin<s>::type`, `pos`), [`last`, `end<s>::type`); see `erase`.
`clear<s>::type` | An empty sequence concept-identical to `s`; see `clear`.

### Models

- `vector`
- `list`

### See also

Sequences, Back Extensible Sequence, `insert`, `insert_range`, `erase`, `clear`