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
test(S s,SV sv,S expected)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
testAlloc(S s,SV sv,const typename S::allocator_type & a)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
test()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
main(int,char **)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