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 // append(const basic_string<charT,traits>& str); // constexpr since C++20 13 14 #include <string> 15 #include <cassert> 16 17 #include "test_macros.h" 18 #include "min_allocator.h" 19 20 template <class S> 21 TEST_CONSTEXPR_CXX20 void 22 test(S s, S str, S expected) 23 { 24 s.append(str); 25 LIBCPP_ASSERT(s.__invariants()); 26 assert(s == expected); 27 } 28 29 TEST_CONSTEXPR_CXX20 bool test() { 30 { 31 typedef std::string S; 32 test(S(), S(), S()); 33 test(S(), S("12345"), S("12345")); 34 test(S(), S("1234567890"), S("1234567890")); 35 test(S(), S("12345678901234567890"), S("12345678901234567890")); 36 37 test(S("12345"), S(), S("12345")); 38 test(S("12345"), S("12345"), S("1234512345")); 39 test(S("12345"), S("1234567890"), S("123451234567890")); 40 test(S("12345"), S("12345678901234567890"), S("1234512345678901234567890")); 41 42 test(S("1234567890"), S(), S("1234567890")); 43 test(S("1234567890"), S("12345"), S("123456789012345")); 44 test(S("1234567890"), S("1234567890"), S("12345678901234567890")); 45 test(S("1234567890"), S("12345678901234567890"), S("123456789012345678901234567890")); 46 47 test(S("12345678901234567890"), S(), S("12345678901234567890")); 48 test(S("12345678901234567890"), S("12345"), S("1234567890123456789012345")); 49 test(S("12345678901234567890"), S("1234567890"), S("123456789012345678901234567890")); 50 test(S("12345678901234567890"), S("12345678901234567890"), 51 S("1234567890123456789012345678901234567890")); 52 } 53 #if TEST_STD_VER >= 11 54 { 55 typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S; 56 test(S(), S(), S()); 57 test(S(), S("12345"), S("12345")); 58 test(S(), S("1234567890"), S("1234567890")); 59 test(S(), S("12345678901234567890"), S("12345678901234567890")); 60 61 test(S("12345"), S(), S("12345")); 62 test(S("12345"), S("12345"), S("1234512345")); 63 test(S("12345"), S("1234567890"), S("123451234567890")); 64 test(S("12345"), S("12345678901234567890"), S("1234512345678901234567890")); 65 66 test(S("1234567890"), S(), S("1234567890")); 67 test(S("1234567890"), S("12345"), S("123456789012345")); 68 test(S("1234567890"), S("1234567890"), S("12345678901234567890")); 69 test(S("1234567890"), S("12345678901234567890"), S("123456789012345678901234567890")); 70 71 test(S("12345678901234567890"), S(), S("12345678901234567890")); 72 test(S("12345678901234567890"), S("12345"), S("1234567890123456789012345")); 73 test(S("12345678901234567890"), S("1234567890"), S("123456789012345678901234567890")); 74 test(S("12345678901234567890"), S("12345678901234567890"), 75 S("1234567890123456789012345678901234567890")); 76 } 77 #endif 78 79 #if TEST_STD_VER > 3 80 { // LWG 2946 81 std::string s; 82 s.append({"abc", 1}); 83 assert(s.size() == 1); 84 assert(s == "a"); 85 } 86 #endif 87 88 return true; 89 } 90 91 int main(int, char**) 92 { 93 test(); 94 #if TEST_STD_VER > 17 95 static_assert(test()); 96 #endif 97 98 return 0; 99 } 100