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 // size_type copy(charT* s, size_type n, size_type pos = 0) const; // constexpr since C++20
12 
13 #include <string>
14 #include <stdexcept>
15 #include <algorithm>
16 #include <cassert>
17 
18 #include "test_macros.h"
19 #include "min_allocator.h"
20 
21 template <class S>
22 TEST_CONSTEXPR_CXX20 void
test(S str,typename S::value_type * s,typename S::size_type n,typename S::size_type pos)23 test(S str, typename S::value_type* s, typename S::size_type n,
24      typename S::size_type pos)
25 {
26     const S& cs = str;
27     if (pos <= cs.size())
28     {
29         typename S::size_type r = cs.copy(s, n, pos);
30         typename S::size_type rlen = std::min(n, cs.size() - pos);
31         assert(r == rlen);
32         for (r = 0; r < rlen; ++r)
33             assert(S::traits_type::eq(cs[pos+r], s[r]));
34     }
35 #ifndef TEST_HAS_NO_EXCEPTIONS
36     else if (!TEST_IS_CONSTANT_EVALUATED)
37     {
38         try
39         {
40             typename S::size_type r = cs.copy(s, n, pos);
41             ((void)r); // Prevent unused warning
42             assert(false);
43         }
44         catch (std::out_of_range&)
45         {
46             assert(pos > str.size());
47         }
48     }
49 #endif
50 }
51 
test()52 TEST_CONSTEXPR_CXX20 bool test() {
53   {
54     typedef std::string S;
55     char s[50];
56     test(S(""), s, 0, 0);
57     test(S(""), s, 0, 1);
58     test(S(""), s, 1, 0);
59     test(S("abcde"), s, 0, 0);
60     test(S("abcde"), s, 0, 1);
61     test(S("abcde"), s, 0, 2);
62     test(S("abcde"), s, 0, 4);
63     test(S("abcde"), s, 0, 5);
64     test(S("abcde"), s, 0, 6);
65     test(S("abcde"), s, 1, 0);
66     test(S("abcde"), s, 1, 1);
67     test(S("abcde"), s, 1, 2);
68     test(S("abcde"), s, 1, 4);
69     test(S("abcde"), s, 1, 5);
70     test(S("abcde"), s, 2, 0);
71     test(S("abcde"), s, 2, 1);
72     test(S("abcde"), s, 2, 2);
73     test(S("abcde"), s, 2, 4);
74     test(S("abcde"), s, 4, 0);
75     test(S("abcde"), s, 4, 1);
76     test(S("abcde"), s, 4, 2);
77     test(S("abcde"), s, 5, 0);
78     test(S("abcde"), s, 5, 1);
79     test(S("abcde"), s, 6, 0);
80     test(S("abcdefghijklmnopqrst"), s, 0, 0);
81     test(S("abcdefghijklmnopqrst"), s, 0, 1);
82     test(S("abcdefghijklmnopqrst"), s, 0, 2);
83     test(S("abcdefghijklmnopqrst"), s, 0, 10);
84     test(S("abcdefghijklmnopqrst"), s, 0, 19);
85     test(S("abcdefghijklmnopqrst"), s, 0, 20);
86     test(S("abcdefghijklmnopqrst"), s, 0, 21);
87     test(S("abcdefghijklmnopqrst"), s, 1, 0);
88     test(S("abcdefghijklmnopqrst"), s, 1, 1);
89     test(S("abcdefghijklmnopqrst"), s, 1, 2);
90     test(S("abcdefghijklmnopqrst"), s, 1, 9);
91     test(S("abcdefghijklmnopqrst"), s, 1, 18);
92     test(S("abcdefghijklmnopqrst"), s, 1, 19);
93     test(S("abcdefghijklmnopqrst"), s, 1, 20);
94     test(S("abcdefghijklmnopqrst"), s, 2, 0);
95     test(S("abcdefghijklmnopqrst"), s, 2, 1);
96     test(S("abcdefghijklmnopqrst"), s, 2, 2);
97     test(S("abcdefghijklmnopqrst"), s, 2, 9);
98     test(S("abcdefghijklmnopqrst"), s, 2, 17);
99     test(S("abcdefghijklmnopqrst"), s, 2, 18);
100     test(S("abcdefghijklmnopqrst"), s, 2, 19);
101     test(S("abcdefghijklmnopqrst"), s, 10, 0);
102     test(S("abcdefghijklmnopqrst"), s, 10, 1);
103     test(S("abcdefghijklmnopqrst"), s, 10, 2);
104     test(S("abcdefghijklmnopqrst"), s, 10, 5);
105     test(S("abcdefghijklmnopqrst"), s, 10, 9);
106     test(S("abcdefghijklmnopqrst"), s, 10, 10);
107     test(S("abcdefghijklmnopqrst"), s, 10, 11);
108     test(S("abcdefghijklmnopqrst"), s, 19, 0);
109     test(S("abcdefghijklmnopqrst"), s, 19, 1);
110     test(S("abcdefghijklmnopqrst"), s, 19, 2);
111     test(S("abcdefghijklmnopqrst"), s, 20, 0);
112     test(S("abcdefghijklmnopqrst"), s, 20, 1);
113     test(S("abcdefghijklmnopqrst"), s, 21, 0);
114   }
115 #if TEST_STD_VER >= 11
116   {
117     typedef std::basic_string<char, std::char_traits<char>, min_allocator<char>> S;
118     char s[50];
119     test(S(""), s, 0, 0);
120     test(S(""), s, 0, 1);
121     test(S(""), s, 1, 0);
122     test(S("abcde"), s, 0, 0);
123     test(S("abcde"), s, 0, 1);
124     test(S("abcde"), s, 0, 2);
125     test(S("abcde"), s, 0, 4);
126     test(S("abcde"), s, 0, 5);
127     test(S("abcde"), s, 0, 6);
128     test(S("abcde"), s, 1, 0);
129     test(S("abcde"), s, 1, 1);
130     test(S("abcde"), s, 1, 2);
131     test(S("abcde"), s, 1, 4);
132     test(S("abcde"), s, 1, 5);
133     test(S("abcde"), s, 2, 0);
134     test(S("abcde"), s, 2, 1);
135     test(S("abcde"), s, 2, 2);
136     test(S("abcde"), s, 2, 4);
137     test(S("abcde"), s, 4, 0);
138     test(S("abcde"), s, 4, 1);
139     test(S("abcde"), s, 4, 2);
140     test(S("abcde"), s, 5, 0);
141     test(S("abcde"), s, 5, 1);
142     test(S("abcde"), s, 6, 0);
143     test(S("abcdefghijklmnopqrst"), s, 0, 0);
144     test(S("abcdefghijklmnopqrst"), s, 0, 1);
145     test(S("abcdefghijklmnopqrst"), s, 0, 2);
146     test(S("abcdefghijklmnopqrst"), s, 0, 10);
147     test(S("abcdefghijklmnopqrst"), s, 0, 19);
148     test(S("abcdefghijklmnopqrst"), s, 0, 20);
149     test(S("abcdefghijklmnopqrst"), s, 0, 21);
150     test(S("abcdefghijklmnopqrst"), s, 1, 0);
151     test(S("abcdefghijklmnopqrst"), s, 1, 1);
152     test(S("abcdefghijklmnopqrst"), s, 1, 2);
153     test(S("abcdefghijklmnopqrst"), s, 1, 9);
154     test(S("abcdefghijklmnopqrst"), s, 1, 18);
155     test(S("abcdefghijklmnopqrst"), s, 1, 19);
156     test(S("abcdefghijklmnopqrst"), s, 1, 20);
157     test(S("abcdefghijklmnopqrst"), s, 2, 0);
158     test(S("abcdefghijklmnopqrst"), s, 2, 1);
159     test(S("abcdefghijklmnopqrst"), s, 2, 2);
160     test(S("abcdefghijklmnopqrst"), s, 2, 9);
161     test(S("abcdefghijklmnopqrst"), s, 2, 17);
162     test(S("abcdefghijklmnopqrst"), s, 2, 18);
163     test(S("abcdefghijklmnopqrst"), s, 2, 19);
164     test(S("abcdefghijklmnopqrst"), s, 10, 0);
165     test(S("abcdefghijklmnopqrst"), s, 10, 1);
166     test(S("abcdefghijklmnopqrst"), s, 10, 2);
167     test(S("abcdefghijklmnopqrst"), s, 10, 5);
168     test(S("abcdefghijklmnopqrst"), s, 10, 9);
169     test(S("abcdefghijklmnopqrst"), s, 10, 10);
170     test(S("abcdefghijklmnopqrst"), s, 10, 11);
171     test(S("abcdefghijklmnopqrst"), s, 19, 0);
172     test(S("abcdefghijklmnopqrst"), s, 19, 1);
173     test(S("abcdefghijklmnopqrst"), s, 19, 2);
174     test(S("abcdefghijklmnopqrst"), s, 20, 0);
175     test(S("abcdefghijklmnopqrst"), s, 20, 1);
176     test(S("abcdefghijklmnopqrst"), s, 21, 0);
177   }
178 #endif
179 
180   return true;
181 }
182 
main(int,char **)183 int main(int, char**)
184 {
185   test();
186 #if TEST_STD_VER > 17
187   static_assert(test());
188 #endif
189 
190   return 0;
191 }
192