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 // XFAIL: LIBCXX-AIX-FIXME 10 11 // <string> 12 13 // iterator erase(const_iterator first, const_iterator last); // constexpr since C++20 14 15 #include <string> 16 #include <cassert> 17 18 #include "test_macros.h" 19 #include "min_allocator.h" 20 21 template <class S> 22 TEST_CONSTEXPR_CXX20 void 23 test(S s, typename S::difference_type pos, typename S::difference_type n, S expected) 24 { 25 typename S::const_iterator first = s.cbegin() + pos; 26 typename S::const_iterator last = s.cbegin() + pos + n; 27 typename S::iterator i = s.erase(first, last); 28 LIBCPP_ASSERT(s.__invariants()); 29 assert(s[s.size()] == typename S::value_type()); 30 assert(s == expected); 31 assert(i - s.begin() == pos); 32 } 33 34 TEST_CONSTEXPR_CXX20 bool test() { 35 { 36 typedef std::string S; 37 test(S(""), 0, 0, S("")); 38 test(S("abcde"), 0, 0, S("abcde")); 39 test(S("abcde"), 0, 1, S("bcde")); 40 test(S("abcde"), 0, 2, S("cde")); 41 test(S("abcde"), 0, 4, S("e")); 42 test(S("abcde"), 0, 5, S("")); 43 test(S("abcde"), 1, 0, S("abcde")); 44 test(S("abcde"), 1, 1, S("acde")); 45 test(S("abcde"), 1, 2, S("ade")); 46 test(S("abcde"), 1, 3, S("ae")); 47 test(S("abcde"), 1, 4, S("a")); 48 test(S("abcde"), 2, 0, S("abcde")); 49 test(S("abcde"), 2, 1, S("abde")); 50 test(S("abcde"), 2, 2, S("abe")); 51 test(S("abcde"), 2, 3, S("ab")); 52 test(S("abcde"), 4, 0, S("abcde")); 53 test(S("abcde"), 4, 1, S("abcd")); 54 test(S("abcde"), 5, 0, S("abcde")); 55 test(S("abcdefghij"), 0, 0, S("abcdefghij")); 56 test(S("abcdefghij"), 0, 1, S("bcdefghij")); 57 test(S("abcdefghij"), 0, 5, S("fghij")); 58 test(S("abcdefghij"), 0, 9, S("j")); 59 test(S("abcdefghij"), 0, 10, S("")); 60 test(S("abcdefghij"), 1, 0, S("abcdefghij")); 61 test(S("abcdefghij"), 1, 1, S("acdefghij")); 62 test(S("abcdefghij"), 1, 4, S("afghij")); 63 test(S("abcdefghij"), 1, 8, S("aj")); 64 test(S("abcdefghij"), 1, 9, S("a")); 65 test(S("abcdefghij"), 5, 0, S("abcdefghij")); 66 test(S("abcdefghij"), 5, 1, S("abcdeghij")); 67 test(S("abcdefghij"), 5, 2, S("abcdehij")); 68 test(S("abcdefghij"), 5, 4, S("abcdej")); 69 test(S("abcdefghij"), 5, 5, S("abcde")); 70 test(S("abcdefghij"), 9, 0, S("abcdefghij")); 71 test(S("abcdefghij"), 9, 1, S("abcdefghi")); 72 test(S("abcdefghij"), 10, 0, S("abcdefghij")); 73 test(S("abcdefghijklmnopqrst"), 0, 0, S("abcdefghijklmnopqrst")); 74 test(S("abcdefghijklmnopqrst"), 0, 1, S("bcdefghijklmnopqrst")); 75 test(S("abcdefghijklmnopqrst"), 0, 10, S("klmnopqrst")); 76 test(S("abcdefghijklmnopqrst"), 0, 19, S("t")); 77 test(S("abcdefghijklmnopqrst"), 0, 20, S("")); 78 test(S("abcdefghijklmnopqrst"), 1, 0, S("abcdefghijklmnopqrst")); 79 test(S("abcdefghijklmnopqrst"), 1, 1, S("acdefghijklmnopqrst")); 80 test(S("abcdefghijklmnopqrst"), 1, 9, S("aklmnopqrst")); 81 test(S("abcdefghijklmnopqrst"), 1, 18, S("at")); 82 test(S("abcdefghijklmnopqrst"), 1, 19, S("a")); 83 test(S("abcdefghijklmnopqrst"), 10, 0, S("abcdefghijklmnopqrst")); 84 test(S("abcdefghijklmnopqrst"), 10, 1, S("abcdefghijlmnopqrst")); 85 test(S("abcdefghijklmnopqrst"), 10, 5, S("abcdefghijpqrst")); 86 test(S("abcdefghijklmnopqrst"), 10, 9, S("abcdefghijt")); 87 test(S("abcdefghijklmnopqrst"), 10, 10, S("abcdefghij")); 88 test(S("abcdefghijklmnopqrst"), 19, 0, S("abcdefghijklmnopqrst")); 89 test(S("abcdefghijklmnopqrst"), 19, 1, S("abcdefghijklmnopqrs")); 90 test(S("abcdefghijklmnopqrst"), 20, 0, S("abcdefghijklmnopqrst")); 91 } 92 #if TEST_STD_VER >= 11 93 { 94 typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S; 95 test(S(""), 0, 0, S("")); 96 test(S("abcde"), 0, 0, S("abcde")); 97 test(S("abcde"), 0, 1, S("bcde")); 98 test(S("abcde"), 0, 2, S("cde")); 99 test(S("abcde"), 0, 4, S("e")); 100 test(S("abcde"), 0, 5, S("")); 101 test(S("abcde"), 1, 0, S("abcde")); 102 test(S("abcde"), 1, 1, S("acde")); 103 test(S("abcde"), 1, 2, S("ade")); 104 test(S("abcde"), 1, 3, S("ae")); 105 test(S("abcde"), 1, 4, S("a")); 106 test(S("abcde"), 2, 0, S("abcde")); 107 test(S("abcde"), 2, 1, S("abde")); 108 test(S("abcde"), 2, 2, S("abe")); 109 test(S("abcde"), 2, 3, S("ab")); 110 test(S("abcde"), 4, 0, S("abcde")); 111 test(S("abcde"), 4, 1, S("abcd")); 112 test(S("abcde"), 5, 0, S("abcde")); 113 test(S("abcdefghij"), 0, 0, S("abcdefghij")); 114 test(S("abcdefghij"), 0, 1, S("bcdefghij")); 115 test(S("abcdefghij"), 0, 5, S("fghij")); 116 test(S("abcdefghij"), 0, 9, S("j")); 117 test(S("abcdefghij"), 0, 10, S("")); 118 test(S("abcdefghij"), 1, 0, S("abcdefghij")); 119 test(S("abcdefghij"), 1, 1, S("acdefghij")); 120 test(S("abcdefghij"), 1, 4, S("afghij")); 121 test(S("abcdefghij"), 1, 8, S("aj")); 122 test(S("abcdefghij"), 1, 9, S("a")); 123 test(S("abcdefghij"), 5, 0, S("abcdefghij")); 124 test(S("abcdefghij"), 5, 1, S("abcdeghij")); 125 test(S("abcdefghij"), 5, 2, S("abcdehij")); 126 test(S("abcdefghij"), 5, 4, S("abcdej")); 127 test(S("abcdefghij"), 5, 5, S("abcde")); 128 test(S("abcdefghij"), 9, 0, S("abcdefghij")); 129 test(S("abcdefghij"), 9, 1, S("abcdefghi")); 130 test(S("abcdefghij"), 10, 0, S("abcdefghij")); 131 test(S("abcdefghijklmnopqrst"), 0, 0, S("abcdefghijklmnopqrst")); 132 test(S("abcdefghijklmnopqrst"), 0, 1, S("bcdefghijklmnopqrst")); 133 test(S("abcdefghijklmnopqrst"), 0, 10, S("klmnopqrst")); 134 test(S("abcdefghijklmnopqrst"), 0, 19, S("t")); 135 test(S("abcdefghijklmnopqrst"), 0, 20, S("")); 136 test(S("abcdefghijklmnopqrst"), 1, 0, S("abcdefghijklmnopqrst")); 137 test(S("abcdefghijklmnopqrst"), 1, 1, S("acdefghijklmnopqrst")); 138 test(S("abcdefghijklmnopqrst"), 1, 9, S("aklmnopqrst")); 139 test(S("abcdefghijklmnopqrst"), 1, 18, S("at")); 140 test(S("abcdefghijklmnopqrst"), 1, 19, S("a")); 141 test(S("abcdefghijklmnopqrst"), 10, 0, S("abcdefghijklmnopqrst")); 142 test(S("abcdefghijklmnopqrst"), 10, 1, S("abcdefghijlmnopqrst")); 143 test(S("abcdefghijklmnopqrst"), 10, 5, S("abcdefghijpqrst")); 144 test(S("abcdefghijklmnopqrst"), 10, 9, S("abcdefghijt")); 145 test(S("abcdefghijklmnopqrst"), 10, 10, S("abcdefghij")); 146 test(S("abcdefghijklmnopqrst"), 19, 0, S("abcdefghijklmnopqrst")); 147 test(S("abcdefghijklmnopqrst"), 19, 1, S("abcdefghijklmnopqrs")); 148 test(S("abcdefghijklmnopqrst"), 20, 0, S("abcdefghijklmnopqrst")); 149 } 150 #endif 151 152 return true; 153 } 154 155 int main(int, char**) 156 { 157 test(); 158 #if TEST_STD_VER > 17 159 static_assert(test()); 160 #endif 161 162 return 0; 163 } 164