blob: dbe6d7ba0e738a8f49de6fda216609d70bc552c1 [file] [log] [blame]
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00001//===----------------------------------------------------------------------===//
2//
Howard Hinnantf5256e12010-05-11 21:36:01 +00003// The LLVM Compiler Infrastructure
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00004//
Howard Hinnantb64f8b02010-11-16 22:09:02 +00005// This file is dual licensed under the MIT and the University of Illinois Open
6// Source Licenses. See LICENSE.TXT for details.
Howard Hinnantbc8d3f92010-05-11 19:42:16 +00007//
8//===----------------------------------------------------------------------===//
9
10// <string>
11
12// iterator erase(const_iterator first, const_iterator last);
13
14#include <string>
15#include <cassert>
16
Marshall Clow061d0cc2013-11-26 20:58:02 +000017#include "min_allocator.h"
Howard Hinnant9dcdcde2013-06-28 16:59:19 +000018
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000019template <class S>
20void
21test(S s, typename S::difference_type pos, typename S::difference_type n, S expected)
22{
23 typename S::const_iterator first = s.cbegin() + pos;
24 typename S::const_iterator last = s.cbegin() + pos + n;
25 typename S::iterator i = s.erase(first, last);
Dan Albert1d4a1ed2016-05-25 22:36:09 -070026 assert(s.__invariants());
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000027 assert(s == expected);
28 assert(i - s.begin() == pos);
29}
30
31int main()
32{
Howard Hinnant9dcdcde2013-06-28 16:59:19 +000033 {
Howard Hinnantbc8d3f92010-05-11 19:42:16 +000034 typedef std::string S;
35 test(S(""), 0, 0, S(""));
36 test(S("abcde"), 0, 0, S("abcde"));
37 test(S("abcde"), 0, 1, S("bcde"));
38 test(S("abcde"), 0, 2, S("cde"));
39 test(S("abcde"), 0, 4, S("e"));
40 test(S("abcde"), 0, 5, S(""));
41 test(S("abcde"), 1, 0, S("abcde"));
42 test(S("abcde"), 1, 1, S("acde"));
43 test(S("abcde"), 1, 2, S("ade"));
44 test(S("abcde"), 1, 3, S("ae"));
45 test(S("abcde"), 1, 4, S("a"));
46 test(S("abcde"), 2, 0, S("abcde"));
47 test(S("abcde"), 2, 1, S("abde"));
48 test(S("abcde"), 2, 2, S("abe"));
49 test(S("abcde"), 2, 3, S("ab"));
50 test(S("abcde"), 4, 0, S("abcde"));
51 test(S("abcde"), 4, 1, S("abcd"));
52 test(S("abcde"), 5, 0, S("abcde"));
53 test(S("abcdefghij"), 0, 0, S("abcdefghij"));
54 test(S("abcdefghij"), 0, 1, S("bcdefghij"));
55 test(S("abcdefghij"), 0, 5, S("fghij"));
56 test(S("abcdefghij"), 0, 9, S("j"));
57 test(S("abcdefghij"), 0, 10, S(""));
58 test(S("abcdefghij"), 1, 0, S("abcdefghij"));
59 test(S("abcdefghij"), 1, 1, S("acdefghij"));
60 test(S("abcdefghij"), 1, 4, S("afghij"));
61 test(S("abcdefghij"), 1, 8, S("aj"));
62 test(S("abcdefghij"), 1, 9, S("a"));
63 test(S("abcdefghij"), 5, 0, S("abcdefghij"));
64 test(S("abcdefghij"), 5, 1, S("abcdeghij"));
65 test(S("abcdefghij"), 5, 2, S("abcdehij"));
66 test(S("abcdefghij"), 5, 4, S("abcdej"));
67 test(S("abcdefghij"), 5, 5, S("abcde"));
68 test(S("abcdefghij"), 9, 0, S("abcdefghij"));
69 test(S("abcdefghij"), 9, 1, S("abcdefghi"));
70 test(S("abcdefghij"), 10, 0, S("abcdefghij"));
71 test(S("abcdefghijklmnopqrst"), 0, 0, S("abcdefghijklmnopqrst"));
72 test(S("abcdefghijklmnopqrst"), 0, 1, S("bcdefghijklmnopqrst"));
73 test(S("abcdefghijklmnopqrst"), 0, 10, S("klmnopqrst"));
74 test(S("abcdefghijklmnopqrst"), 0, 19, S("t"));
75 test(S("abcdefghijklmnopqrst"), 0, 20, S(""));
76 test(S("abcdefghijklmnopqrst"), 1, 0, S("abcdefghijklmnopqrst"));
77 test(S("abcdefghijklmnopqrst"), 1, 1, S("acdefghijklmnopqrst"));
78 test(S("abcdefghijklmnopqrst"), 1, 9, S("aklmnopqrst"));
79 test(S("abcdefghijklmnopqrst"), 1, 18, S("at"));
80 test(S("abcdefghijklmnopqrst"), 1, 19, S("a"));
81 test(S("abcdefghijklmnopqrst"), 10, 0, S("abcdefghijklmnopqrst"));
82 test(S("abcdefghijklmnopqrst"), 10, 1, S("abcdefghijlmnopqrst"));
83 test(S("abcdefghijklmnopqrst"), 10, 5, S("abcdefghijpqrst"));
84 test(S("abcdefghijklmnopqrst"), 10, 9, S("abcdefghijt"));
85 test(S("abcdefghijklmnopqrst"), 10, 10, S("abcdefghij"));
86 test(S("abcdefghijklmnopqrst"), 19, 0, S("abcdefghijklmnopqrst"));
87 test(S("abcdefghijklmnopqrst"), 19, 1, S("abcdefghijklmnopqrs"));
88 test(S("abcdefghijklmnopqrst"), 20, 0, S("abcdefghijklmnopqrst"));
Howard Hinnant9dcdcde2013-06-28 16:59:19 +000089 }
Dan Albert1d4a1ed2016-05-25 22:36:09 -070090#if __cplusplus >= 201103L
Howard Hinnant9dcdcde2013-06-28 16:59:19 +000091 {
92 typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
93 test(S(""), 0, 0, S(""));
94 test(S("abcde"), 0, 0, S("abcde"));
95 test(S("abcde"), 0, 1, S("bcde"));
96 test(S("abcde"), 0, 2, S("cde"));
97 test(S("abcde"), 0, 4, S("e"));
98 test(S("abcde"), 0, 5, S(""));
99 test(S("abcde"), 1, 0, S("abcde"));
100 test(S("abcde"), 1, 1, S("acde"));
101 test(S("abcde"), 1, 2, S("ade"));
102 test(S("abcde"), 1, 3, S("ae"));
103 test(S("abcde"), 1, 4, S("a"));
104 test(S("abcde"), 2, 0, S("abcde"));
105 test(S("abcde"), 2, 1, S("abde"));
106 test(S("abcde"), 2, 2, S("abe"));
107 test(S("abcde"), 2, 3, S("ab"));
108 test(S("abcde"), 4, 0, S("abcde"));
109 test(S("abcde"), 4, 1, S("abcd"));
110 test(S("abcde"), 5, 0, S("abcde"));
111 test(S("abcdefghij"), 0, 0, S("abcdefghij"));
112 test(S("abcdefghij"), 0, 1, S("bcdefghij"));
113 test(S("abcdefghij"), 0, 5, S("fghij"));
114 test(S("abcdefghij"), 0, 9, S("j"));
115 test(S("abcdefghij"), 0, 10, S(""));
116 test(S("abcdefghij"), 1, 0, S("abcdefghij"));
117 test(S("abcdefghij"), 1, 1, S("acdefghij"));
118 test(S("abcdefghij"), 1, 4, S("afghij"));
119 test(S("abcdefghij"), 1, 8, S("aj"));
120 test(S("abcdefghij"), 1, 9, S("a"));
121 test(S("abcdefghij"), 5, 0, S("abcdefghij"));
122 test(S("abcdefghij"), 5, 1, S("abcdeghij"));
123 test(S("abcdefghij"), 5, 2, S("abcdehij"));
124 test(S("abcdefghij"), 5, 4, S("abcdej"));
125 test(S("abcdefghij"), 5, 5, S("abcde"));
126 test(S("abcdefghij"), 9, 0, S("abcdefghij"));
127 test(S("abcdefghij"), 9, 1, S("abcdefghi"));
128 test(S("abcdefghij"), 10, 0, S("abcdefghij"));
129 test(S("abcdefghijklmnopqrst"), 0, 0, S("abcdefghijklmnopqrst"));
130 test(S("abcdefghijklmnopqrst"), 0, 1, S("bcdefghijklmnopqrst"));
131 test(S("abcdefghijklmnopqrst"), 0, 10, S("klmnopqrst"));
132 test(S("abcdefghijklmnopqrst"), 0, 19, S("t"));
133 test(S("abcdefghijklmnopqrst"), 0, 20, S(""));
134 test(S("abcdefghijklmnopqrst"), 1, 0, S("abcdefghijklmnopqrst"));
135 test(S("abcdefghijklmnopqrst"), 1, 1, S("acdefghijklmnopqrst"));
136 test(S("abcdefghijklmnopqrst"), 1, 9, S("aklmnopqrst"));
137 test(S("abcdefghijklmnopqrst"), 1, 18, S("at"));
138 test(S("abcdefghijklmnopqrst"), 1, 19, S("a"));
139 test(S("abcdefghijklmnopqrst"), 10, 0, S("abcdefghijklmnopqrst"));
140 test(S("abcdefghijklmnopqrst"), 10, 1, S("abcdefghijlmnopqrst"));
141 test(S("abcdefghijklmnopqrst"), 10, 5, S("abcdefghijpqrst"));
142 test(S("abcdefghijklmnopqrst"), 10, 9, S("abcdefghijt"));
143 test(S("abcdefghijklmnopqrst"), 10, 10, S("abcdefghij"));
144 test(S("abcdefghijklmnopqrst"), 19, 0, S("abcdefghijklmnopqrst"));
145 test(S("abcdefghijklmnopqrst"), 19, 1, S("abcdefghijklmnopqrs"));
146 test(S("abcdefghijklmnopqrst"), 20, 0, S("abcdefghijklmnopqrst"));
147 }
148#endif
Howard Hinnantbc8d3f92010-05-11 19:42:16 +0000149}