1 //===----------------------------------------------------------------------===//
2 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
3 // See https://llvm.org/LICENSE.txt for license information.
4 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
5 //
6 //===----------------------------------------------------------------------===//
7
8 #ifndef TEST_STD_UTILITIES_FORMAT_FORMAT_FUNCTIONS_FORMAT_TESTS_H
9 #define TEST_STD_UTILITIES_FORMAT_FORMAT_FUNCTIONS_FORMAT_TESTS_H
10
11 #include <format>
12
13 #include <algorithm>
14 #include <cassert>
15 #include <charconv>
16 #include <cmath>
17 #include <cstdint>
18 #include <iterator>
19
20 #include "string_literal.h"
21 #include "test_macros.h"
22 #include "format.functions.common.h"
23
24 // In this file the following template types are used:
25 // TestFunction must be callable as check(expected-result, string-to-format, args-to-format...)
26 // ExceptionTest must be callable as check_exception(expected-exception, string-to-format, args-to-format...)
27
28 enum class execution_modus { partial, full };
29
30 template <class CharT>
invalid_types(std::string_view valid)31 std::vector<std::basic_string_view<CharT>> invalid_types(std::string_view valid) {
32 std::vector<std::basic_string_view<CharT>> result;
33
34 #define CASE(T) \
35 case #T[0]: \
36 result.push_back(SV("Invalid formatter type {:" #T "}")); \
37 break;
38
39 #if TEST_STD_VER > 20
40 constexpr std::string_view types = "aAbBcdeEfFgGopPsxX?";
41 #else
42 constexpr std::string_view types = "aAbBcdeEfFgGopPsxX";
43 #endif
44
45 for (auto type : types) {
46 if (valid.find(type) != std::string::npos)
47 continue;
48
49 switch (type) {
50 CASE(a)
51 CASE(A)
52 CASE(b)
53 CASE(B)
54 CASE(c)
55 CASE(d)
56 CASE(e)
57 CASE(E)
58 CASE(f)
59 CASE(F)
60 CASE(g)
61 CASE(G)
62 CASE(o)
63 CASE(p)
64 CASE(P)
65 CASE(s)
66 CASE(x)
67 CASE(X)
68 CASE(?)
69 case 0:
70 break;
71 default:
72 assert(false && "Add the type to the list of cases.");
73 }
74 }
75 #undef CASE
76
77 return result;
78 }
79
80 template <class CharT, class TestFunction>
format_test_buffer_copy(TestFunction check)81 void format_test_buffer_copy(TestFunction check) {
82 // *** copy ***
83 check(SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"),
84 SV("{}"),
85 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
86
87 check(SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
88 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"),
89 SV("{}"),
90 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
91 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
92
93 check(SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
94 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
95 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
96 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"),
97 SV("{}"),
98 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
99 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
100 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
101 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
102
103 check(SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
104 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
105 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
106 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
107 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
108 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
109 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
110 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"),
111 SV("{}"),
112 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
113 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
114 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
115 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
116 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
117 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
118 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
119 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
120
121 check(
122 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
123 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
124 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
125 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
126 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
127 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
128 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
129 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
130 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
131 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
132 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
133 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
134 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
135 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
136 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
137 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"),
138 SV("{}"),
139 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
140 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
141 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
142 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
143 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
144 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
145 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
146 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
147 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
148 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
149 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
150 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
151 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
152 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
153 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
154 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
155
156 // *** copy + push_back ***
157
158 check(SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
159 "X"),
160 SV("{}X"),
161 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
162
163 check(SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
164 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
165 "X"),
166 SV("{}X"),
167 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
168 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
169
170 check(SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
171 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
172 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
173 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
174 "X"),
175 SV("{}X"),
176 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
177 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
178 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
179 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
180
181 check(SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
182 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
183 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
184 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
185 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
186 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
187 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
188 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
189 "X"),
190 SV("{}X"),
191 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
192 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
193 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
194 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
195 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
196 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
197 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
198 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
199
200 check(
201 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
202 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
203 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
204 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
205 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
206 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
207 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
208 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
209 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
210 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
211 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
212 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
213 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
214 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
215 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
216 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
217 "X"),
218 SV("{}X"),
219 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
220 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
221 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
222 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
223 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
224 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
225 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
226 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
227 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
228 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
229 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
230 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
231 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
232 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
233 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
234 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
235
236 // *** push_back + copy ***
237
238 check(SV("X"
239 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"),
240 SV("X{}"),
241 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
242
243 check(SV("X"
244 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
245 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"),
246 SV("X{}"),
247 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
248 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
249
250 check(SV("X"
251 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
252 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
253 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
254 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"),
255 SV("X{}"),
256 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
257 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
258 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
259 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
260
261 check(SV("X"
262 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
263 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
264 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
265 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
266 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
267 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
268 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
269 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"),
270 SV("X{}"),
271 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
272 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
273 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
274 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
275 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
276 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
277 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
278 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
279
280 check(
281 SV("X"
282 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
283 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
284 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
285 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
286 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
287 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
288 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
289 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
290 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
291 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
292 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
293 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
294 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
295 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
296 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
297 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"),
298 SV("X{}"),
299 SV("0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
300 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
301 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
302 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
303 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
304 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
305 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
306 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
307 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
308 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
309 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
310 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
311 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
312 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
313 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"
314 "0123456789abcdef0123456789abcdef0123456789abcdef0123456789abcdef"));
315 }
316
317 template <class CharT, class TestFunction>
format_test_buffer_full(TestFunction check)318 void format_test_buffer_full(TestFunction check) {
319 // *** fill ***
320 check(SV("||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"), SV("{:|<64}"), SV(""));
321
322 check(SV("||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
323 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"),
324 SV("{:|<128}"),
325 SV(""));
326
327 check(SV("||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
328 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
329 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
330 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"),
331 SV("{:|<256}"),
332 SV(""));
333
334 check(SV("||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
335 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
336 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
337 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
338 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
339 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
340 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
341 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"),
342 SV("{:|<512}"),
343 SV(""));
344
345 check(SV("||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
346 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
347 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
348 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
349 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
350 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
351 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
352 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
353 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
354 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
355 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
356 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
357 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
358 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
359 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
360 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"),
361 SV("{:|<1024}"),
362 SV(""));
363
364 // *** fill + push_back ***
365
366 check(SV("||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
367 "X"),
368 SV("{:|<64}X"),
369 SV(""));
370
371 check(SV("||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
372 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
373 "X"),
374 SV("{:|<128}X"),
375 SV(""));
376
377 check(SV("||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
378 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
379 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
380 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
381 "X"),
382 SV("{:|<256}X"),
383 SV(""));
384
385 check(SV("||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
386 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
387 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
388 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
389 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
390 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
391 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
392 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
393 "X"),
394 SV("{:|<512}X"),
395 SV(""));
396
397 check(SV("||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
398 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
399 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
400 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
401 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
402 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
403 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
404 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
405 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
406 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
407 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
408 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
409 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
410 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
411 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
412 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
413 "X"),
414 SV("{:|<1024}X"),
415 SV(""));
416
417 // *** push_back + fill ***
418
419 check(SV("X"
420 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"),
421 SV("X{:|<64}"),
422 SV(""));
423
424 check(SV("X"
425 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
426 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"),
427 SV("X{:|<128}"),
428 SV(""));
429
430 check(SV("X"
431 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
432 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
433 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
434 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"),
435 SV("X{:|<256}"),
436 SV(""));
437
438 check(SV("X"
439 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
440 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
441 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
442 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
443 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
444 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
445 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
446 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"),
447 SV("X{:|<512}"),
448 SV(""));
449
450 check(SV("X"
451 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
452 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
453 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
454 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
455 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
456 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
457 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
458 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
459 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
460 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
461 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
462 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
463 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
464 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
465 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"
466 "||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||"),
467 SV("X{:|<1024}"),
468 SV(""));
469 }
470
471 // Using a const ref for world and universe so a string literal will be a character array.
472 // When passed as character array W and U have different types.
473 template <class CharT, class W, class U, class TestFunction, class ExceptionTest>
format_test_string(const W & world,const U & universe,TestFunction check,ExceptionTest check_exception)474 void format_test_string(const W& world, const U& universe, TestFunction check, ExceptionTest check_exception) {
475
476 // *** Valid input tests ***
477 // Unused argument is ignored. TODO FMT what does the Standard mandate?
478 check(SV("hello world"), SV("hello {}"), world, universe);
479 check(SV("hello world and universe"), SV("hello {} and {}"), world, universe);
480 check(SV("hello world"), SV("hello {0}"), world, universe);
481 check(SV("hello universe"), SV("hello {1}"), world, universe);
482 check(SV("hello universe and world"), SV("hello {1} and {0}"), world, universe);
483
484 check(SV("hello world"), SV("hello {:_>}"), world);
485 check(SV("hello world "), SV("hello {:8}"), world);
486 check(SV("hello world"), SV("hello {:>8}"), world);
487 check(SV("hello ___world"), SV("hello {:_>8}"), world);
488 check(SV("hello _world__"), SV("hello {:_^8}"), world);
489 check(SV("hello world___"), SV("hello {:_<8}"), world);
490
491 // The fill character ':' is allowed here (P0645) but not in ranges (P2286).
492 check(SV("hello :::world"), SV("hello {::>8}"), world);
493 check(SV("hello <<<world"), SV("hello {:<>8}"), world);
494 check(SV("hello ^^^world"), SV("hello {:^>8}"), world);
495
496 check(SV("hello $world"), SV("hello {:$>{}}"), world, 6);
497 check(SV("hello $world"), SV("hello {0:$>{1}}"), world, 6);
498 check(SV("hello $world"), SV("hello {1:$>{0}}"), 6, world);
499
500 check(SV("hello world"), SV("hello {:.5}"), world);
501 check(SV("hello unive"), SV("hello {:.5}"), universe);
502
503 check(SV("hello univer"), SV("hello {:.{}}"), universe, 6);
504 check(SV("hello univer"), SV("hello {0:.{1}}"), universe, 6);
505 check(SV("hello univer"), SV("hello {1:.{0}}"), 6, universe);
506
507 check(SV("hello %world%"), SV("hello {:%^7.7}"), world);
508 check(SV("hello univers"), SV("hello {:%^7.7}"), universe);
509 check(SV("hello %world%"), SV("hello {:%^{}.{}}"), world, 7, 7);
510 check(SV("hello %world%"), SV("hello {0:%^{1}.{2}}"), world, 7, 7);
511 check(SV("hello %world%"), SV("hello {0:%^{2}.{1}}"), world, 7, 7);
512 check(SV("hello %world%"), SV("hello {1:%^{0}.{2}}"), 7, world, 7);
513
514 check(SV("hello world"), SV("hello {:_>s}"), world);
515 check(SV("hello $world"), SV("hello {:$>{}s}"), world, 6);
516 check(SV("hello world"), SV("hello {:.5s}"), world);
517 check(SV("hello univer"), SV("hello {:.{}s}"), universe, 6);
518 check(SV("hello %world%"), SV("hello {:%^7.7s}"), world);
519
520 check(SV("hello #####uni"), SV("hello {:#>8.3s}"), universe);
521 check(SV("hello ##uni###"), SV("hello {:#^8.3s}"), universe);
522 check(SV("hello uni#####"), SV("hello {:#<8.3s}"), universe);
523
524 // *** sign ***
525 check_exception("The format specifier should consume the input or end with a '}'", SV("hello {:-}"), world);
526
527 // *** alternate form ***
528 check_exception("The format specifier should consume the input or end with a '}'", SV("hello {:#}"), world);
529
530 // *** zero-padding ***
531 check_exception("The width option should not have a leading zero", SV("hello {:0}"), world);
532
533 // *** width ***
534 // Width 0 allowed, but not useful for string arguments.
535 check(SV("hello world"), SV("hello {:{}}"), world, 0);
536
537 #ifdef _LIBCPP_VERSION
538 // This limit isn't specified in the Standard.
539 static_assert(std::__format::__number_max == 2'147'483'647, "Update the assert and the test.");
540 check_exception("The numeric value of the format specifier is too large", SV("{:2147483648}"), world);
541 check_exception("The numeric value of the format specifier is too large", SV("{:5000000000}"), world);
542 check_exception("The numeric value of the format specifier is too large", SV("{:10000000000}"), world);
543 #endif
544
545 check_exception("An argument index may not have a negative value", SV("hello {:{}}"), world, -1);
546 check_exception("The value of the argument index exceeds its maximum value", SV("hello {:{}}"), world, unsigned(-1));
547 check_exception(
548 "The argument index value is too large for the number of arguments supplied", SV("hello {:{}}"), world);
549 check_exception(
550 "Replacement argument isn't a standard signed or unsigned integer type", SV("hello {:{}}"), world, universe);
551 check_exception("Using manual argument numbering in automatic argument numbering mode", SV("hello {:{0}}"), world, 1);
552 check_exception("Using automatic argument numbering in manual argument numbering mode", SV("hello {0:{}}"), world, 1);
553 // Arg-id may not have leading zeros.
554 check_exception("The argument index is invalid", SV("hello {0:{01}}"), world, 1);
555
556 // *** precision ***
557 #ifdef _LIBCPP_VERSION
558 // This limit isn't specified in the Standard.
559 static_assert(std::__format::__number_max == 2'147'483'647, "Update the assert and the test.");
560 check_exception("The numeric value of the format specifier is too large", SV("{:.2147483648}"), world);
561 check_exception("The numeric value of the format specifier is too large", SV("{:.5000000000}"), world);
562 check_exception("The numeric value of the format specifier is too large", SV("{:.10000000000}"), world);
563 #endif
564
565 // Precision 0 allowed, but not useful for string arguments.
566 check(SV("hello "), SV("hello {:.{}}"), world, 0);
567 // Precision may have leading zeros. Secondly tests the value is still base 10.
568 check(SV("hello 0123456789"), SV("hello {:.000010}"), STR("0123456789abcdef"));
569 check_exception("An argument index may not have a negative value", SV("hello {:.{}}"), world, -1);
570 check_exception("The value of the argument index exceeds its maximum value", SV("hello {:.{}}"), world, ~0u);
571 check_exception(
572 "The argument index value is too large for the number of arguments supplied", SV("hello {:.{}}"), world);
573 check_exception(
574 "Replacement argument isn't a standard signed or unsigned integer type", SV("hello {:.{}}"), world, universe);
575 check_exception("Using manual argument numbering in automatic argument numbering mode", SV("hello {:.{0}}"), world,
576 1);
577 check_exception("Using automatic argument numbering in manual argument numbering mode", SV("hello {0:.{}}"), world,
578 1);
579 // Arg-id may not have leading zeros.
580 check_exception("The argument index is invalid", SV("hello {0:.{01}}"), world, 1);
581
582 // *** locale-specific form ***
583 check_exception("The format specifier should consume the input or end with a '}'", SV("hello {:L}"), world);
584
585 // *** type ***
586 #if TEST_STD_VER > 20
587 const char* valid_types = "s?";
588 #else
589 const char* valid_types = "s";
590 #endif
591 for (const auto& fmt : invalid_types<CharT>(valid_types))
592 check_exception("The type option contains an invalid value for a string formatting argument", fmt, world);
593 }
594
595 template <class CharT, class TestFunction>
format_test_string_unicode(TestFunction check)596 void format_test_string_unicode([[maybe_unused]] TestFunction check) {
597 // unicode.pass.cpp and ascii.pass.cpp have additional tests.
598 #ifndef TEST_HAS_NO_UNICODE
599 // Make sure all possible types are tested. For clarity don't use macros.
600 if constexpr (std::same_as<CharT, char>) {
601 const char* c_string = "aßc";
602 check(SV("*aßc*"), SV("{:*^5}"), c_string);
603 check(SV("*aß*"), SV("{:*^4.2}"), c_string);
604
605 check(SV("*aßc*"), SV("{:*^5}"), const_cast<char*>(c_string));
606 check(SV("*aß*"), SV("{:*^4.2}"), const_cast<char*>(c_string));
607
608 check(SV("*aßc*"), SV("{:*^5}"), "aßc");
609 check(SV("*aß*"), SV("{:*^4.2}"), "aßc");
610
611 check(SV("*aßc*"), SV("{:*^5}"), std::string("aßc"));
612 check(SV("*aß*"), SV("{:*^4.2}"), std::string("aßc"));
613
614 check(SV("*aßc*"), SV("{:*^5}"), std::string_view("aßc"));
615 check(SV("*aß*"), SV("{:*^4.2}"), std::string_view("aßc"));
616 }
617 # ifndef TEST_HAS_NO_WIDE_CHARACTERS
618 else {
619 const wchar_t* c_string = L"aßc";
620 check(SV("*aßc*"), SV("{:*^5}"), c_string);
621 check(SV("*aß*"), SV("{:*^4.2}"), c_string);
622
623 check(SV("*aßc*"), SV("{:*^5}"), const_cast<wchar_t*>(c_string));
624 check(SV("*aß*"), SV("{:*^4.2}"), const_cast<wchar_t*>(c_string));
625
626 check(SV("*aßc*"), SV("{:*^5}"), L"aßc");
627 check(SV("*aß*"), SV("{:*^4.2}"), L"aßc");
628
629 check(SV("*aßc*"), SV("{:*^5}"), std::wstring(L"aßc"));
630 check(SV("*aß*"), SV("{:*^4.2}"), std::wstring(L"aßc"));
631
632 check(SV("*aßc*"), SV("{:*^5}"), std::wstring_view(L"aßc"));
633 check(SV("*aß*"), SV("{:*^4.2}"), std::wstring_view(L"aßc"));
634 }
635 # endif // TEST_HAS_NO_WIDE_CHARACTERS
636
637 // ß requires one column
638 check(SV("aßc"), SV("{}"), STR("aßc"));
639
640 check(SV("aßc"), SV("{:.3}"), STR("aßc"));
641 check(SV("aß"), SV("{:.2}"), STR("aßc"));
642 check(SV("a"), SV("{:.1}"), STR("aßc"));
643
644 check(SV("aßc"), SV("{:3.3}"), STR("aßc"));
645 check(SV("aß"), SV("{:2.2}"), STR("aßc"));
646 check(SV("a"), SV("{:1.1}"), STR("aßc"));
647
648 check(SV("aßc---"), SV("{:-<6}"), STR("aßc"));
649 check(SV("-aßc--"), SV("{:-^6}"), STR("aßc"));
650 check(SV("---aßc"), SV("{:->6}"), STR("aßc"));
651
652 // \u1000 requires two columns
653 check(SV("a\u1110c"), SV("{}"), STR("a\u1110c"));
654
655 check(SV("a\u1100c"), SV("{:.4}"), STR("a\u1100c"));
656 check(SV("a\u1100"), SV("{:.3}"), STR("a\u1100c"));
657 check(SV("a"), SV("{:.2}"), STR("a\u1100c"));
658 check(SV("a"), SV("{:.1}"), STR("a\u1100c"));
659
660 check(SV("a\u1100c"), SV("{:-<4.4}"), STR("a\u1100c"));
661 check(SV("a\u1100"), SV("{:-<3.3}"), STR("a\u1100c"));
662 check(SV("a-"), SV("{:-<2.2}"), STR("a\u1100c"));
663 check(SV("a"), SV("{:-<1.1}"), STR("a\u1100c"));
664
665 check(SV("a\u1110c---"), SV("{:-<7}"), STR("a\u1110c"));
666 check(SV("-a\u1110c--"), SV("{:-^7}"), STR("a\u1110c"));
667 check(SV("---a\u1110c"), SV("{:->7}"), STR("a\u1110c"));
668
669 // Examples used in P1868R2
670 check(SV("*\u0041*"), SV("{:*^3}"), STR("\u0041")); // { LATIN CAPITAL LETTER A }
671 check(SV("*\u00c1*"), SV("{:*^3}"), STR("\u00c1")); // { LATIN CAPITAL LETTER A WITH ACUTE }
672 check(SV("*\u0041\u0301*"),
673 SV("{:*^3}"),
674 STR("\u0041\u0301")); // { LATIN CAPITAL LETTER A } { COMBINING ACUTE ACCENT }
675 check(SV("*\u0132*"), SV("{:*^3}"), STR("\u0132")); // { LATIN CAPITAL LIGATURE IJ }
676 check(SV("*\u0394*"), SV("{:*^3}"), STR("\u0394")); // { GREEK CAPITAL LETTER DELTA }
677
678 check(SV("*\u0429*"), SV("{:*^3}"), STR("\u0429")); // { CYRILLIC CAPITAL LETTER SHCHA }
679 check(SV("*\u05d0*"), SV("{:*^3}"), STR("\u05d0")); // { HEBREW LETTER ALEF }
680 check(SV("*\u0634*"), SV("{:*^3}"), STR("\u0634")); // { ARABIC LETTER SHEEN }
681 check(SV("*\u3009*"), SV("{:*^4}"), STR("\u3009")); // { RIGHT-POINTING ANGLE BRACKET }
682 check(SV("*\u754c*"), SV("{:*^4}"), STR("\u754c")); // { CJK Unified Ideograph-754C }
683 check(SV("*\U0001f921*"), SV("{:*^4}"), STR("\U0001f921")); // { UNICORN FACE }
684 check(SV("*\U0001f468\u200d\U0001F469\u200d\U0001F467\u200d\U0001F466*"),
685 SV("{:*^4}"),
686 STR("\U0001f468\u200d\U0001F469\u200d\U0001F467\u200d\U0001F466")); // { Family: Man, Woman, Girl, Boy }
687 #endif // TEST_HAS_NO_UNICODE
688 }
689
690 template <class CharT, class TestFunction, class ExceptionTest>
format_string_tests(TestFunction check,ExceptionTest check_exception)691 void format_string_tests(TestFunction check, ExceptionTest check_exception) {
692 std::basic_string<CharT> world = STR("world");
693 std::basic_string<CharT> universe = STR("universe");
694
695 // Test a string literal in a way it won't decay to a pointer.
696 if constexpr (std::same_as<CharT, char>)
697 format_test_string<CharT>("world", "universe", check, check_exception);
698 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
699 else
700 format_test_string<CharT>(L"world", L"universe", check, check_exception);
701 #endif
702
703 format_test_string<CharT>(world.c_str(), universe.c_str(), check, check_exception);
704 format_test_string<CharT>(const_cast<CharT*>(world.c_str()), const_cast<CharT*>(universe.c_str()), check,
705 check_exception);
706 format_test_string<CharT>(std::basic_string_view<CharT>(world), std::basic_string_view<CharT>(universe), check,
707 check_exception);
708 format_test_string<CharT>(world, universe, check, check_exception);
709 format_test_string_unicode<CharT>(check);
710 }
711
712 template <class CharT, class TestFunction, class ExceptionTest>
format_test_bool(TestFunction check,ExceptionTest check_exception)713 void format_test_bool(TestFunction check, ExceptionTest check_exception) {
714
715 // *** align-fill & width ***
716 check(SV("answer is 'true '"), SV("answer is '{:7}'"), true);
717 check(SV("answer is ' true'"), SV("answer is '{:>7}'"), true);
718 check(SV("answer is 'true '"), SV("answer is '{:<7}'"), true);
719 check(SV("answer is ' true '"), SV("answer is '{:^7}'"), true);
720
721 check(SV("answer is 'false '"), SV("answer is '{:8s}'"), false);
722 check(SV("answer is ' false'"), SV("answer is '{:>8s}'"), false);
723 check(SV("answer is 'false '"), SV("answer is '{:<8s}'"), false);
724 check(SV("answer is ' false '"), SV("answer is '{:^8s}'"), false);
725
726 // The fill character ':' is allowed here (P0645) but not in ranges (P2286).
727 check(SV("answer is ':::true'"), SV("answer is '{::>7}'"), true);
728 check(SV("answer is 'true:::'"), SV("answer is '{::<7}'"), true);
729 check(SV("answer is ':true::'"), SV("answer is '{::^7}'"), true);
730
731 check(SV("answer is '---false'"), SV("answer is '{:->8s}'"), false);
732 check(SV("answer is 'false---'"), SV("answer is '{:-<8s}'"), false);
733 check(SV("answer is '-false--'"), SV("answer is '{:-^8s}'"), false);
734
735 // *** Sign ***
736 check_exception("The format specifier for a bool does not allow the sign option", SV("{:-}"), true);
737 check_exception("The format specifier for a bool does not allow the sign option", SV("{:+}"), true);
738 check_exception("The format specifier for a bool does not allow the sign option", SV("{: }"), true);
739
740 check_exception("The format specifier for a bool does not allow the sign option", SV("{:-s}"), true);
741 check_exception("The format specifier for a bool does not allow the sign option", SV("{:+s}"), true);
742 check_exception("The format specifier for a bool does not allow the sign option", SV("{: s}"), true);
743
744 // *** alternate form ***
745 check_exception("The format specifier for a bool does not allow the alternate form option", SV("{:#}"), true);
746 check_exception("The format specifier for a bool does not allow the alternate form option", SV("{:#s}"), true);
747
748 // *** zero-padding ***
749 check_exception("The format specifier for a bool does not allow the zero-padding option", SV("{:0}"), true);
750 check_exception("The format specifier for a bool does not allow the zero-padding option", SV("{:0s}"), true);
751
752 // *** precision ***
753 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.}"), true);
754 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.0}"), true);
755 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.42}"), true);
756
757 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.s}"), true);
758 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.0s}"), true);
759 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.42s}"), true);
760
761 // *** locale-specific form ***
762 // See locale-specific_form.pass.cpp
763
764 // *** type ***
765 for (const auto& fmt : invalid_types<CharT>("bBdosxX"))
766 check_exception("The type option contains an invalid value for a bool formatting argument", fmt, true);
767 }
768
769 template <class CharT, class TestFunction, class ExceptionTest>
format_test_bool_as_integer(TestFunction check,ExceptionTest check_exception)770 void format_test_bool_as_integer(TestFunction check, ExceptionTest check_exception) {
771 // *** align-fill & width ***
772 check(SV("answer is '1'"), SV("answer is '{:<1d}'"), true);
773 check(SV("answer is '1 '"), SV("answer is '{:<2d}'"), true);
774 check(SV("answer is '0 '"), SV("answer is '{:<2d}'"), false);
775
776 check(SV("answer is ' 1'"), SV("answer is '{:6d}'"), true);
777 check(SV("answer is ' 1'"), SV("answer is '{:>6d}'"), true);
778 check(SV("answer is '1 '"), SV("answer is '{:<6d}'"), true);
779 check(SV("answer is ' 1 '"), SV("answer is '{:^6d}'"), true);
780
781 // The fill character ':' is allowed here (P0645) but not in ranges (P2286).
782 check(SV("answer is ':::::0'"), SV("answer is '{::>6d}'"), false);
783 check(SV("answer is '0:::::'"), SV("answer is '{::<6d}'"), false);
784 check(SV("answer is '::0:::'"), SV("answer is '{::^6d}'"), false);
785
786 // Test whether zero padding is ignored
787 check(SV("answer is ' 1'"), SV("answer is '{:>06d}'"), true);
788 check(SV("answer is '1 '"), SV("answer is '{:<06d}'"), true);
789 check(SV("answer is ' 1 '"), SV("answer is '{:^06d}'"), true);
790
791 // *** Sign ***
792 check(SV("answer is 1"), SV("answer is {:d}"), true);
793 check(SV("answer is 0"), SV("answer is {:-d}"), false);
794 check(SV("answer is +1"), SV("answer is {:+d}"), true);
795 check(SV("answer is 0"), SV("answer is {: d}"), false);
796
797 // *** alternate form ***
798 check(SV("answer is +1"), SV("answer is {:+#d}"), true);
799 check(SV("answer is +1"), SV("answer is {:+b}"), true);
800 check(SV("answer is +0b1"), SV("answer is {:+#b}"), true);
801 check(SV("answer is +0B1"), SV("answer is {:+#B}"), true);
802 check(SV("answer is +1"), SV("answer is {:+o}"), true);
803 check(SV("answer is +01"), SV("answer is {:+#o}"), true);
804 check(SV("answer is +1"), SV("answer is {:+x}"), true);
805 check(SV("answer is +0x1"), SV("answer is {:+#x}"), true);
806 check(SV("answer is +1"), SV("answer is {:+X}"), true);
807 check(SV("answer is +0X1"), SV("answer is {:+#X}"), true);
808
809 check(SV("answer is 0"), SV("answer is {:#d}"), false);
810 check(SV("answer is 0"), SV("answer is {:b}"), false);
811 check(SV("answer is 0b0"), SV("answer is {:#b}"), false);
812 check(SV("answer is 0B0"), SV("answer is {:#B}"), false);
813 check(SV("answer is 0"), SV("answer is {:o}"), false);
814 check(SV("answer is 0"), SV("answer is {:#o}"), false);
815 check(SV("answer is 0"), SV("answer is {:x}"), false);
816 check(SV("answer is 0x0"), SV("answer is {:#x}"), false);
817 check(SV("answer is 0"), SV("answer is {:X}"), false);
818 check(SV("answer is 0X0"), SV("answer is {:#X}"), false);
819
820 // *** zero-padding & width ***
821 check(SV("answer is +00000000001"), SV("answer is {:+#012d}"), true);
822 check(SV("answer is +00000000001"), SV("answer is {:+012b}"), true);
823 check(SV("answer is +0b000000001"), SV("answer is {:+#012b}"), true);
824 check(SV("answer is +0B000000001"), SV("answer is {:+#012B}"), true);
825 check(SV("answer is +00000000001"), SV("answer is {:+012o}"), true);
826 check(SV("answer is +00000000001"), SV("answer is {:+#012o}"), true);
827 check(SV("answer is +00000000001"), SV("answer is {:+012x}"), true);
828 check(SV("answer is +0x000000001"), SV("answer is {:+#012x}"), true);
829 check(SV("answer is +00000000001"), SV("answer is {:+012X}"), true);
830 check(SV("answer is +0X000000001"), SV("answer is {:+#012X}"), true);
831
832 check(SV("answer is 000000000000"), SV("answer is {:#012d}"), false);
833 check(SV("answer is 000000000000"), SV("answer is {:012b}"), false);
834 check(SV("answer is 0b0000000000"), SV("answer is {:#012b}"), false);
835 check(SV("answer is 0B0000000000"), SV("answer is {:#012B}"), false);
836 check(SV("answer is 000000000000"), SV("answer is {:012o}"), false);
837 check(SV("answer is 000000000000"), SV("answer is {:#012o}"), false);
838 check(SV("answer is 000000000000"), SV("answer is {:012x}"), false);
839 check(SV("answer is 0x0000000000"), SV("answer is {:#012x}"), false);
840 check(SV("answer is 000000000000"), SV("answer is {:012X}"), false);
841 check(SV("answer is 0X0000000000"), SV("answer is {:#012X}"), false);
842
843 // *** precision ***
844 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.}"), true);
845 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.0}"), true);
846 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.42}"), true);
847
848 // *** locale-specific form ***
849 // See locale-specific_form.pass.cpp
850
851 // *** type ***
852 for (const auto& fmt : invalid_types<CharT>("bBcdosxX"))
853 check_exception("The type option contains an invalid value for a bool formatting argument", fmt, true);
854 }
855
856 template <class I, class CharT, class TestFunction, class ExceptionTest>
format_test_integer_as_integer(TestFunction check,ExceptionTest check_exception)857 void format_test_integer_as_integer(TestFunction check, ExceptionTest check_exception) {
858 // *** align-fill & width ***
859 check(SV("answer is '42'"), SV("answer is '{:<1}'"), I(42));
860 check(SV("answer is '42'"), SV("answer is '{:<2}'"), I(42));
861 check(SV("answer is '42 '"), SV("answer is '{:<3}'"), I(42));
862
863 check(SV("answer is ' 42'"), SV("answer is '{:7}'"), I(42));
864 check(SV("answer is ' 42'"), SV("answer is '{:>7}'"), I(42));
865 check(SV("answer is '42 '"), SV("answer is '{:<7}'"), I(42));
866 check(SV("answer is ' 42 '"), SV("answer is '{:^7}'"), I(42));
867
868 // The fill character ':' is allowed here (P0645) but not in ranges (P2286).
869 check(SV("answer is ':::::42'"), SV("answer is '{::>7}'"), I(42));
870 check(SV("answer is '42:::::'"), SV("answer is '{::<7}'"), I(42));
871 check(SV("answer is '::42:::'"), SV("answer is '{::^7}'"), I(42));
872
873 // Test whether zero padding is ignored
874 check(SV("answer is ' 42'"), SV("answer is '{:>07}'"), I(42));
875 check(SV("answer is '42 '"), SV("answer is '{:<07}'"), I(42));
876 check(SV("answer is ' 42 '"), SV("answer is '{:^07}'"), I(42));
877
878 // *** Sign ***
879 if constexpr (std::signed_integral<I>)
880 check(SV("answer is -42"), SV("answer is {}"), I(-42));
881 check(SV("answer is 0"), SV("answer is {}"), I(0));
882 check(SV("answer is 42"), SV("answer is {}"), I(42));
883
884 if constexpr (std::signed_integral<I>)
885 check(SV("answer is -42"), SV("answer is {:-}"), I(-42));
886 check(SV("answer is 0"), SV("answer is {:-}"), I(0));
887 check(SV("answer is 42"), SV("answer is {:-}"), I(42));
888
889 if constexpr (std::signed_integral<I>)
890 check(SV("answer is -42"), SV("answer is {:+}"), I(-42));
891 check(SV("answer is +0"), SV("answer is {:+}"), I(0));
892 check(SV("answer is +42"), SV("answer is {:+}"), I(42));
893
894 if constexpr (std::signed_integral<I>)
895 check(SV("answer is -42"), SV("answer is {: }"), I(-42));
896 check(SV("answer is 0"), SV("answer is {: }"), I(0));
897 check(SV("answer is 42"), SV("answer is {: }"), I(42));
898
899 // *** alternate form ***
900 if constexpr (std::signed_integral<I>) {
901 check(SV("answer is -42"), SV("answer is {:#}"), I(-42));
902 check(SV("answer is -42"), SV("answer is {:#d}"), I(-42));
903 check(SV("answer is -101010"), SV("answer is {:b}"), I(-42));
904 check(SV("answer is -0b101010"), SV("answer is {:#b}"), I(-42));
905 check(SV("answer is -0B101010"), SV("answer is {:#B}"), I(-42));
906 check(SV("answer is -52"), SV("answer is {:o}"), I(-42));
907 check(SV("answer is -052"), SV("answer is {:#o}"), I(-42));
908 check(SV("answer is -2a"), SV("answer is {:x}"), I(-42));
909 check(SV("answer is -0x2a"), SV("answer is {:#x}"), I(-42));
910 check(SV("answer is -2A"), SV("answer is {:X}"), I(-42));
911 check(SV("answer is -0X2A"), SV("answer is {:#X}"), I(-42));
912 }
913 check(SV("answer is 0"), SV("answer is {:#}"), I(0));
914 check(SV("answer is 0"), SV("answer is {:#d}"), I(0));
915 check(SV("answer is 0"), SV("answer is {:b}"), I(0));
916 check(SV("answer is 0b0"), SV("answer is {:#b}"), I(0));
917 check(SV("answer is 0B0"), SV("answer is {:#B}"), I(0));
918 check(SV("answer is 0"), SV("answer is {:o}"), I(0));
919 check(SV("answer is 0"), SV("answer is {:#o}"), I(0));
920 check(SV("answer is 0"), SV("answer is {:x}"), I(0));
921 check(SV("answer is 0x0"), SV("answer is {:#x}"), I(0));
922 check(SV("answer is 0"), SV("answer is {:X}"), I(0));
923 check(SV("answer is 0X0"), SV("answer is {:#X}"), I(0));
924
925 check(SV("answer is +42"), SV("answer is {:+#}"), I(42));
926 check(SV("answer is +42"), SV("answer is {:+#d}"), I(42));
927 check(SV("answer is +101010"), SV("answer is {:+b}"), I(42));
928 check(SV("answer is +0b101010"), SV("answer is {:+#b}"), I(42));
929 check(SV("answer is +0B101010"), SV("answer is {:+#B}"), I(42));
930 check(SV("answer is +52"), SV("answer is {:+o}"), I(42));
931 check(SV("answer is +052"), SV("answer is {:+#o}"), I(42));
932 check(SV("answer is +2a"), SV("answer is {:+x}"), I(42));
933 check(SV("answer is +0x2a"), SV("answer is {:+#x}"), I(42));
934 check(SV("answer is +2A"), SV("answer is {:+X}"), I(42));
935 check(SV("answer is +0X2A"), SV("answer is {:+#X}"), I(42));
936
937 // *** zero-padding & width ***
938 if constexpr (std::signed_integral<I>) {
939 check(SV("answer is -00000000042"), SV("answer is {:#012}"), I(-42));
940 check(SV("answer is -00000000042"), SV("answer is {:#012d}"), I(-42));
941 check(SV("answer is -00000101010"), SV("answer is {:012b}"), I(-42));
942 check(SV("answer is -0b000101010"), SV("answer is {:#012b}"), I(-42));
943 check(SV("answer is -0B000101010"), SV("answer is {:#012B}"), I(-42));
944 check(SV("answer is -00000000052"), SV("answer is {:012o}"), I(-42));
945 check(SV("answer is -00000000052"), SV("answer is {:#012o}"), I(-42));
946 check(SV("answer is -0000000002a"), SV("answer is {:012x}"), I(-42));
947 check(SV("answer is -0x00000002a"), SV("answer is {:#012x}"), I(-42));
948 check(SV("answer is -0000000002A"), SV("answer is {:012X}"), I(-42));
949 check(SV("answer is -0X00000002A"), SV("answer is {:#012X}"), I(-42));
950 }
951
952 check(SV("answer is 000000000000"), SV("answer is {:#012}"), I(0));
953 check(SV("answer is 000000000000"), SV("answer is {:#012d}"), I(0));
954 check(SV("answer is 000000000000"), SV("answer is {:012b}"), I(0));
955 check(SV("answer is 0b0000000000"), SV("answer is {:#012b}"), I(0));
956 check(SV("answer is 0B0000000000"), SV("answer is {:#012B}"), I(0));
957 check(SV("answer is 000000000000"), SV("answer is {:012o}"), I(0));
958 check(SV("answer is 000000000000"), SV("answer is {:#012o}"), I(0));
959 check(SV("answer is 000000000000"), SV("answer is {:012x}"), I(0));
960 check(SV("answer is 0x0000000000"), SV("answer is {:#012x}"), I(0));
961 check(SV("answer is 000000000000"), SV("answer is {:012X}"), I(0));
962 check(SV("answer is 0X0000000000"), SV("answer is {:#012X}"), I(0));
963
964 check(SV("answer is +00000000042"), SV("answer is {:+#012}"), I(42));
965 check(SV("answer is +00000000042"), SV("answer is {:+#012d}"), I(42));
966 check(SV("answer is +00000101010"), SV("answer is {:+012b}"), I(42));
967 check(SV("answer is +0b000101010"), SV("answer is {:+#012b}"), I(42));
968 check(SV("answer is +0B000101010"), SV("answer is {:+#012B}"), I(42));
969 check(SV("answer is +00000000052"), SV("answer is {:+012o}"), I(42));
970 check(SV("answer is +00000000052"), SV("answer is {:+#012o}"), I(42));
971 check(SV("answer is +0000000002a"), SV("answer is {:+012x}"), I(42));
972 check(SV("answer is +0x00000002a"), SV("answer is {:+#012x}"), I(42));
973 check(SV("answer is +0000000002A"), SV("answer is {:+012X}"), I(42));
974 check(SV("answer is +0X00000002A"), SV("answer is {:+#012X}"), I(42));
975
976 // *** precision ***
977 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.}"), I(0));
978 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.0}"), I(0));
979 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.42}"), I(0));
980
981 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.{}}"), I(0));
982 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.{}}"), I(0), true);
983 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.{}}"), I(0), 1.0);
984
985 // *** locale-specific form ***
986 // See locale-specific_form.pass.cpp
987
988 // *** type ***
989 for (const auto& fmt : invalid_types<CharT>("bBcdoxX"))
990 check_exception("The type option contains an invalid value for an integer formatting argument", fmt, I(0));
991 }
992
993 template <class I, class CharT, class TestFunction, class ExceptionTest>
format_test_integer_as_char(TestFunction check,ExceptionTest check_exception)994 void format_test_integer_as_char(TestFunction check, ExceptionTest check_exception) {
995 // *** align-fill & width ***
996 check(SV("answer is '* '"), SV("answer is '{:6c}'"), I(42));
997 check(SV("answer is ' *'"), SV("answer is '{:>6c}'"), I(42));
998 check(SV("answer is '* '"), SV("answer is '{:<6c}'"), I(42));
999 check(SV("answer is ' * '"), SV("answer is '{:^6c}'"), I(42));
1000
1001 // The fill character ':' is allowed here (P0645) but not in ranges (P2286).
1002 check(SV("answer is ':::::*'"), SV("answer is '{::>6c}'"), I(42));
1003 check(SV("answer is '*:::::'"), SV("answer is '{::<6c}'"), I(42));
1004 check(SV("answer is '::*:::'"), SV("answer is '{::^6c}'"), I(42));
1005
1006 // *** Sign ***
1007 check(SV("answer is *"), SV("answer is {:c}"), I(42));
1008 check_exception("The format specifier for an integer does not allow the sign option", SV("answer is {:-c}"), I(42));
1009 check_exception("The format specifier for an integer does not allow the sign option", SV("answer is {:+c}"), I(42));
1010 check_exception("The format specifier for an integer does not allow the sign option", SV("answer is {: c}"), I(42));
1011
1012 // *** alternate form ***
1013 check_exception(
1014 "The format specifier for an integer does not allow the alternate form option", SV("answer is {:#c}"), I(42));
1015
1016 // *** zero-padding & width ***
1017 check_exception(
1018 "The format specifier for an integer does not allow the zero-padding option", SV("answer is {:01c}"), I(42));
1019
1020 // *** precision ***
1021 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.c}"), I(0));
1022 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.0c}"), I(0));
1023 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.42c}"), I(0));
1024
1025 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.{}c}"), I(0));
1026 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.{}c}"), I(0), true);
1027 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.{}c}"), I(0), 1.0);
1028
1029 // *** locale-specific form ***
1030 // Note it has no effect but it's allowed.
1031 check(SV("answer is '*'"), SV("answer is '{:Lc}'"), I(42));
1032
1033 // *** type ***
1034 for (const auto& fmt : invalid_types<CharT>("bBcdoxX"))
1035 check_exception("The type option contains an invalid value for an integer formatting argument", fmt, I(42));
1036
1037 // *** Validate range ***
1038 // The code has some duplications to keep the if statement readable.
1039 if constexpr (std::signed_integral<CharT>) {
1040 if constexpr (std::signed_integral<I> && sizeof(I) > sizeof(CharT)) {
1041 check_exception("Integral value outside the range of the char type", SV("{:c}"), std::numeric_limits<I>::min());
1042 check_exception("Integral value outside the range of the char type", SV("{:c}"), std::numeric_limits<I>::max());
1043 } else if constexpr (std::unsigned_integral<I> && sizeof(I) >= sizeof(CharT)) {
1044 check_exception("Integral value outside the range of the char type", SV("{:c}"), std::numeric_limits<I>::max());
1045 }
1046 } else if constexpr (sizeof(I) > sizeof(CharT)) {
1047 check_exception("Integral value outside the range of the char type", SV("{:c}"), std::numeric_limits<I>::max());
1048 }
1049 }
1050
1051 template <class I, class CharT, class TestFunction, class ExceptionTest>
format_test_integer(TestFunction check,ExceptionTest check_exception)1052 void format_test_integer(TestFunction check, ExceptionTest check_exception) {
1053 format_test_integer_as_integer<I, CharT>(check, check_exception);
1054 format_test_integer_as_char<I, CharT>(check, check_exception);
1055 }
1056
1057 template <class CharT, class TestFunction, class ExceptionTest>
format_test_signed_integer(TestFunction check,ExceptionTest check_exception)1058 void format_test_signed_integer(TestFunction check, ExceptionTest check_exception) {
1059 format_test_integer<signed char, CharT>(check, check_exception);
1060 format_test_integer<short, CharT>(check, check_exception);
1061 format_test_integer<int, CharT>(check, check_exception);
1062 format_test_integer<long, CharT>(check, check_exception);
1063 format_test_integer<long long, CharT>(check, check_exception);
1064 #ifndef TEST_HAS_NO_INT128
1065 format_test_integer<__int128_t, CharT>(check, check_exception);
1066 #endif
1067 // *** check the minima and maxima ***
1068 check(SV("-0b10000000"), SV("{:#b}"), std::numeric_limits<std::int8_t>::min());
1069 check(SV("-0200"), SV("{:#o}"), std::numeric_limits<std::int8_t>::min());
1070 check(SV("-128"), SV("{:#}"), std::numeric_limits<std::int8_t>::min());
1071 check(SV("-0x80"), SV("{:#x}"), std::numeric_limits<std::int8_t>::min());
1072
1073 check(SV("-0b1000000000000000"), SV("{:#b}"), std::numeric_limits<std::int16_t>::min());
1074 check(SV("-0100000"), SV("{:#o}"), std::numeric_limits<std::int16_t>::min());
1075 check(SV("-32768"), SV("{:#}"), std::numeric_limits<std::int16_t>::min());
1076 check(SV("-0x8000"), SV("{:#x}"), std::numeric_limits<std::int16_t>::min());
1077
1078 check(SV("-0b10000000000000000000000000000000"), SV("{:#b}"), std::numeric_limits<std::int32_t>::min());
1079 check(SV("-020000000000"), SV("{:#o}"), std::numeric_limits<std::int32_t>::min());
1080 check(SV("-2147483648"), SV("{:#}"), std::numeric_limits<std::int32_t>::min());
1081 check(SV("-0x80000000"), SV("{:#x}"), std::numeric_limits<std::int32_t>::min());
1082
1083 check(SV("-0b1000000000000000000000000000000000000000000000000000000000000000"),
1084 SV("{:#b}"),
1085 std::numeric_limits<std::int64_t>::min());
1086 check(SV("-01000000000000000000000"), SV("{:#o}"), std::numeric_limits<std::int64_t>::min());
1087 check(SV("-9223372036854775808"), SV("{:#}"), std::numeric_limits<std::int64_t>::min());
1088 check(SV("-0x8000000000000000"), SV("{:#x}"), std::numeric_limits<std::int64_t>::min());
1089
1090 #ifndef TEST_HAS_NO_INT128
1091 check(SV("-0b1000000000000000000000000000000000000000000000000000000000000000"
1092 "0000000000000000000000000000000000000000000000000000000000000000"),
1093 SV("{:#b}"),
1094 std::numeric_limits<__int128_t>::min());
1095 check(SV("-02000000000000000000000000000000000000000000"), SV("{:#o}"), std::numeric_limits<__int128_t>::min());
1096 check(SV("-170141183460469231731687303715884105728"), SV("{:#}"), std::numeric_limits<__int128_t>::min());
1097 check(SV("-0x80000000000000000000000000000000"), SV("{:#x}"), std::numeric_limits<__int128_t>::min());
1098 #endif
1099
1100 check(SV("0b1111111"), SV("{:#b}"), std::numeric_limits<std::int8_t>::max());
1101 check(SV("0177"), SV("{:#o}"), std::numeric_limits<std::int8_t>::max());
1102 check(SV("127"), SV("{:#}"), std::numeric_limits<std::int8_t>::max());
1103 check(SV("0x7f"), SV("{:#x}"), std::numeric_limits<std::int8_t>::max());
1104
1105 check(SV("0b111111111111111"), SV("{:#b}"), std::numeric_limits<std::int16_t>::max());
1106 check(SV("077777"), SV("{:#o}"), std::numeric_limits<std::int16_t>::max());
1107 check(SV("32767"), SV("{:#}"), std::numeric_limits<std::int16_t>::max());
1108 check(SV("0x7fff"), SV("{:#x}"), std::numeric_limits<std::int16_t>::max());
1109
1110 check(SV("0b1111111111111111111111111111111"), SV("{:#b}"), std::numeric_limits<std::int32_t>::max());
1111 check(SV("017777777777"), SV("{:#o}"), std::numeric_limits<std::int32_t>::max());
1112 check(SV("2147483647"), SV("{:#}"), std::numeric_limits<std::int32_t>::max());
1113 check(SV("0x7fffffff"), SV("{:#x}"), std::numeric_limits<std::int32_t>::max());
1114
1115 check(SV("0b111111111111111111111111111111111111111111111111111111111111111"),
1116 SV("{:#b}"),
1117 std::numeric_limits<std::int64_t>::max());
1118 check(SV("0777777777777777777777"), SV("{:#o}"), std::numeric_limits<std::int64_t>::max());
1119 check(SV("9223372036854775807"), SV("{:#}"), std::numeric_limits<std::int64_t>::max());
1120 check(SV("0x7fffffffffffffff"), SV("{:#x}"), std::numeric_limits<std::int64_t>::max());
1121
1122 #ifndef TEST_HAS_NO_INT128
1123 check(SV("0b111111111111111111111111111111111111111111111111111111111111111"
1124 "1111111111111111111111111111111111111111111111111111111111111111"),
1125 SV("{:#b}"),
1126 std::numeric_limits<__int128_t>::max());
1127 check(SV("01777777777777777777777777777777777777777777"), SV("{:#o}"), std::numeric_limits<__int128_t>::max());
1128 check(SV("170141183460469231731687303715884105727"), SV("{:#}"), std::numeric_limits<__int128_t>::max());
1129 check(SV("0x7fffffffffffffffffffffffffffffff"), SV("{:#x}"), std::numeric_limits<__int128_t>::max());
1130 #endif
1131 }
1132
1133 template <class CharT, class TestFunction, class ExceptionTest>
format_test_unsigned_integer(TestFunction check,ExceptionTest check_exception)1134 void format_test_unsigned_integer(TestFunction check, ExceptionTest check_exception) {
1135 format_test_integer<unsigned char, CharT>(check, check_exception);
1136 format_test_integer<unsigned short, CharT>(check, check_exception);
1137 format_test_integer<unsigned, CharT>(check, check_exception);
1138 format_test_integer<unsigned long, CharT>(check, check_exception);
1139 format_test_integer<unsigned long long, CharT>(check, check_exception);
1140 #ifndef TEST_HAS_NO_INT128
1141 format_test_integer<__uint128_t, CharT>(check, check_exception);
1142 #endif
1143 // *** test the maxima ***
1144 check(SV("0b11111111"), SV("{:#b}"), std::numeric_limits<std::uint8_t>::max());
1145 check(SV("0377"), SV("{:#o}"), std::numeric_limits<std::uint8_t>::max());
1146 check(SV("255"), SV("{:#}"), std::numeric_limits<std::uint8_t>::max());
1147 check(SV("0xff"), SV("{:#x}"), std::numeric_limits<std::uint8_t>::max());
1148
1149 check(SV("0b1111111111111111"), SV("{:#b}"), std::numeric_limits<std::uint16_t>::max());
1150 check(SV("0177777"), SV("{:#o}"), std::numeric_limits<std::uint16_t>::max());
1151 check(SV("65535"), SV("{:#}"), std::numeric_limits<std::uint16_t>::max());
1152 check(SV("0xffff"), SV("{:#x}"), std::numeric_limits<std::uint16_t>::max());
1153
1154 check(SV("0b11111111111111111111111111111111"), SV("{:#b}"), std::numeric_limits<std::uint32_t>::max());
1155 check(SV("037777777777"), SV("{:#o}"), std::numeric_limits<std::uint32_t>::max());
1156 check(SV("4294967295"), SV("{:#}"), std::numeric_limits<std::uint32_t>::max());
1157 check(SV("0xffffffff"), SV("{:#x}"), std::numeric_limits<std::uint32_t>::max());
1158
1159 check(SV("0b1111111111111111111111111111111111111111111111111111111111111111"),
1160 SV("{:#b}"),
1161 std::numeric_limits<std::uint64_t>::max());
1162 check(SV("01777777777777777777777"), SV("{:#o}"), std::numeric_limits<std::uint64_t>::max());
1163 check(SV("18446744073709551615"), SV("{:#}"), std::numeric_limits<std::uint64_t>::max());
1164 check(SV("0xffffffffffffffff"), SV("{:#x}"), std::numeric_limits<std::uint64_t>::max());
1165
1166 #ifndef TEST_HAS_NO_INT128
1167 check(SV("0b1111111111111111111111111111111111111111111111111111111111111111"
1168 "1111111111111111111111111111111111111111111111111111111111111111"),
1169 SV("{:#b}"),
1170 std::numeric_limits<__uint128_t>::max());
1171 check(SV("03777777777777777777777777777777777777777777"), SV("{:#o}"), std::numeric_limits<__uint128_t>::max());
1172 check(SV("340282366920938463463374607431768211455"), SV("{:#}"), std::numeric_limits<__uint128_t>::max());
1173 check(SV("0xffffffffffffffffffffffffffffffff"), SV("{:#x}"), std::numeric_limits<__uint128_t>::max());
1174 #endif
1175 }
1176
1177 template <class CharT, class TestFunction, class ExceptionTest>
format_test_char(TestFunction check,ExceptionTest check_exception)1178 void format_test_char(TestFunction check, ExceptionTest check_exception) {
1179
1180 // ***** Char type *****
1181 // *** align-fill & width ***
1182 check(SV("answer is '* '"), SV("answer is '{:6}'"), CharT('*'));
1183 check(SV("answer is ' *'"), SV("answer is '{:>6}'"), CharT('*'));
1184 check(SV("answer is '* '"), SV("answer is '{:<6}'"), CharT('*'));
1185 check(SV("answer is ' * '"), SV("answer is '{:^6}'"), CharT('*'));
1186
1187 check(SV("answer is '* '"), SV("answer is '{:6c}'"), CharT('*'));
1188 check(SV("answer is ' *'"), SV("answer is '{:>6c}'"), CharT('*'));
1189 check(SV("answer is '* '"), SV("answer is '{:<6c}'"), CharT('*'));
1190 check(SV("answer is ' * '"), SV("answer is '{:^6c}'"), CharT('*'));
1191
1192 // The fill character ':' is allowed here (P0645) but not in ranges (P2286).
1193 check(SV("answer is ':::::*'"), SV("answer is '{::>6}'"), CharT('*'));
1194 check(SV("answer is '*:::::'"), SV("answer is '{::<6}'"), CharT('*'));
1195 check(SV("answer is '::*:::'"), SV("answer is '{::^6}'"), CharT('*'));
1196
1197 check(SV("answer is '-----*'"), SV("answer is '{:->6c}'"), CharT('*'));
1198 check(SV("answer is '*-----'"), SV("answer is '{:-<6c}'"), CharT('*'));
1199 check(SV("answer is '--*---'"), SV("answer is '{:-^6c}'"), CharT('*'));
1200
1201 // *** Sign ***
1202 check_exception("The format specifier for a character does not allow the sign option", SV("{:-}"), CharT('*'));
1203 check_exception("The format specifier for a character does not allow the sign option", SV("{:+}"), CharT('*'));
1204 check_exception("The format specifier for a character does not allow the sign option", SV("{: }"), CharT('*'));
1205
1206 check_exception("The format specifier for a character does not allow the sign option", SV("{:-c}"), CharT('*'));
1207 check_exception("The format specifier for a character does not allow the sign option", SV("{:+c}"), CharT('*'));
1208 check_exception("The format specifier for a character does not allow the sign option", SV("{: c}"), CharT('*'));
1209
1210 // *** alternate form ***
1211 check_exception(
1212 "The format specifier for a character does not allow the alternate form option", SV("{:#}"), CharT('*'));
1213 check_exception(
1214 "The format specifier for a character does not allow the alternate form option", SV("{:#c}"), CharT('*'));
1215
1216 // *** zero-padding ***
1217 check_exception(
1218 "The format specifier for a character does not allow the zero-padding option", SV("{:0}"), CharT('*'));
1219 check_exception(
1220 "The format specifier for a character does not allow the zero-padding option", SV("{:0c}"), CharT('*'));
1221
1222 // *** precision ***
1223 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.}"), CharT('*'));
1224 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.0}"), CharT('*'));
1225 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.42}"), CharT('*'));
1226
1227 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.c}"), CharT('*'));
1228 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.0c}"), CharT('*'));
1229 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.42c}"), CharT('*'));
1230
1231 // *** locale-specific form ***
1232 // Note it has no effect but it's allowed.
1233 check(SV("answer is '*'"), SV("answer is '{:L}'"), '*');
1234 check(SV("answer is '*'"), SV("answer is '{:Lc}'"), '*');
1235
1236 // *** type ***
1237 #if TEST_STD_VER > 20
1238 const char* valid_types = "bBcdoxX?";
1239 #else
1240 const char* valid_types = "bBcdoxX";
1241 #endif
1242 for (const auto& fmt : invalid_types<CharT>(valid_types))
1243 check_exception("The type option contains an invalid value for a character formatting argument", fmt, CharT('*'));
1244 }
1245
1246 template <class CharT, class TestFunction, class ExceptionTest>
format_test_char_as_integer(TestFunction check,ExceptionTest check_exception)1247 void format_test_char_as_integer(TestFunction check, ExceptionTest check_exception) {
1248 // *** align-fill & width ***
1249 check(SV("answer is '42'"), SV("answer is '{:<1d}'"), CharT('*'));
1250
1251 check(SV("answer is '42'"), SV("answer is '{:<2d}'"), CharT('*'));
1252 check(SV("answer is '42 '"), SV("answer is '{:<3d}'"), CharT('*'));
1253
1254 check(SV("answer is ' 42'"), SV("answer is '{:7d}'"), CharT('*'));
1255 check(SV("answer is ' 42'"), SV("answer is '{:>7d}'"), CharT('*'));
1256 check(SV("answer is '42 '"), SV("answer is '{:<7d}'"), CharT('*'));
1257 check(SV("answer is ' 42 '"), SV("answer is '{:^7d}'"), CharT('*'));
1258
1259 // The fill character ':' is allowed here (P0645) but not in ranges (P2286).
1260 check(SV("answer is ':::::42'"), SV("answer is '{::>7d}'"), CharT('*'));
1261 check(SV("answer is '42:::::'"), SV("answer is '{::<7d}'"), CharT('*'));
1262 check(SV("answer is '::42:::'"), SV("answer is '{::^7d}'"), CharT('*'));
1263
1264 // Test whether zero padding is ignored
1265 check(SV("answer is ' 42'"), SV("answer is '{:>07d}'"), CharT('*'));
1266 check(SV("answer is '42 '"), SV("answer is '{:<07d}'"), CharT('*'));
1267 check(SV("answer is ' 42 '"), SV("answer is '{:^07d}'"), CharT('*'));
1268
1269 // *** Sign ***
1270 check(SV("answer is 42"), SV("answer is {:d}"), CharT('*'));
1271 check(SV("answer is 42"), SV("answer is {:-d}"), CharT('*'));
1272 check(SV("answer is +42"), SV("answer is {:+d}"), CharT('*'));
1273 check(SV("answer is 42"), SV("answer is {: d}"), CharT('*'));
1274
1275 // *** alternate form ***
1276 check(SV("answer is +42"), SV("answer is {:+#d}"), CharT('*'));
1277 check(SV("answer is +101010"), SV("answer is {:+b}"), CharT('*'));
1278 check(SV("answer is +0b101010"), SV("answer is {:+#b}"), CharT('*'));
1279 check(SV("answer is +0B101010"), SV("answer is {:+#B}"), CharT('*'));
1280 check(SV("answer is +52"), SV("answer is {:+o}"), CharT('*'));
1281 check(SV("answer is +052"), SV("answer is {:+#o}"), CharT('*'));
1282 check(SV("answer is +2a"), SV("answer is {:+x}"), CharT('*'));
1283 check(SV("answer is +0x2a"), SV("answer is {:+#x}"), CharT('*'));
1284 check(SV("answer is +2A"), SV("answer is {:+X}"), CharT('*'));
1285 check(SV("answer is +0X2A"), SV("answer is {:+#X}"), CharT('*'));
1286
1287 // *** zero-padding & width ***
1288 check(SV("answer is +00000000042"), SV("answer is {:+#012d}"), CharT('*'));
1289 check(SV("answer is +00000101010"), SV("answer is {:+012b}"), CharT('*'));
1290 check(SV("answer is +0b000101010"), SV("answer is {:+#012b}"), CharT('*'));
1291 check(SV("answer is +0B000101010"), SV("answer is {:+#012B}"), CharT('*'));
1292 check(SV("answer is +00000000052"), SV("answer is {:+012o}"), CharT('*'));
1293 check(SV("answer is +00000000052"), SV("answer is {:+#012o}"), CharT('*'));
1294 check(SV("answer is +0000000002a"), SV("answer is {:+012x}"), CharT('*'));
1295 check(SV("answer is +0x00000002a"), SV("answer is {:+#012x}"), CharT('*'));
1296 check(SV("answer is +0000000002A"), SV("answer is {:+012X}"), CharT('*'));
1297
1298 check(SV("answer is +0X00000002A"), SV("answer is {:+#012X}"), CharT('*'));
1299
1300 // *** precision ***
1301 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.d}"), CharT('*'));
1302 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.0d}"), CharT('*'));
1303 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.42d}"), CharT('*'));
1304
1305 // *** locale-specific form ***
1306 // See locale-specific_form.pass.cpp
1307
1308 // *** type ***
1309 #if TEST_STD_VER > 20
1310 const char* valid_types = "bBcdoxX?";
1311 #else
1312 const char* valid_types = "bBcdoxX";
1313 #endif
1314 for (const auto& fmt : invalid_types<CharT>(valid_types))
1315 check_exception("The type option contains an invalid value for a character formatting argument", fmt, CharT('*'));
1316 }
1317
1318 template <class F, class CharT, class TestFunction>
format_test_floating_point_hex_lower_case(TestFunction check)1319 void format_test_floating_point_hex_lower_case(TestFunction check) {
1320 auto nan_pos = std::numeric_limits<F>::quiet_NaN(); // "nan"
1321 auto nan_neg = std::copysign(nan_pos, static_cast<decltype(nan_pos)>(-1.0)); // "-nan"
1322
1323 // Test whether the hexadecimal letters are the proper case.
1324 // The precision is too large for float, so two tests are used.
1325 check(SV("answer is '1.abcp+0'"), SV("answer is '{:a}'"), F(0x1.abcp+0));
1326 check(SV("answer is '1.defp+0'"), SV("answer is '{:a}'"), F(0x1.defp+0));
1327
1328 // *** align-fill & width ***
1329 check(SV("answer is ' 1p-2'"), SV("answer is '{:7a}'"), F(0.25));
1330 check(SV("answer is ' 1p-2'"), SV("answer is '{:>7a}'"), F(0.25));
1331 check(SV("answer is '1p-2 '"), SV("answer is '{:<7a}'"), F(0.25));
1332 check(SV("answer is ' 1p-2 '"), SV("answer is '{:^7a}'"), F(0.25));
1333
1334 // The fill character ':' is allowed here (P0645) but not in ranges (P2286).
1335 check(SV("answer is ':::1p-3'"), SV("answer is '{::>7a}'"), F(125e-3));
1336 check(SV("answer is '1p-3:::'"), SV("answer is '{::<7a}'"), F(125e-3));
1337 check(SV("answer is ':1p-3::'"), SV("answer is '{::^7a}'"), F(125e-3));
1338
1339 check(SV("answer is '***inf'"), SV("answer is '{:*>6a}'"), std::numeric_limits<F>::infinity());
1340 check(SV("answer is 'inf***'"), SV("answer is '{:*<6a}'"), std::numeric_limits<F>::infinity());
1341 check(SV("answer is '*inf**'"), SV("answer is '{:*^6a}'"), std::numeric_limits<F>::infinity());
1342
1343 check(SV("answer is '###-inf'"), SV("answer is '{:#>7a}'"), -std::numeric_limits<F>::infinity());
1344 check(SV("answer is '-inf###'"), SV("answer is '{:#<7a}'"), -std::numeric_limits<F>::infinity());
1345 check(SV("answer is '#-inf##'"), SV("answer is '{:#^7a}'"), -std::numeric_limits<F>::infinity());
1346
1347 check(SV("answer is '^^^nan'"), SV("answer is '{:^>6a}'"), nan_pos);
1348 check(SV("answer is 'nan^^^'"), SV("answer is '{:^<6a}'"), nan_pos);
1349 check(SV("answer is '^nan^^'"), SV("answer is '{:^^6a}'"), nan_pos);
1350
1351 check(SV("answer is '000-nan'"), SV("answer is '{:0>7a}'"), nan_neg);
1352 check(SV("answer is '-nan000'"), SV("answer is '{:0<7a}'"), nan_neg);
1353 check(SV("answer is '0-nan00'"), SV("answer is '{:0^7a}'"), nan_neg);
1354
1355 // Test whether zero padding is ignored
1356 check(SV("answer is ' 1p-2'"), SV("answer is '{:>07a}'"), F(0.25));
1357 check(SV("answer is '1p-2 '"), SV("answer is '{:<07a}'"), F(0.25));
1358 check(SV("answer is ' 1p-2 '"), SV("answer is '{:^07a}'"), F(0.25));
1359
1360 // *** Sign ***
1361 check(SV("answer is '0p+0'"), SV("answer is '{:a}'"), F(0));
1362 check(SV("answer is '0p+0'"), SV("answer is '{:-a}'"), F(0));
1363 check(SV("answer is '+0p+0'"), SV("answer is '{:+a}'"), F(0));
1364 check(SV("answer is ' 0p+0'"), SV("answer is '{: a}'"), F(0));
1365
1366 check(SV("answer is '-0p+0'"), SV("answer is '{:a}'"), F(-0.));
1367 check(SV("answer is '-0p+0'"), SV("answer is '{:-a}'"), F(-0.));
1368 check(SV("answer is '-0p+0'"), SV("answer is '{:+a}'"), F(-0.));
1369 check(SV("answer is '-0p+0'"), SV("answer is '{: a}'"), F(-0.));
1370
1371 // [format.string.std]/5 The sign option applies to floating-point infinity and NaN.
1372 check(SV("answer is 'inf'"), SV("answer is '{:a}'"), std::numeric_limits<F>::infinity());
1373 check(SV("answer is 'inf'"), SV("answer is '{:-a}'"), std::numeric_limits<F>::infinity());
1374 check(SV("answer is '+inf'"), SV("answer is '{:+a}'"), std::numeric_limits<F>::infinity());
1375 check(SV("answer is ' inf'"), SV("answer is '{: a}'"), std::numeric_limits<F>::infinity());
1376
1377 check(SV("answer is '-inf'"), SV("answer is '{:a}'"), -std::numeric_limits<F>::infinity());
1378 check(SV("answer is '-inf'"), SV("answer is '{:-a}'"), -std::numeric_limits<F>::infinity());
1379 check(SV("answer is '-inf'"), SV("answer is '{:+a}'"), -std::numeric_limits<F>::infinity());
1380 check(SV("answer is '-inf'"), SV("answer is '{: a}'"), -std::numeric_limits<F>::infinity());
1381
1382 check(SV("answer is 'nan'"), SV("answer is '{:a}'"), nan_pos);
1383 check(SV("answer is 'nan'"), SV("answer is '{:-a}'"), nan_pos);
1384 check(SV("answer is '+nan'"), SV("answer is '{:+a}'"), nan_pos);
1385 check(SV("answer is ' nan'"), SV("answer is '{: a}'"), nan_pos);
1386
1387 check(SV("answer is '-nan'"), SV("answer is '{:a}'"), nan_neg);
1388 check(SV("answer is '-nan'"), SV("answer is '{:-a}'"), nan_neg);
1389 check(SV("answer is '-nan'"), SV("answer is '{:+a}'"), nan_neg);
1390 check(SV("answer is '-nan'"), SV("answer is '{: a}'"), nan_neg);
1391
1392 // *** alternate form ***
1393 // When precision is zero there's no decimal point except when the alternate form is specified.
1394 check(SV("answer is '0p+0'"), SV("answer is '{:a}'"), F(0));
1395 check(SV("answer is '0.p+0'"), SV("answer is '{:#a}'"), F(0));
1396
1397 check(SV("answer is '1p+1'"), SV("answer is '{:.0a}'"), F(2.5));
1398 check(SV("answer is '1.p+1'"), SV("answer is '{:#.0a}'"), F(2.5));
1399 check(SV("answer is '1.4p+1'"), SV("answer is '{:#a}'"), F(2.5));
1400
1401 check(SV("answer is 'inf'"), SV("answer is '{:#a}'"), std::numeric_limits<F>::infinity());
1402 check(SV("answer is '-inf'"), SV("answer is '{:#a}'"), -std::numeric_limits<F>::infinity());
1403
1404 check(SV("answer is 'nan'"), SV("answer is '{:#a}'"), nan_pos);
1405 check(SV("answer is '-nan'"), SV("answer is '{:#a}'"), nan_neg);
1406
1407 // *** zero-padding & width ***
1408 check(SV("answer is '1p-5'"), SV("answer is '{:04a}'"), 0.03125);
1409 check(SV("answer is '+1p-5'"), SV("answer is '{:+05a}'"), 0.03125);
1410 check(SV("answer is '+01p-5'"), SV("answer is '{:+06a}'"), 0.03125);
1411
1412 check(SV("answer is '0001p-5'"), SV("answer is '{:07a}'"), 0.03125);
1413 check(SV("answer is '0001p-5'"), SV("answer is '{:-07a}'"), 0.03125);
1414 check(SV("answer is '+001p-5'"), SV("answer is '{:+07a}'"), 0.03125);
1415 check(SV("answer is ' 001p-5'"), SV("answer is '{: 07a}'"), 0.03125);
1416
1417 check(SV("answer is ' inf'"), SV("answer is '{:010a}'"), std::numeric_limits<F>::infinity());
1418 check(SV("answer is ' inf'"), SV("answer is '{:-010a}'"), std::numeric_limits<F>::infinity());
1419 check(SV("answer is ' +inf'"), SV("answer is '{:+010a}'"), std::numeric_limits<F>::infinity());
1420 check(SV("answer is ' inf'"), SV("answer is '{: 010a}'"), std::numeric_limits<F>::infinity());
1421
1422 check(SV("answer is ' -inf'"), SV("answer is '{:010a}'"), -std::numeric_limits<F>::infinity());
1423 check(SV("answer is ' -inf'"), SV("answer is '{:-010a}'"), -std::numeric_limits<F>::infinity());
1424 check(SV("answer is ' -inf'"), SV("answer is '{:+010a}'"), -std::numeric_limits<F>::infinity());
1425 check(SV("answer is ' -inf'"), SV("answer is '{: 010a}'"), -std::numeric_limits<F>::infinity());
1426
1427 check(SV("answer is ' nan'"), SV("answer is '{:010a}'"), nan_pos);
1428 check(SV("answer is ' nan'"), SV("answer is '{:-010a}'"), nan_pos);
1429 check(SV("answer is ' +nan'"), SV("answer is '{:+010a}'"), nan_pos);
1430 check(SV("answer is ' nan'"), SV("answer is '{: 010a}'"), nan_pos);
1431
1432 check(SV("answer is ' -nan'"), SV("answer is '{:010a}'"), nan_neg);
1433 check(SV("answer is ' -nan'"), SV("answer is '{:-010a}'"), nan_neg);
1434 check(SV("answer is ' -nan'"), SV("answer is '{:+010a}'"), nan_neg);
1435 check(SV("answer is ' -nan'"), SV("answer is '{: 010a}'"), nan_neg);
1436
1437 // *** precision ***
1438 // See format_test_floating_point_hex_lower_case_precision
1439
1440 // *** locale-specific form ***
1441 // See locale-specific_form.pass.cpp
1442 }
1443
1444 template <class F, class CharT, class TestFunction>
format_test_floating_point_hex_upper_case(TestFunction check)1445 void format_test_floating_point_hex_upper_case(TestFunction check) {
1446 auto nan_pos = std::numeric_limits<F>::quiet_NaN(); // "nan"
1447 auto nan_neg = std::copysign(nan_pos, static_cast<decltype(nan_pos)>(-1.0)); // "-nan"
1448
1449 // Test whether the hexadecimal letters are the proper case.
1450 // The precision is too large for float, so two tests are used.
1451 check(SV("answer is '1.ABCP+0'"), SV("answer is '{:A}'"), F(0x1.abcp+0));
1452 check(SV("answer is '1.DEFP+0'"), SV("answer is '{:A}'"), F(0x1.defp+0));
1453
1454 // *** align-fill & width ***
1455 check(SV("answer is ' 1P-2'"), SV("answer is '{:7A}'"), F(0.25));
1456 check(SV("answer is ' 1P-2'"), SV("answer is '{:>7A}'"), F(0.25));
1457 check(SV("answer is '1P-2 '"), SV("answer is '{:<7A}'"), F(0.25));
1458 check(SV("answer is ' 1P-2 '"), SV("answer is '{:^7A}'"), F(0.25));
1459
1460 check(SV("answer is '---1P-3'"), SV("answer is '{:->7A}'"), F(125e-3));
1461 check(SV("answer is '1P-3---'"), SV("answer is '{:-<7A}'"), F(125e-3));
1462 check(SV("answer is '-1P-3--'"), SV("answer is '{:-^7A}'"), F(125e-3));
1463
1464 check(SV("answer is '***INF'"), SV("answer is '{:*>6A}'"), std::numeric_limits<F>::infinity());
1465 check(SV("answer is 'INF***'"), SV("answer is '{:*<6A}'"), std::numeric_limits<F>::infinity());
1466 check(SV("answer is '*INF**'"), SV("answer is '{:*^6A}'"), std::numeric_limits<F>::infinity());
1467
1468 check(SV("answer is '###-INF'"), SV("answer is '{:#>7A}'"), -std::numeric_limits<F>::infinity());
1469 check(SV("answer is '-INF###'"), SV("answer is '{:#<7A}'"), -std::numeric_limits<F>::infinity());
1470 check(SV("answer is '#-INF##'"), SV("answer is '{:#^7A}'"), -std::numeric_limits<F>::infinity());
1471
1472 check(SV("answer is '^^^NAN'"), SV("answer is '{:^>6A}'"), nan_pos);
1473 check(SV("answer is 'NAN^^^'"), SV("answer is '{:^<6A}'"), nan_pos);
1474 check(SV("answer is '^NAN^^'"), SV("answer is '{:^^6A}'"), nan_pos);
1475
1476 check(SV("answer is '000-NAN'"), SV("answer is '{:0>7A}'"), nan_neg);
1477 check(SV("answer is '-NAN000'"), SV("answer is '{:0<7A}'"), nan_neg);
1478 check(SV("answer is '0-NAN00'"), SV("answer is '{:0^7A}'"), nan_neg);
1479
1480 // Test whether zero padding is ignored
1481 check(SV("answer is ' 1P-2'"), SV("answer is '{:>07A}'"), F(0.25));
1482 check(SV("answer is '1P-2 '"), SV("answer is '{:<07A}'"), F(0.25));
1483 check(SV("answer is ' 1P-2 '"), SV("answer is '{:^07A}'"), F(0.25));
1484
1485 // *** Sign ***
1486 check(SV("answer is '0P+0'"), SV("answer is '{:A}'"), F(0));
1487 check(SV("answer is '0P+0'"), SV("answer is '{:-A}'"), F(0));
1488 check(SV("answer is '+0P+0'"), SV("answer is '{:+A}'"), F(0));
1489 check(SV("answer is ' 0P+0'"), SV("answer is '{: A}'"), F(0));
1490
1491 check(SV("answer is '-0P+0'"), SV("answer is '{:A}'"), F(-0.));
1492 check(SV("answer is '-0P+0'"), SV("answer is '{:-A}'"), F(-0.));
1493 check(SV("answer is '-0P+0'"), SV("answer is '{:+A}'"), F(-0.));
1494 check(SV("answer is '-0P+0'"), SV("answer is '{: A}'"), F(-0.));
1495
1496 // [format.string.std]/5 The sign option applies to floating-point infinity and NaN.
1497 check(SV("answer is 'INF'"), SV("answer is '{:A}'"), std::numeric_limits<F>::infinity());
1498 check(SV("answer is 'INF'"), SV("answer is '{:-A}'"), std::numeric_limits<F>::infinity());
1499 check(SV("answer is '+INF'"), SV("answer is '{:+A}'"), std::numeric_limits<F>::infinity());
1500 check(SV("answer is ' INF'"), SV("answer is '{: A}'"), std::numeric_limits<F>::infinity());
1501
1502 check(SV("answer is '-INF'"), SV("answer is '{:A}'"), -std::numeric_limits<F>::infinity());
1503 check(SV("answer is '-INF'"), SV("answer is '{:-A}'"), -std::numeric_limits<F>::infinity());
1504 check(SV("answer is '-INF'"), SV("answer is '{:+A}'"), -std::numeric_limits<F>::infinity());
1505 check(SV("answer is '-INF'"), SV("answer is '{: A}'"), -std::numeric_limits<F>::infinity());
1506
1507 check(SV("answer is 'NAN'"), SV("answer is '{:A}'"), nan_pos);
1508 check(SV("answer is 'NAN'"), SV("answer is '{:-A}'"), nan_pos);
1509 check(SV("answer is '+NAN'"), SV("answer is '{:+A}'"), nan_pos);
1510 check(SV("answer is ' NAN'"), SV("answer is '{: A}'"), nan_pos);
1511
1512 check(SV("answer is '-NAN'"), SV("answer is '{:A}'"), nan_neg);
1513 check(SV("answer is '-NAN'"), SV("answer is '{:-A}'"), nan_neg);
1514 check(SV("answer is '-NAN'"), SV("answer is '{:+A}'"), nan_neg);
1515 check(SV("answer is '-NAN'"), SV("answer is '{: A}'"), nan_neg);
1516
1517 // *** alternate form ***
1518 // When precision is zero there's no decimal point except when the alternate form is specified.
1519 check(SV("answer is '0P+0'"), SV("answer is '{:A}'"), F(0));
1520 check(SV("answer is '0.P+0'"), SV("answer is '{:#A}'"), F(0));
1521
1522 check(SV("answer is '1P+1'"), SV("answer is '{:.0A}'"), F(2.5));
1523 check(SV("answer is '1.P+1'"), SV("answer is '{:#.0A}'"), F(2.5));
1524 check(SV("answer is '1.4P+1'"), SV("answer is '{:#A}'"), F(2.5));
1525
1526 check(SV("answer is 'INF'"), SV("answer is '{:#A}'"), std::numeric_limits<F>::infinity());
1527 check(SV("answer is '-INF'"), SV("answer is '{:#A}'"), -std::numeric_limits<F>::infinity());
1528
1529 check(SV("answer is 'NAN'"), SV("answer is '{:#A}'"), nan_pos);
1530 check(SV("answer is '-NAN'"), SV("answer is '{:#A}'"), nan_neg);
1531
1532 // *** zero-padding & width ***
1533 check(SV("answer is '1P-5'"), SV("answer is '{:04A}'"), 0.03125);
1534 check(SV("answer is '+1P-5'"), SV("answer is '{:+05A}'"), 0.03125);
1535 check(SV("answer is '+01P-5'"), SV("answer is '{:+06A}'"), 0.03125);
1536
1537 check(SV("answer is '0001P-5'"), SV("answer is '{:07A}'"), 0.03125);
1538 check(SV("answer is '0001P-5'"), SV("answer is '{:-07A}'"), 0.03125);
1539 check(SV("answer is '+001P-5'"), SV("answer is '{:+07A}'"), 0.03125);
1540 check(SV("answer is ' 001P-5'"), SV("answer is '{: 07A}'"), 0.03125);
1541
1542 check(SV("answer is ' INF'"), SV("answer is '{:010A}'"), std::numeric_limits<F>::infinity());
1543 check(SV("answer is ' INF'"), SV("answer is '{:-010A}'"), std::numeric_limits<F>::infinity());
1544 check(SV("answer is ' +INF'"), SV("answer is '{:+010A}'"), std::numeric_limits<F>::infinity());
1545 check(SV("answer is ' INF'"), SV("answer is '{: 010A}'"), std::numeric_limits<F>::infinity());
1546
1547 check(SV("answer is ' -INF'"), SV("answer is '{:010A}'"), -std::numeric_limits<F>::infinity());
1548 check(SV("answer is ' -INF'"), SV("answer is '{:-010A}'"), -std::numeric_limits<F>::infinity());
1549 check(SV("answer is ' -INF'"), SV("answer is '{:+010A}'"), -std::numeric_limits<F>::infinity());
1550 check(SV("answer is ' -INF'"), SV("answer is '{: 010A}'"), -std::numeric_limits<F>::infinity());
1551
1552 check(SV("answer is ' NAN'"), SV("answer is '{:010A}'"), nan_pos);
1553 check(SV("answer is ' NAN'"), SV("answer is '{:-010A}'"), nan_pos);
1554 check(SV("answer is ' +NAN'"), SV("answer is '{:+010A}'"), nan_pos);
1555 check(SV("answer is ' NAN'"), SV("answer is '{: 010A}'"), nan_pos);
1556
1557 check(SV("answer is ' -NAN'"), SV("answer is '{:010A}'"), nan_neg);
1558 check(SV("answer is ' -NAN'"), SV("answer is '{:-010A}'"), nan_neg);
1559 check(SV("answer is ' -NAN'"), SV("answer is '{:+010A}'"), nan_neg);
1560 check(SV("answer is ' -NAN'"), SV("answer is '{: 010A}'"), nan_neg);
1561
1562 // *** precision ***
1563 // See format_test_floating_point_hex_upper_case_precision
1564
1565 // *** locale-specific form ***
1566 // See locale-specific_form.pass.cpp
1567 }
1568
1569 template <class F, class CharT, class TestFunction>
format_test_floating_point_hex_lower_case_precision(TestFunction check)1570 void format_test_floating_point_hex_lower_case_precision(TestFunction check) {
1571 auto nan_pos = std::numeric_limits<F>::quiet_NaN(); // "nan"
1572 auto nan_neg = std::copysign(nan_pos, static_cast<decltype(nan_pos)>(-1.0)); // "-nan"
1573
1574 // *** align-fill & width ***
1575 check(SV("answer is ' 1.000000p-2'"), SV("answer is '{:14.6a}'"), F(0.25));
1576 check(SV("answer is ' 1.000000p-2'"), SV("answer is '{:>14.6a}'"), F(0.25));
1577 check(SV("answer is '1.000000p-2 '"), SV("answer is '{:<14.6a}'"), F(0.25));
1578 check(SV("answer is ' 1.000000p-2 '"), SV("answer is '{:^14.6a}'"), F(0.25));
1579
1580 check(SV("answer is '---1.000000p-3'"), SV("answer is '{:->14.6a}'"), F(125e-3));
1581 check(SV("answer is '1.000000p-3---'"), SV("answer is '{:-<14.6a}'"), F(125e-3));
1582 check(SV("answer is '-1.000000p-3--'"), SV("answer is '{:-^14.6a}'"), F(125e-3));
1583
1584 check(SV("answer is '***inf'"), SV("answer is '{:*>6.6a}'"), std::numeric_limits<F>::infinity());
1585 check(SV("answer is 'inf***'"), SV("answer is '{:*<6.6a}'"), std::numeric_limits<F>::infinity());
1586 check(SV("answer is '*inf**'"), SV("answer is '{:*^6.6a}'"), std::numeric_limits<F>::infinity());
1587
1588 check(SV("answer is '###-inf'"), SV("answer is '{:#>7.6a}'"), -std::numeric_limits<F>::infinity());
1589 check(SV("answer is '-inf###'"), SV("answer is '{:#<7.6a}'"), -std::numeric_limits<F>::infinity());
1590 check(SV("answer is '#-inf##'"), SV("answer is '{:#^7.6a}'"), -std::numeric_limits<F>::infinity());
1591
1592 check(SV("answer is '^^^nan'"), SV("answer is '{:^>6.6a}'"), nan_pos);
1593 check(SV("answer is 'nan^^^'"), SV("answer is '{:^<6.6a}'"), nan_pos);
1594 check(SV("answer is '^nan^^'"), SV("answer is '{:^^6.6a}'"), nan_pos);
1595
1596 check(SV("answer is '000-nan'"), SV("answer is '{:0>7.6a}'"), nan_neg);
1597 check(SV("answer is '-nan000'"), SV("answer is '{:0<7.6a}'"), nan_neg);
1598 check(SV("answer is '0-nan00'"), SV("answer is '{:0^7.6a}'"), nan_neg);
1599
1600 // Test whether zero padding is ignored
1601 check(SV("answer is ' 1.000000p-2'"), SV("answer is '{:>014.6a}'"), F(0.25));
1602 check(SV("answer is '1.000000p-2 '"), SV("answer is '{:<014.6a}'"), F(0.25));
1603 check(SV("answer is ' 1.000000p-2 '"), SV("answer is '{:^014.6a}'"), F(0.25));
1604
1605 // *** Sign ***
1606 check(SV("answer is '0.000000p+0'"), SV("answer is '{:.6a}'"), F(0));
1607 check(SV("answer is '0.000000p+0'"), SV("answer is '{:-.6a}'"), F(0));
1608 check(SV("answer is '+0.000000p+0'"), SV("answer is '{:+.6a}'"), F(0));
1609 check(SV("answer is ' 0.000000p+0'"), SV("answer is '{: .6a}'"), F(0));
1610
1611 check(SV("answer is '-0.000000p+0'"), SV("answer is '{:.6a}'"), F(-0.));
1612 check(SV("answer is '-0.000000p+0'"), SV("answer is '{:-.6a}'"), F(-0.));
1613 check(SV("answer is '-0.000000p+0'"), SV("answer is '{:+.6a}'"), F(-0.));
1614 check(SV("answer is '-0.000000p+0'"), SV("answer is '{: .6a}'"), F(-0.));
1615
1616 // [format.string.std]/5 The sign option applies to floating-point infinity and NaN.
1617 check(SV("answer is 'inf'"), SV("answer is '{:.6a}'"), std::numeric_limits<F>::infinity());
1618 check(SV("answer is 'inf'"), SV("answer is '{:-.6a}'"), std::numeric_limits<F>::infinity());
1619 check(SV("answer is '+inf'"), SV("answer is '{:+.6a}'"), std::numeric_limits<F>::infinity());
1620 check(SV("answer is ' inf'"), SV("answer is '{: .6a}'"), std::numeric_limits<F>::infinity());
1621
1622 check(SV("answer is '-inf'"), SV("answer is '{:.6a}'"), -std::numeric_limits<F>::infinity());
1623 check(SV("answer is '-inf'"), SV("answer is '{:-.6a}'"), -std::numeric_limits<F>::infinity());
1624 check(SV("answer is '-inf'"), SV("answer is '{:+.6a}'"), -std::numeric_limits<F>::infinity());
1625 check(SV("answer is '-inf'"), SV("answer is '{: .6a}'"), -std::numeric_limits<F>::infinity());
1626
1627 check(SV("answer is 'nan'"), SV("answer is '{:.6a}'"), nan_pos);
1628 check(SV("answer is 'nan'"), SV("answer is '{:-.6a}'"), nan_pos);
1629 check(SV("answer is '+nan'"), SV("answer is '{:+.6a}'"), nan_pos);
1630 check(SV("answer is ' nan'"), SV("answer is '{: .6a}'"), nan_pos);
1631
1632 check(SV("answer is '-nan'"), SV("answer is '{:.6a}'"), nan_neg);
1633 check(SV("answer is '-nan'"), SV("answer is '{:-.6a}'"), nan_neg);
1634 check(SV("answer is '-nan'"), SV("answer is '{:+.6a}'"), nan_neg);
1635 check(SV("answer is '-nan'"), SV("answer is '{: .6a}'"), nan_neg);
1636
1637 // *** alternate form ***
1638 check(SV("answer is '1.400000p+1'"), SV("answer is '{:#.6a}'"), F(2.5));
1639
1640 check(SV("answer is 'inf'"), SV("answer is '{:#.6a}'"), std::numeric_limits<F>::infinity());
1641 check(SV("answer is '-inf'"), SV("answer is '{:#.6a}'"), -std::numeric_limits<F>::infinity());
1642
1643 check(SV("answer is 'nan'"), SV("answer is '{:#.6a}'"), nan_pos);
1644 check(SV("answer is '-nan'"), SV("answer is '{:#.6a}'"), nan_neg);
1645
1646 // *** zero-padding & width ***
1647 check(SV("answer is '1.000000p-5'"), SV("answer is '{:011.6a}'"), 0.03125);
1648 check(SV("answer is '+1.000000p-5'"), SV("answer is '{:+012.6a}'"), 0.03125);
1649 check(SV("answer is '+01.000000p-5'"), SV("answer is '{:+013.6a}'"), 0.03125);
1650
1651 check(SV("answer is '0001.000000p-5'"), SV("answer is '{:014.6a}'"), 0.03125);
1652 check(SV("answer is '0001.000000p-5'"), SV("answer is '{:-014.6a}'"), 0.03125);
1653 check(SV("answer is '+001.000000p-5'"), SV("answer is '{:+014.6a}'"), 0.03125);
1654 check(SV("answer is ' 001.000000p-5'"), SV("answer is '{: 014.6a}'"), 0.03125);
1655
1656 check(SV("answer is ' inf'"), SV("answer is '{:010.6a}'"), std::numeric_limits<F>::infinity());
1657 check(SV("answer is ' inf'"), SV("answer is '{:-010.6a}'"), std::numeric_limits<F>::infinity());
1658 check(SV("answer is ' +inf'"), SV("answer is '{:+010.6a}'"), std::numeric_limits<F>::infinity());
1659 check(SV("answer is ' inf'"), SV("answer is '{: 010.6a}'"), std::numeric_limits<F>::infinity());
1660
1661 check(SV("answer is ' -inf'"), SV("answer is '{:010.6a}'"), -std::numeric_limits<F>::infinity());
1662 check(SV("answer is ' -inf'"), SV("answer is '{:-010.6a}'"), -std::numeric_limits<F>::infinity());
1663 check(SV("answer is ' -inf'"), SV("answer is '{:+010.6a}'"), -std::numeric_limits<F>::infinity());
1664 check(SV("answer is ' -inf'"), SV("answer is '{: 010.6a}'"), -std::numeric_limits<F>::infinity());
1665
1666 check(SV("answer is ' nan'"), SV("answer is '{:010.6a}'"), nan_pos);
1667 check(SV("answer is ' nan'"), SV("answer is '{:-010.6a}'"), nan_pos);
1668 check(SV("answer is ' +nan'"), SV("answer is '{:+010.6a}'"), nan_pos);
1669 check(SV("answer is ' nan'"), SV("answer is '{: 010.6a}'"), nan_pos);
1670
1671 check(SV("answer is ' -nan'"), SV("answer is '{:010.6a}'"), nan_neg);
1672 check(SV("answer is ' -nan'"), SV("answer is '{:-010.6a}'"), nan_neg);
1673 check(SV("answer is ' -nan'"), SV("answer is '{:+010.6a}'"), nan_neg);
1674 check(SV("answer is ' -nan'"), SV("answer is '{: 010.6a}'"), nan_neg);
1675
1676 // *** locale-specific form ***
1677 // See locale-specific_form.pass.cpp
1678 }
1679
1680 template <class F, class CharT, class TestFunction>
format_test_floating_point_hex_upper_case_precision(TestFunction check)1681 void format_test_floating_point_hex_upper_case_precision(TestFunction check) {
1682 auto nan_pos = std::numeric_limits<F>::quiet_NaN(); // "nan"
1683 auto nan_neg = std::copysign(nan_pos, static_cast<decltype(nan_pos)>(-1.0)); // "-nan"
1684
1685 // *** align-fill & width ***
1686 check(SV("answer is ' 1.000000P-2'"), SV("answer is '{:14.6A}'"), F(0.25));
1687 check(SV("answer is ' 1.000000P-2'"), SV("answer is '{:>14.6A}'"), F(0.25));
1688 check(SV("answer is '1.000000P-2 '"), SV("answer is '{:<14.6A}'"), F(0.25));
1689 check(SV("answer is ' 1.000000P-2 '"), SV("answer is '{:^14.6A}'"), F(0.25));
1690
1691 check(SV("answer is '---1.000000P-3'"), SV("answer is '{:->14.6A}'"), F(125e-3));
1692 check(SV("answer is '1.000000P-3---'"), SV("answer is '{:-<14.6A}'"), F(125e-3));
1693 check(SV("answer is '-1.000000P-3--'"), SV("answer is '{:-^14.6A}'"), F(125e-3));
1694
1695 check(SV("answer is '***INF'"), SV("answer is '{:*>6.6A}'"), std::numeric_limits<F>::infinity());
1696 check(SV("answer is 'INF***'"), SV("answer is '{:*<6.6A}'"), std::numeric_limits<F>::infinity());
1697 check(SV("answer is '*INF**'"), SV("answer is '{:*^6.6A}'"), std::numeric_limits<F>::infinity());
1698
1699 check(SV("answer is '###-INF'"), SV("answer is '{:#>7.6A}'"), -std::numeric_limits<F>::infinity());
1700 check(SV("answer is '-INF###'"), SV("answer is '{:#<7.6A}'"), -std::numeric_limits<F>::infinity());
1701 check(SV("answer is '#-INF##'"), SV("answer is '{:#^7.6A}'"), -std::numeric_limits<F>::infinity());
1702
1703 check(SV("answer is '^^^NAN'"), SV("answer is '{:^>6.6A}'"), nan_pos);
1704 check(SV("answer is 'NAN^^^'"), SV("answer is '{:^<6.6A}'"), nan_pos);
1705 check(SV("answer is '^NAN^^'"), SV("answer is '{:^^6.6A}'"), nan_pos);
1706
1707 check(SV("answer is '000-NAN'"), SV("answer is '{:0>7.6A}'"), nan_neg);
1708 check(SV("answer is '-NAN000'"), SV("answer is '{:0<7.6A}'"), nan_neg);
1709 check(SV("answer is '0-NAN00'"), SV("answer is '{:0^7.6A}'"), nan_neg);
1710
1711 // Test whether zero padding is ignored
1712 check(SV("answer is ' 1.000000P-2'"), SV("answer is '{:>014.6A}'"), F(0.25));
1713 check(SV("answer is '1.000000P-2 '"), SV("answer is '{:<014.6A}'"), F(0.25));
1714 check(SV("answer is ' 1.000000P-2 '"), SV("answer is '{:^014.6A}'"), F(0.25));
1715
1716 // *** Sign ***
1717 check(SV("answer is '0.000000P+0'"), SV("answer is '{:.6A}'"), F(0));
1718 check(SV("answer is '0.000000P+0'"), SV("answer is '{:-.6A}'"), F(0));
1719 check(SV("answer is '+0.000000P+0'"), SV("answer is '{:+.6A}'"), F(0));
1720 check(SV("answer is ' 0.000000P+0'"), SV("answer is '{: .6A}'"), F(0));
1721
1722 check(SV("answer is '-0.000000P+0'"), SV("answer is '{:.6A}'"), F(-0.));
1723 check(SV("answer is '-0.000000P+0'"), SV("answer is '{:-.6A}'"), F(-0.));
1724 check(SV("answer is '-0.000000P+0'"), SV("answer is '{:+.6A}'"), F(-0.));
1725 check(SV("answer is '-0.000000P+0'"), SV("answer is '{: .6A}'"), F(-0.));
1726
1727 // [format.string.std]/5 The sign option applies to floating-point infinity and NaN.
1728 check(SV("answer is 'INF'"), SV("answer is '{:.6A}'"), std::numeric_limits<F>::infinity());
1729 check(SV("answer is 'INF'"), SV("answer is '{:-.6A}'"), std::numeric_limits<F>::infinity());
1730 check(SV("answer is '+INF'"), SV("answer is '{:+.6A}'"), std::numeric_limits<F>::infinity());
1731 check(SV("answer is ' INF'"), SV("answer is '{: .6A}'"), std::numeric_limits<F>::infinity());
1732
1733 check(SV("answer is '-INF'"), SV("answer is '{:.6A}'"), -std::numeric_limits<F>::infinity());
1734 check(SV("answer is '-INF'"), SV("answer is '{:-.6A}'"), -std::numeric_limits<F>::infinity());
1735 check(SV("answer is '-INF'"), SV("answer is '{:+.6A}'"), -std::numeric_limits<F>::infinity());
1736 check(SV("answer is '-INF'"), SV("answer is '{: .6A}'"), -std::numeric_limits<F>::infinity());
1737
1738 check(SV("answer is 'NAN'"), SV("answer is '{:.6A}'"), nan_pos);
1739 check(SV("answer is 'NAN'"), SV("answer is '{:-.6A}'"), nan_pos);
1740 check(SV("answer is '+NAN'"), SV("answer is '{:+.6A}'"), nan_pos);
1741 check(SV("answer is ' NAN'"), SV("answer is '{: .6A}'"), nan_pos);
1742
1743 check(SV("answer is '-NAN'"), SV("answer is '{:.6A}'"), nan_neg);
1744 check(SV("answer is '-NAN'"), SV("answer is '{:-.6A}'"), nan_neg);
1745 check(SV("answer is '-NAN'"), SV("answer is '{:+.6A}'"), nan_neg);
1746 check(SV("answer is '-NAN'"), SV("answer is '{: .6A}'"), nan_neg);
1747
1748 // *** alternate form ***
1749 check(SV("answer is '1.400000P+1'"), SV("answer is '{:#.6A}'"), F(2.5));
1750
1751 check(SV("answer is 'INF'"), SV("answer is '{:#.6A}'"), std::numeric_limits<F>::infinity());
1752 check(SV("answer is '-INF'"), SV("answer is '{:#.6A}'"), -std::numeric_limits<F>::infinity());
1753
1754 check(SV("answer is 'NAN'"), SV("answer is '{:#.6A}'"), nan_pos);
1755 check(SV("answer is '-NAN'"), SV("answer is '{:#.6A}'"), nan_neg);
1756
1757 // *** zero-padding & width ***
1758 check(SV("answer is '1.000000P-5'"), SV("answer is '{:011.6A}'"), 0.03125);
1759 check(SV("answer is '+1.000000P-5'"), SV("answer is '{:+012.6A}'"), 0.03125);
1760 check(SV("answer is '+01.000000P-5'"), SV("answer is '{:+013.6A}'"), 0.03125);
1761
1762 check(SV("answer is '0001.000000P-5'"), SV("answer is '{:014.6A}'"), 0.03125);
1763 check(SV("answer is '0001.000000P-5'"), SV("answer is '{:-014.6A}'"), 0.03125);
1764 check(SV("answer is '+001.000000P-5'"), SV("answer is '{:+014.6A}'"), 0.03125);
1765 check(SV("answer is ' 001.000000P-5'"), SV("answer is '{: 014.6A}'"), 0.03125);
1766
1767 check(SV("answer is ' INF'"), SV("answer is '{:010.6A}'"), std::numeric_limits<F>::infinity());
1768 check(SV("answer is ' INF'"), SV("answer is '{:-010.6A}'"), std::numeric_limits<F>::infinity());
1769 check(SV("answer is ' +INF'"), SV("answer is '{:+010.6A}'"), std::numeric_limits<F>::infinity());
1770 check(SV("answer is ' INF'"), SV("answer is '{: 010.6A}'"), std::numeric_limits<F>::infinity());
1771
1772 check(SV("answer is ' -INF'"), SV("answer is '{:010.6A}'"), -std::numeric_limits<F>::infinity());
1773 check(SV("answer is ' -INF'"), SV("answer is '{:-010.6A}'"), -std::numeric_limits<F>::infinity());
1774 check(SV("answer is ' -INF'"), SV("answer is '{:+010.6A}'"), -std::numeric_limits<F>::infinity());
1775 check(SV("answer is ' -INF'"), SV("answer is '{: 010.6A}'"), -std::numeric_limits<F>::infinity());
1776
1777 check(SV("answer is ' NAN'"), SV("answer is '{:010.6A}'"), nan_pos);
1778 check(SV("answer is ' NAN'"), SV("answer is '{:-010.6A}'"), nan_pos);
1779 check(SV("answer is ' +NAN'"), SV("answer is '{:+010.6A}'"), nan_pos);
1780 check(SV("answer is ' NAN'"), SV("answer is '{: 010.6A}'"), nan_pos);
1781
1782 check(SV("answer is ' -NAN'"), SV("answer is '{:010.6A}'"), nan_neg);
1783 check(SV("answer is ' -NAN'"), SV("answer is '{:-010.6A}'"), nan_neg);
1784 check(SV("answer is ' -NAN'"), SV("answer is '{:+010.6A}'"), nan_neg);
1785 check(SV("answer is ' -NAN'"), SV("answer is '{: 010.6A}'"), nan_neg);
1786
1787 // *** locale-specific form ***
1788 // See locale-specific_form.pass.cpp
1789 }
1790
1791 template <class F, class CharT, class TestFunction>
format_test_floating_point_scientific_lower_case(TestFunction check)1792 void format_test_floating_point_scientific_lower_case(TestFunction check) {
1793 auto nan_pos = std::numeric_limits<F>::quiet_NaN(); // "nan"
1794 auto nan_neg = std::copysign(nan_pos, static_cast<decltype(nan_pos)>(-1.0)); // "-nan"
1795
1796 // *** align-fill & width ***
1797 check(SV("answer is ' 2.500000e-01'"), SV("answer is '{:15e}'"), F(0.25));
1798 check(SV("answer is ' 2.500000e-01'"), SV("answer is '{:>15e}'"), F(0.25));
1799 check(SV("answer is '2.500000e-01 '"), SV("answer is '{:<15e}'"), F(0.25));
1800 check(SV("answer is ' 2.500000e-01 '"), SV("answer is '{:^15e}'"), F(0.25));
1801
1802 check(SV("answer is '---1.250000e-01'"), SV("answer is '{:->15e}'"), F(125e-3));
1803 check(SV("answer is '1.250000e-01---'"), SV("answer is '{:-<15e}'"), F(125e-3));
1804 check(SV("answer is '-1.250000e-01--'"), SV("answer is '{:-^15e}'"), F(125e-3));
1805
1806 check(SV("answer is '***inf'"), SV("answer is '{:*>6e}'"), std::numeric_limits<F>::infinity());
1807 check(SV("answer is 'inf***'"), SV("answer is '{:*<6e}'"), std::numeric_limits<F>::infinity());
1808 check(SV("answer is '*inf**'"), SV("answer is '{:*^6e}'"), std::numeric_limits<F>::infinity());
1809
1810 check(SV("answer is '###-inf'"), SV("answer is '{:#>7e}'"), -std::numeric_limits<F>::infinity());
1811 check(SV("answer is '-inf###'"), SV("answer is '{:#<7e}'"), -std::numeric_limits<F>::infinity());
1812 check(SV("answer is '#-inf##'"), SV("answer is '{:#^7e}'"), -std::numeric_limits<F>::infinity());
1813
1814 check(SV("answer is '^^^nan'"), SV("answer is '{:^>6e}'"), nan_pos);
1815 check(SV("answer is 'nan^^^'"), SV("answer is '{:^<6e}'"), nan_pos);
1816 check(SV("answer is '^nan^^'"), SV("answer is '{:^^6e}'"), nan_pos);
1817
1818 check(SV("answer is '000-nan'"), SV("answer is '{:0>7e}'"), nan_neg);
1819 check(SV("answer is '-nan000'"), SV("answer is '{:0<7e}'"), nan_neg);
1820 check(SV("answer is '0-nan00'"), SV("answer is '{:0^7e}'"), nan_neg);
1821
1822 // Test whether zero padding is ignored
1823 check(SV("answer is ' 2.500000e-01'"), SV("answer is '{:>015e}'"), F(0.25));
1824 check(SV("answer is '2.500000e-01 '"), SV("answer is '{:<015e}'"), F(0.25));
1825 check(SV("answer is ' 2.500000e-01 '"), SV("answer is '{:^015e}'"), F(0.25));
1826
1827 // *** Sign ***
1828 check(SV("answer is '0.000000e+00'"), SV("answer is '{:e}'"), F(0));
1829 check(SV("answer is '0.000000e+00'"), SV("answer is '{:-e}'"), F(0));
1830 check(SV("answer is '+0.000000e+00'"), SV("answer is '{:+e}'"), F(0));
1831 check(SV("answer is ' 0.000000e+00'"), SV("answer is '{: e}'"), F(0));
1832
1833 check(SV("answer is '-0.000000e+00'"), SV("answer is '{:e}'"), F(-0.));
1834 check(SV("answer is '-0.000000e+00'"), SV("answer is '{:-e}'"), F(-0.));
1835 check(SV("answer is '-0.000000e+00'"), SV("answer is '{:+e}'"), F(-0.));
1836 check(SV("answer is '-0.000000e+00'"), SV("answer is '{: e}'"), F(-0.));
1837
1838 // [format.string.std]/5 The sign option applies to floating-point infinity and NaN.
1839 check(SV("answer is 'inf'"), SV("answer is '{:e}'"), std::numeric_limits<F>::infinity());
1840 check(SV("answer is 'inf'"), SV("answer is '{:-e}'"), std::numeric_limits<F>::infinity());
1841 check(SV("answer is '+inf'"), SV("answer is '{:+e}'"), std::numeric_limits<F>::infinity());
1842 check(SV("answer is ' inf'"), SV("answer is '{: e}'"), std::numeric_limits<F>::infinity());
1843
1844 check(SV("answer is '-inf'"), SV("answer is '{:e}'"), -std::numeric_limits<F>::infinity());
1845 check(SV("answer is '-inf'"), SV("answer is '{:-e}'"), -std::numeric_limits<F>::infinity());
1846 check(SV("answer is '-inf'"), SV("answer is '{:+e}'"), -std::numeric_limits<F>::infinity());
1847 check(SV("answer is '-inf'"), SV("answer is '{: e}'"), -std::numeric_limits<F>::infinity());
1848
1849 check(SV("answer is 'nan'"), SV("answer is '{:e}'"), nan_pos);
1850 check(SV("answer is 'nan'"), SV("answer is '{:-e}'"), nan_pos);
1851 check(SV("answer is '+nan'"), SV("answer is '{:+e}'"), nan_pos);
1852 check(SV("answer is ' nan'"), SV("answer is '{: e}'"), nan_pos);
1853
1854 check(SV("answer is '-nan'"), SV("answer is '{:e}'"), nan_neg);
1855 check(SV("answer is '-nan'"), SV("answer is '{:-e}'"), nan_neg);
1856 check(SV("answer is '-nan'"), SV("answer is '{:+e}'"), nan_neg);
1857 check(SV("answer is '-nan'"), SV("answer is '{: e}'"), nan_neg);
1858
1859 // *** alternate form **
1860 // When precision is zero there's no decimal point except when the alternate form is specified.
1861 check(SV("answer is '0e+00'"), SV("answer is '{:.0e}'"), F(0));
1862 check(SV("answer is '0.e+00'"), SV("answer is '{:#.0e}'"), F(0));
1863
1864 check(SV("answer is '0.000000e+00'"), SV("answer is '{:#e}'"), F(0));
1865 check(SV("answer is '2.500000e+00'"), SV("answer is '{:#e}'"), F(2.5));
1866
1867 check(SV("answer is 'inf'"), SV("answer is '{:#e}'"), std::numeric_limits<F>::infinity());
1868 check(SV("answer is '-inf'"), SV("answer is '{:#e}'"), -std::numeric_limits<F>::infinity());
1869
1870 check(SV("answer is 'nan'"), SV("answer is '{:#e}'"), nan_pos);
1871 check(SV("answer is '-nan'"), SV("answer is '{:#e}'"), nan_neg);
1872
1873 // *** zero-padding & width ***
1874 check(SV("answer is '3.125000e-02'"), SV("answer is '{:07e}'"), 0.03125);
1875 check(SV("answer is '+3.125000e-02'"), SV("answer is '{:+07e}'"), 0.03125);
1876 check(SV("answer is '+3.125000e-02'"), SV("answer is '{:+08e}'"), 0.03125);
1877 check(SV("answer is '+3.125000e-02'"), SV("answer is '{:+09e}'"), 0.03125);
1878
1879 check(SV("answer is '003.125000e-02'"), SV("answer is '{:014e}'"), 0.03125);
1880 check(SV("answer is '003.125000e-02'"), SV("answer is '{:-014e}'"), 0.03125);
1881 check(SV("answer is '+03.125000e-02'"), SV("answer is '{:+014e}'"), 0.03125);
1882 check(SV("answer is ' 03.125000e-02'"), SV("answer is '{: 014e}'"), 0.03125);
1883
1884 check(SV("answer is ' inf'"), SV("answer is '{:010e}'"), std::numeric_limits<F>::infinity());
1885 check(SV("answer is ' inf'"), SV("answer is '{:-010e}'"), std::numeric_limits<F>::infinity());
1886 check(SV("answer is ' +inf'"), SV("answer is '{:+010e}'"), std::numeric_limits<F>::infinity());
1887 check(SV("answer is ' inf'"), SV("answer is '{: 010e}'"), std::numeric_limits<F>::infinity());
1888
1889 check(SV("answer is ' -inf'"), SV("answer is '{:010e}'"), -std::numeric_limits<F>::infinity());
1890 check(SV("answer is ' -inf'"), SV("answer is '{:-010e}'"), -std::numeric_limits<F>::infinity());
1891 check(SV("answer is ' -inf'"), SV("answer is '{:+010e}'"), -std::numeric_limits<F>::infinity());
1892 check(SV("answer is ' -inf'"), SV("answer is '{: 010e}'"), -std::numeric_limits<F>::infinity());
1893
1894 check(SV("answer is ' nan'"), SV("answer is '{:010e}'"), nan_pos);
1895 check(SV("answer is ' nan'"), SV("answer is '{:-010e}'"), nan_pos);
1896 check(SV("answer is ' +nan'"), SV("answer is '{:+010e}'"), nan_pos);
1897 check(SV("answer is ' nan'"), SV("answer is '{: 010e}'"), nan_pos);
1898
1899 check(SV("answer is ' -nan'"), SV("answer is '{:010e}'"), nan_neg);
1900 check(SV("answer is ' -nan'"), SV("answer is '{:-010e}'"), nan_neg);
1901 check(SV("answer is ' -nan'"), SV("answer is '{:+010e}'"), nan_neg);
1902 check(SV("answer is ' -nan'"), SV("answer is '{: 010e}'"), nan_neg);
1903
1904 // *** precision ***
1905 check(SV("answer is '3e-02'"), SV("answer is '{:.0e}'"), 0.03125);
1906 check(SV("answer is '3.1e-02'"), SV("answer is '{:.1e}'"), 0.03125);
1907 check(SV("answer is '3.125e-02'"), SV("answer is '{:.3e}'"), 0.03125);
1908 check(SV("answer is '3.1250000000e-02'"), SV("answer is '{:.10e}'"), 0.03125);
1909
1910 // *** locale-specific form ***
1911 // See locale-specific_form.pass.cpp
1912 }
1913
1914 template <class F, class CharT, class TestFunction>
format_test_floating_point_scientific_upper_case(TestFunction check)1915 void format_test_floating_point_scientific_upper_case(TestFunction check) {
1916 auto nan_pos = std::numeric_limits<F>::quiet_NaN(); // "nan"
1917 auto nan_neg = std::copysign(nan_pos, static_cast<decltype(nan_pos)>(-1.0)); // "-nan"
1918
1919 // *** align-fill & width ***
1920 check(SV("answer is ' 2.500000E-01'"), SV("answer is '{:15E}'"), F(0.25));
1921 check(SV("answer is ' 2.500000E-01'"), SV("answer is '{:>15E}'"), F(0.25));
1922 check(SV("answer is '2.500000E-01 '"), SV("answer is '{:<15E}'"), F(0.25));
1923 check(SV("answer is ' 2.500000E-01 '"), SV("answer is '{:^15E}'"), F(0.25));
1924
1925 check(SV("answer is '---1.250000E-01'"), SV("answer is '{:->15E}'"), F(125e-3));
1926 check(SV("answer is '1.250000E-01---'"), SV("answer is '{:-<15E}'"), F(125e-3));
1927 check(SV("answer is '-1.250000E-01--'"), SV("answer is '{:-^15E}'"), F(125e-3));
1928
1929 check(SV("answer is '***INF'"), SV("answer is '{:*>6E}'"), std::numeric_limits<F>::infinity());
1930 check(SV("answer is 'INF***'"), SV("answer is '{:*<6E}'"), std::numeric_limits<F>::infinity());
1931 check(SV("answer is '*INF**'"), SV("answer is '{:*^6E}'"), std::numeric_limits<F>::infinity());
1932
1933 check(SV("answer is '###-INF'"), SV("answer is '{:#>7E}'"), -std::numeric_limits<F>::infinity());
1934 check(SV("answer is '-INF###'"), SV("answer is '{:#<7E}'"), -std::numeric_limits<F>::infinity());
1935 check(SV("answer is '#-INF##'"), SV("answer is '{:#^7E}'"), -std::numeric_limits<F>::infinity());
1936
1937 check(SV("answer is '^^^NAN'"), SV("answer is '{:^>6E}'"), nan_pos);
1938 check(SV("answer is 'NAN^^^'"), SV("answer is '{:^<6E}'"), nan_pos);
1939 check(SV("answer is '^NAN^^'"), SV("answer is '{:^^6E}'"), nan_pos);
1940
1941 check(SV("answer is '000-NAN'"), SV("answer is '{:0>7E}'"), nan_neg);
1942 check(SV("answer is '-NAN000'"), SV("answer is '{:0<7E}'"), nan_neg);
1943 check(SV("answer is '0-NAN00'"), SV("answer is '{:0^7E}'"), nan_neg);
1944
1945 // Test whether zero padding is ignored
1946 check(SV("answer is ' 2.500000E-01'"), SV("answer is '{:>015E}'"), F(0.25));
1947 check(SV("answer is '2.500000E-01 '"), SV("answer is '{:<015E}'"), F(0.25));
1948 check(SV("answer is ' 2.500000E-01 '"), SV("answer is '{:^015E}'"), F(0.25));
1949
1950 // *** Sign ***
1951 check(SV("answer is '0.000000E+00'"), SV("answer is '{:E}'"), F(0));
1952 check(SV("answer is '0.000000E+00'"), SV("answer is '{:-E}'"), F(0));
1953 check(SV("answer is '+0.000000E+00'"), SV("answer is '{:+E}'"), F(0));
1954 check(SV("answer is ' 0.000000E+00'"), SV("answer is '{: E}'"), F(0));
1955
1956 check(SV("answer is '-0.000000E+00'"), SV("answer is '{:E}'"), F(-0.));
1957 check(SV("answer is '-0.000000E+00'"), SV("answer is '{:-E}'"), F(-0.));
1958 check(SV("answer is '-0.000000E+00'"), SV("answer is '{:+E}'"), F(-0.));
1959 check(SV("answer is '-0.000000E+00'"), SV("answer is '{: E}'"), F(-0.));
1960
1961 // [format.string.std]/5 The sign option applies to floating-point infinity and NaN.
1962 check(SV("answer is 'INF'"), SV("answer is '{:E}'"), std::numeric_limits<F>::infinity());
1963 check(SV("answer is 'INF'"), SV("answer is '{:-E}'"), std::numeric_limits<F>::infinity());
1964 check(SV("answer is '+INF'"), SV("answer is '{:+E}'"), std::numeric_limits<F>::infinity());
1965 check(SV("answer is ' INF'"), SV("answer is '{: E}'"), std::numeric_limits<F>::infinity());
1966
1967 check(SV("answer is '-INF'"), SV("answer is '{:E}'"), -std::numeric_limits<F>::infinity());
1968 check(SV("answer is '-INF'"), SV("answer is '{:-E}'"), -std::numeric_limits<F>::infinity());
1969 check(SV("answer is '-INF'"), SV("answer is '{:+E}'"), -std::numeric_limits<F>::infinity());
1970 check(SV("answer is '-INF'"), SV("answer is '{: E}'"), -std::numeric_limits<F>::infinity());
1971
1972 check(SV("answer is 'NAN'"), SV("answer is '{:E}'"), nan_pos);
1973 check(SV("answer is 'NAN'"), SV("answer is '{:-E}'"), nan_pos);
1974 check(SV("answer is '+NAN'"), SV("answer is '{:+E}'"), nan_pos);
1975 check(SV("answer is ' NAN'"), SV("answer is '{: E}'"), nan_pos);
1976
1977 check(SV("answer is '-NAN'"), SV("answer is '{:E}'"), nan_neg);
1978 check(SV("answer is '-NAN'"), SV("answer is '{:-E}'"), nan_neg);
1979 check(SV("answer is '-NAN'"), SV("answer is '{:+E}'"), nan_neg);
1980 check(SV("answer is '-NAN'"), SV("answer is '{: E}'"), nan_neg);
1981
1982 // *** alternate form **
1983 // When precision is zero there's no decimal point except when the alternate form is specified.
1984 check(SV("answer is '0E+00'"), SV("answer is '{:.0E}'"), F(0));
1985 check(SV("answer is '0.E+00'"), SV("answer is '{:#.0E}'"), F(0));
1986
1987 check(SV("answer is '0.000000E+00'"), SV("answer is '{:#E}'"), F(0));
1988 check(SV("answer is '2.500000E+00'"), SV("answer is '{:#E}'"), F(2.5));
1989
1990 check(SV("answer is 'INF'"), SV("answer is '{:#E}'"), std::numeric_limits<F>::infinity());
1991 check(SV("answer is '-INF'"), SV("answer is '{:#E}'"), -std::numeric_limits<F>::infinity());
1992
1993 check(SV("answer is 'NAN'"), SV("answer is '{:#E}'"), nan_pos);
1994 check(SV("answer is '-NAN'"), SV("answer is '{:#E}'"), nan_neg);
1995
1996 // *** zero-padding & width ***
1997 check(SV("answer is '3.125000E-02'"), SV("answer is '{:07E}'"), 0.03125);
1998 check(SV("answer is '+3.125000E-02'"), SV("answer is '{:+07E}'"), 0.03125);
1999 check(SV("answer is '+3.125000E-02'"), SV("answer is '{:+08E}'"), 0.03125);
2000 check(SV("answer is '+3.125000E-02'"), SV("answer is '{:+09E}'"), 0.03125);
2001
2002 check(SV("answer is '003.125000E-02'"), SV("answer is '{:014E}'"), 0.03125);
2003 check(SV("answer is '003.125000E-02'"), SV("answer is '{:-014E}'"), 0.03125);
2004 check(SV("answer is '+03.125000E-02'"), SV("answer is '{:+014E}'"), 0.03125);
2005 check(SV("answer is ' 03.125000E-02'"), SV("answer is '{: 014E}'"), 0.03125);
2006
2007 check(SV("answer is ' INF'"), SV("answer is '{:010E}'"), std::numeric_limits<F>::infinity());
2008 check(SV("answer is ' INF'"), SV("answer is '{:-010E}'"), std::numeric_limits<F>::infinity());
2009 check(SV("answer is ' +INF'"), SV("answer is '{:+010E}'"), std::numeric_limits<F>::infinity());
2010 check(SV("answer is ' INF'"), SV("answer is '{: 010E}'"), std::numeric_limits<F>::infinity());
2011
2012 check(SV("answer is ' -INF'"), SV("answer is '{:010E}'"), -std::numeric_limits<F>::infinity());
2013 check(SV("answer is ' -INF'"), SV("answer is '{:-010E}'"), -std::numeric_limits<F>::infinity());
2014 check(SV("answer is ' -INF'"), SV("answer is '{:+010E}'"), -std::numeric_limits<F>::infinity());
2015 check(SV("answer is ' -INF'"), SV("answer is '{: 010E}'"), -std::numeric_limits<F>::infinity());
2016
2017 check(SV("answer is ' NAN'"), SV("answer is '{:010E}'"), nan_pos);
2018 check(SV("answer is ' NAN'"), SV("answer is '{:-010E}'"), nan_pos);
2019 check(SV("answer is ' +NAN'"), SV("answer is '{:+010E}'"), nan_pos);
2020 check(SV("answer is ' NAN'"), SV("answer is '{: 010E}'"), nan_pos);
2021
2022 check(SV("answer is ' -NAN'"), SV("answer is '{:010E}'"), nan_neg);
2023 check(SV("answer is ' -NAN'"), SV("answer is '{:-010E}'"), nan_neg);
2024 check(SV("answer is ' -NAN'"), SV("answer is '{:+010E}'"), nan_neg);
2025 check(SV("answer is ' -NAN'"), SV("answer is '{: 010E}'"), nan_neg);
2026
2027 // *** precision ***
2028 check(SV("answer is '3E-02'"), SV("answer is '{:.0E}'"), 0.03125);
2029 check(SV("answer is '3.1E-02'"), SV("answer is '{:.1E}'"), 0.03125);
2030 check(SV("answer is '3.125E-02'"), SV("answer is '{:.3E}'"), 0.03125);
2031 check(SV("answer is '3.1250000000E-02'"), SV("answer is '{:.10E}'"), 0.03125);
2032
2033 // *** locale-specific form ***
2034 // See locale-specific_form.pass.cpp
2035 }
2036
2037 template <class F, class CharT, class TestFunction>
format_test_floating_point_fixed_lower_case(TestFunction check)2038 void format_test_floating_point_fixed_lower_case(TestFunction check) {
2039 auto nan_pos = std::numeric_limits<F>::quiet_NaN(); // "nan"
2040 auto nan_neg = std::copysign(nan_pos, static_cast<decltype(nan_pos)>(-1.0)); // "-nan"
2041
2042 // *** align-fill & width ***
2043 check(SV("answer is ' 0.250000'"), SV("answer is '{:11f}'"), F(0.25));
2044 check(SV("answer is ' 0.250000'"), SV("answer is '{:>11f}'"), F(0.25));
2045 check(SV("answer is '0.250000 '"), SV("answer is '{:<11f}'"), F(0.25));
2046 check(SV("answer is ' 0.250000 '"), SV("answer is '{:^11f}'"), F(0.25));
2047
2048 check(SV("answer is '---0.125000'"), SV("answer is '{:->11f}'"), F(125e-3));
2049 check(SV("answer is '0.125000---'"), SV("answer is '{:-<11f}'"), F(125e-3));
2050 check(SV("answer is '-0.125000--'"), SV("answer is '{:-^11f}'"), F(125e-3));
2051
2052 check(SV("answer is '***inf'"), SV("answer is '{:*>6f}'"), std::numeric_limits<F>::infinity());
2053 check(SV("answer is 'inf***'"), SV("answer is '{:*<6f}'"), std::numeric_limits<F>::infinity());
2054 check(SV("answer is '*inf**'"), SV("answer is '{:*^6f}'"), std::numeric_limits<F>::infinity());
2055
2056 check(SV("answer is '###-inf'"), SV("answer is '{:#>7f}'"), -std::numeric_limits<F>::infinity());
2057 check(SV("answer is '-inf###'"), SV("answer is '{:#<7f}'"), -std::numeric_limits<F>::infinity());
2058 check(SV("answer is '#-inf##'"), SV("answer is '{:#^7f}'"), -std::numeric_limits<F>::infinity());
2059
2060 check(SV("answer is '^^^nan'"), SV("answer is '{:^>6f}'"), nan_pos);
2061 check(SV("answer is 'nan^^^'"), SV("answer is '{:^<6f}'"), nan_pos);
2062 check(SV("answer is '^nan^^'"), SV("answer is '{:^^6f}'"), nan_pos);
2063
2064 check(SV("answer is '000-nan'"), SV("answer is '{:0>7f}'"), nan_neg);
2065 check(SV("answer is '-nan000'"), SV("answer is '{:0<7f}'"), nan_neg);
2066 check(SV("answer is '0-nan00'"), SV("answer is '{:0^7f}'"), nan_neg);
2067
2068 // Test whether zero padding is ignored
2069 check(SV("answer is ' 0.250000'"), SV("answer is '{:>011f}'"), F(0.25));
2070 check(SV("answer is '0.250000 '"), SV("answer is '{:<011f}'"), F(0.25));
2071 check(SV("answer is ' 0.250000 '"), SV("answer is '{:^011f}'"), F(0.25));
2072
2073 // *** Sign ***
2074 check(SV("answer is '0.000000'"), SV("answer is '{:f}'"), F(0));
2075 check(SV("answer is '0.000000'"), SV("answer is '{:-f}'"), F(0));
2076 check(SV("answer is '+0.000000'"), SV("answer is '{:+f}'"), F(0));
2077 check(SV("answer is ' 0.000000'"), SV("answer is '{: f}'"), F(0));
2078
2079 check(SV("answer is '-0.000000'"), SV("answer is '{:f}'"), F(-0.));
2080 check(SV("answer is '-0.000000'"), SV("answer is '{:-f}'"), F(-0.));
2081 check(SV("answer is '-0.000000'"), SV("answer is '{:+f}'"), F(-0.));
2082 check(SV("answer is '-0.000000'"), SV("answer is '{: f}'"), F(-0.));
2083
2084 // [format.string.std]/5 The sign option applies to floating-point infinity and NaN.
2085 check(SV("answer is 'inf'"), SV("answer is '{:f}'"), std::numeric_limits<F>::infinity());
2086 check(SV("answer is 'inf'"), SV("answer is '{:-f}'"), std::numeric_limits<F>::infinity());
2087 check(SV("answer is '+inf'"), SV("answer is '{:+f}'"), std::numeric_limits<F>::infinity());
2088 check(SV("answer is ' inf'"), SV("answer is '{: f}'"), std::numeric_limits<F>::infinity());
2089
2090 check(SV("answer is '-inf'"), SV("answer is '{:f}'"), -std::numeric_limits<F>::infinity());
2091 check(SV("answer is '-inf'"), SV("answer is '{:-f}'"), -std::numeric_limits<F>::infinity());
2092 check(SV("answer is '-inf'"), SV("answer is '{:+f}'"), -std::numeric_limits<F>::infinity());
2093 check(SV("answer is '-inf'"), SV("answer is '{: f}'"), -std::numeric_limits<F>::infinity());
2094
2095 check(SV("answer is 'nan'"), SV("answer is '{:f}'"), nan_pos);
2096 check(SV("answer is 'nan'"), SV("answer is '{:-f}'"), nan_pos);
2097 check(SV("answer is '+nan'"), SV("answer is '{:+f}'"), nan_pos);
2098 check(SV("answer is ' nan'"), SV("answer is '{: f}'"), nan_pos);
2099
2100 check(SV("answer is '-nan'"), SV("answer is '{:f}'"), nan_neg);
2101 check(SV("answer is '-nan'"), SV("answer is '{:-f}'"), nan_neg);
2102 check(SV("answer is '-nan'"), SV("answer is '{:+f}'"), nan_neg);
2103 check(SV("answer is '-nan'"), SV("answer is '{: f}'"), nan_neg);
2104
2105 // *** alternate form **
2106 // When precision is zero there's no decimal point except when the alternate form is specified.
2107 check(SV("answer is '0'"), SV("answer is '{:.0f}'"), F(0));
2108 check(SV("answer is '0.'"), SV("answer is '{:#.0f}'"), F(0));
2109
2110 check(SV("answer is '0.000000'"), SV("answer is '{:#f}'"), F(0));
2111 check(SV("answer is '2.500000'"), SV("answer is '{:#f}'"), F(2.5));
2112
2113 check(SV("answer is 'inf'"), SV("answer is '{:#f}'"), std::numeric_limits<F>::infinity());
2114 check(SV("answer is '-inf'"), SV("answer is '{:#f}'"), -std::numeric_limits<F>::infinity());
2115
2116 check(SV("answer is 'nan'"), SV("answer is '{:#f}'"), nan_pos);
2117 check(SV("answer is '-nan'"), SV("answer is '{:#f}'"), nan_neg);
2118
2119 // *** zero-padding & width ***
2120 check(SV("answer is '0.031250'"), SV("answer is '{:07f}'"), 0.03125);
2121 check(SV("answer is '+0.031250'"), SV("answer is '{:+07f}'"), 0.03125);
2122 check(SV("answer is '+0.031250'"), SV("answer is '{:+08f}'"), 0.03125);
2123 check(SV("answer is '+0.031250'"), SV("answer is '{:+09f}'"), 0.03125);
2124
2125 check(SV("answer is '000.031250'"), SV("answer is '{:010f}'"), 0.03125);
2126 check(SV("answer is '000.031250'"), SV("answer is '{:-010f}'"), 0.03125);
2127 check(SV("answer is '+00.031250'"), SV("answer is '{:+010f}'"), 0.03125);
2128 check(SV("answer is ' 00.031250'"), SV("answer is '{: 010f}'"), 0.03125);
2129
2130 check(SV("answer is ' inf'"), SV("answer is '{:010f}'"), std::numeric_limits<F>::infinity());
2131 check(SV("answer is ' inf'"), SV("answer is '{:-010f}'"), std::numeric_limits<F>::infinity());
2132 check(SV("answer is ' +inf'"), SV("answer is '{:+010f}'"), std::numeric_limits<F>::infinity());
2133 check(SV("answer is ' inf'"), SV("answer is '{: 010f}'"), std::numeric_limits<F>::infinity());
2134
2135 check(SV("answer is ' -inf'"), SV("answer is '{:010f}'"), -std::numeric_limits<F>::infinity());
2136 check(SV("answer is ' -inf'"), SV("answer is '{:-010f}'"), -std::numeric_limits<F>::infinity());
2137 check(SV("answer is ' -inf'"), SV("answer is '{:+010f}'"), -std::numeric_limits<F>::infinity());
2138 check(SV("answer is ' -inf'"), SV("answer is '{: 010f}'"), -std::numeric_limits<F>::infinity());
2139
2140 check(SV("answer is ' nan'"), SV("answer is '{:010f}'"), nan_pos);
2141 check(SV("answer is ' nan'"), SV("answer is '{:-010f}'"), nan_pos);
2142 check(SV("answer is ' +nan'"), SV("answer is '{:+010f}'"), nan_pos);
2143 check(SV("answer is ' nan'"), SV("answer is '{: 010f}'"), nan_pos);
2144
2145 check(SV("answer is ' -nan'"), SV("answer is '{:010f}'"), nan_neg);
2146 check(SV("answer is ' -nan'"), SV("answer is '{:-010f}'"), nan_neg);
2147 check(SV("answer is ' -nan'"), SV("answer is '{:+010f}'"), nan_neg);
2148 check(SV("answer is ' -nan'"), SV("answer is '{: 010f}'"), nan_neg);
2149
2150 // *** precision ***
2151 check(SV("answer is '0'"), SV("answer is '{:.0f}'"), 0.03125);
2152 check(SV("answer is '0.0'"), SV("answer is '{:.1f}'"), 0.03125);
2153 check(SV("answer is '0.03125'"), SV("answer is '{:.5f}'"), 0.03125);
2154 check(SV("answer is '0.0312500000'"), SV("answer is '{:.10f}'"), 0.03125);
2155
2156 // *** locale-specific form ***
2157 // See locale-specific_form.pass.cpp
2158 }
2159
2160 template <class F, class CharT, class TestFunction>
format_test_floating_point_fixed_upper_case(TestFunction check)2161 void format_test_floating_point_fixed_upper_case(TestFunction check) {
2162 auto nan_pos = std::numeric_limits<F>::quiet_NaN(); // "nan"
2163 auto nan_neg = std::copysign(nan_pos, static_cast<decltype(nan_pos)>(-1.0)); // "-nan"
2164
2165 // *** align-fill & width ***
2166 check(SV("answer is ' 0.250000'"), SV("answer is '{:11F}'"), F(0.25));
2167 check(SV("answer is ' 0.250000'"), SV("answer is '{:>11F}'"), F(0.25));
2168 check(SV("answer is '0.250000 '"), SV("answer is '{:<11F}'"), F(0.25));
2169 check(SV("answer is ' 0.250000 '"), SV("answer is '{:^11F}'"), F(0.25));
2170
2171 check(SV("answer is '---0.125000'"), SV("answer is '{:->11F}'"), F(125e-3));
2172 check(SV("answer is '0.125000---'"), SV("answer is '{:-<11F}'"), F(125e-3));
2173 check(SV("answer is '-0.125000--'"), SV("answer is '{:-^11F}'"), F(125e-3));
2174
2175 check(SV("answer is '***INF'"), SV("answer is '{:*>6F}'"), std::numeric_limits<F>::infinity());
2176 check(SV("answer is 'INF***'"), SV("answer is '{:*<6F}'"), std::numeric_limits<F>::infinity());
2177 check(SV("answer is '*INF**'"), SV("answer is '{:*^6F}'"), std::numeric_limits<F>::infinity());
2178
2179 check(SV("answer is '###-INF'"), SV("answer is '{:#>7F}'"), -std::numeric_limits<F>::infinity());
2180 check(SV("answer is '-INF###'"), SV("answer is '{:#<7F}'"), -std::numeric_limits<F>::infinity());
2181 check(SV("answer is '#-INF##'"), SV("answer is '{:#^7F}'"), -std::numeric_limits<F>::infinity());
2182
2183 check(SV("answer is '^^^NAN'"), SV("answer is '{:^>6F}'"), nan_pos);
2184 check(SV("answer is 'NAN^^^'"), SV("answer is '{:^<6F}'"), nan_pos);
2185 check(SV("answer is '^NAN^^'"), SV("answer is '{:^^6F}'"), nan_pos);
2186
2187 check(SV("answer is '000-NAN'"), SV("answer is '{:0>7F}'"), nan_neg);
2188 check(SV("answer is '-NAN000'"), SV("answer is '{:0<7F}'"), nan_neg);
2189 check(SV("answer is '0-NAN00'"), SV("answer is '{:0^7F}'"), nan_neg);
2190
2191 // Test whether zero padding is ignored
2192 check(SV("answer is ' 0.250000'"), SV("answer is '{:>011F}'"), F(0.25));
2193 check(SV("answer is '0.250000 '"), SV("answer is '{:<011F}'"), F(0.25));
2194 check(SV("answer is ' 0.250000 '"), SV("answer is '{:^011F}'"), F(0.25));
2195
2196 // *** Sign ***
2197 check(SV("answer is '0.000000'"), SV("answer is '{:F}'"), F(0));
2198 check(SV("answer is '0.000000'"), SV("answer is '{:-F}'"), F(0));
2199 check(SV("answer is '+0.000000'"), SV("answer is '{:+F}'"), F(0));
2200 check(SV("answer is ' 0.000000'"), SV("answer is '{: F}'"), F(0));
2201
2202 check(SV("answer is '-0.000000'"), SV("answer is '{:F}'"), F(-0.));
2203 check(SV("answer is '-0.000000'"), SV("answer is '{:-F}'"), F(-0.));
2204 check(SV("answer is '-0.000000'"), SV("answer is '{:+F}'"), F(-0.));
2205 check(SV("answer is '-0.000000'"), SV("answer is '{: F}'"), F(-0.));
2206
2207 // [format.string.std]/5 The sign option applies to floating-point infinity and NaN.
2208 check(SV("answer is 'INF'"), SV("answer is '{:F}'"), std::numeric_limits<F>::infinity());
2209 check(SV("answer is 'INF'"), SV("answer is '{:-F}'"), std::numeric_limits<F>::infinity());
2210 check(SV("answer is '+INF'"), SV("answer is '{:+F}'"), std::numeric_limits<F>::infinity());
2211 check(SV("answer is ' INF'"), SV("answer is '{: F}'"), std::numeric_limits<F>::infinity());
2212
2213 check(SV("answer is '-INF'"), SV("answer is '{:F}'"), -std::numeric_limits<F>::infinity());
2214 check(SV("answer is '-INF'"), SV("answer is '{:-F}'"), -std::numeric_limits<F>::infinity());
2215 check(SV("answer is '-INF'"), SV("answer is '{:+F}'"), -std::numeric_limits<F>::infinity());
2216 check(SV("answer is '-INF'"), SV("answer is '{: F}'"), -std::numeric_limits<F>::infinity());
2217
2218 check(SV("answer is 'NAN'"), SV("answer is '{:F}'"), nan_pos);
2219 check(SV("answer is 'NAN'"), SV("answer is '{:-F}'"), nan_pos);
2220 check(SV("answer is '+NAN'"), SV("answer is '{:+F}'"), nan_pos);
2221 check(SV("answer is ' NAN'"), SV("answer is '{: F}'"), nan_pos);
2222
2223 check(SV("answer is '-NAN'"), SV("answer is '{:F}'"), nan_neg);
2224 check(SV("answer is '-NAN'"), SV("answer is '{:-F}'"), nan_neg);
2225 check(SV("answer is '-NAN'"), SV("answer is '{:+F}'"), nan_neg);
2226 check(SV("answer is '-NAN'"), SV("answer is '{: F}'"), nan_neg);
2227
2228 // *** alternate form **
2229 // When precision is zero there's no decimal point except when the alternate form is specified.
2230 check(SV("answer is '0'"), SV("answer is '{:.0F}'"), F(0));
2231 check(SV("answer is '0.'"), SV("answer is '{:#.0F}'"), F(0));
2232
2233 check(SV("answer is '0.000000'"), SV("answer is '{:#F}'"), F(0));
2234 check(SV("answer is '2.500000'"), SV("answer is '{:#F}'"), F(2.5));
2235
2236 check(SV("answer is 'INF'"), SV("answer is '{:#F}'"), std::numeric_limits<F>::infinity());
2237 check(SV("answer is '-INF'"), SV("answer is '{:#F}'"), -std::numeric_limits<F>::infinity());
2238
2239 check(SV("answer is 'NAN'"), SV("answer is '{:#F}'"), nan_pos);
2240 check(SV("answer is '-NAN'"), SV("answer is '{:#F}'"), nan_neg);
2241
2242 // *** zero-padding & width ***
2243 check(SV("answer is '0.031250'"), SV("answer is '{:07F}'"), 0.03125);
2244 check(SV("answer is '+0.031250'"), SV("answer is '{:+07F}'"), 0.03125);
2245 check(SV("answer is '+0.031250'"), SV("answer is '{:+08F}'"), 0.03125);
2246 check(SV("answer is '+0.031250'"), SV("answer is '{:+09F}'"), 0.03125);
2247
2248 check(SV("answer is '000.031250'"), SV("answer is '{:010F}'"), 0.03125);
2249 check(SV("answer is '000.031250'"), SV("answer is '{:-010F}'"), 0.03125);
2250 check(SV("answer is '+00.031250'"), SV("answer is '{:+010F}'"), 0.03125);
2251 check(SV("answer is ' 00.031250'"), SV("answer is '{: 010F}'"), 0.03125);
2252
2253 check(SV("answer is ' INF'"), SV("answer is '{:010F}'"), std::numeric_limits<F>::infinity());
2254 check(SV("answer is ' INF'"), SV("answer is '{:-010F}'"), std::numeric_limits<F>::infinity());
2255 check(SV("answer is ' +INF'"), SV("answer is '{:+010F}'"), std::numeric_limits<F>::infinity());
2256 check(SV("answer is ' INF'"), SV("answer is '{: 010F}'"), std::numeric_limits<F>::infinity());
2257
2258 check(SV("answer is ' -INF'"), SV("answer is '{:010F}'"), -std::numeric_limits<F>::infinity());
2259 check(SV("answer is ' -INF'"), SV("answer is '{:-010F}'"), -std::numeric_limits<F>::infinity());
2260 check(SV("answer is ' -INF'"), SV("answer is '{:+010F}'"), -std::numeric_limits<F>::infinity());
2261 check(SV("answer is ' -INF'"), SV("answer is '{: 010F}'"), -std::numeric_limits<F>::infinity());
2262
2263 check(SV("answer is ' NAN'"), SV("answer is '{:010F}'"), nan_pos);
2264 check(SV("answer is ' NAN'"), SV("answer is '{:-010F}'"), nan_pos);
2265 check(SV("answer is ' +NAN'"), SV("answer is '{:+010F}'"), nan_pos);
2266 check(SV("answer is ' NAN'"), SV("answer is '{: 010F}'"), nan_pos);
2267
2268 check(SV("answer is ' -NAN'"), SV("answer is '{:010F}'"), nan_neg);
2269 check(SV("answer is ' -NAN'"), SV("answer is '{:-010F}'"), nan_neg);
2270 check(SV("answer is ' -NAN'"), SV("answer is '{:+010F}'"), nan_neg);
2271 check(SV("answer is ' -NAN'"), SV("answer is '{: 010F}'"), nan_neg);
2272
2273 // *** precision ***
2274 check(SV("answer is '0'"), SV("answer is '{:.0F}'"), 0.03125);
2275 check(SV("answer is '0.0'"), SV("answer is '{:.1F}'"), 0.03125);
2276 check(SV("answer is '0.03125'"), SV("answer is '{:.5F}'"), 0.03125);
2277 check(SV("answer is '0.0312500000'"), SV("answer is '{:.10F}'"), 0.03125);
2278
2279 // *** locale-specific form ***
2280 // See locale-specific_form.pass.cpp
2281 }
2282
2283 template <class F, class CharT, class TestFunction>
format_test_floating_point_general_lower_case(TestFunction check)2284 void format_test_floating_point_general_lower_case(TestFunction check) {
2285 auto nan_pos = std::numeric_limits<F>::quiet_NaN(); // "nan"
2286 auto nan_neg = std::copysign(nan_pos, static_cast<decltype(nan_pos)>(-1.0)); // "-nan"
2287
2288 // *** align-fill & width ***
2289 check(SV("answer is ' 0.25'"), SV("answer is '{:7g}'"), F(0.25));
2290 check(SV("answer is ' 0.25'"), SV("answer is '{:>7g}'"), F(0.25));
2291 check(SV("answer is '0.25 '"), SV("answer is '{:<7g}'"), F(0.25));
2292 check(SV("answer is ' 0.25 '"), SV("answer is '{:^7g}'"), F(0.25));
2293
2294 check(SV("answer is '---0.125'"), SV("answer is '{:->8g}'"), F(125e-3));
2295 check(SV("answer is '0.125---'"), SV("answer is '{:-<8g}'"), F(125e-3));
2296 check(SV("answer is '-0.125--'"), SV("answer is '{:-^8g}'"), F(125e-3));
2297
2298 check(SV("answer is '***inf'"), SV("answer is '{:*>6g}'"), std::numeric_limits<F>::infinity());
2299 check(SV("answer is 'inf***'"), SV("answer is '{:*<6g}'"), std::numeric_limits<F>::infinity());
2300 check(SV("answer is '*inf**'"), SV("answer is '{:*^6g}'"), std::numeric_limits<F>::infinity());
2301
2302 check(SV("answer is '###-inf'"), SV("answer is '{:#>7g}'"), -std::numeric_limits<F>::infinity());
2303 check(SV("answer is '-inf###'"), SV("answer is '{:#<7g}'"), -std::numeric_limits<F>::infinity());
2304 check(SV("answer is '#-inf##'"), SV("answer is '{:#^7g}'"), -std::numeric_limits<F>::infinity());
2305
2306 check(SV("answer is '^^^nan'"), SV("answer is '{:^>6g}'"), nan_pos);
2307 check(SV("answer is 'nan^^^'"), SV("answer is '{:^<6g}'"), nan_pos);
2308 check(SV("answer is '^nan^^'"), SV("answer is '{:^^6g}'"), nan_pos);
2309
2310 check(SV("answer is '000-nan'"), SV("answer is '{:0>7g}'"), nan_neg);
2311 check(SV("answer is '-nan000'"), SV("answer is '{:0<7g}'"), nan_neg);
2312 check(SV("answer is '0-nan00'"), SV("answer is '{:0^7g}'"), nan_neg);
2313
2314 // Test whether zero padding is ignored
2315 check(SV("answer is ' 0.25'"), SV("answer is '{:>07g}'"), F(0.25));
2316 check(SV("answer is '0.25 '"), SV("answer is '{:<07g}'"), F(0.25));
2317 check(SV("answer is ' 0.25 '"), SV("answer is '{:^07g}'"), F(0.25));
2318
2319 // *** Sign ***
2320 check(SV("answer is '0'"), SV("answer is '{:g}'"), F(0));
2321 check(SV("answer is '0'"), SV("answer is '{:-g}'"), F(0));
2322 check(SV("answer is '+0'"), SV("answer is '{:+g}'"), F(0));
2323 check(SV("answer is ' 0'"), SV("answer is '{: g}'"), F(0));
2324
2325 check(SV("answer is '-0'"), SV("answer is '{:g}'"), F(-0.));
2326 check(SV("answer is '-0'"), SV("answer is '{:-g}'"), F(-0.));
2327 check(SV("answer is '-0'"), SV("answer is '{:+g}'"), F(-0.));
2328 check(SV("answer is '-0'"), SV("answer is '{: g}'"), F(-0.));
2329
2330 // [format.string.std]/5 The sign option applies to floating-point infinity and NaN.
2331 check(SV("answer is 'inf'"), SV("answer is '{:g}'"), std::numeric_limits<F>::infinity());
2332 check(SV("answer is 'inf'"), SV("answer is '{:-g}'"), std::numeric_limits<F>::infinity());
2333 check(SV("answer is '+inf'"), SV("answer is '{:+g}'"), std::numeric_limits<F>::infinity());
2334 check(SV("answer is ' inf'"), SV("answer is '{: g}'"), std::numeric_limits<F>::infinity());
2335
2336 check(SV("answer is '-inf'"), SV("answer is '{:g}'"), -std::numeric_limits<F>::infinity());
2337 check(SV("answer is '-inf'"), SV("answer is '{:-g}'"), -std::numeric_limits<F>::infinity());
2338 check(SV("answer is '-inf'"), SV("answer is '{:+g}'"), -std::numeric_limits<F>::infinity());
2339 check(SV("answer is '-inf'"), SV("answer is '{: g}'"), -std::numeric_limits<F>::infinity());
2340
2341 check(SV("answer is 'nan'"), SV("answer is '{:g}'"), nan_pos);
2342 check(SV("answer is 'nan'"), SV("answer is '{:-g}'"), nan_pos);
2343 check(SV("answer is '+nan'"), SV("answer is '{:+g}'"), nan_pos);
2344 check(SV("answer is ' nan'"), SV("answer is '{: g}'"), nan_pos);
2345
2346 check(SV("answer is '-nan'"), SV("answer is '{:g}'"), nan_neg);
2347 check(SV("answer is '-nan'"), SV("answer is '{:-g}'"), nan_neg);
2348 check(SV("answer is '-nan'"), SV("answer is '{:+g}'"), nan_neg);
2349 check(SV("answer is '-nan'"), SV("answer is '{: g}'"), nan_neg);
2350
2351 // *** alternate form **
2352 // When precision is zero there's no decimal point except when the alternate form is specified.
2353 check(SV("answer is '0'"), SV("answer is '{:.0g}'"), F(0));
2354 check(SV("answer is '0.'"), SV("answer is '{:#.0g}'"), F(0));
2355
2356 check(SV("answer is '0.00000'"), SV("answer is '{:#g}'"), F(0));
2357 check(SV("answer is '2.50000'"), SV("answer is '{:#g}'"), F(2.5));
2358
2359 check(SV("answer is 'inf'"), SV("answer is '{:#g}'"), std::numeric_limits<F>::infinity());
2360 check(SV("answer is '-inf'"), SV("answer is '{:#g}'"), -std::numeric_limits<F>::infinity());
2361
2362 check(SV("answer is 'nan'"), SV("answer is '{:#g}'"), nan_pos);
2363 check(SV("answer is '-nan'"), SV("answer is '{:#g}'"), nan_neg);
2364
2365 // *** zero-padding & width ***
2366 check(SV("answer is '0.03125'"), SV("answer is '{:06g}'"), 0.03125);
2367 check(SV("answer is '+0.03125'"), SV("answer is '{:+06g}'"), 0.03125);
2368 check(SV("answer is '+0.03125'"), SV("answer is '{:+07g}'"), 0.03125);
2369 check(SV("answer is '+0.03125'"), SV("answer is '{:+08g}'"), 0.03125);
2370
2371 check(SV("answer is '000.03125'"), SV("answer is '{:09g}'"), 0.03125);
2372 check(SV("answer is '000.03125'"), SV("answer is '{:-09g}'"), 0.03125);
2373 check(SV("answer is '+00.03125'"), SV("answer is '{:+09g}'"), 0.03125);
2374 check(SV("answer is ' 00.03125'"), SV("answer is '{: 09g}'"), 0.03125);
2375
2376 check(SV("answer is ' inf'"), SV("answer is '{:010g}'"), std::numeric_limits<F>::infinity());
2377 check(SV("answer is ' inf'"), SV("answer is '{:-010g}'"), std::numeric_limits<F>::infinity());
2378 check(SV("answer is ' +inf'"), SV("answer is '{:+010g}'"), std::numeric_limits<F>::infinity());
2379 check(SV("answer is ' inf'"), SV("answer is '{: 010g}'"), std::numeric_limits<F>::infinity());
2380
2381 check(SV("answer is ' -inf'"), SV("answer is '{:010g}'"), -std::numeric_limits<F>::infinity());
2382 check(SV("answer is ' -inf'"), SV("answer is '{:-010g}'"), -std::numeric_limits<F>::infinity());
2383 check(SV("answer is ' -inf'"), SV("answer is '{:+010g}'"), -std::numeric_limits<F>::infinity());
2384 check(SV("answer is ' -inf'"), SV("answer is '{: 010g}'"), -std::numeric_limits<F>::infinity());
2385
2386 check(SV("answer is ' nan'"), SV("answer is '{:010g}'"), nan_pos);
2387 check(SV("answer is ' nan'"), SV("answer is '{:-010g}'"), nan_pos);
2388 check(SV("answer is ' +nan'"), SV("answer is '{:+010g}'"), nan_pos);
2389 check(SV("answer is ' nan'"), SV("answer is '{: 010g}'"), nan_pos);
2390
2391 check(SV("answer is ' -nan'"), SV("answer is '{:010g}'"), nan_neg);
2392 check(SV("answer is ' -nan'"), SV("answer is '{:-010g}'"), nan_neg);
2393 check(SV("answer is ' -nan'"), SV("answer is '{:+010g}'"), nan_neg);
2394 check(SV("answer is ' -nan'"), SV("answer is '{: 010g}'"), nan_neg);
2395
2396 // *** precision ***
2397 check(SV("answer is '0.03'"), SV("answer is '{:.0g}'"), 0.03125);
2398 check(SV("answer is '0.03'"), SV("answer is '{:.1g}'"), 0.03125);
2399 check(SV("answer is '0.031'"), SV("answer is '{:.2g}'"), 0.03125);
2400 check(SV("answer is '0.0312'"), SV("answer is '{:.3g}'"), 0.03125);
2401 check(SV("answer is '0.03125'"), SV("answer is '{:.4g}'"), 0.03125);
2402 check(SV("answer is '0.03125'"), SV("answer is '{:.5g}'"), 0.03125);
2403 check(SV("answer is '0.03125'"), SV("answer is '{:.10g}'"), 0.03125);
2404
2405 // *** precision & alternate form ***
2406
2407 // Output validated with printf("%#xg")
2408 check(SV("answer is '1.'"), SV("answer is '{:#.{}g}'"), 1.2, 0);
2409 check(SV("answer is '1.'"), SV("answer is '{:#.{}g}'"), 1.2, 1);
2410 check(SV("answer is '1.2'"), SV("answer is '{:#.{}g}'"), 1.2, 2);
2411 check(SV("answer is '1.20'"), SV("answer is '{:#.{}g}'"), 1.2, 3);
2412 check(SV("answer is '1.200'"), SV("answer is '{:#.{}g}'"), 1.2, 4);
2413 check(SV("answer is '1.2000'"), SV("answer is '{:#.{}g}'"), 1.2, 5);
2414 check(SV("answer is '1.20000'"), SV("answer is '{:#.{}g}'"), 1.2, 6);
2415
2416 check(SV("answer is '1.e+03'"), SV("answer is '{:#.{}g}'"), 1200.0, 0);
2417 check(SV("answer is '1.e+03'"), SV("answer is '{:#.{}g}'"), 1200.0, 1);
2418 check(SV("answer is '1.2e+03'"), SV("answer is '{:#.{}g}'"), 1200.0, 2);
2419 check(SV("answer is '1.20e+03'"), SV("answer is '{:#.{}g}'"), 1200.0, 3);
2420 check(SV("answer is '1200.'"), SV("answer is '{:#.{}g}'"), 1200.0, 4);
2421 check(SV("answer is '1200.0'"), SV("answer is '{:#.{}g}'"), 1200.0, 5);
2422 check(SV("answer is '1200.00'"), SV("answer is '{:#.{}g}'"), 1200.0, 6);
2423
2424 check(SV("answer is '1.e+06'"), SV("answer is '{:#.{}g}'"), 1200000.0, 0);
2425 check(SV("answer is '1.e+06'"), SV("answer is '{:#.{}g}'"), 1200000.0, 1);
2426 check(SV("answer is '1.2e+06'"), SV("answer is '{:#.{}g}'"), 1200000.0, 2);
2427 check(SV("answer is '1.20e+06'"), SV("answer is '{:#.{}g}'"), 1200000.0, 3);
2428 check(SV("answer is '1.200e+06'"), SV("answer is '{:#.{}g}'"), 1200000.0, 4);
2429 check(SV("answer is '1.2000e+06'"), SV("answer is '{:#.{}g}'"), 1200000.0, 5);
2430 check(SV("answer is '1.20000e+06'"), SV("answer is '{:#.{}g}'"), 1200000.0, 6);
2431
2432 // *** locale-specific form ***
2433 // See locale-specific_form.pass.cpp
2434 }
2435
2436 template <class F, class CharT, class TestFunction>
format_test_floating_point_general_upper_case(TestFunction check)2437 void format_test_floating_point_general_upper_case(TestFunction check) {
2438 auto nan_pos = std::numeric_limits<F>::quiet_NaN(); // "nan"
2439 auto nan_neg = std::copysign(nan_pos, static_cast<decltype(nan_pos)>(-1.0)); // "-nan"
2440
2441 // *** align-fill & width ***
2442 check(SV("answer is ' 0.25'"), SV("answer is '{:7G}'"), F(0.25));
2443 check(SV("answer is ' 0.25'"), SV("answer is '{:>7G}'"), F(0.25));
2444 check(SV("answer is '0.25 '"), SV("answer is '{:<7G}'"), F(0.25));
2445 check(SV("answer is ' 0.25 '"), SV("answer is '{:^7G}'"), F(0.25));
2446
2447 check(SV("answer is '---0.125'"), SV("answer is '{:->8G}'"), F(125e-3));
2448 check(SV("answer is '0.125---'"), SV("answer is '{:-<8G}'"), F(125e-3));
2449 check(SV("answer is '-0.125--'"), SV("answer is '{:-^8G}'"), F(125e-3));
2450
2451 check(SV("answer is '***INF'"), SV("answer is '{:*>6G}'"), std::numeric_limits<F>::infinity());
2452 check(SV("answer is 'INF***'"), SV("answer is '{:*<6G}'"), std::numeric_limits<F>::infinity());
2453 check(SV("answer is '*INF**'"), SV("answer is '{:*^6G}'"), std::numeric_limits<F>::infinity());
2454
2455 check(SV("answer is '###-INF'"), SV("answer is '{:#>7G}'"), -std::numeric_limits<F>::infinity());
2456 check(SV("answer is '-INF###'"), SV("answer is '{:#<7G}'"), -std::numeric_limits<F>::infinity());
2457 check(SV("answer is '#-INF##'"), SV("answer is '{:#^7G}'"), -std::numeric_limits<F>::infinity());
2458
2459 check(SV("answer is '^^^NAN'"), SV("answer is '{:^>6G}'"), nan_pos);
2460 check(SV("answer is 'NAN^^^'"), SV("answer is '{:^<6G}'"), nan_pos);
2461 check(SV("answer is '^NAN^^'"), SV("answer is '{:^^6G}'"), nan_pos);
2462
2463 check(SV("answer is '000-NAN'"), SV("answer is '{:0>7G}'"), nan_neg);
2464 check(SV("answer is '-NAN000'"), SV("answer is '{:0<7G}'"), nan_neg);
2465 check(SV("answer is '0-NAN00'"), SV("answer is '{:0^7G}'"), nan_neg);
2466
2467 // Test whether zero padding is ignored
2468 check(SV("answer is ' 0.25'"), SV("answer is '{:>07G}'"), F(0.25));
2469 check(SV("answer is '0.25 '"), SV("answer is '{:<07G}'"), F(0.25));
2470 check(SV("answer is ' 0.25 '"), SV("answer is '{:^07G}'"), F(0.25));
2471
2472 // *** Sign ***
2473 check(SV("answer is '0'"), SV("answer is '{:G}'"), F(0));
2474 check(SV("answer is '0'"), SV("answer is '{:-G}'"), F(0));
2475 check(SV("answer is '+0'"), SV("answer is '{:+G}'"), F(0));
2476 check(SV("answer is ' 0'"), SV("answer is '{: G}'"), F(0));
2477
2478 check(SV("answer is '-0'"), SV("answer is '{:G}'"), F(-0.));
2479 check(SV("answer is '-0'"), SV("answer is '{:-G}'"), F(-0.));
2480 check(SV("answer is '-0'"), SV("answer is '{:+G}'"), F(-0.));
2481 check(SV("answer is '-0'"), SV("answer is '{: G}'"), F(-0.));
2482
2483 // [format.string.std]/5 The sign option applies to floating-point infinity and NaN.
2484 check(SV("answer is 'INF'"), SV("answer is '{:G}'"), std::numeric_limits<F>::infinity());
2485 check(SV("answer is 'INF'"), SV("answer is '{:-G}'"), std::numeric_limits<F>::infinity());
2486 check(SV("answer is '+INF'"), SV("answer is '{:+G}'"), std::numeric_limits<F>::infinity());
2487 check(SV("answer is ' INF'"), SV("answer is '{: G}'"), std::numeric_limits<F>::infinity());
2488
2489 check(SV("answer is '-INF'"), SV("answer is '{:G}'"), -std::numeric_limits<F>::infinity());
2490 check(SV("answer is '-INF'"), SV("answer is '{:-G}'"), -std::numeric_limits<F>::infinity());
2491 check(SV("answer is '-INF'"), SV("answer is '{:+G}'"), -std::numeric_limits<F>::infinity());
2492 check(SV("answer is '-INF'"), SV("answer is '{: G}'"), -std::numeric_limits<F>::infinity());
2493
2494 check(SV("answer is 'NAN'"), SV("answer is '{:G}'"), nan_pos);
2495 check(SV("answer is 'NAN'"), SV("answer is '{:-G}'"), nan_pos);
2496 check(SV("answer is '+NAN'"), SV("answer is '{:+G}'"), nan_pos);
2497 check(SV("answer is ' NAN'"), SV("answer is '{: G}'"), nan_pos);
2498
2499 check(SV("answer is '-NAN'"), SV("answer is '{:G}'"), nan_neg);
2500 check(SV("answer is '-NAN'"), SV("answer is '{:-G}'"), nan_neg);
2501 check(SV("answer is '-NAN'"), SV("answer is '{:+G}'"), nan_neg);
2502 check(SV("answer is '-NAN'"), SV("answer is '{: G}'"), nan_neg);
2503
2504 // *** alternate form **
2505 // When precision is zero there's no decimal point except when the alternate form is specified.
2506 check(SV("answer is '0'"), SV("answer is '{:.0G}'"), F(0));
2507 check(SV("answer is '0.'"), SV("answer is '{:#.0G}'"), F(0));
2508
2509 check(SV("answer is '0.00000'"), SV("answer is '{:#G}'"), F(0));
2510 check(SV("answer is '2.50000'"), SV("answer is '{:#G}'"), F(2.5));
2511
2512 check(SV("answer is 'INF'"), SV("answer is '{:#G}'"), std::numeric_limits<F>::infinity());
2513 check(SV("answer is '-INF'"), SV("answer is '{:#G}'"), -std::numeric_limits<F>::infinity());
2514
2515 check(SV("answer is 'NAN'"), SV("answer is '{:#G}'"), nan_pos);
2516 check(SV("answer is '-NAN'"), SV("answer is '{:#G}'"), nan_neg);
2517
2518 // *** zero-padding & width ***
2519 check(SV("answer is '0.03125'"), SV("answer is '{:06G}'"), 0.03125);
2520 check(SV("answer is '+0.03125'"), SV("answer is '{:+06G}'"), 0.03125);
2521 check(SV("answer is '+0.03125'"), SV("answer is '{:+07G}'"), 0.03125);
2522 check(SV("answer is '+0.03125'"), SV("answer is '{:+08G}'"), 0.03125);
2523
2524 check(SV("answer is '000.03125'"), SV("answer is '{:09G}'"), 0.03125);
2525 check(SV("answer is '000.03125'"), SV("answer is '{:-09G}'"), 0.03125);
2526 check(SV("answer is '+00.03125'"), SV("answer is '{:+09G}'"), 0.03125);
2527 check(SV("answer is ' 00.03125'"), SV("answer is '{: 09G}'"), 0.03125);
2528
2529 check(SV("answer is ' INF'"), SV("answer is '{:010G}'"), std::numeric_limits<F>::infinity());
2530 check(SV("answer is ' INF'"), SV("answer is '{:-010G}'"), std::numeric_limits<F>::infinity());
2531 check(SV("answer is ' +INF'"), SV("answer is '{:+010G}'"), std::numeric_limits<F>::infinity());
2532 check(SV("answer is ' INF'"), SV("answer is '{: 010G}'"), std::numeric_limits<F>::infinity());
2533
2534 check(SV("answer is ' -INF'"), SV("answer is '{:010G}'"), -std::numeric_limits<F>::infinity());
2535 check(SV("answer is ' -INF'"), SV("answer is '{:-010G}'"), -std::numeric_limits<F>::infinity());
2536 check(SV("answer is ' -INF'"), SV("answer is '{:+010G}'"), -std::numeric_limits<F>::infinity());
2537 check(SV("answer is ' -INF'"), SV("answer is '{: 010G}'"), -std::numeric_limits<F>::infinity());
2538
2539 check(SV("answer is ' NAN'"), SV("answer is '{:010G}'"), nan_pos);
2540 check(SV("answer is ' NAN'"), SV("answer is '{:-010G}'"), nan_pos);
2541 check(SV("answer is ' +NAN'"), SV("answer is '{:+010G}'"), nan_pos);
2542 check(SV("answer is ' NAN'"), SV("answer is '{: 010G}'"), nan_pos);
2543
2544 check(SV("answer is ' -NAN'"), SV("answer is '{:010G}'"), nan_neg);
2545 check(SV("answer is ' -NAN'"), SV("answer is '{:-010G}'"), nan_neg);
2546 check(SV("answer is ' -NAN'"), SV("answer is '{:+010G}'"), nan_neg);
2547 check(SV("answer is ' -NAN'"), SV("answer is '{: 010G}'"), nan_neg);
2548
2549 // *** precision ***
2550 check(SV("answer is '0.03'"), SV("answer is '{:.0G}'"), 0.03125);
2551 check(SV("answer is '0.03'"), SV("answer is '{:.1G}'"), 0.03125);
2552 check(SV("answer is '0.031'"), SV("answer is '{:.2G}'"), 0.03125);
2553 check(SV("answer is '0.0312'"), SV("answer is '{:.3G}'"), 0.03125);
2554 check(SV("answer is '0.03125'"), SV("answer is '{:.4G}'"), 0.03125);
2555 check(SV("answer is '0.03125'"), SV("answer is '{:.5G}'"), 0.03125);
2556 check(SV("answer is '0.03125'"), SV("answer is '{:.10G}'"), 0.03125);
2557
2558 // *** precision & alternate form ***
2559
2560 // Output validated with printf("%#xg")
2561 check(SV("answer is '1.'"), SV("answer is '{:#.{}G}'"), 1.2, 0);
2562 check(SV("answer is '1.'"), SV("answer is '{:#.{}G}'"), 1.2, 1);
2563 check(SV("answer is '1.2'"), SV("answer is '{:#.{}G}'"), 1.2, 2);
2564 check(SV("answer is '1.20'"), SV("answer is '{:#.{}G}'"), 1.2, 3);
2565 check(SV("answer is '1.200'"), SV("answer is '{:#.{}G}'"), 1.2, 4);
2566 check(SV("answer is '1.2000'"), SV("answer is '{:#.{}G}'"), 1.2, 5);
2567 check(SV("answer is '1.20000'"), SV("answer is '{:#.{}G}'"), 1.2, 6);
2568
2569 check(SV("answer is '1.E+03'"), SV("answer is '{:#.{}G}'"), 1200.0, 0);
2570 check(SV("answer is '1.E+03'"), SV("answer is '{:#.{}G}'"), 1200.0, 1);
2571 check(SV("answer is '1.2E+03'"), SV("answer is '{:#.{}G}'"), 1200.0, 2);
2572 check(SV("answer is '1.20E+03'"), SV("answer is '{:#.{}G}'"), 1200.0, 3);
2573 check(SV("answer is '1200.'"), SV("answer is '{:#.{}G}'"), 1200.0, 4);
2574 check(SV("answer is '1200.0'"), SV("answer is '{:#.{}G}'"), 1200.0, 5);
2575 check(SV("answer is '1200.00'"), SV("answer is '{:#.{}G}'"), 1200.0, 6);
2576
2577 check(SV("answer is '1.E+06'"), SV("answer is '{:#.{}G}'"), 1200000.0, 0);
2578 check(SV("answer is '1.E+06'"), SV("answer is '{:#.{}G}'"), 1200000.0, 1);
2579 check(SV("answer is '1.2E+06'"), SV("answer is '{:#.{}G}'"), 1200000.0, 2);
2580 check(SV("answer is '1.20E+06'"), SV("answer is '{:#.{}G}'"), 1200000.0, 3);
2581 check(SV("answer is '1.200E+06'"), SV("answer is '{:#.{}G}'"), 1200000.0, 4);
2582 check(SV("answer is '1.2000E+06'"), SV("answer is '{:#.{}G}'"), 1200000.0, 5);
2583 check(SV("answer is '1.20000E+06'"), SV("answer is '{:#.{}G}'"), 1200000.0, 6);
2584
2585 // *** locale-specific form ***
2586 // See locale-specific_form.pass.cpp
2587 }
2588
2589 template <class F, class CharT, class TestFunction>
format_test_floating_point_default(TestFunction check)2590 void format_test_floating_point_default(TestFunction check) {
2591 auto nan_pos = std::numeric_limits<F>::quiet_NaN(); // "nan"
2592 auto nan_neg = std::copysign(nan_pos, static_cast<decltype(nan_pos)>(-1.0)); // "-nan"
2593
2594 // *** align-fill & width ***
2595 check(SV("answer is ' 0.25'"), SV("answer is '{:7}'"), F(0.25));
2596 check(SV("answer is ' 0.25'"), SV("answer is '{:>7}'"), F(0.25));
2597 check(SV("answer is '0.25 '"), SV("answer is '{:<7}'"), F(0.25));
2598 check(SV("answer is ' 0.25 '"), SV("answer is '{:^7}'"), F(0.25));
2599
2600 check(SV("answer is '---0.125'"), SV("answer is '{:->8}'"), F(125e-3));
2601 check(SV("answer is '0.125---'"), SV("answer is '{:-<8}'"), F(125e-3));
2602 check(SV("answer is '-0.125--'"), SV("answer is '{:-^8}'"), F(125e-3));
2603
2604 check(SV("answer is '***inf'"), SV("answer is '{:*>6}'"), std::numeric_limits<F>::infinity());
2605 check(SV("answer is 'inf***'"), SV("answer is '{:*<6}'"), std::numeric_limits<F>::infinity());
2606 check(SV("answer is '*inf**'"), SV("answer is '{:*^6}'"), std::numeric_limits<F>::infinity());
2607
2608 check(SV("answer is '###-inf'"), SV("answer is '{:#>7}'"), -std::numeric_limits<F>::infinity());
2609 check(SV("answer is '-inf###'"), SV("answer is '{:#<7}'"), -std::numeric_limits<F>::infinity());
2610 check(SV("answer is '#-inf##'"), SV("answer is '{:#^7}'"), -std::numeric_limits<F>::infinity());
2611
2612 check(SV("answer is '^^^nan'"), SV("answer is '{:^>6}'"), nan_pos);
2613 check(SV("answer is 'nan^^^'"), SV("answer is '{:^<6}'"), nan_pos);
2614 check(SV("answer is '^nan^^'"), SV("answer is '{:^^6}'"), nan_pos);
2615
2616 check(SV("answer is '000-nan'"), SV("answer is '{:0>7}'"), nan_neg);
2617 check(SV("answer is '-nan000'"), SV("answer is '{:0<7}'"), nan_neg);
2618 check(SV("answer is '0-nan00'"), SV("answer is '{:0^7}'"), nan_neg);
2619
2620 // Test whether zero padding is ignored
2621 check(SV("answer is ' 0.25'"), SV("answer is '{:>07}'"), F(0.25));
2622 check(SV("answer is '0.25 '"), SV("answer is '{:<07}'"), F(0.25));
2623 check(SV("answer is ' 0.25 '"), SV("answer is '{:^07}'"), F(0.25));
2624
2625 // *** Sign ***
2626 check(SV("answer is '0'"), SV("answer is '{:}'"), F(0));
2627 check(SV("answer is '0'"), SV("answer is '{:-}'"), F(0));
2628 check(SV("answer is '+0'"), SV("answer is '{:+}'"), F(0));
2629 check(SV("answer is ' 0'"), SV("answer is '{: }'"), F(0));
2630
2631 check(SV("answer is '-0'"), SV("answer is '{:}'"), F(-0.));
2632 check(SV("answer is '-0'"), SV("answer is '{:-}'"), F(-0.));
2633 check(SV("answer is '-0'"), SV("answer is '{:+}'"), F(-0.));
2634 check(SV("answer is '-0'"), SV("answer is '{: }'"), F(-0.));
2635
2636 // [format.string.std]/5 The sign option applies to floating-point infinity and NaN.
2637 check(SV("answer is 'inf'"), SV("answer is '{:}'"), std::numeric_limits<F>::infinity());
2638 check(SV("answer is 'inf'"), SV("answer is '{:-}'"), std::numeric_limits<F>::infinity());
2639 check(SV("answer is '+inf'"), SV("answer is '{:+}'"), std::numeric_limits<F>::infinity());
2640 check(SV("answer is ' inf'"), SV("answer is '{: }'"), std::numeric_limits<F>::infinity());
2641
2642 check(SV("answer is '-inf'"), SV("answer is '{:}'"), -std::numeric_limits<F>::infinity());
2643 check(SV("answer is '-inf'"), SV("answer is '{:-}'"), -std::numeric_limits<F>::infinity());
2644 check(SV("answer is '-inf'"), SV("answer is '{:+}'"), -std::numeric_limits<F>::infinity());
2645 check(SV("answer is '-inf'"), SV("answer is '{: }'"), -std::numeric_limits<F>::infinity());
2646
2647 check(SV("answer is 'nan'"), SV("answer is '{:}'"), nan_pos);
2648 check(SV("answer is 'nan'"), SV("answer is '{:-}'"), nan_pos);
2649 check(SV("answer is '+nan'"), SV("answer is '{:+}'"), nan_pos);
2650 check(SV("answer is ' nan'"), SV("answer is '{: }'"), nan_pos);
2651
2652 check(SV("answer is '-nan'"), SV("answer is '{:}'"), nan_neg);
2653 check(SV("answer is '-nan'"), SV("answer is '{:-}'"), nan_neg);
2654 check(SV("answer is '-nan'"), SV("answer is '{:+}'"), nan_neg);
2655 check(SV("answer is '-nan'"), SV("answer is '{: }'"), nan_neg);
2656
2657 // *** alternate form ***
2658 check(SV("answer is '0.'"), SV("answer is '{:#}'"), F(0));
2659 check(SV("answer is '2.5'"), SV("answer is '{:#}'"), F(2.5));
2660
2661 check(SV("answer is 'inf'"), SV("answer is '{:#}'"), std::numeric_limits<F>::infinity());
2662 check(SV("answer is '-inf'"), SV("answer is '{:#}'"), -std::numeric_limits<F>::infinity());
2663
2664 check(SV("answer is 'nan'"), SV("answer is '{:#}'"), nan_pos);
2665 check(SV("answer is '-nan'"), SV("answer is '{:#}'"), nan_neg);
2666
2667 // *** zero-padding & width ***
2668 check(SV("answer is '0.03125'"), SV("answer is '{:07}'"), 0.03125);
2669 check(SV("answer is '+0.03125'"), SV("answer is '{:+07}'"), 0.03125);
2670 check(SV("answer is '+0.03125'"), SV("answer is '{:+08}'"), 0.03125);
2671 check(SV("answer is '+00.03125'"), SV("answer is '{:+09}'"), 0.03125);
2672
2673 check(SV("answer is '0000.03125'"), SV("answer is '{:010}'"), 0.03125);
2674 check(SV("answer is '0000.03125'"), SV("answer is '{:-010}'"), 0.03125);
2675 check(SV("answer is '+000.03125'"), SV("answer is '{:+010}'"), 0.03125);
2676 check(SV("answer is ' 000.03125'"), SV("answer is '{: 010}'"), 0.03125);
2677
2678 check(SV("answer is ' inf'"), SV("answer is '{:010}'"), std::numeric_limits<F>::infinity());
2679 check(SV("answer is ' inf'"), SV("answer is '{:-010}'"), std::numeric_limits<F>::infinity());
2680 check(SV("answer is ' +inf'"), SV("answer is '{:+010}'"), std::numeric_limits<F>::infinity());
2681 check(SV("answer is ' inf'"), SV("answer is '{: 010}'"), std::numeric_limits<F>::infinity());
2682
2683 check(SV("answer is ' -inf'"), SV("answer is '{:010}'"), -std::numeric_limits<F>::infinity());
2684 check(SV("answer is ' -inf'"), SV("answer is '{:-010}'"), -std::numeric_limits<F>::infinity());
2685 check(SV("answer is ' -inf'"), SV("answer is '{:+010}'"), -std::numeric_limits<F>::infinity());
2686 check(SV("answer is ' -inf'"), SV("answer is '{: 010}'"), -std::numeric_limits<F>::infinity());
2687
2688 check(SV("answer is ' nan'"), SV("answer is '{:010}'"), nan_pos);
2689 check(SV("answer is ' nan'"), SV("answer is '{:-010}'"), nan_pos);
2690 check(SV("answer is ' +nan'"), SV("answer is '{:+010}'"), nan_pos);
2691 check(SV("answer is ' nan'"), SV("answer is '{: 010}'"), nan_pos);
2692
2693 check(SV("answer is ' -nan'"), SV("answer is '{:010}'"), nan_neg);
2694 check(SV("answer is ' -nan'"), SV("answer is '{:-010}'"), nan_neg);
2695 check(SV("answer is ' -nan'"), SV("answer is '{:+010}'"), nan_neg);
2696 check(SV("answer is ' -nan'"), SV("answer is '{: 010}'"), nan_neg);
2697
2698 // *** precision ***
2699 // See format_test_floating_point_default_precision
2700
2701 // *** locale-specific form ***
2702 // See locale-specific_form.pass.cpp
2703 }
2704
2705 template <class F, class CharT, class TestFunction>
format_test_floating_point_default_precision(TestFunction check)2706 void format_test_floating_point_default_precision(TestFunction check) {
2707
2708 auto nan_pos = std::numeric_limits<F>::quiet_NaN(); // "nan"
2709 auto nan_neg = std::copysign(nan_pos, static_cast<decltype(nan_pos)>(-1.0)); // "-nan"
2710
2711 // *** align-fill & width ***
2712 check(SV("answer is ' 0.25'"), SV("answer is '{:7.6}'"), F(0.25));
2713 check(SV("answer is ' 0.25'"), SV("answer is '{:>7.6}'"), F(0.25));
2714 check(SV("answer is '0.25 '"), SV("answer is '{:<7.6}'"), F(0.25));
2715 check(SV("answer is ' 0.25 '"), SV("answer is '{:^7.6}'"), F(0.25));
2716
2717 check(SV("answer is '---0.125'"), SV("answer is '{:->8.6}'"), F(125e-3));
2718 check(SV("answer is '0.125---'"), SV("answer is '{:-<8.6}'"), F(125e-3));
2719 check(SV("answer is '-0.125--'"), SV("answer is '{:-^8.6}'"), F(125e-3));
2720
2721 check(SV("answer is '***inf'"), SV("answer is '{:*>6.6}'"), std::numeric_limits<F>::infinity());
2722 check(SV("answer is 'inf***'"), SV("answer is '{:*<6.6}'"), std::numeric_limits<F>::infinity());
2723 check(SV("answer is '*inf**'"), SV("answer is '{:*^6.6}'"), std::numeric_limits<F>::infinity());
2724
2725 check(SV("answer is '###-inf'"), SV("answer is '{:#>7.6}'"), -std::numeric_limits<F>::infinity());
2726 check(SV("answer is '-inf###'"), SV("answer is '{:#<7.6}'"), -std::numeric_limits<F>::infinity());
2727 check(SV("answer is '#-inf##'"), SV("answer is '{:#^7.6}'"), -std::numeric_limits<F>::infinity());
2728
2729 check(SV("answer is '^^^nan'"), SV("answer is '{:^>6.6}'"), nan_pos);
2730 check(SV("answer is 'nan^^^'"), SV("answer is '{:^<6.6}'"), nan_pos);
2731 check(SV("answer is '^nan^^'"), SV("answer is '{:^^6.6}'"), nan_pos);
2732
2733 check(SV("answer is '000-nan'"), SV("answer is '{:0>7.6}'"), nan_neg);
2734 check(SV("answer is '-nan000'"), SV("answer is '{:0<7.6}'"), nan_neg);
2735 check(SV("answer is '0-nan00'"), SV("answer is '{:0^7.6}'"), nan_neg);
2736
2737 // Test whether zero padding is ignored
2738 check(SV("answer is ' 0.25'"), SV("answer is '{:>07.6}'"), F(0.25));
2739 check(SV("answer is '0.25 '"), SV("answer is '{:<07.6}'"), F(0.25));
2740 check(SV("answer is ' 0.25 '"), SV("answer is '{:^07.6}'"), F(0.25));
2741
2742 // *** Sign ***
2743 check(SV("answer is '0'"), SV("answer is '{:.6}'"), F(0));
2744 check(SV("answer is '0'"), SV("answer is '{:-.6}'"), F(0));
2745 check(SV("answer is '+0'"), SV("answer is '{:+.6}'"), F(0));
2746 check(SV("answer is ' 0'"), SV("answer is '{: .6}'"), F(0));
2747
2748 check(SV("answer is '-0'"), SV("answer is '{:.6}'"), F(-0.));
2749 check(SV("answer is '-0'"), SV("answer is '{:-.6}'"), F(-0.));
2750 check(SV("answer is '-0'"), SV("answer is '{:+.6}'"), F(-0.));
2751 check(SV("answer is '-0'"), SV("answer is '{: .6}'"), F(-0.));
2752
2753 // [format.string.std]/5 The sign option applies to floating-point infinity and NaN.
2754 check(SV("answer is 'inf'"), SV("answer is '{:.6}'"), std::numeric_limits<F>::infinity());
2755 check(SV("answer is 'inf'"), SV("answer is '{:-.6}'"), std::numeric_limits<F>::infinity());
2756 check(SV("answer is '+inf'"), SV("answer is '{:+.6}'"), std::numeric_limits<F>::infinity());
2757 check(SV("answer is ' inf'"), SV("answer is '{: .6}'"), std::numeric_limits<F>::infinity());
2758
2759 check(SV("answer is '-inf'"), SV("answer is '{:.6}'"), -std::numeric_limits<F>::infinity());
2760 check(SV("answer is '-inf'"), SV("answer is '{:-.6}'"), -std::numeric_limits<F>::infinity());
2761 check(SV("answer is '-inf'"), SV("answer is '{:+.6}'"), -std::numeric_limits<F>::infinity());
2762 check(SV("answer is '-inf'"), SV("answer is '{: .6}'"), -std::numeric_limits<F>::infinity());
2763
2764 check(SV("answer is 'nan'"), SV("answer is '{:.6}'"), nan_pos);
2765 check(SV("answer is 'nan'"), SV("answer is '{:-.6}'"), nan_pos);
2766 check(SV("answer is '+nan'"), SV("answer is '{:+.6}'"), nan_pos);
2767 check(SV("answer is ' nan'"), SV("answer is '{: .6}'"), nan_pos);
2768
2769 check(SV("answer is '-nan'"), SV("answer is '{:.6}'"), nan_neg);
2770 check(SV("answer is '-nan'"), SV("answer is '{:-.6}'"), nan_neg);
2771 check(SV("answer is '-nan'"), SV("answer is '{:+.6}'"), nan_neg);
2772 check(SV("answer is '-nan'"), SV("answer is '{: .6}'"), nan_neg);
2773
2774 // *** alternate form **
2775 // When precision is zero there's no decimal point except when the alternate form is specified.
2776 // Note unlike the g and G option the trailing zeros are still removed.
2777 check(SV("answer is '0'"), SV("answer is '{:.0}'"), F(0));
2778 check(SV("answer is '0.'"), SV("answer is '{:#.0}'"), F(0));
2779
2780 check(SV("answer is '0.'"), SV("answer is '{:#.6}'"), F(0));
2781 check(SV("answer is '2.5'"), SV("answer is '{:#.6}'"), F(2.5));
2782
2783 check(SV("answer is 'inf'"), SV("answer is '{:#.6}'"), std::numeric_limits<F>::infinity());
2784 check(SV("answer is '-inf'"), SV("answer is '{:#.6}'"), -std::numeric_limits<F>::infinity());
2785
2786 check(SV("answer is 'nan'"), SV("answer is '{:#.6}'"), nan_pos);
2787 check(SV("answer is '-nan'"), SV("answer is '{:#.6}'"), nan_neg);
2788
2789 // *** zero-padding & width ***
2790 check(SV("answer is '0.03125'"), SV("answer is '{:06.6}'"), 0.03125);
2791 check(SV("answer is '+0.03125'"), SV("answer is '{:+06.6}'"), 0.03125);
2792 check(SV("answer is '+0.03125'"), SV("answer is '{:+07.6}'"), 0.03125);
2793 check(SV("answer is '+0.03125'"), SV("answer is '{:+08.6}'"), 0.03125);
2794
2795 check(SV("answer is '000.03125'"), SV("answer is '{:09.6}'"), 0.03125);
2796 check(SV("answer is '000.03125'"), SV("answer is '{:-09.6}'"), 0.03125);
2797 check(SV("answer is '+00.03125'"), SV("answer is '{:+09.6}'"), 0.03125);
2798 check(SV("answer is ' 00.03125'"), SV("answer is '{: 09.6}'"), 0.03125);
2799
2800 check(SV("answer is ' inf'"), SV("answer is '{:010.6}'"), std::numeric_limits<F>::infinity());
2801 check(SV("answer is ' inf'"), SV("answer is '{:-010.6}'"), std::numeric_limits<F>::infinity());
2802 check(SV("answer is ' +inf'"), SV("answer is '{:+010.6}'"), std::numeric_limits<F>::infinity());
2803 check(SV("answer is ' inf'"), SV("answer is '{: 010.6}'"), std::numeric_limits<F>::infinity());
2804
2805 check(SV("answer is ' -inf'"), SV("answer is '{:010.6}'"), -std::numeric_limits<F>::infinity());
2806 check(SV("answer is ' -inf'"), SV("answer is '{:-010.6}'"), -std::numeric_limits<F>::infinity());
2807 check(SV("answer is ' -inf'"), SV("answer is '{:+010.6}'"), -std::numeric_limits<F>::infinity());
2808 check(SV("answer is ' -inf'"), SV("answer is '{: 010.6}'"), -std::numeric_limits<F>::infinity());
2809
2810 check(SV("answer is ' nan'"), SV("answer is '{:010.6}'"), nan_pos);
2811 check(SV("answer is ' nan'"), SV("answer is '{:-010.6}'"), nan_pos);
2812 check(SV("answer is ' +nan'"), SV("answer is '{:+010.6}'"), nan_pos);
2813 check(SV("answer is ' nan'"), SV("answer is '{: 010.6}'"), nan_pos);
2814
2815 check(SV("answer is ' -nan'"), SV("answer is '{:010.6}'"), nan_neg);
2816 check(SV("answer is ' -nan'"), SV("answer is '{:-010.6}'"), nan_neg);
2817 check(SV("answer is ' -nan'"), SV("answer is '{:+010.6}'"), nan_neg);
2818 check(SV("answer is ' -nan'"), SV("answer is '{: 010.6}'"), nan_neg);
2819
2820 // *** precision ***
2821 check(SV("answer is '0.03'"), SV("answer is '{:.0}'"), 0.03125);
2822 check(SV("answer is '0.03'"), SV("answer is '{:.1}'"), 0.03125);
2823 check(SV("answer is '0.031'"), SV("answer is '{:.2}'"), 0.03125);
2824 check(SV("answer is '0.0312'"), SV("answer is '{:.3}'"), 0.03125);
2825 check(SV("answer is '0.03125'"), SV("answer is '{:.4}'"), 0.03125);
2826 check(SV("answer is '0.03125'"), SV("answer is '{:.5}'"), 0.03125);
2827 check(SV("answer is '0.03125'"), SV("answer is '{:.10}'"), 0.03125);
2828
2829 // *** precision & alternate form ***
2830
2831 check(SV("answer is '1.'"), SV("answer is '{:#.{}}'"), 1.2, 0);
2832 check(SV("answer is '1.'"), SV("answer is '{:#.{}}'"), 1.2, 1);
2833 check(SV("answer is '1.2'"), SV("answer is '{:#.{}}'"), 1.2, 2);
2834 check(SV("answer is '1.2'"), SV("answer is '{:#.{}}'"), 1.2, 3);
2835 check(SV("answer is '1.2'"), SV("answer is '{:#.{}}'"), 1.2, 4);
2836 check(SV("answer is '1.2'"), SV("answer is '{:#.{}}'"), 1.2, 5);
2837 check(SV("answer is '1.2'"), SV("answer is '{:#.{}}'"), 1.2, 6);
2838
2839 check(SV("answer is '1.e+03'"), SV("answer is '{:#.{}}'"), 1200.0, 0);
2840 check(SV("answer is '1.e+03'"), SV("answer is '{:#.{}}'"), 1200.0, 1);
2841 check(SV("answer is '1.2e+03'"), SV("answer is '{:#.{}}'"), 1200.0, 2);
2842 check(SV("answer is '1.2e+03'"), SV("answer is '{:#.{}}'"), 1200.0, 3);
2843 check(SV("answer is '1200.'"), SV("answer is '{:#.{}}'"), 1200.0, 4);
2844 check(SV("answer is '1200.'"), SV("answer is '{:#.{}}'"), 1200.0, 5);
2845 check(SV("answer is '1200.'"), SV("answer is '{:#.{}}'"), 1200.0, 6);
2846
2847 check(SV("answer is '1.e+06'"), SV("answer is '{:#.{}}'"), 1200000.0, 0);
2848 check(SV("answer is '1.e+06'"), SV("answer is '{:#.{}}'"), 1200000.0, 1);
2849 check(SV("answer is '1.2e+06'"), SV("answer is '{:#.{}}'"), 1200000.0, 2);
2850 check(SV("answer is '1.2e+06'"), SV("answer is '{:#.{}}'"), 1200000.0, 3);
2851 check(SV("answer is '1.2e+06'"), SV("answer is '{:#.{}}'"), 1200000.0, 4);
2852 check(SV("answer is '1.2e+06'"), SV("answer is '{:#.{}}'"), 1200000.0, 5);
2853 check(SV("answer is '1.2e+06'"), SV("answer is '{:#.{}}'"), 1200000.0, 6);
2854
2855 // *** locale-specific form ***
2856 // See locale-specific_form.pass.cpp
2857 }
2858
2859 template <class F, class CharT, class TestFunction>
format_test_floating_point_PR58714(TestFunction check)2860 void format_test_floating_point_PR58714(TestFunction check) {
2861 check(SV("+1234"), SV("{:+}"), F(1234.0));
2862 check(SV("+1.348p+10"), SV("{:+a}"), F(1234.0));
2863 check(SV("+1.234000e+03"), SV("{:+e}"), F(1234.0));
2864 check(SV("+1234.000000"), SV("{:+f}"), F(1234.0));
2865 check(SV("+1234"), SV("{:+g}"), F(1234.0));
2866
2867 check(SV("1234."), SV("{:#}"), F(1234.0));
2868 check(SV("1.348p+10"), SV("{:#a}"), F(1234.0));
2869 check(SV("1.234000e+03"), SV("{:#e}"), F(1234.0));
2870 check(SV("1234.000000"), SV("{:#f}"), F(1234.0));
2871 check(SV("1234.00"), SV("{:#g}"), F(1234.0));
2872
2873 check(SV("4.e+30"), SV("{:#}"), F(4.0e+30));
2874 check(SV("1.p+102"), SV("{:#a}"), F(0x4.0p+100));
2875 check(SV("4.000000e+30"), SV("{:#e}"), F(4.0e+30));
2876 check(SV("5070602400912917605986812821504.000000"), SV("{:#f}"), F(0x4.0p+100));
2877 check(SV("4.00000e+30"), SV("{:#g}"), F(4.0e+30));
2878
2879 check(SV("1234."), SV("{:#.6}"), F(1234.0)); // # does not restore zeros
2880 check(SV("1.348000p+10"), SV("{:#.6a}"), F(1234.0));
2881 check(SV("1.234000e+03"), SV("{:#.6e}"), F(1234.0));
2882 check(SV("1234.000000"), SV("{:#.6f}"), F(1234.0));
2883 check(SV("1234.00"), SV("{:#.6g}"), F(1234.0));
2884
2885 check(SV("-1234."), SV("{:#}"), F(-1234.0));
2886 check(SV("-1.348p+10"), SV("{:#a}"), F(-1234.0));
2887 check(SV("-1.234000e+03"), SV("{:#e}"), F(-1234.0));
2888 check(SV("-1234.000000"), SV("{:#f}"), F(-1234.0));
2889 check(SV("-1234.00"), SV("{:#g}"), F(-1234.0));
2890
2891 check(SV("-1234."), SV("{:#.6}"), F(-1234.0)); // # does not restore zeros
2892 check(SV("-1.348000p+10"), SV("{:#.6a}"), F(-1234.0));
2893 check(SV("-1.234000e+03"), SV("{:#.6e}"), F(-1234.0));
2894 check(SV("-1234.000000"), SV("{:#.6f}"), F(-1234.0));
2895 check(SV("-1234.00"), SV("{:#.6g}"), F(-1234.0));
2896
2897 check(SV("+1234."), SV("{:+#}"), F(1234.0));
2898 check(SV("+1.348p+10"), SV("{:+#a}"), F(1234.0));
2899 check(SV("+1.234000e+03"), SV("{:+#e}"), F(1234.0));
2900 check(SV("+1234.000000"), SV("{:+#f}"), F(1234.0));
2901 check(SV("+1234.00"), SV("{:+#g}"), F(1234.0));
2902
2903 check(SV("+1234."), SV("{:+#.6}"), F(1234.0)); // # does not restore zeros
2904 check(SV("+1.348000p+10"), SV("{:+#.6a}"), F(1234.0));
2905 check(SV("+1.234000e+03"), SV("{:+#.6e}"), F(1234.0));
2906 check(SV("+1234.000000"), SV("{:+#.6f}"), F(1234.0));
2907 check(SV("+1234.00"), SV("{:+#.6g}"), F(1234.0));
2908 }
2909
2910 template <class F, class CharT, class TestFunction, class ExceptionTest>
format_test_floating_point(TestFunction check,ExceptionTest check_exception)2911 void format_test_floating_point(TestFunction check, ExceptionTest check_exception) {
2912 format_test_floating_point_hex_lower_case<F, CharT>(check);
2913 format_test_floating_point_hex_upper_case<F, CharT>(check);
2914 format_test_floating_point_hex_lower_case_precision<F, CharT>(check);
2915 format_test_floating_point_hex_upper_case_precision<F, CharT>(check);
2916
2917 format_test_floating_point_scientific_lower_case<F, CharT>(check);
2918 format_test_floating_point_scientific_upper_case<F, CharT>(check);
2919
2920 format_test_floating_point_fixed_lower_case<F, CharT>(check);
2921 format_test_floating_point_fixed_upper_case<F, CharT>(check);
2922
2923 format_test_floating_point_general_lower_case<F, CharT>(check);
2924 format_test_floating_point_general_upper_case<F, CharT>(check);
2925
2926 format_test_floating_point_default<F, CharT>(check);
2927 format_test_floating_point_default_precision<F, CharT>(check);
2928
2929 format_test_floating_point_PR58714<F, CharT>(check);
2930
2931 // *** type ***
2932 for (const auto& fmt : invalid_types<CharT>("aAeEfFgG"))
2933 check_exception("The type option contains an invalid value for a floating-point formatting argument", fmt, F(1));
2934 }
2935
2936 template <class CharT, class TestFunction, class ExceptionTest>
format_test_floating_point(TestFunction check,ExceptionTest check_exception)2937 void format_test_floating_point(TestFunction check, ExceptionTest check_exception) {
2938 format_test_floating_point<float, CharT>(check, check_exception);
2939 format_test_floating_point<double, CharT>(check, check_exception);
2940 format_test_floating_point<long double, CharT>(check, check_exception);
2941 }
2942
2943 template <class P, class CharT, class TestFunction, class ExceptionTest>
format_test_pointer(TestFunction check,ExceptionTest check_exception)2944 void format_test_pointer(TestFunction check, ExceptionTest check_exception) {
2945 // *** align-fill & width ***
2946 check(SV("answer is ' 0x0'"), SV("answer is '{:6}'"), P(nullptr));
2947 check(SV("answer is ' 0x0'"), SV("answer is '{:>6}'"), P(nullptr));
2948 check(SV("answer is '0x0 '"), SV("answer is '{:<6}'"), P(nullptr));
2949 check(SV("answer is ' 0x0 '"), SV("answer is '{:^6}'"), P(nullptr));
2950
2951 // The fill character ':' is allowed here (P0645) but not in ranges (P2286).
2952 check(SV("answer is ':::0x0'"), SV("answer is '{::>6}'"), P(nullptr));
2953 check(SV("answer is '0x0:::'"), SV("answer is '{::<6}'"), P(nullptr));
2954 check(SV("answer is ':0x0::'"), SV("answer is '{::^6}'"), P(nullptr));
2955
2956 // Test whether zero padding is ignored
2957 check(SV("answer is ':::0x0'"), SV("answer is '{::>06}'"), P(nullptr));
2958 check(SV("answer is '0x0:::'"), SV("answer is '{::<06}'"), P(nullptr));
2959 check(SV("answer is ':0x0::'"), SV("answer is '{::^06}'"), P(nullptr));
2960
2961 // *** Sign ***
2962 check_exception("The format specifier should consume the input or end with a '}'", SV("{:-}"), P(nullptr));
2963 check_exception("The format specifier should consume the input or end with a '}'", SV("{:+}"), P(nullptr));
2964 check_exception("The format specifier should consume the input or end with a '}'", SV("{: }"), P(nullptr));
2965
2966 // *** alternate form ***
2967 check_exception("The format specifier should consume the input or end with a '}'", SV("{:#}"), P(nullptr));
2968
2969 // *** zero-padding ***
2970 check(SV("answer is '0x0000'"), SV("answer is '{:06}'"), P(nullptr));
2971 check(SV("answer is '0x0000'"), SV("answer is '{:06p}'"), P(nullptr));
2972 check(SV("answer is '0X0000'"), SV("answer is '{:06P}'"), P(nullptr));
2973
2974 // *** precision ***
2975 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.}"), nullptr);
2976 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.0}"), nullptr);
2977 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.42}"), nullptr);
2978
2979 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.{}}"), nullptr);
2980 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.{}}"), nullptr, true);
2981 check_exception("The format specifier should consume the input or end with a '}'", SV("{:.{}}"), nullptr, 1.0);
2982
2983 // *** locale-specific form ***
2984 check_exception("The format specifier should consume the input or end with a '}'", SV("{:L}"), P(nullptr));
2985
2986 // *** type ***
2987 for (const auto& fmt : invalid_types<CharT>("pP"))
2988 check_exception("The type option contains an invalid value for a pointer formatting argument", fmt, P(nullptr));
2989 }
2990
2991 template <class CharT, class TestFunction, class ExceptionTest>
format_test_handle(TestFunction check,ExceptionTest check_exception)2992 void format_test_handle(TestFunction check, ExceptionTest check_exception) {
2993 // *** Valid permutations ***
2994 check(SV("answer is '0xaaaa'"), SV("answer is '{}'"), status::foo);
2995 check(SV("answer is '0xaaaa'"), SV("answer is '{:x}'"), status::foo);
2996 check(SV("answer is '0XAAAA'"), SV("answer is '{:X}'"), status::foo);
2997 check(SV("answer is 'foo'"), SV("answer is '{:s}'"), status::foo);
2998
2999 check(SV("answer is '0x5555'"), SV("answer is '{}'"), status::bar);
3000 check(SV("answer is '0x5555'"), SV("answer is '{:x}'"), status::bar);
3001 check(SV("answer is '0X5555'"), SV("answer is '{:X}'"), status::bar);
3002 check(SV("answer is 'bar'"), SV("answer is '{:s}'"), status::bar);
3003
3004 check(SV("answer is '0xaa55'"), SV("answer is '{}'"), status::foobar);
3005 check(SV("answer is '0xaa55'"), SV("answer is '{:x}'"), status::foobar);
3006 check(SV("answer is '0XAA55'"), SV("answer is '{:X}'"), status::foobar);
3007 check(SV("answer is 'foobar'"), SV("answer is '{:s}'"), status::foobar);
3008
3009 // P2418 Changed the argument from a const reference to a forwarding reference.
3010 // This mainly affects handle classes, however since we use an abstraction
3011 // layer here it's "tricky" to verify whether this test would do the "right"
3012 // thing. So these tests are done separately.
3013
3014 // *** type ***
3015 for (const auto& fmt : invalid_types<CharT>("xXs"))
3016 check_exception("The type option contains an invalid value for a status formatting argument", fmt, status::foo);
3017 }
3018
3019 template <class CharT, class TestFunction, class ExceptionTest>
format_test_pointer(TestFunction check,ExceptionTest check_exception)3020 void format_test_pointer(TestFunction check, ExceptionTest check_exception) {
3021 format_test_pointer<std::nullptr_t, CharT>(check, check_exception);
3022 format_test_pointer<void*, CharT>(check, check_exception);
3023 format_test_pointer<const void*, CharT>(check, check_exception);
3024 }
3025
3026 /// Tests special buffer functions with a "large" input.
3027 ///
3028 /// This is a test specific for libc++, however the code should behave the same
3029 /// on all implementations.
3030 /// In \c __format::__output_buffer there are some special functions to optimize
3031 /// outputting multiple characters, \c __copy, \c __transform, \c __fill. This
3032 /// test validates whether the functions behave properly when the output size
3033 /// doesn't fit in its internal buffer.
3034 template <class CharT, class TestFunction>
format_test_buffer_optimizations(TestFunction check)3035 void format_test_buffer_optimizations(TestFunction check) {
3036 #ifdef _LIBCPP_VERSION
3037 // Used to validate our test sets are the proper size.
3038 // To test the chunked operations it needs to be larger than the internal
3039 // buffer. Picked a nice looking number.
3040 constexpr int minimum = 3 * std::__format::__internal_storage<CharT>::__buffer_size;
3041 #else
3042 constexpr int minimum = 1;
3043 #endif
3044
3045 // Copy
3046 std::basic_string<CharT> str = STR(
3047 "The quick brown fox jumps over the lazy dog."
3048 "The quick brown fox jumps over the lazy dog."
3049 "The quick brown fox jumps over the lazy dog."
3050 "The quick brown fox jumps over the lazy dog."
3051 "The quick brown fox jumps over the lazy dog."
3052 "The quick brown fox jumps over the lazy dog."
3053 "The quick brown fox jumps over the lazy dog."
3054 "The quick brown fox jumps over the lazy dog."
3055 "The quick brown fox jumps over the lazy dog."
3056 "The quick brown fox jumps over the lazy dog."
3057 "The quick brown fox jumps over the lazy dog."
3058 "The quick brown fox jumps over the lazy dog."
3059 "The quick brown fox jumps over the lazy dog."
3060 "The quick brown fox jumps over the lazy dog."
3061 "The quick brown fox jumps over the lazy dog."
3062 "The quick brown fox jumps over the lazy dog."
3063 "The quick brown fox jumps over the lazy dog."
3064 "The quick brown fox jumps over the lazy dog."
3065 "The quick brown fox jumps over the lazy dog."
3066 "The quick brown fox jumps over the lazy dog."
3067 "The quick brown fox jumps over the lazy dog."
3068 "The quick brown fox jumps over the lazy dog."
3069 "The quick brown fox jumps over the lazy dog."
3070 "The quick brown fox jumps over the lazy dog."
3071 "The quick brown fox jumps over the lazy dog."
3072 "The quick brown fox jumps over the lazy dog."
3073 "The quick brown fox jumps over the lazy dog."
3074 "The quick brown fox jumps over the lazy dog."
3075 "The quick brown fox jumps over the lazy dog."
3076 "The quick brown fox jumps over the lazy dog.");
3077 assert(str.size() > minimum);
3078 check(std::basic_string_view<CharT>{str}, SV("{}"), str);
3079
3080 // Fill
3081 std::basic_string<CharT> fill(minimum, CharT('*'));
3082 check(std::basic_string_view<CharT>{str + fill}, SV("{:*<{}}"), str, str.size() + minimum);
3083 check(std::basic_string_view<CharT>{fill + str + fill}, SV("{:*^{}}"), str, minimum + str.size() + minimum);
3084 check(std::basic_string_view<CharT>{fill + str}, SV("{:*>{}}"), str, minimum + str.size());
3085 }
3086
3087 template <class CharT, execution_modus modus, class TestFunction, class ExceptionTest>
format_tests(TestFunction check,ExceptionTest check_exception)3088 void format_tests(TestFunction check, ExceptionTest check_exception) {
3089 // *** Test escaping ***
3090 check(SV("{"), SV("{{"));
3091 check(SV("}"), SV("}}"));
3092 check(SV("{:^}"), SV("{{:^}}"));
3093 check(SV("{: ^}"), SV("{{:{}^}}"), CharT(' '));
3094 check(SV("{:{}^}"), SV("{{:{{}}^}}"));
3095 check(SV("{:{ }^}"), SV("{{:{{{}}}^}}"), CharT(' '));
3096
3097 // *** Test argument ID ***
3098 check(SV("hello false true"), SV("hello {0:} {1:}"), false, true);
3099 check(SV("hello true false"), SV("hello {1:} {0:}"), false, true);
3100
3101 // *** Test many arguments ***
3102
3103 // [format.args]/1
3104 // An instance of basic_format_args provides access to formatting arguments.
3105 // Implementations should optimize the representation of basic_format_args
3106 // for a small number of formatting arguments.
3107 //
3108 // These's no guidances what "a small number of formatting arguments" is.
3109 // - fmtlib uses a 15 elements
3110 // - libc++ uses 12 elements
3111 // - MSVC STL uses a different approach regardless of the number of arguments
3112 // - libstdc++ has no implementation yet
3113 // fmtlib and libc++ use a similar approach, this approach can support 16
3114 // elements (based on design choices both support less elements). This test
3115 // makes sure "the large number of formatting arguments" code path is tested.
3116 check(
3117 SV("1234567890\t1234567890"),
3118 SV("{}{}{}{}{}{}{}{}{}{}\t{}{}{}{}{}{}{}{}{}{}"),
3119 1,
3120 2,
3121 3,
3122 4,
3123 5,
3124 6,
3125 7,
3126 8,
3127 9,
3128 0,
3129 1,
3130 2,
3131 3,
3132 4,
3133 5,
3134 6,
3135 7,
3136 8,
3137 9,
3138 0);
3139
3140 // *** Test buffer boundaries format strings ***
3141 if constexpr (modus == execution_modus::full) {
3142 format_test_buffer_copy<CharT>(check);
3143 format_test_buffer_full<CharT>(check);
3144 }
3145
3146 // *** Test invalid format strings ***
3147 check_exception("The format string terminates at a '{'", SV("{"));
3148 check_exception("The argument index value is too large for the number of arguments supplied", SV("{:"));
3149 check_exception("The replacement field misses a terminating '}'", SV("{:"), 42);
3150
3151 check_exception("The argument index should end with a ':' or a '}'", SV("{0"));
3152 check_exception("The argument index value is too large for the number of arguments supplied", SV("{0:"));
3153 check_exception("The replacement field misses a terminating '}'", SV("{0:"), 42);
3154
3155 check_exception("The format string contains an invalid escape sequence", SV("}"));
3156 check_exception("The format string contains an invalid escape sequence", SV("{:}-}"), 42);
3157
3158 check_exception("The format string contains an invalid escape sequence", SV("} "));
3159 check_exception("The argument index starts with an invalid character", SV("{-"), 42);
3160 check_exception("The argument index value is too large for the number of arguments supplied", SV("hello {}"));
3161 check_exception("The argument index value is too large for the number of arguments supplied", SV("hello {0}"));
3162 check_exception("The argument index value is too large for the number of arguments supplied", SV("hello {1}"), 42);
3163
3164 // *** Test char format argument ***
3165 // The `char` to `wchar_t` formatting is tested separately.
3166 check(SV("hello 09azAZ!"),
3167 SV("hello {}{}{}{}{}{}{}"),
3168 CharT('0'),
3169 CharT('9'),
3170 CharT('a'),
3171 CharT('z'),
3172 CharT('A'),
3173 CharT('Z'),
3174 CharT('!'));
3175 if constexpr (modus == execution_modus::full) {
3176 format_test_char<CharT>(check, check_exception);
3177 format_test_char_as_integer<CharT>(check, check_exception);
3178 }
3179
3180 // *** Test string format argument ***
3181 {
3182 CharT buffer[] = {CharT('0'), CharT('9'), CharT('a'), CharT('z'), CharT('A'), CharT('Z'), CharT('!'), 0};
3183 CharT* data = buffer;
3184 check(SV("hello 09azAZ!"), SV("hello {}"), data);
3185 }
3186 {
3187 CharT buffer[] = {CharT('0'), CharT('9'), CharT('a'), CharT('z'), CharT('A'), CharT('Z'), CharT('!'), 0};
3188 const CharT* data = buffer;
3189 check(SV("hello 09azAZ!"), SV("hello {}"), data);
3190 }
3191 {
3192 std::basic_string<CharT> data = STR("world");
3193 check(SV("hello world"), SV("hello {}"), data);
3194 }
3195 {
3196 std::basic_string<CharT> buffer = STR("world");
3197 std::basic_string_view<CharT> data = buffer;
3198 check(SV("hello world"), SV("hello {}"), data);
3199 }
3200 if constexpr (modus == execution_modus::full)
3201 format_string_tests<CharT>(check, check_exception);
3202
3203 // *** Test Boolean format argument ***
3204 check(SV("hello false true"), SV("hello {} {}"), false, true);
3205
3206 if constexpr (modus == execution_modus::full) {
3207 format_test_bool<CharT>(check, check_exception);
3208 format_test_bool_as_integer<CharT>(check, check_exception);
3209 }
3210 // *** Test signed integral format argument ***
3211 check(SV("hello 42"), SV("hello {}"), static_cast<signed char>(42));
3212 check(SV("hello 42"), SV("hello {}"), static_cast<short>(42));
3213 check(SV("hello 42"), SV("hello {}"), static_cast<int>(42));
3214 check(SV("hello 42"), SV("hello {}"), static_cast<long>(42));
3215 check(SV("hello 42"), SV("hello {}"), static_cast<long long>(42));
3216 #ifndef TEST_HAS_NO_INT128
3217 check(SV("hello 42"), SV("hello {}"), static_cast<__int128_t>(42));
3218 #endif
3219
3220 if constexpr (modus == execution_modus::full)
3221 format_test_signed_integer<CharT>(check, check_exception);
3222
3223 // ** Test unsigned integral format argument ***
3224 check(SV("hello 42"), SV("hello {}"), static_cast<unsigned char>(42));
3225 check(SV("hello 42"), SV("hello {}"), static_cast<unsigned short>(42));
3226 check(SV("hello 42"), SV("hello {}"), static_cast<unsigned>(42));
3227 check(SV("hello 42"), SV("hello {}"), static_cast<unsigned long>(42));
3228 check(SV("hello 42"), SV("hello {}"), static_cast<unsigned long long>(42));
3229 #ifndef TEST_HAS_NO_INT128
3230 check(SV("hello 42"), SV("hello {}"), static_cast<__uint128_t>(42));
3231 #endif
3232 if constexpr (modus == execution_modus::full)
3233 format_test_unsigned_integer<CharT>(check, check_exception);
3234
3235 // *** Test floating point format argument ***
3236 check(SV("hello 42"), SV("hello {}"), static_cast<float>(42));
3237 check(SV("hello 42"), SV("hello {}"), static_cast<double>(42));
3238 check(SV("hello 42"), SV("hello {}"), static_cast<long double>(42));
3239 if constexpr (modus == execution_modus::full)
3240 format_test_floating_point<CharT>(check, check_exception);
3241
3242 // *** Test pointer formatter argument ***
3243 check(SV("hello 0x0"), SV("hello {}"), nullptr);
3244 check(SV("hello 0x42"), SV("hello {}"), reinterpret_cast<void*>(0x42));
3245 check(SV("hello 0x42"), SV("hello {}"), reinterpret_cast<const void*>(0x42));
3246 if constexpr (modus == execution_modus::full)
3247 format_test_pointer<CharT>(check, check_exception);
3248
3249 // *** Test handle formatter argument ***
3250 format_test_handle<CharT>(check, check_exception);
3251
3252 // *** Test the internal buffer optimizations ***
3253 if constexpr (modus == execution_modus::full)
3254 format_test_buffer_optimizations<CharT>(check);
3255 }
3256
3257 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
3258 template <class TestFunction>
format_tests_char_to_wchar_t(TestFunction check)3259 void format_tests_char_to_wchar_t(TestFunction check) {
3260 using CharT = wchar_t;
3261 check(SV("hello 09azA"), SV("hello {}{}{}{}{}"), '0', '9', 'a', 'z', 'A');
3262 }
3263 #endif
3264
3265 #endif // TEST_STD_UTILITIES_FORMAT_FORMAT_FUNCTIONS_FORMAT_TESTS_H
3266