1 <?xml version=
"1.0" encoding=
"utf-8" ?>
2 <!DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
3 <html xmlns=
"http://www.w3.org/1999/xhtml" xml:
lang=
"en" lang=
"en">
5 <meta http-equiv=
"Content-Type" content=
"text/html; charset=utf-8" />
6 <meta name=
"generator" content=
"Docutils 0.7: http://docutils.sourceforge.net/" />
7 <title>The MPL Reference Manual: erase
</title>
8 <link rel=
"stylesheet" href=
"../style.css" type=
"text/css" />
10 <body class=
"docframe refmanual">
11 <table class=
"header"><tr class=
"header"><td class=
"header-group navigation-bar"><span class=
"navigation-group"><a href=
"./end.html" class=
"navigation-link">Prev
</a> <a href=
"./erase-key.html" class=
"navigation-link">Next
</a></span><span class=
"navigation-group-separator"> |
</span><span class=
"navigation-group"><a href=
"./end.html" class=
"navigation-link">Back
</a> <a href=
"./erase-key.html" class=
"navigation-link">Along
</a></span><span class=
"navigation-group-separator"> |
</span><span class=
"navigation-group"><a href=
"./intrinsic-metafunctions.html" class=
"navigation-link">Up
</a> <a href=
"../refmanual.html" class=
"navigation-link">Home
</a></span><span class=
"navigation-group-separator"> |
</span><span class=
"navigation-group"><a href=
"./refmanual_toc.html" class=
"navigation-link">Full TOC
</a></span></td>
12 <td class=
"header-group page-location"><a href=
"../refmanual.html" class=
"navigation-link">Front Page
</a> /
<a href=
"./sequences.html" class=
"navigation-link">Sequences
</a> /
<a href=
"./intrinsic-metafunctions.html" class=
"navigation-link">Intrinsic Metafunctions
</a> /
<a href=
"./erase.html" class=
"navigation-link">erase
</a></td>
13 </tr></table><div class=
"header-separator"></div>
14 <div class=
"section" id=
"erase">
15 <h1><a class=
"toc-backref" href=
"./intrinsic-metafunctions.html#id1432">erase
</a></h1>
16 <div class=
"section" id=
"id238">
17 <h3><a class=
"subsection-title" href=
"#synopsis" name=
"synopsis">Synopsis
</a></h3>
18 <pre class=
"literal-block">
22 , typename Last =
<em>unspecified
</em>
24 struct
<a href=
"./erase.html" class=
"identifier">erase
</a>
26 typedef
<em>unspecified
</em> type;
30 <div class=
"section" id=
"id239">
31 <h3><a class=
"subsection-title" href=
"#description" name=
"description">Description
</a></h3>
32 <p><tt class=
"literal"><span class=
"pre"><a href=
"./erase.html" class=
"identifier">erase
</a></span></tt> performs a removal of one or more adjacent elements in the sequence
33 starting from an arbitrary position.
</p>
35 <div class=
"section" id=
"id240">
36 <h3><a class=
"subsection-title" href=
"#header" name=
"header">Header
</a></h3>
37 <pre class=
"literal-block">
38 #include
<<a href=
"../../../../boost/mpl/erase.hpp" class=
"header">boost/mpl/erase.hpp
</a>>
41 <div class=
"section" id=
"id241">
42 <h3><a class=
"subsection-title" href=
"#model-of" name=
"model-of">Model of
</a></h3>
43 <p><a class=
"reference internal" href=
"./tag-dispatched-metafunction.html">Tag Dispatched Metafunction
</a></p>
45 <div class=
"section" id=
"id242">
46 <h3><a class=
"subsection-title" href=
"#parameters" name=
"parameters">Parameters
</a></h3>
47 <table border=
"1" class=
"docutils table">
53 <thead valign=
"bottom">
54 <tr><th class=
"head">Parameter
</th>
55 <th class=
"head">Requirement
</th>
56 <th class=
"head">Description
</th>
60 <tr><td><tt class=
"literal"><span class=
"pre">Sequence
</span></tt></td>
61 <td><a class=
"reference internal" href=
"./extensible-sequence.html">Extensible Sequence
</a> or
62 <a class=
"reference internal" href=
"./extensible-associative-sequence.html">Extensible Associative Sequence
</a></td>
63 <td>A sequence to erase from.
</td>
65 <tr><td><tt class=
"literal"><span class=
"pre">First
</span></tt></td>
66 <td><a class=
"reference internal" href=
"./forward-iterator.html">Forward Iterator
</a></td>
67 <td>An iterator to the beginning of the range to
70 <tr><td><tt class=
"literal"><span class=
"pre">Last
</span></tt></td>
71 <td><a class=
"reference internal" href=
"./forward-iterator.html">Forward Iterator
</a></td>
72 <td>An iterator past-the-end of the range to be
78 <div class=
"section" id=
"id243">
79 <h3><a class=
"subsection-title" href=
"#expression-semantics" name=
"expression-semantics">Expression semantics
</a></h3>
80 <div class=
"expression-semantics compound">
81 <p class=
"compound-first">For any
<a class=
"reference internal" href=
"./extensible-sequence.html">Extensible Sequence
</a> <tt class=
"literal"><span class=
"pre">s
</span></tt>, and iterators
<tt class=
"literal"><span class=
"pre">pos
</span></tt>,
<tt class=
"literal"><span class=
"pre">first
</span></tt> and
<tt class=
"literal"><span class=
"pre">last
</span></tt> into
<tt class=
"literal"><span class=
"pre">s
</span></tt>:
</p>
82 <pre class=
"compound-middle literal-block">
83 typedef
<a href=
"./erase.html" class=
"identifier">erase
</a><s,first,last
>::type r;
85 <table class=
"compound-middle docutils field-list" frame=
"void" rules=
"none">
86 <col class=
"field-name" />
87 <col class=
"field-body" />
89 <tr class=
"field"><th class=
"field-name">Return type:
</th><td class=
"field-body"><p class=
"first"><a class=
"reference internal" href=
"./extensible-sequence.html">Extensible Sequence
</a>.
</p>
92 <tr class=
"field"><th class=
"field-name">Precondition:
</th><td class=
"field-body"><p class=
"first"><tt class=
"literal"><span class=
"pre">[first,last)
</span></tt> is a valid range in
<tt class=
"literal"><span class=
"pre">s
</span></tt>.
</p>
95 <tr class=
"field"><th class=
"field-name">Semantics:
</th><td class=
"field-body"><p class=
"first"><tt class=
"literal"><span class=
"pre">r
</span></tt> is a new sequence,
<a class=
"reference internal" href=
"./terminology.html#concept-identical">concept-identical
</a> to
<tt class=
"literal"><span class=
"pre">s
</span></tt>, of the following elements:
96 [
<tt class=
"literal"><span class=
"pre"><a href=
"./begin.html" class=
"identifier">begin
</a><s
>::type
</span></tt>,
<tt class=
"literal"><span class=
"pre">pos
</span></tt>), [
<tt class=
"literal"><span class=
"pre">last
</span></tt>,
<tt class=
"literal"><span class=
"pre"><a href=
"./end.html" class=
"identifier">end
</a><s
>::type
</span></tt>).
</p>
99 <tr class=
"field"><th class=
"field-name">Postcondition:
</th><td class=
"field-body"><p class=
"first">The relative order of the elements in
<tt class=
"literal"><span class=
"pre">r
</span></tt> is the same as in
<tt class=
"literal"><span class=
"pre">s
</span></tt>;
</p>
100 <pre class=
"last literal-block">
101 <a href=
"./size.html" class=
"identifier">size
</a><r
>::value ==
<a href=
"./size.html" class=
"identifier">size
</a><s
>::value -
<a href=
"./distance.html" class=
"identifier">distance
</a><first,last
>::value
107 <!-- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -->
108 <pre class=
"compound-middle literal-block">
109 typedef
<a href=
"./erase.html" class=
"identifier">erase
</a><s,pos
>::type r;
111 <table class=
"compound-last docutils field-list" frame=
"void" rules=
"none">
112 <col class=
"field-name" />
113 <col class=
"field-body" />
115 <tr class=
"field"><th class=
"field-name">Return type:
</th><td class=
"field-body"><p class=
"first"><a class=
"reference internal" href=
"./extensible-sequence.html">Extensible Sequence
</a>.
</p>
118 <tr class=
"field"><th class=
"field-name">Precondition:
</th><td class=
"field-body"><p class=
"first"><tt class=
"literal"><span class=
"pre">pos
</span></tt> is a dereferenceable iterator in
<tt class=
"literal"><span class=
"pre">s
</span></tt>.
</p>
121 <tr class=
"field"><th class=
"field-name">Semantics:
</th><td class=
"field-body"><p class=
"first">Equivalent to
</p>
122 <pre class=
"last literal-block">
123 typedef
<a href=
"./erase.html" class=
"identifier">erase
</a>< s,pos,
<a href=
"./next.html" class=
"identifier">next
</a><pos
>::type
>::type r;
130 <div class=
"expression-semantics compound">
131 <p class=
"compound-first">For any
<a class=
"reference internal" href=
"./extensible-associative-sequence.html">Extensible Associative Sequence
</a> <tt class=
"literal"><span class=
"pre">s
</span></tt>, and iterator
<tt class=
"literal"><span class=
"pre">pos
</span></tt> into
<tt class=
"literal"><span class=
"pre">s
</span></tt>:
</p>
132 <pre class=
"compound-middle literal-block">
133 typedef
<a href=
"./erase.html" class=
"identifier">erase
</a><s,pos
>::type r;
135 <table class=
"compound-last docutils field-list" frame=
"void" rules=
"none">
136 <col class=
"field-name" />
137 <col class=
"field-body" />
139 <tr class=
"field"><th class=
"field-name">Return type:
</th><td class=
"field-body"><a class=
"reference internal" href=
"./extensible-sequence.html">Extensible Sequence
</a>.
</td>
141 <tr class=
"field"><th class=
"field-name">Precondition:
</th><td class=
"field-body"><tt class=
"literal"><span class=
"pre">pos
</span></tt> is a dereferenceable iterator to
<tt class=
"literal"><span class=
"pre">s
</span></tt>.
</td>
143 <tr class=
"field"><th class=
"field-name">Semantics:
</th><td class=
"field-body">Erases the element at a specific position
<tt class=
"literal"><span class=
"pre">pos
</span></tt>; equivalent to
144 <tt class=
"literal"><span class=
"pre"><a href=
"./erase-key.html" class=
"identifier">erase_key
</a><s,
</span> <span class=
"pre"><a href=
"./deref.html" class=
"identifier">deref
</a><pos
>::type
</span> <span class=
"pre">>::type
</span></tt>.
</td>
146 <tr class=
"field"><th class=
"field-name">Postcondition:
</th><td class=
"field-body"><tt class=
"literal"><span class=
"pre"><a href=
"./size.html" class=
"identifier">size
</a><r
>::value
</span> <span class=
"pre">==
</span> <span class=
"pre"><a href=
"./size.html" class=
"identifier">size
</a><s
>::value
</span> <span class=
"pre">-
</span> <span class=
"pre">1</span></tt>.
</td>
152 <div class=
"section" id=
"id244">
153 <h3><a class=
"subsection-title" href=
"#complexity" name=
"complexity">Complexity
</a></h3>
154 <table border=
"1" class=
"docutils table">
159 <thead valign=
"bottom">
160 <tr><th class=
"head">Sequence archetype
</th>
161 <th class=
"head">Complexity (the range form)
</th>
165 <tr><td><a class=
"reference internal" href=
"./extensible-associative-sequence.html">Extensible Associative Sequence
</a></td>
166 <td>Amortized constant time.
</td>
168 <tr><td><a class=
"reference internal" href=
"./extensible-sequence.html">Extensible Sequence
</a></td>
169 <td>Quadratic in the worst case, linear at best.
</td>
174 <div class=
"section" id=
"id245">
175 <h3><a class=
"subsection-title" href=
"#example" name=
"example">Example
</a></h3>
176 <pre class=
"literal-block">
177 typedef
<a href=
"./vector-c.html" class=
"identifier">vector_c
</a><int,
1,
0,
5,
1,
7,
5,
0,
5> values;
178 typedef
<a href=
"./find.html" class=
"identifier">find
</a>< values,
<a href=
"./integral-c.html" class=
"identifier">integral_c
</a><int,
7> >::type pos;
179 typedef
<a href=
"./erase.html" class=
"identifier">erase
</a><values,pos
>::type result;
181 <a href=
"./assert-relation.html" class=
"identifier">BOOST_MPL_ASSERT_RELATION
</a>(
<a href=
"./size.html" class=
"identifier">size
</a><result
>::value, ==,
7 );
183 typedef
<a href=
"./find.html" class=
"identifier">find
</a><result,
<a href=
"./integral-c.html" class=
"identifier">integral_c
</a><int,
7> >::type iter;
184 <a href=
"./assert.html" class=
"identifier">BOOST_MPL_ASSERT
</a>(( is_same
< iter,
<a href=
"./end.html" class=
"identifier">end
</a><result
>::type
> ));
187 <div class=
"section" id=
"id246">
188 <h3><a class=
"subsection-title" href=
"#see-also" name=
"see-also">See also
</a></h3>
189 <p><a class=
"reference internal" href=
"./extensible-sequence.html">Extensible Sequence
</a>,
<a class=
"reference internal" href=
"./extensible-associative-sequence.html">Extensible Associative Sequence
</a>,
<a class=
"reference internal" href=
"./erase-key.html">erase_key
</a>,
<a class=
"reference internal" href=
"./pop-front.html">pop_front
</a>,
<a class=
"reference internal" href=
"./pop-back.html">pop_back
</a>,
<a class=
"reference internal" href=
"./insert.html">insert
</a></p>
190 <!-- Sequences/Intrinsic Metafunctions//erase_key -->
194 <div class=
"footer-separator"></div>
195 <table class=
"footer"><tr class=
"footer"><td class=
"header-group navigation-bar"><span class=
"navigation-group"><a href=
"./end.html" class=
"navigation-link">Prev
</a> <a href=
"./erase-key.html" class=
"navigation-link">Next
</a></span><span class=
"navigation-group-separator"> |
</span><span class=
"navigation-group"><a href=
"./end.html" class=
"navigation-link">Back
</a> <a href=
"./erase-key.html" class=
"navigation-link">Along
</a></span><span class=
"navigation-group-separator"> |
</span><span class=
"navigation-group"><a href=
"./intrinsic-metafunctions.html" class=
"navigation-link">Up
</a> <a href=
"../refmanual.html" class=
"navigation-link">Home
</a></span><span class=
"navigation-group-separator"> |
</span><span class=
"navigation-group"><a href=
"./refmanual_toc.html" class=
"navigation-link">Full TOC
</a></span></td>
196 <td><div class=
"copyright-footer"><div class=
"copyright">Copyright ©
2001-
2009 Aleksey Gurtovoy and David Abrahams
</div>
197 Distributed under the Boost Software License, Version
1.0. (See accompanying
198 file LICENSE_1_0.txt or copy at
<a class=
"reference external" href=
"http://www.boost.org/LICENSE_1_0.txt" target=
"_top">http://www.boost.org/LICENSE_1_0.txt
</a>)
</div></td></tr></table></body>