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