1 //===----------------------------------------------------------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is dual licensed under the MIT and the University of Illinois Open 6 // Source Licenses. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 // <string> 11 12 // basic_string<charT,traits,Allocator>& 13 // erase(size_type pos = 0, size_type n = npos); 14 15 #include <string> 16 #include <stdexcept> 17 #include <cassert> 18 19 #include "test_macros.h" 20 #include "min_allocator.h" 21 22 template <class S> 23 void 24 test(S s, typename S::size_type pos, typename S::size_type n, S expected) 25 { 26 const typename S::size_type old_size = s.size(); 27 S s0 = s; 28 if (pos <= old_size) 29 { 30 s.erase(pos, n); 31 LIBCPP_ASSERT(s.__invariants()); 32 assert(s[s.size()] == typename S::value_type()); 33 assert(s == expected); 34 } 35 #ifndef TEST_HAS_NO_EXCEPTIONS 36 else 37 { 38 try 39 { 40 s.erase(pos, n); 41 assert(false); 42 } 43 catch (std::out_of_range&) 44 { 45 assert(pos > old_size); 46 assert(s == s0); 47 } 48 } 49 #endif 50 } 51 52 template <class S> 53 void 54 test(S s, typename S::size_type pos, S expected) 55 { 56 const typename S::size_type old_size = s.size(); 57 S s0 = s; 58 if (pos <= old_size) 59 { 60 s.erase(pos); 61 LIBCPP_ASSERT(s.__invariants()); 62 assert(s[s.size()] == typename S::value_type()); 63 assert(s == expected); 64 } 65 #ifndef TEST_HAS_NO_EXCEPTIONS 66 else 67 { 68 try 69 { 70 s.erase(pos); 71 assert(false); 72 } 73 catch (std::out_of_range&) 74 { 75 assert(pos > old_size); 76 assert(s == s0); 77 } 78 } 79 #endif 80 } 81 82 template <class S> 83 void 84 test(S s, S expected) 85 { 86 s.erase(); 87 LIBCPP_ASSERT(s.__invariants()); 88 assert(s[s.size()] == typename S::value_type()); 89 assert(s == expected); 90 } 91 92 int main() 93 { 94 { 95 typedef std::string S; 96 test(S(""), 0, 0, S("")); 97 test(S(""), 0, 1, S("")); 98 test(S(""), 1, 0, S("can't happen")); 99 test(S("abcde"), 0, 0, S("abcde")); 100 test(S("abcde"), 0, 1, S("bcde")); 101 test(S("abcde"), 0, 2, S("cde")); 102 test(S("abcde"), 0, 4, S("e")); 103 test(S("abcde"), 0, 5, S("")); 104 test(S("abcde"), 0, 6, S("")); 105 test(S("abcde"), 1, 0, S("abcde")); 106 test(S("abcde"), 1, 1, S("acde")); 107 test(S("abcde"), 1, 2, S("ade")); 108 test(S("abcde"), 1, 3, S("ae")); 109 test(S("abcde"), 1, 4, S("a")); 110 test(S("abcde"), 1, 5, S("a")); 111 test(S("abcde"), 2, 0, S("abcde")); 112 test(S("abcde"), 2, 1, S("abde")); 113 test(S("abcde"), 2, 2, S("abe")); 114 test(S("abcde"), 2, 3, S("ab")); 115 test(S("abcde"), 2, 4, S("ab")); 116 test(S("abcde"), 4, 0, S("abcde")); 117 test(S("abcde"), 4, 1, S("abcd")); 118 test(S("abcde"), 4, 2, S("abcd")); 119 test(S("abcde"), 5, 0, S("abcde")); 120 test(S("abcde"), 5, 1, S("abcde")); 121 test(S("abcde"), 6, 0, S("can't happen")); 122 test(S("abcdefghij"), 0, 0, S("abcdefghij")); 123 test(S("abcdefghij"), 0, 1, S("bcdefghij")); 124 test(S("abcdefghij"), 0, 5, S("fghij")); 125 test(S("abcdefghij"), 0, 9, S("j")); 126 test(S("abcdefghij"), 0, 10, S("")); 127 test(S("abcdefghij"), 0, 11, S("")); 128 test(S("abcdefghij"), 1, 0, S("abcdefghij")); 129 test(S("abcdefghij"), 1, 1, S("acdefghij")); 130 test(S("abcdefghij"), 1, 4, S("afghij")); 131 test(S("abcdefghij"), 1, 8, S("aj")); 132 test(S("abcdefghij"), 1, 9, S("a")); 133 test(S("abcdefghij"), 1, 10, S("a")); 134 test(S("abcdefghij"), 5, 0, S("abcdefghij")); 135 test(S("abcdefghij"), 5, 1, S("abcdeghij")); 136 test(S("abcdefghij"), 5, 2, S("abcdehij")); 137 test(S("abcdefghij"), 5, 4, S("abcdej")); 138 test(S("abcdefghij"), 5, 5, S("abcde")); 139 test(S("abcdefghij"), 5, 6, S("abcde")); 140 test(S("abcdefghij"), 9, 0, S("abcdefghij")); 141 test(S("abcdefghij"), 9, 1, S("abcdefghi")); 142 test(S("abcdefghij"), 9, 2, S("abcdefghi")); 143 test(S("abcdefghij"), 10, 0, S("abcdefghij")); 144 test(S("abcdefghij"), 10, 1, S("abcdefghij")); 145 test(S("abcdefghij"), 11, 0, S("can't happen")); 146 test(S("abcdefghijklmnopqrst"), 0, 0, S("abcdefghijklmnopqrst")); 147 test(S("abcdefghijklmnopqrst"), 0, 1, S("bcdefghijklmnopqrst")); 148 test(S("abcdefghijklmnopqrst"), 0, 10, S("klmnopqrst")); 149 test(S("abcdefghijklmnopqrst"), 0, 19, S("t")); 150 test(S("abcdefghijklmnopqrst"), 0, 20, S("")); 151 test(S("abcdefghijklmnopqrst"), 0, 21, S("")); 152 test(S("abcdefghijklmnopqrst"), 1, 0, S("abcdefghijklmnopqrst")); 153 test(S("abcdefghijklmnopqrst"), 1, 1, S("acdefghijklmnopqrst")); 154 test(S("abcdefghijklmnopqrst"), 1, 9, S("aklmnopqrst")); 155 test(S("abcdefghijklmnopqrst"), 1, 18, S("at")); 156 test(S("abcdefghijklmnopqrst"), 1, 19, S("a")); 157 test(S("abcdefghijklmnopqrst"), 1, 20, S("a")); 158 test(S("abcdefghijklmnopqrst"), 10, 0, S("abcdefghijklmnopqrst")); 159 test(S("abcdefghijklmnopqrst"), 10, 1, S("abcdefghijlmnopqrst")); 160 test(S("abcdefghijklmnopqrst"), 10, 5, S("abcdefghijpqrst")); 161 test(S("abcdefghijklmnopqrst"), 10, 9, S("abcdefghijt")); 162 test(S("abcdefghijklmnopqrst"), 10, 10, S("abcdefghij")); 163 test(S("abcdefghijklmnopqrst"), 10, 11, S("abcdefghij")); 164 test(S("abcdefghijklmnopqrst"), 19, 0, S("abcdefghijklmnopqrst")); 165 test(S("abcdefghijklmnopqrst"), 19, 1, S("abcdefghijklmnopqrs")); 166 test(S("abcdefghijklmnopqrst"), 19, 2, S("abcdefghijklmnopqrs")); 167 test(S("abcdefghijklmnopqrst"), 20, 0, S("abcdefghijklmnopqrst")); 168 test(S("abcdefghijklmnopqrst"), 20, 1, S("abcdefghijklmnopqrst")); 169 test(S("abcdefghijklmnopqrst"), 21, 0, S("can't happen")); 170 171 test(S(""), 0, S("")); 172 test(S(""), 1, S("can't happen")); 173 test(S("abcde"), 0, S("")); 174 test(S("abcde"), 1, S("a")); 175 test(S("abcde"), 2, S("ab")); 176 test(S("abcde"), 4, S("abcd")); 177 test(S("abcde"), 5, S("abcde")); 178 test(S("abcde"), 6, S("can't happen")); 179 test(S("abcdefghij"), 0, S("")); 180 test(S("abcdefghij"), 1, S("a")); 181 test(S("abcdefghij"), 5, S("abcde")); 182 test(S("abcdefghij"), 9, S("abcdefghi")); 183 test(S("abcdefghij"), 10, S("abcdefghij")); 184 test(S("abcdefghij"), 11, S("can't happen")); 185 test(S("abcdefghijklmnopqrst"), 0, S("")); 186 test(S("abcdefghijklmnopqrst"), 1, S("a")); 187 test(S("abcdefghijklmnopqrst"), 10, S("abcdefghij")); 188 test(S("abcdefghijklmnopqrst"), 19, S("abcdefghijklmnopqrs")); 189 test(S("abcdefghijklmnopqrst"), 20, S("abcdefghijklmnopqrst")); 190 test(S("abcdefghijklmnopqrst"), 21, S("can't happen")); 191 192 test(S(""), S("")); 193 test(S("abcde"), S("")); 194 test(S("abcdefghij"), S("")); 195 test(S("abcdefghijklmnopqrst"), S("")); 196 } 197 #if TEST_STD_VER >= 11 198 { 199 typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S; 200 test(S(""), 0, 0, S("")); 201 test(S(""), 0, 1, S("")); 202 test(S(""), 1, 0, S("can't happen")); 203 test(S("abcde"), 0, 0, S("abcde")); 204 test(S("abcde"), 0, 1, S("bcde")); 205 test(S("abcde"), 0, 2, S("cde")); 206 test(S("abcde"), 0, 4, S("e")); 207 test(S("abcde"), 0, 5, S("")); 208 test(S("abcde"), 0, 6, S("")); 209 test(S("abcde"), 1, 0, S("abcde")); 210 test(S("abcde"), 1, 1, S("acde")); 211 test(S("abcde"), 1, 2, S("ade")); 212 test(S("abcde"), 1, 3, S("ae")); 213 test(S("abcde"), 1, 4, S("a")); 214 test(S("abcde"), 1, 5, S("a")); 215 test(S("abcde"), 2, 0, S("abcde")); 216 test(S("abcde"), 2, 1, S("abde")); 217 test(S("abcde"), 2, 2, S("abe")); 218 test(S("abcde"), 2, 3, S("ab")); 219 test(S("abcde"), 2, 4, S("ab")); 220 test(S("abcde"), 4, 0, S("abcde")); 221 test(S("abcde"), 4, 1, S("abcd")); 222 test(S("abcde"), 4, 2, S("abcd")); 223 test(S("abcde"), 5, 0, S("abcde")); 224 test(S("abcde"), 5, 1, S("abcde")); 225 test(S("abcde"), 6, 0, S("can't happen")); 226 test(S("abcdefghij"), 0, 0, S("abcdefghij")); 227 test(S("abcdefghij"), 0, 1, S("bcdefghij")); 228 test(S("abcdefghij"), 0, 5, S("fghij")); 229 test(S("abcdefghij"), 0, 9, S("j")); 230 test(S("abcdefghij"), 0, 10, S("")); 231 test(S("abcdefghij"), 0, 11, S("")); 232 test(S("abcdefghij"), 1, 0, S("abcdefghij")); 233 test(S("abcdefghij"), 1, 1, S("acdefghij")); 234 test(S("abcdefghij"), 1, 4, S("afghij")); 235 test(S("abcdefghij"), 1, 8, S("aj")); 236 test(S("abcdefghij"), 1, 9, S("a")); 237 test(S("abcdefghij"), 1, 10, S("a")); 238 test(S("abcdefghij"), 5, 0, S("abcdefghij")); 239 test(S("abcdefghij"), 5, 1, S("abcdeghij")); 240 test(S("abcdefghij"), 5, 2, S("abcdehij")); 241 test(S("abcdefghij"), 5, 4, S("abcdej")); 242 test(S("abcdefghij"), 5, 5, S("abcde")); 243 test(S("abcdefghij"), 5, 6, S("abcde")); 244 test(S("abcdefghij"), 9, 0, S("abcdefghij")); 245 test(S("abcdefghij"), 9, 1, S("abcdefghi")); 246 test(S("abcdefghij"), 9, 2, S("abcdefghi")); 247 test(S("abcdefghij"), 10, 0, S("abcdefghij")); 248 test(S("abcdefghij"), 10, 1, S("abcdefghij")); 249 test(S("abcdefghij"), 11, 0, S("can't happen")); 250 test(S("abcdefghijklmnopqrst"), 0, 0, S("abcdefghijklmnopqrst")); 251 test(S("abcdefghijklmnopqrst"), 0, 1, S("bcdefghijklmnopqrst")); 252 test(S("abcdefghijklmnopqrst"), 0, 10, S("klmnopqrst")); 253 test(S("abcdefghijklmnopqrst"), 0, 19, S("t")); 254 test(S("abcdefghijklmnopqrst"), 0, 20, S("")); 255 test(S("abcdefghijklmnopqrst"), 0, 21, S("")); 256 test(S("abcdefghijklmnopqrst"), 1, 0, S("abcdefghijklmnopqrst")); 257 test(S("abcdefghijklmnopqrst"), 1, 1, S("acdefghijklmnopqrst")); 258 test(S("abcdefghijklmnopqrst"), 1, 9, S("aklmnopqrst")); 259 test(S("abcdefghijklmnopqrst"), 1, 18, S("at")); 260 test(S("abcdefghijklmnopqrst"), 1, 19, S("a")); 261 test(S("abcdefghijklmnopqrst"), 1, 20, S("a")); 262 test(S("abcdefghijklmnopqrst"), 10, 0, S("abcdefghijklmnopqrst")); 263 test(S("abcdefghijklmnopqrst"), 10, 1, S("abcdefghijlmnopqrst")); 264 test(S("abcdefghijklmnopqrst"), 10, 5, S("abcdefghijpqrst")); 265 test(S("abcdefghijklmnopqrst"), 10, 9, S("abcdefghijt")); 266 test(S("abcdefghijklmnopqrst"), 10, 10, S("abcdefghij")); 267 test(S("abcdefghijklmnopqrst"), 10, 11, S("abcdefghij")); 268 test(S("abcdefghijklmnopqrst"), 19, 0, S("abcdefghijklmnopqrst")); 269 test(S("abcdefghijklmnopqrst"), 19, 1, S("abcdefghijklmnopqrs")); 270 test(S("abcdefghijklmnopqrst"), 19, 2, S("abcdefghijklmnopqrs")); 271 test(S("abcdefghijklmnopqrst"), 20, 0, S("abcdefghijklmnopqrst")); 272 test(S("abcdefghijklmnopqrst"), 20, 1, S("abcdefghijklmnopqrst")); 273 test(S("abcdefghijklmnopqrst"), 21, 0, S("can't happen")); 274 275 test(S(""), 0, S("")); 276 test(S(""), 1, S("can't happen")); 277 test(S("abcde"), 0, S("")); 278 test(S("abcde"), 1, S("a")); 279 test(S("abcde"), 2, S("ab")); 280 test(S("abcde"), 4, S("abcd")); 281 test(S("abcde"), 5, S("abcde")); 282 test(S("abcde"), 6, S("can't happen")); 283 test(S("abcdefghij"), 0, S("")); 284 test(S("abcdefghij"), 1, S("a")); 285 test(S("abcdefghij"), 5, S("abcde")); 286 test(S("abcdefghij"), 9, S("abcdefghi")); 287 test(S("abcdefghij"), 10, S("abcdefghij")); 288 test(S("abcdefghij"), 11, S("can't happen")); 289 test(S("abcdefghijklmnopqrst"), 0, S("")); 290 test(S("abcdefghijklmnopqrst"), 1, S("a")); 291 test(S("abcdefghijklmnopqrst"), 10, S("abcdefghij")); 292 test(S("abcdefghijklmnopqrst"), 19, S("abcdefghijklmnopqrs")); 293 test(S("abcdefghijklmnopqrst"), 20, S("abcdefghijklmnopqrst")); 294 test(S("abcdefghijklmnopqrst"), 21, S("can't happen")); 295 296 test(S(""), S("")); 297 test(S("abcde"), S("")); 298 test(S("abcdefghij"), S("")); 299 test(S("abcdefghijklmnopqrst"), S("")); 300 } 301 #endif 302 } 303