1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 // <string>
10 
11 // iterator erase(const_iterator first, const_iterator last); // constexpr since C++20
12 
13 #include <string>
14 #include <cassert>
15 
16 #include "test_macros.h"
17 #include "min_allocator.h"
18 
19 template <class S>
20 TEST_CONSTEXPR_CXX20 void
test(S s,typename S::difference_type pos,typename S::difference_type n,S expected)21 test(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);
26     LIBCPP_ASSERT(s.__invariants());
27     assert(s[s.size()] == typename S::value_type());
28     assert(s == expected);
29     assert(i - s.begin() == pos);
30 }
31 
test()32 TEST_CONSTEXPR_CXX20 bool test() {
33   {
34     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"));
89   }
90 #if TEST_STD_VER >= 11
91   {
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
149 
150   return true;
151 }
152 
main(int,char **)153 int main(int, char**)
154 {
155   test();
156 #if TEST_STD_VER > 17
157   static_assert(test());
158 #endif
159 
160   return 0;
161 }
162