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 // basic_string<charT,traits,Allocator>&
12 // insert(size_type pos1, const basic_string& str);
13
14 #include <string>
15 #include <stdexcept>
16 #include <cassert>
17
18 #include "test_macros.h"
19 #include "min_allocator.h"
20
21 template <class S>
22 void
test(S s,typename S::size_type pos,S str,S expected)23 test(S s, typename S::size_type pos, S str, S expected)
24 {
25 const typename S::size_type old_size = s.size();
26 S s0 = s;
27 if (pos <= old_size)
28 {
29 s.insert(pos, str);
30 LIBCPP_ASSERT(s.__invariants());
31 assert(s == expected);
32 }
33 #ifndef TEST_HAS_NO_EXCEPTIONS
34 else
35 {
36 try
37 {
38 s.insert(pos, str);
39 assert(false);
40 }
41 catch (std::out_of_range&)
42 {
43 assert(pos > old_size);
44 assert(s == s0);
45 }
46 }
47 #endif
48 }
49
main(int,char **)50 int main(int, char**)
51 {
52 {
53 typedef std::string S;
54 test(S(""), 0, S(""), S(""));
55 test(S(""), 0, S("12345"), S("12345"));
56 test(S(""), 0, S("1234567890"), S("1234567890"));
57 test(S(""), 0, S("12345678901234567890"), S("12345678901234567890"));
58 test(S(""), 1, S(""), S("can't happen"));
59 test(S(""), 1, S("12345"), S("can't happen"));
60 test(S(""), 1, S("1234567890"), S("can't happen"));
61 test(S(""), 1, S("12345678901234567890"), S("can't happen"));
62 test(S("abcde"), 0, S(""), S("abcde"));
63 test(S("abcde"), 0, S("12345"), S("12345abcde"));
64 test(S("abcde"), 0, S("1234567890"), S("1234567890abcde"));
65 test(S("abcde"), 0, S("12345678901234567890"), S("12345678901234567890abcde"));
66 test(S("abcde"), 1, S(""), S("abcde"));
67 test(S("abcde"), 1, S("12345"), S("a12345bcde"));
68 test(S("abcde"), 1, S("1234567890"), S("a1234567890bcde"));
69 test(S("abcde"), 1, S("12345678901234567890"), S("a12345678901234567890bcde"));
70 test(S("abcde"), 2, S(""), S("abcde"));
71 test(S("abcde"), 2, S("12345"), S("ab12345cde"));
72 test(S("abcde"), 2, S("1234567890"), S("ab1234567890cde"));
73 test(S("abcde"), 2, S("12345678901234567890"), S("ab12345678901234567890cde"));
74 test(S("abcde"), 4, S(""), S("abcde"));
75 test(S("abcde"), 4, S("12345"), S("abcd12345e"));
76 test(S("abcde"), 4, S("1234567890"), S("abcd1234567890e"));
77 test(S("abcde"), 4, S("12345678901234567890"), S("abcd12345678901234567890e"));
78 test(S("abcde"), 5, S(""), S("abcde"));
79 test(S("abcde"), 5, S("12345"), S("abcde12345"));
80 test(S("abcde"), 5, S("1234567890"), S("abcde1234567890"));
81 test(S("abcde"), 5, S("12345678901234567890"), S("abcde12345678901234567890"));
82 test(S("abcde"), 6, S(""), S("can't happen"));
83 test(S("abcde"), 6, S("12345"), S("can't happen"));
84 test(S("abcde"), 6, S("1234567890"), S("can't happen"));
85 test(S("abcde"), 6, S("12345678901234567890"), S("can't happen"));
86 test(S("abcdefghij"), 0, S(""), S("abcdefghij"));
87 test(S("abcdefghij"), 0, S("12345"), S("12345abcdefghij"));
88 test(S("abcdefghij"), 0, S("1234567890"), S("1234567890abcdefghij"));
89 test(S("abcdefghij"), 0, S("12345678901234567890"), S("12345678901234567890abcdefghij"));
90 test(S("abcdefghij"), 1, S(""), S("abcdefghij"));
91 test(S("abcdefghij"), 1, S("12345"), S("a12345bcdefghij"));
92 test(S("abcdefghij"), 1, S("1234567890"), S("a1234567890bcdefghij"));
93 test(S("abcdefghij"), 1, S("12345678901234567890"), S("a12345678901234567890bcdefghij"));
94 test(S("abcdefghij"), 5, S(""), S("abcdefghij"));
95 test(S("abcdefghij"), 5, S("12345"), S("abcde12345fghij"));
96 test(S("abcdefghij"), 5, S("1234567890"), S("abcde1234567890fghij"));
97 test(S("abcdefghij"), 5, S("12345678901234567890"), S("abcde12345678901234567890fghij"));
98 test(S("abcdefghij"), 9, S(""), S("abcdefghij"));
99 test(S("abcdefghij"), 9, S("12345"), S("abcdefghi12345j"));
100 test(S("abcdefghij"), 9, S("1234567890"), S("abcdefghi1234567890j"));
101 test(S("abcdefghij"), 9, S("12345678901234567890"), S("abcdefghi12345678901234567890j"));
102 test(S("abcdefghij"), 10, S(""), S("abcdefghij"));
103 test(S("abcdefghij"), 10, S("12345"), S("abcdefghij12345"));
104 test(S("abcdefghij"), 10, S("1234567890"), S("abcdefghij1234567890"));
105 test(S("abcdefghij"), 10, S("12345678901234567890"), S("abcdefghij12345678901234567890"));
106 test(S("abcdefghij"), 11, S(""), S("can't happen"));
107 test(S("abcdefghij"), 11, S("12345"), S("can't happen"));
108 test(S("abcdefghij"), 11, S("1234567890"), S("can't happen"));
109 test(S("abcdefghij"), 11, S("12345678901234567890"), S("can't happen"));
110 test(S("abcdefghijklmnopqrst"), 0, S(""), S("abcdefghijklmnopqrst"));
111 test(S("abcdefghijklmnopqrst"), 0, S("12345"), S("12345abcdefghijklmnopqrst"));
112 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), S("1234567890abcdefghijklmnopqrst"));
113 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), S("12345678901234567890abcdefghijklmnopqrst"));
114 test(S("abcdefghijklmnopqrst"), 1, S(""), S("abcdefghijklmnopqrst"));
115 test(S("abcdefghijklmnopqrst"), 1, S("12345"), S("a12345bcdefghijklmnopqrst"));
116 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), S("a1234567890bcdefghijklmnopqrst"));
117 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), S("a12345678901234567890bcdefghijklmnopqrst"));
118 test(S("abcdefghijklmnopqrst"), 10, S(""), S("abcdefghijklmnopqrst"));
119 test(S("abcdefghijklmnopqrst"), 10, S("12345"), S("abcdefghij12345klmnopqrst"));
120 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), S("abcdefghij1234567890klmnopqrst"));
121 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), S("abcdefghij12345678901234567890klmnopqrst"));
122 test(S("abcdefghijklmnopqrst"), 19, S(""), S("abcdefghijklmnopqrst"));
123 test(S("abcdefghijklmnopqrst"), 19, S("12345"), S("abcdefghijklmnopqrs12345t"));
124 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), S("abcdefghijklmnopqrs1234567890t"));
125 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), S("abcdefghijklmnopqrs12345678901234567890t"));
126 test(S("abcdefghijklmnopqrst"), 20, S(""), S("abcdefghijklmnopqrst"));
127 test(S("abcdefghijklmnopqrst"), 20, S("12345"), S("abcdefghijklmnopqrst12345"));
128 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), S("abcdefghijklmnopqrst1234567890"));
129 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), S("abcdefghijklmnopqrst12345678901234567890"));
130 test(S("abcdefghijklmnopqrst"), 21, S(""), S("can't happen"));
131 test(S("abcdefghijklmnopqrst"), 21, S("12345"), S("can't happen"));
132 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), S("can't happen"));
133 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), S("can't happen"));
134 }
135 #if TEST_STD_VER >= 11
136 {
137 typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
138 test(S(""), 0, S(""), S(""));
139 test(S(""), 0, S("12345"), S("12345"));
140 test(S(""), 0, S("1234567890"), S("1234567890"));
141 test(S(""), 0, S("12345678901234567890"), S("12345678901234567890"));
142 test(S(""), 1, S(""), S("can't happen"));
143 test(S(""), 1, S("12345"), S("can't happen"));
144 test(S(""), 1, S("1234567890"), S("can't happen"));
145 test(S(""), 1, S("12345678901234567890"), S("can't happen"));
146 test(S("abcde"), 0, S(""), S("abcde"));
147 test(S("abcde"), 0, S("12345"), S("12345abcde"));
148 test(S("abcde"), 0, S("1234567890"), S("1234567890abcde"));
149 test(S("abcde"), 0, S("12345678901234567890"), S("12345678901234567890abcde"));
150 test(S("abcde"), 1, S(""), S("abcde"));
151 test(S("abcde"), 1, S("12345"), S("a12345bcde"));
152 test(S("abcde"), 1, S("1234567890"), S("a1234567890bcde"));
153 test(S("abcde"), 1, S("12345678901234567890"), S("a12345678901234567890bcde"));
154 test(S("abcde"), 2, S(""), S("abcde"));
155 test(S("abcde"), 2, S("12345"), S("ab12345cde"));
156 test(S("abcde"), 2, S("1234567890"), S("ab1234567890cde"));
157 test(S("abcde"), 2, S("12345678901234567890"), S("ab12345678901234567890cde"));
158 test(S("abcde"), 4, S(""), S("abcde"));
159 test(S("abcde"), 4, S("12345"), S("abcd12345e"));
160 test(S("abcde"), 4, S("1234567890"), S("abcd1234567890e"));
161 test(S("abcde"), 4, S("12345678901234567890"), S("abcd12345678901234567890e"));
162 test(S("abcde"), 5, S(""), S("abcde"));
163 test(S("abcde"), 5, S("12345"), S("abcde12345"));
164 test(S("abcde"), 5, S("1234567890"), S("abcde1234567890"));
165 test(S("abcde"), 5, S("12345678901234567890"), S("abcde12345678901234567890"));
166 test(S("abcde"), 6, S(""), S("can't happen"));
167 test(S("abcde"), 6, S("12345"), S("can't happen"));
168 test(S("abcde"), 6, S("1234567890"), S("can't happen"));
169 test(S("abcde"), 6, S("12345678901234567890"), S("can't happen"));
170 test(S("abcdefghij"), 0, S(""), S("abcdefghij"));
171 test(S("abcdefghij"), 0, S("12345"), S("12345abcdefghij"));
172 test(S("abcdefghij"), 0, S("1234567890"), S("1234567890abcdefghij"));
173 test(S("abcdefghij"), 0, S("12345678901234567890"), S("12345678901234567890abcdefghij"));
174 test(S("abcdefghij"), 1, S(""), S("abcdefghij"));
175 test(S("abcdefghij"), 1, S("12345"), S("a12345bcdefghij"));
176 test(S("abcdefghij"), 1, S("1234567890"), S("a1234567890bcdefghij"));
177 test(S("abcdefghij"), 1, S("12345678901234567890"), S("a12345678901234567890bcdefghij"));
178 test(S("abcdefghij"), 5, S(""), S("abcdefghij"));
179 test(S("abcdefghij"), 5, S("12345"), S("abcde12345fghij"));
180 test(S("abcdefghij"), 5, S("1234567890"), S("abcde1234567890fghij"));
181 test(S("abcdefghij"), 5, S("12345678901234567890"), S("abcde12345678901234567890fghij"));
182 test(S("abcdefghij"), 9, S(""), S("abcdefghij"));
183 test(S("abcdefghij"), 9, S("12345"), S("abcdefghi12345j"));
184 test(S("abcdefghij"), 9, S("1234567890"), S("abcdefghi1234567890j"));
185 test(S("abcdefghij"), 9, S("12345678901234567890"), S("abcdefghi12345678901234567890j"));
186 test(S("abcdefghij"), 10, S(""), S("abcdefghij"));
187 test(S("abcdefghij"), 10, S("12345"), S("abcdefghij12345"));
188 test(S("abcdefghij"), 10, S("1234567890"), S("abcdefghij1234567890"));
189 test(S("abcdefghij"), 10, S("12345678901234567890"), S("abcdefghij12345678901234567890"));
190 test(S("abcdefghij"), 11, S(""), S("can't happen"));
191 test(S("abcdefghij"), 11, S("12345"), S("can't happen"));
192 test(S("abcdefghij"), 11, S("1234567890"), S("can't happen"));
193 test(S("abcdefghij"), 11, S("12345678901234567890"), S("can't happen"));
194 test(S("abcdefghijklmnopqrst"), 0, S(""), S("abcdefghijklmnopqrst"));
195 test(S("abcdefghijklmnopqrst"), 0, S("12345"), S("12345abcdefghijklmnopqrst"));
196 test(S("abcdefghijklmnopqrst"), 0, S("1234567890"), S("1234567890abcdefghijklmnopqrst"));
197 test(S("abcdefghijklmnopqrst"), 0, S("12345678901234567890"), S("12345678901234567890abcdefghijklmnopqrst"));
198 test(S("abcdefghijklmnopqrst"), 1, S(""), S("abcdefghijklmnopqrst"));
199 test(S("abcdefghijklmnopqrst"), 1, S("12345"), S("a12345bcdefghijklmnopqrst"));
200 test(S("abcdefghijklmnopqrst"), 1, S("1234567890"), S("a1234567890bcdefghijklmnopqrst"));
201 test(S("abcdefghijklmnopqrst"), 1, S("12345678901234567890"), S("a12345678901234567890bcdefghijklmnopqrst"));
202 test(S("abcdefghijklmnopqrst"), 10, S(""), S("abcdefghijklmnopqrst"));
203 test(S("abcdefghijklmnopqrst"), 10, S("12345"), S("abcdefghij12345klmnopqrst"));
204 test(S("abcdefghijklmnopqrst"), 10, S("1234567890"), S("abcdefghij1234567890klmnopqrst"));
205 test(S("abcdefghijklmnopqrst"), 10, S("12345678901234567890"), S("abcdefghij12345678901234567890klmnopqrst"));
206 test(S("abcdefghijklmnopqrst"), 19, S(""), S("abcdefghijklmnopqrst"));
207 test(S("abcdefghijklmnopqrst"), 19, S("12345"), S("abcdefghijklmnopqrs12345t"));
208 test(S("abcdefghijklmnopqrst"), 19, S("1234567890"), S("abcdefghijklmnopqrs1234567890t"));
209 test(S("abcdefghijklmnopqrst"), 19, S("12345678901234567890"), S("abcdefghijklmnopqrs12345678901234567890t"));
210 test(S("abcdefghijklmnopqrst"), 20, S(""), S("abcdefghijklmnopqrst"));
211 test(S("abcdefghijklmnopqrst"), 20, S("12345"), S("abcdefghijklmnopqrst12345"));
212 test(S("abcdefghijklmnopqrst"), 20, S("1234567890"), S("abcdefghijklmnopqrst1234567890"));
213 test(S("abcdefghijklmnopqrst"), 20, S("12345678901234567890"), S("abcdefghijklmnopqrst12345678901234567890"));
214 test(S("abcdefghijklmnopqrst"), 21, S(""), S("can't happen"));
215 test(S("abcdefghijklmnopqrst"), 21, S("12345"), S("can't happen"));
216 test(S("abcdefghijklmnopqrst"), 21, S("1234567890"), S("can't happen"));
217 test(S("abcdefghijklmnopqrst"), 21, S("12345678901234567890"), S("can't happen"));
218 }
219 #endif
220
221 #if TEST_STD_VER > 3
222 { // LWG 2946
223 std::string s;
224 s.insert(0, {"abc", 1});
225 assert(s.size() == 1);
226 assert(s == "a");
227 }
228 #endif
229
230 return 0;
231 }
232