//===----------------------------------------------------------------------===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// // // template // basic_string& append(InputIterator first, InputIterator last); #include #include #include "test_macros.h" #include "test_iterators.h" #include "min_allocator.h" template TEST_CONSTEXPR_CXX20 void test(S s, It first, It last, S expected) { s.append(first, last); LIBCPP_ASSERT(s.__invariants()); assert(s == expected); } #ifndef TEST_HAS_NO_EXCEPTIONS struct Widget { operator char() const { throw 42; } }; template TEST_CONSTEXPR_CXX20 void test_exceptions(S s, It first, It last) { S original = s; typename S::iterator begin = s.begin(); typename S::iterator end = s.end(); try { s.append(first, last); assert(false); } catch (...) {} // Part of "no effects" is that iterators and pointers // into the string must not have been invalidated. LIBCPP_ASSERT(s.__invariants()); assert(s == original); assert(s.begin() == begin); assert(s.end() == end); } #endif bool test() { { typedef std::string S; const char* s = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz"; test(S(), s, s, S()); test(S(), s, s+1, S("A")); test(S(), s, s+10, S("ABCDEFGHIJ")); test(S(), s, s+52, S("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S("12345"), s, s, S("12345")); test(S("12345"), s, s+1, S("12345A")); test(S("12345"), s, s+10, S("12345ABCDEFGHIJ")); test(S("12345"), s, s+52, S("12345ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S("1234567890"), s, s, S("1234567890")); test(S("1234567890"), s, s+1, S("1234567890A")); test(S("1234567890"), s, s+10, S("1234567890ABCDEFGHIJ")); test(S("1234567890"), s, s+52, S("1234567890ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S("12345678901234567890"), s, s, S("12345678901234567890")); test(S("12345678901234567890"), s, s+1, S("12345678901234567890""A")); test(S("12345678901234567890"), s, s+10, S("12345678901234567890""ABCDEFGHIJ")); test(S("12345678901234567890"), s, s+52, S("12345678901234567890""ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S(), cpp17_input_iterator(s), cpp17_input_iterator(s), S()); test(S(), cpp17_input_iterator(s), cpp17_input_iterator(s+1), S("A")); test(S(), cpp17_input_iterator(s), cpp17_input_iterator(s+10), S("ABCDEFGHIJ")); test(S(), cpp17_input_iterator(s), cpp17_input_iterator(s+52), S("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S("12345"), cpp17_input_iterator(s), cpp17_input_iterator(s), S("12345")); test(S("12345"), cpp17_input_iterator(s), cpp17_input_iterator(s+1), S("12345A")); test(S("12345"), cpp17_input_iterator(s), cpp17_input_iterator(s+10), S("12345ABCDEFGHIJ")); test(S("12345"), cpp17_input_iterator(s), cpp17_input_iterator(s+52), S("12345ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S("1234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s), S("1234567890")); test(S("1234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s+1), S("1234567890A")); test(S("1234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s+10), S("1234567890ABCDEFGHIJ")); test(S("1234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s+52), S("1234567890ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S("12345678901234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s), S("12345678901234567890")); test(S("12345678901234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s+1), S("12345678901234567890""A")); test(S("12345678901234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s+10), S("12345678901234567890""ABCDEFGHIJ")); test(S("12345678901234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s+52), S("12345678901234567890""ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); } #if TEST_STD_VER >= 11 { typedef std::basic_string, min_allocator> S; const char* s = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz"; test(S(), s, s, S()); test(S(), s, s+1, S("A")); test(S(), s, s+10, S("ABCDEFGHIJ")); test(S(), s, s+52, S("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S("12345"), s, s, S("12345")); test(S("12345"), s, s+1, S("12345A")); test(S("12345"), s, s+10, S("12345ABCDEFGHIJ")); test(S("12345"), s, s+52, S("12345ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S("1234567890"), s, s, S("1234567890")); test(S("1234567890"), s, s+1, S("1234567890A")); test(S("1234567890"), s, s+10, S("1234567890ABCDEFGHIJ")); test(S("1234567890"), s, s+52, S("1234567890ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S("12345678901234567890"), s, s, S("12345678901234567890")); test(S("12345678901234567890"), s, s+1, S("12345678901234567890""A")); test(S("12345678901234567890"), s, s+10, S("12345678901234567890""ABCDEFGHIJ")); test(S("12345678901234567890"), s, s+52, S("12345678901234567890""ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S(), cpp17_input_iterator(s), cpp17_input_iterator(s), S()); test(S(), cpp17_input_iterator(s), cpp17_input_iterator(s+1), S("A")); test(S(), cpp17_input_iterator(s), cpp17_input_iterator(s+10), S("ABCDEFGHIJ")); test(S(), cpp17_input_iterator(s), cpp17_input_iterator(s+52), S("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S("12345"), cpp17_input_iterator(s), cpp17_input_iterator(s), S("12345")); test(S("12345"), cpp17_input_iterator(s), cpp17_input_iterator(s+1), S("12345A")); test(S("12345"), cpp17_input_iterator(s), cpp17_input_iterator(s+10), S("12345ABCDEFGHIJ")); test(S("12345"), cpp17_input_iterator(s), cpp17_input_iterator(s+52), S("12345ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S("1234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s), S("1234567890")); test(S("1234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s+1), S("1234567890A")); test(S("1234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s+10), S("1234567890ABCDEFGHIJ")); test(S("1234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s+52), S("1234567890ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); test(S("12345678901234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s), S("12345678901234567890")); test(S("12345678901234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s+1), S("12345678901234567890""A")); test(S("12345678901234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s+10), S("12345678901234567890""ABCDEFGHIJ")); test(S("12345678901234567890"), cpp17_input_iterator(s), cpp17_input_iterator(s+52), S("12345678901234567890""ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz")); } #endif #ifndef TEST_HAS_NO_EXCEPTIONS if (!TEST_IS_CONSTANT_EVALUATED) { // test iterator operations that throw typedef std::string S; typedef ThrowingIterator TIter; typedef cpp17_input_iterator IIter; const char* s = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz"; test_exceptions(S(), IIter(TIter(s, s+10, 4, TIter::TAIncrement)), IIter(TIter())); test_exceptions(S(), IIter(TIter(s, s+10, 5, TIter::TADereference)), IIter(TIter())); test_exceptions(S(), IIter(TIter(s, s+10, 6, TIter::TAComparison)), IIter(TIter())); test_exceptions(S(), TIter(s, s+10, 4, TIter::TAIncrement), TIter()); test_exceptions(S(), TIter(s, s+10, 5, TIter::TADereference), TIter()); test_exceptions(S(), TIter(s, s+10, 6, TIter::TAComparison), TIter()); Widget w[100]; test_exceptions(S(), w, w+100); } #endif { // test appending to self typedef std::string S; S s_short = "123/"; S s_long = "Lorem ipsum dolor sit amet, consectetur/"; s_short.append(s_short.begin(), s_short.end()); assert(s_short == "123/123/"); s_short.append(s_short.begin(), s_short.end()); assert(s_short == "123/123/123/123/"); s_short.append(s_short.begin(), s_short.end()); assert(s_short == "123/123/123/123/123/123/123/123/"); s_long.append(s_long.begin(), s_long.end()); assert(s_long == "Lorem ipsum dolor sit amet, consectetur/Lorem ipsum dolor sit amet, consectetur/"); } { // test appending a different type typedef std::string S; const uint8_t p[] = "ABCD"; S s; s.append(p, p + 4); assert(s == "ABCD"); } { // regression-test appending to self in sneaky ways std::string s_short = "hello"; std::string s_long = "Lorem ipsum dolor sit amet, consectetur/"; std::string s_othertype = "hello"; std::string s_sneaky = "hello"; test(s_short, s_short.data() + s_short.size(), s_short.data() + s_short.size() + 1, std::string("hello\0", 6)); test(s_long, s_long.data() + s_long.size(), s_long.data() + s_long.size() + 1, std::string("Lorem ipsum dolor sit amet, consectetur/\0", 41)); s_sneaky.reserve(12); test(s_sneaky, s_sneaky.data(), s_sneaky.data() + 6, std::string("hellohello\0", 11)); if (!TEST_IS_CONSTANT_EVALUATED) { const unsigned char *first = reinterpret_cast(s_othertype.data()); test(s_othertype, first + 2, first + 5, std::string("hellollo")); } } { // test with a move iterator that returns char&& typedef forward_iterator It; typedef std::move_iterator MoveIt; const char p[] = "ABCD"; std::string s; s.append(MoveIt(It(std::begin(p))), MoveIt(It(std::end(p) - 1))); assert(s == "ABCD"); } { // test with a move iterator that returns char&& typedef const char* It; typedef std::move_iterator MoveIt; const char p[] = "ABCD"; std::string s; s.append(MoveIt(It(std::begin(p))), MoveIt(It(std::end(p) - 1))); assert(s == "ABCD"); } return true; } int main(int, char**) { test(); #if TEST_STD_VER > 17 // static_assert(test()); #endif return 0; }