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("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"), "123456789"); 41 test(S("1234567890123456789012345678901234567890123456789012345678901234567890"), 42 "abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"); 43 test(S("1234567890123456789012345678901234567890123456789012345678901234567890" 44 "1234567890123456789012345678901234567890123456789012345678901234567890"), 45 "abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"); 46 } 47 48 TEST_CONSTEXPR_CXX20 bool test() { 49 test_string<std::string>(); 50 #if TEST_STD_VER >= 11 51 test_string<std::basic_string<char, std::char_traits<char>, min_allocator<char>>>(); 52 #endif 53 54 return true; 55 } 56 57 int main(int, char**) { 58 test(); 59 #if TEST_STD_VER > 17 60 static_assert(test()); 61 #endif 62 63 return 0; 64 } 65