xref: /llvm-project/libcxx/test/std/strings/basic.string/string.cons/copy_assignment.pass.cpp (revision 1cf4113952ae3e4cc75decdf6feb3ce5dd8ca4a1)
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 basic_string<charT,traits,Allocator>& 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
22 test(S s1, const S& s2)
23 {
24     s1 = s2;
25     LIBCPP_ASSERT(s1.__invariants());
26     assert(s1 == s2);
27     assert(s1.capacity() >= s1.size());
28 }
29 
30 TEST_CONSTEXPR_CXX20 bool test() {
31   {
32     typedef std::string S;
33     test(S(), S());
34     test(S("1"), S());
35     test(S(), S("1"));
36     test(S("1"), S("2"));
37     test(S("1"), S("2"));
38 
39     test(S(),
40          S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
41     test(S("123456789"),
42          S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
43     test(S("1234567890123456789012345678901234567890123456789012345678901234567890"),
44          S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
45     test(S("1234567890123456789012345678901234567890123456789012345678901234567890"
46            "1234567890123456789012345678901234567890123456789012345678901234567890"),
47          S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
48   }
49 #if TEST_STD_VER >= 11
50   {
51     typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
52     test(S(), S());
53     test(S("1"), S());
54     test(S(), S("1"));
55     test(S("1"), S("2"));
56     test(S("1"), S("2"));
57 
58     test(S(),
59          S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
60     test(S("123456789"),
61          S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
62     test(S("1234567890123456789012345678901234567890123456789012345678901234567890"),
63          S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
64     test(S("1234567890123456789012345678901234567890123456789012345678901234567890"
65            "1234567890123456789012345678901234567890123456789012345678901234567890"),
66          S("abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz"));
67   }
68 #endif
69 
70 #if TEST_STD_VER > 3
71   {   // LWG 2946
72     std::string s;
73     s = {"abc", 1};
74     assert(s.size() == 1);
75     assert(s == "a");
76   }
77 #endif
78 
79   return true;
80 }
81 
82 int main(int, char**)
83 {
84   test();
85 #if TEST_STD_VER > 17
86   static_assert(test());
87 #endif
88 
89   return 0;
90 }
91