1 //===----------------------------------------------------------------------===//
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
7 //===----------------------------------------------------------------------===//
9 #ifndef TEST_SUPPORT_FORMAT_FUNCTIONS_COMMON_H
10 #define TEST_SUPPORT_FORMAT_FUNCTIONS_COMMON_H
12 // Contains the common part of the formatter tests for different papers.
22 #include <string_view>
26 #include "make_string.h"
28 #define STR(S) MAKE_STRING(CharT, S)
29 #define SV(S) MAKE_STRING_VIEW(CharT, S)
30 #define CSTR(S) MAKE_CSTRING(CharT, S)
36 struct context
<char> {
37 using type
= std::format_context
;
40 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
42 struct context
<wchar_t> {
43 using type
= std::wformat_context
;
48 using context_t
= typename context
<T
>::type
;
50 // A user-defined type used to test the handle formatter.
51 enum class status
: std::uint16_t { foo
= 0xAAAA, bar
= 0x5555, foobar
= 0xAA55 };
53 // The formatter for a user-defined type used to test the handle formatter.
54 template <class CharT
>
55 struct std::formatter
<status
, CharT
> {
56 // During the 2023 Issaquah meeting LEWG made it clear a formatter is
57 // required to call its parse function. LWG3892 Adds the wording for that
58 // requirement. Therefore this formatter is initialized in an invalid state.
59 // A call to parse sets it in a valid state and a call to format validates
63 constexpr auto parse(basic_format_parse_context
<CharT
>& parse_ctx
) -> decltype(parse_ctx
.begin()) {
64 auto begin
= parse_ctx
.begin();
65 auto end
= parse_ctx
.end();
82 throw_format_error("The type option contains an invalid value for a status formatting argument");
86 if (begin
!= end
&& *begin
!= CharT('}'))
87 throw_format_error("The format specifier should consume the input or end with a '}'");
93 auto format(status s
, basic_format_context
<Out
, CharT
>& ctx
) const -> decltype(ctx
.out()) {
94 const char* names
[] = {"foo", "bar", "foobar"};
96 const char* begin
= names
[0];
97 const char* end
= names
[0];
100 throw_format_error("The formatter's parse function has not been called.");
106 end
= std::to_chars(&buffer
[2], std::end(buffer
), static_cast<std::uint16_t>(s
), 16).ptr
;
114 end
= std::to_chars(&buffer
[2], std::end(buffer
), static_cast<std::uint16_t>(s
), 16).ptr
;
115 std::transform(static_cast<const char*>(&buffer
[2]), end
, &buffer
[2], [](char c
) {
116 return static_cast<char>(std::toupper(c
)); });
132 end
= begin
+ strlen(begin
);
136 return std::copy(begin
, end
, ctx
.out());
140 [[noreturn
]] void throw_format_error([[maybe_unused
]] const char* s
) const {
141 #ifndef TEST_HAS_NO_EXCEPTIONS
142 throw std::format_error(s
);
149 struct parse_call_validator
{
150 struct parse_function_not_called
{};
152 friend constexpr auto operator<=>(const parse_call_validator
& lhs
, const parse_call_validator
& rhs
) {
153 return &lhs
<=> &rhs
;
157 // The formatter for a user-defined type used to test the handle formatter.
159 // Like std::formatter<status, CharT> this formatter validates that parse is
160 // called. This formatter is intended to be used when the formatter's parse is
161 // called directly and not with format. In that case the format-spec does not
162 // require a terminating }. The tests must be written in a fashion where this
163 // formatter is always called with an empty format-spec. This requirement
164 // allows testing of certain code paths that are never reached by using a
165 // well-formed format-string in the format functions.
166 template <class CharT
>
167 struct std::formatter
<parse_call_validator
, CharT
> {
168 bool parse_called
{false};
170 constexpr auto parse(basic_format_parse_context
<CharT
>& parse_ctx
) -> decltype(parse_ctx
.begin()) {
171 auto begin
= parse_ctx
.begin();
172 auto end
= parse_ctx
.end();
173 assert(begin
== end
);
178 auto format(parse_call_validator
, auto& ctx
) const -> decltype(ctx
.out()) {
180 throw_error
<parse_call_validator::parse_function_not_called
>();
186 [[noreturn
]] void throw_error() const {
187 #ifndef TEST_HAS_NO_EXCEPTIONS
195 // Creates format string for the invalid types.
197 // valid contains a list of types that are valid.
198 // - The type ?s is the only type requiring 2 characters, use S for that type.
199 // - Whether n is a type or not depends on the context, is is always used.
201 // The return value is a collection of basic_strings, instead of
202 // basic_string_views since the values are temporaries.
204 template <class CharT
, std::size_t N
>
205 std::basic_string
<CharT
> get_colons() {
206 static std::basic_string
<CharT
> result(N
, CharT(':'));
210 constexpr std::string_view
get_format_types() {
211 return "aAbBcdeEfFgGopPsxX"
212 #if TEST_STD_VER > 20
218 template <class CharT
, /*format_types types,*/ size_t N
>
219 std::vector
<std::basic_string
<CharT
>> fmt_invalid_types(std::string_view valid
) {
220 // std::ranges::to is not available in C++20.
221 std::vector
<std::basic_string
<CharT
>> result
;
223 get_format_types() | std::views::filter([&](char type
) { return valid
.find(type
) == std::string_view::npos
; }) |
224 std::views::transform([&](char type
) { return std::format(SV("{{{}{}}}"), get_colons
<CharT
, N
>(), type
); }),
225 std::back_inserter(result
));
229 } // namespace detail
231 // Creates format string for the invalid types.
233 // valid contains a list of types that are valid.
235 // The return value is a collection of basic_strings, instead of
236 // basic_string_views since the values are temporaries.
237 template <class CharT
>
238 std::vector
<std::basic_string
<CharT
>> fmt_invalid_types(std::string_view valid
) {
239 return detail::fmt_invalid_types
<CharT
, 1>(valid
);
242 // Like fmt_invalid_types but when the format spec is for an underlying formatter.
243 template <class CharT
>
244 std::vector
<std::basic_string
<CharT
>> fmt_invalid_nested_types(std::string_view valid
) {
245 return detail::fmt_invalid_types
<CharT
, 2>(valid
);
248 #endif // TEST_SUPPORT_FORMAT_FUNCTIONS_COMMON_H