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