1 | //===----------------------------------------------------------------------===// |
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | |
9 | // UNSUPPORTED: c++03, c++11, c++14, c++17 |
10 | // UNSUPPORTED: GCC-ALWAYS_INLINE-FIXME |
11 | |
12 | // This version runs the test when the platform has Unicode support. |
13 | // UNSUPPORTED: libcpp-has-no-unicode |
14 | |
15 | // XFAIL: availability-fp_to_chars-missing |
16 | |
17 | // <format> |
18 | |
19 | // The paper |
20 | // P2572R1 std::format fill character allowances |
21 | // adds support for Unicode Scalar Values as fill character. |
22 | |
23 | #include <format> |
24 | |
25 | #include "assert_macros.h" |
26 | #include "concat_macros.h" |
27 | #include "format.functions.common.h" |
28 | #include "make_string.h" |
29 | #include "string_literal.h" |
30 | #include "test_format_string.h" |
31 | #include "test_macros.h" |
32 | |
33 | #define SV(S) MAKE_STRING_VIEW(CharT, S) |
34 | |
35 | auto check = []<class CharT, class... Args>( |
36 | std::basic_string_view<CharT> expected, test_format_string<CharT, Args...> fmt, Args&&... args) { |
37 | std::basic_string<CharT> out = std::format(fmt, std::forward<Args>(args)...); |
38 | TEST_REQUIRE(out == expected, |
39 | TEST_WRITE_CONCATENATED( |
40 | "\nFormat string " , fmt.get(), "\nExpected output " , expected, "\nActual output " , out, '\n')); |
41 | }; |
42 | |
43 | auto check_exception = |
44 | []<class CharT, class... Args>( |
45 | [[maybe_unused]] std::string_view what, |
46 | [[maybe_unused]] std::basic_string_view<CharT> fmt, |
47 | [[maybe_unused]] Args&&... args) { |
48 | TEST_VALIDATE_EXCEPTION( |
49 | std::format_error, |
50 | [&]([[maybe_unused]] const std::format_error& e) { |
51 | TEST_LIBCPP_REQUIRE( |
52 | e.what() == what, |
53 | TEST_WRITE_CONCATENATED( |
54 | "\nFormat string " , fmt, "\nExpected exception " , what, "\nActual exception " , e.what(), '\n')); |
55 | }, |
56 | TEST_IGNORE_NODISCARD std::vformat(fmt, std::make_format_args<context_t<CharT>>(args...))); |
57 | }; |
58 | |
59 | template <class CharT> |
60 | void test() { |
61 | // 1, 2, 3, 4 code unit UTF-8 transitions |
62 | check(SV("\u000042\u0000" ), SV("{:\u0000^4}" ), 42); |
63 | check(SV("\u007f42\u007f" ), SV("{:\u007f^4}" ), 42); |
64 | check(SV("\u008042\u0080" ), SV("{:\u0080^4}" ), 42); |
65 | check(SV("\u07ff42\u07ff" ), SV("{:\u07ff^4}" ), 42); |
66 | check(SV("\u080042\u0800" ), SV("{:\u0800^4}" ), 42); |
67 | check(SV("\uffff42\uffff" ), SV("{:\uffff^4}" ), 42); |
68 | check(SV("\U0010000042\U00100000" ), SV("{:\U00100000^4}" ), 42); |
69 | check(SV("\U0010ffff42\U0010ffff" ), SV("{:\U0010ffff^4}" ), 42); |
70 | |
71 | // Examples of P2572R1 |
72 | check(SV("🤡🤡x🤡🤡🤡" ), SV("{:🤡^6}" ), SV("x" )); |
73 | check(SV("🤡🤡🤡" ), SV("{:*^6}" ), SV("🤡🤡🤡" )); |
74 | check(SV("12345678" ), SV("{:*>6}" ), SV("12345678" )); |
75 | |
76 | // Invalid Unicode Scalar Values |
77 | if constexpr (std::same_as<CharT, char>) { |
78 | check_exception("The format specifier contains malformed Unicode characters" , SV("{:\xed\xa0\x80^}" ), 42); // U+D800 |
79 | check_exception("The format specifier contains malformed Unicode characters" , SV("{:\xed\xa0\xbf^}" ), 42); // U+DBFF |
80 | check_exception("The format specifier contains malformed Unicode characters" , SV("{:\xed\xbf\x80^}" ), 42); // U+DC00 |
81 | check_exception("The format specifier contains malformed Unicode characters" , SV("{:\xed\xbf\xbf^}" ), 42); // U+DFFF |
82 | |
83 | check_exception( |
84 | "The format specifier contains malformed Unicode characters" , SV("{:\xf4\x90\x80\x80^}" ), 42); // U+110000 |
85 | check_exception( |
86 | "The format specifier contains malformed Unicode characters" , SV("{:\xf4\x90\xbf\xbf^}" ), 42); // U+11FFFF |
87 | |
88 | check_exception("The format specifier contains malformed Unicode characters" , |
89 | SV("{:\x80^}" ), |
90 | 42); // Trailing code unit with no leading one. |
91 | check_exception("The format specifier contains malformed Unicode characters" , |
92 | SV("{:\xc0^}" ), |
93 | 42); // Missing trailing code unit. |
94 | check_exception("The format specifier contains malformed Unicode characters" , |
95 | SV("{:\xe0\x80^}" ), |
96 | 42); // Missing trailing code unit. |
97 | check_exception("The format specifier contains malformed Unicode characters" , |
98 | SV("{:\xf0\x80^}" ), |
99 | 42); // Missing two trailing code units. |
100 | check_exception("The format specifier contains malformed Unicode characters" , |
101 | SV("{:\xf0\x80\x80^}" ), |
102 | 42); // Missing trailing code unit. |
103 | |
104 | #ifndef TEST_HAS_NO_WIDE_CHARACTERS |
105 | } else { |
106 | # ifdef TEST_SHORT_WCHAR |
107 | check_exception("The format specifier contains malformed Unicode characters" , std::wstring_view{L"{:\xd800^}" }, 42); |
108 | check_exception("The format specifier contains malformed Unicode characters" , std::wstring_view{L"{:\xdbff^}" }, 42); |
109 | check_exception("The format specifier contains malformed Unicode characters" , std::wstring_view{L"{:\xdc00^}" }, 42); |
110 | check_exception("The format specifier contains malformed Unicode characters" , std::wstring_view{L"{:\xddff^}" }, 42); |
111 | |
112 | check_exception("The format specifier contains malformed Unicode characters" , |
113 | std::wstring_view{L"{:\xdc00\xd800^}" }, |
114 | 42); // Reverted surrogates. |
115 | |
116 | # else // TEST_SHORT_WCHAR |
117 | check_exception("The fill option contains an invalid value" , std::wstring_view{L"{:\xd800^}" }, 42); |
118 | check_exception("The fill option contains an invalid value" , std::wstring_view{L"{:\xdbff^}" }, 42); |
119 | check_exception("The fill option contains an invalid value" , std::wstring_view{L"{:\xdc00^}" }, 42); |
120 | check_exception("The fill option contains an invalid value" , std::wstring_view{L"{:\xddff^}" }, 42); |
121 | |
122 | check_exception( |
123 | "The format specifier should consume the input or end with a '}'" , std::wstring_view{L"{:\xdc00\xd800^}" }, 42); |
124 | |
125 | check_exception("The fill option contains an invalid value" , std::wstring_view{L"{:\x00110000^}" }, 42); |
126 | check_exception("The fill option contains an invalid value" , std::wstring_view{L"{:\x0011ffff^}" }, 42); |
127 | # endif // TEST_SHORT_WCHAR |
128 | #endif // TEST_HAS_NO_WIDE_CHARACTERS |
129 | } |
130 | } |
131 | |
132 | int main(int, char**) { |
133 | test<char>(); |
134 | |
135 | #ifndef TEST_HAS_NO_WIDE_CHARACTERS |
136 | test<wchar_t>(); |
137 | #endif |
138 | |
139 | return 0; |
140 | } |
141 | |