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 test(S s, S str, S expected) { 22 s.append(str); 23 LIBCPP_ASSERT(s.__invariants()); 24 assert(s == expected); 25 } 26 27 template <class S> 28 TEST_CONSTEXPR_CXX20 void test_string() { 29 test(S(), S(), S()); 30 test(S(), S("12345"), S("12345")); 31 test(S(), S("1234567890"), S("1234567890")); 32 test(S(), S("12345678901234567890"), S("12345678901234567890")); 33 34 test(S("12345"), S(), S("12345")); 35 test(S("12345"), S("12345"), S("1234512345")); 36 test(S("12345"), S("1234567890"), S("123451234567890")); 37 test(S("12345"), S("12345678901234567890"), S("1234512345678901234567890")); 38 39 test(S("1234567890"), S(), S("1234567890")); 40 test(S("1234567890"), S("12345"), S("123456789012345")); 41 test(S("1234567890"), S("1234567890"), S("12345678901234567890")); 42 test(S("1234567890"), S("12345678901234567890"), S("123456789012345678901234567890")); 43 44 test(S("12345678901234567890"), S(), S("12345678901234567890")); 45 test(S("12345678901234567890"), S("12345"), S("1234567890123456789012345")); 46 test(S("12345678901234567890"), S("1234567890"), S("123456789012345678901234567890")); 47 test(S("12345678901234567890"), S("12345678901234567890"), S("1234567890123456789012345678901234567890")); 48 49 // Starting from long string (no SSO) 50 test(S("123456789012345678901234567890"), S(), S("123456789012345678901234567890")); 51 test(S("123456789012345678901234567890"), S("12345"), S("12345678901234567890123456789012345")); 52 test(S("123456789012345678901234567890"), S("1234567890"), S("1234567890123456789012345678901234567890")); 53 test(S("123456789012345678901234567890"), 54 S("12345678901234567890"), 55 S("12345678901234567890123456789012345678901234567890")); 56 } 57 58 TEST_CONSTEXPR_CXX20 bool test() { 59 test_string<std::string>(); 60 #if TEST_STD_VER >= 11 61 test_string<std::basic_string<char, std::char_traits<char>, min_allocator<char>>>(); 62 #endif 63 64 #if TEST_STD_VER >= 11 65 { // LWG 2946 66 std::string s; 67 s.append({"abc", 1}); 68 assert(s.size() == 1); 69 assert(s == "a"); 70 } 71 #endif 72 73 return true; 74 } 75 76 int main(int, char**) { 77 test(); 78 #if TEST_STD_VER > 17 79 static_assert(test()); 80 #endif 81 82 return 0; 83 } 84