| .. Sequences/Concepts//Extensible Sequence |40 |
| |
| 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| |
| |
| |
| .. copyright:: Copyright © 2001-2009 Aleksey Gurtovoy and David Abrahams |
| Distributed under the Boost Software License, Version 1.0. (See accompanying |
| file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
