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
6 //===----------------------------------------------------------------------===//
8 #ifndef TEST_SUPPORT_FORMAT_FUNCTIONS_COMMON_H
9 #define TEST_SUPPORT_FORMAT_FUNCTIONS_COMMON_H
11 // Contains the common part of the formatter tests for different papers.
20 #include <string_view>
23 #include "make_string.h"
25 #define STR(S) MAKE_STRING(CharT, S)
26 #define SV(S) MAKE_STRING_VIEW(CharT, S)
27 #define CSTR(S) MAKE_CSTRING(CharT, S)
33 struct context
<char> {
34 using type
= std::format_context
;
37 #ifndef TEST_HAS_NO_WIDE_CHARACTERS
39 struct context
<wchar_t> {
40 using type
= std::wformat_context
;
45 using context_t
= typename context
<T
>::type
;
47 // A user-defined type used to test the handle formatter.
48 enum class status
: std::uint16_t { foo
= 0xAAAA, bar
= 0x5555, foobar
= 0xAA55 };
50 // The formatter for a user-defined type used to test the handle formatter.
51 template <class CharT
>
52 struct std::formatter
<status
, CharT
> {
53 // During the 2023 Issaquah meeting LEWG made it clear a formatter is
54 // required to call its parse function. LWG3892 Adds the wording for that
55 // requirement. Therefore this formatter is initialized in an invalid state.
56 // A call to parse sets it in a valid state and a call to format validates
60 constexpr auto parse(basic_format_parse_context
<CharT
>& parse_ctx
) -> decltype(parse_ctx
.begin()) {
61 auto begin
= parse_ctx
.begin();
62 auto end
= parse_ctx
.end();
79 throw_format_error("The type option contains an invalid value for a status formatting argument");
83 if (begin
!= end
&& *begin
!= CharT('}'))
84 throw_format_error("The format specifier should consume the input or end with a '}'");
90 auto format(status s
, basic_format_context
<Out
, CharT
>& ctx
) const -> decltype(ctx
.out()) {
91 const char* names
[] = {"foo", "bar", "foobar"};
93 const char* begin
= names
[0];
94 const char* end
= names
[0];
97 throw_format_error("The formatter's parse function has not been called.");
103 end
= std::to_chars(&buffer
[2], std::end(buffer
), static_cast<std::uint16_t>(s
), 16).ptr
;
111 end
= std::to_chars(&buffer
[2], std::end(buffer
), static_cast<std::uint16_t>(s
), 16).ptr
;
112 std::transform(static_cast<const char*>(&buffer
[2]), end
, &buffer
[2], [](char c
) {
113 return static_cast<char>(std::toupper(c
)); });
129 end
= begin
+ strlen(begin
);
133 return std::copy(begin
, end
, ctx
.out());
137 [[noreturn
]] void throw_format_error([[maybe_unused
]] const char* s
) const {
138 #ifndef TEST_HAS_NO_EXCEPTIONS
139 throw std::format_error(s
);
146 struct parse_call_validator
{
147 struct parse_function_not_called
{};
149 friend constexpr auto operator<=>(const parse_call_validator
& lhs
, const parse_call_validator
& rhs
) {
150 return &lhs
<=> &rhs
;
154 // The formatter for a user-defined type used to test the handle formatter.
156 // Like std::formatter<status, CharT> this formatter validates that parse is
157 // called. This formatter is intended to be used when the formatter's parse is
158 // called directly and not with format. In that case the format-spec does not
159 // require a terminating }. The tests must be written in a fashion where this
160 // formatter is always called with an empty format-spec. This requirement
161 // allows testing of certain code paths that are never reached by using a
162 // well-formed format-string in the format functions.
163 template <class CharT
>
164 struct std::formatter
<parse_call_validator
, CharT
> {
165 bool parse_called
{false};
167 constexpr auto parse(basic_format_parse_context
<CharT
>& parse_ctx
) -> decltype(parse_ctx
.begin()) {
168 auto begin
= parse_ctx
.begin();
169 auto end
= parse_ctx
.end();
170 assert(begin
== end
);
175 auto format(parse_call_validator
, auto& ctx
) const -> decltype(ctx
.out()) {
177 throw_error
<parse_call_validator::parse_function_not_called
>();
183 [[noreturn
]] void throw_error() const {
184 #ifndef TEST_HAS_NO_EXCEPTIONS
192 // Creates format string for the invalid types.
194 // valid contains a list of types that are valid.
195 // - The type ?s is the only type requiring 2 characters, use S for that type.
196 // - Whether n is a type or not depends on the context, is is always used.
198 // The return value is a collection of basic_strings, instead of
199 // basic_string_views since the values are temporaries.
201 template <class CharT
, std::size_t N
>
202 std::basic_string
<CharT
> get_colons() {
203 static std::basic_string
<CharT
> result(N
, CharT(':'));
207 constexpr std::string_view
get_format_types() {
208 return "aAbBcdeEfFgGopPsxX"
209 #if TEST_STD_VER > 20
215 template <class CharT
, /*format_types types,*/ size_t N
>
216 std::vector
<std::basic_string
<CharT
>> fmt_invalid_types(std::string_view valid
) {
217 // std::ranges::to is not available in C++20.
218 std::vector
<std::basic_string
<CharT
>> result
;
220 get_format_types() | std::views::filter([&](char type
) { return valid
.find(type
) == std::string_view::npos
; }) |
221 std::views::transform([&](char type
) { return std::format(SV("{{{}{}}}"), get_colons
<CharT
, N
>(), type
); }),
222 std::back_inserter(result
));
226 } // namespace detail
228 // Creates format string for the invalid types.
230 // valid contains a list of types that are valid.
232 // The return value is a collection of basic_strings, instead of
233 // basic_string_views since the values are temporaries.
234 template <class CharT
>
235 std::vector
<std::basic_string
<CharT
>> fmt_invalid_types(std::string_view valid
) {
236 return detail::fmt_invalid_types
<CharT
, 1>(valid
);
239 // Like fmt_invalid_types but when the format spec is for an underlying formatter.
240 template <class CharT
>
241 std::vector
<std::basic_string
<CharT
>> fmt_invalid_nested_types(std::string_view valid
) {
242 return detail::fmt_invalid_types
<CharT
, 2>(valid
);
245 #endif // TEST_SUPPORT_FORMAT_FUNCTIONS_COMMON_H