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 // operator=(const charT* s); // 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 s1, const typename S::value_type* s2) 23 { 24 typedef typename S::traits_type T; 25 s1 = s2; 26 LIBCPP_ASSERT(s1.__invariants()); 27 assert(s1.size() == T::length(s2)); 28 assert(T::compare(s1.data(), s2, s1.size()) == 0); 29 assert(s1.capacity() >= s1.size()); 30 } 31 32 template <class S> 33 TEST_CONSTEXPR_CXX20 void test_string() { 34 test(S(), ""); 35 test(S("1"), ""); 36 test(S(), "1"); 37 test(S("1"), "2"); 38 test(S("1"), "2"); 39 40 test(S(), 41 "abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"); 42 test(S("123456789"), 43 "abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"); 44 test(S("1234567890123456789012345678901234567890123456789012345678901234567890"), 45 "abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"); 46 test(S("1234567890123456789012345678901234567890123456789012345678901234567890" 47 "1234567890123456789012345678901234567890123456789012345678901234567890"), 48 "abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"); 49 } 50 51 TEST_CONSTEXPR_CXX20 bool test() { 52 test_string<std::string>(); 53 #if TEST_STD_VER >= 11 54 test_string<std::basic_string<char, std::char_traits<char>, min_allocator<char>>>(); 55 #endif 56 57 return true; 58 } 59 60 int main(int, char**) 61 { 62 test(); 63 #if TEST_STD_VER > 17 64 static_assert(test()); 65 #endif 66 67 return 0; 68 } 69