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 // assign(basic_string_view<charT,traits> sv); // constexpr since C++20 13 14 #include <string> 15 #include <string_view> 16 #include <cassert> 17 18 #include "test_macros.h" 19 #include "min_allocator.h" 20 #include "test_allocator.h" 21 22 template <class S, class SV> 23 TEST_CONSTEXPR_CXX20 void 24 test(S s, SV sv, S expected) 25 { 26 s.assign(sv); 27 LIBCPP_ASSERT(s.__invariants()); 28 assert(s == expected); 29 } 30 31 template <class S, class SV> 32 TEST_CONSTEXPR_CXX20 void 33 testAlloc(S s, SV sv, const typename S::allocator_type& a) 34 { 35 s.assign(sv); 36 LIBCPP_ASSERT(s.__invariants()); 37 assert(s == sv); 38 assert(s.get_allocator() == a); 39 } 40 41 TEST_CONSTEXPR_CXX20 bool test() { 42 { 43 typedef std::string S; 44 typedef std::string_view SV; 45 test(S(), SV(), S()); 46 test(S(), SV("12345"), S("12345")); 47 test(S(), SV("1234567890"), S("1234567890")); 48 test(S(), SV("12345678901234567890"), S("12345678901234567890")); 49 50 test(S("12345"), SV(), S()); 51 test(S("12345"), SV("12345"), S("12345")); 52 test(S("12345"), SV("1234567890"), S("1234567890")); 53 test(S("12345"), SV("12345678901234567890"), S("12345678901234567890")); 54 55 test(S("1234567890"), SV(), S()); 56 test(S("1234567890"), SV("12345"), S("12345")); 57 test(S("1234567890"), SV("1234567890"), S("1234567890")); 58 test(S("1234567890"), SV("12345678901234567890"), S("12345678901234567890")); 59 60 test(S("12345678901234567890"), SV(), S()); 61 test(S("12345678901234567890"), SV("12345"), S("12345")); 62 test(S("12345678901234567890"), SV("1234567890"), S("1234567890")); 63 test(S("12345678901234567890"), SV("12345678901234567890"), 64 S("12345678901234567890")); 65 66 testAlloc(S(), SV(), std::allocator<char>()); 67 testAlloc(S(), SV("12345"), std::allocator<char>()); 68 testAlloc(S(), SV("1234567890"), std::allocator<char>()); 69 testAlloc(S(), SV("12345678901234567890"), std::allocator<char>()); 70 } 71 72 #if TEST_STD_VER >= 11 73 { 74 typedef std::basic_string <char, std::char_traits<char>, min_allocator<char>> S; 75 typedef std::basic_string_view<char, std::char_traits<char> > SV; 76 test(S(), SV(), S()); 77 test(S(), SV("12345"), S("12345")); 78 test(S(), SV("1234567890"), S("1234567890")); 79 test(S(), SV("12345678901234567890"), S("12345678901234567890")); 80 81 test(S("12345"), SV(), S()); 82 test(S("12345"), SV("12345"), S("12345")); 83 test(S("12345"), SV("1234567890"), S("1234567890")); 84 test(S("12345"), SV("12345678901234567890"), S("12345678901234567890")); 85 86 test(S("1234567890"), SV(), S()); 87 test(S("1234567890"), SV("12345"), S("12345")); 88 test(S("1234567890"), SV("1234567890"), S("1234567890")); 89 test(S("1234567890"), SV("12345678901234567890"), S("12345678901234567890")); 90 91 test(S("12345678901234567890"), SV(), S()); 92 test(S("12345678901234567890"), SV("12345"), S("12345")); 93 test(S("12345678901234567890"), SV("1234567890"), S("1234567890")); 94 test(S("12345678901234567890"), SV("12345678901234567890"), 95 S("12345678901234567890")); 96 97 testAlloc(S(), SV(), min_allocator<char>()); 98 testAlloc(S(), SV("12345"), min_allocator<char>()); 99 testAlloc(S(), SV("1234567890"), min_allocator<char>()); 100 testAlloc(S(), SV("12345678901234567890"), min_allocator<char>()); 101 } 102 #endif 103 104 return true; 105 } 106 107 int main(int, char**) 108 { 109 test(); 110 #if TEST_STD_VER > 17 111 static_assert(test()); 112 #endif 113 114 return 0; 115 } 116