]>
Commit | Line | Data |
---|---|---|
f67539c2 TL |
1 | // Formatting library for C++ - experimental format string compilation |
2 | // | |
3 | // Copyright (c) 2012 - present, Victor Zverovich and fmt contributors | |
4 | // All rights reserved. | |
5 | // | |
6 | // For the license information refer to format.h. | |
7 | ||
8 | #ifndef FMT_COMPILE_H_ | |
9 | #define FMT_COMPILE_H_ | |
10 | ||
f67539c2 TL |
11 | #include "format.h" |
12 | ||
13 | FMT_BEGIN_NAMESPACE | |
14 | namespace detail { | |
15 | ||
20effc67 TL |
16 | // An output iterator that counts the number of objects written to it and |
17 | // discards them. | |
18 | class counting_iterator { | |
19 | private: | |
20 | size_t count_; | |
f67539c2 | 21 | |
20effc67 TL |
22 | public: |
23 | using iterator_category = std::output_iterator_tag; | |
24 | using difference_type = std::ptrdiff_t; | |
25 | using pointer = void; | |
26 | using reference = void; | |
27 | using _Unchecked_type = counting_iterator; // Mark iterator as checked. | |
28 | ||
29 | struct value_type { | |
30 | template <typename T> void operator=(const T&) {} | |
f67539c2 TL |
31 | }; |
32 | ||
20effc67 | 33 | counting_iterator() : count_(0) {} |
f67539c2 | 34 | |
20effc67 | 35 | size_t count() const { return count_; } |
f67539c2 | 36 | |
20effc67 TL |
37 | counting_iterator& operator++() { |
38 | ++count_; | |
39 | return *this; | |
f67539c2 | 40 | } |
20effc67 TL |
41 | counting_iterator operator++(int) { |
42 | auto it = *this; | |
43 | ++*this; | |
44 | return it; | |
f67539c2 TL |
45 | } |
46 | ||
20effc67 TL |
47 | friend counting_iterator operator+(counting_iterator it, difference_type n) { |
48 | it.count_ += static_cast<size_t>(n); | |
49 | return it; | |
f67539c2 TL |
50 | } |
51 | ||
20effc67 | 52 | value_type operator*() const { return {}; } |
f67539c2 TL |
53 | }; |
54 | ||
20effc67 TL |
55 | template <typename Char, typename InputIt> |
56 | inline counting_iterator copy_str(InputIt begin, InputIt end, | |
57 | counting_iterator it) { | |
58 | return it + (end - begin); | |
f67539c2 TL |
59 | } |
60 | ||
20effc67 TL |
61 | template <typename OutputIt> class truncating_iterator_base { |
62 | protected: | |
63 | OutputIt out_; | |
64 | size_t limit_; | |
65 | size_t count_ = 0; | |
66 | ||
67 | truncating_iterator_base() : out_(), limit_(0) {} | |
f67539c2 | 68 | |
20effc67 TL |
69 | truncating_iterator_base(OutputIt out, size_t limit) |
70 | : out_(out), limit_(limit) {} | |
f67539c2 TL |
71 | |
72 | public: | |
20effc67 TL |
73 | using iterator_category = std::output_iterator_tag; |
74 | using value_type = typename std::iterator_traits<OutputIt>::value_type; | |
75 | using difference_type = std::ptrdiff_t; | |
76 | using pointer = void; | |
77 | using reference = void; | |
78 | using _Unchecked_type = | |
79 | truncating_iterator_base; // Mark iterator as checked. | |
80 | ||
81 | OutputIt base() const { return out_; } | |
82 | size_t count() const { return count_; } | |
83 | }; | |
f67539c2 | 84 | |
20effc67 TL |
85 | // An output iterator that truncates the output and counts the number of objects |
86 | // written to it. | |
87 | template <typename OutputIt, | |
88 | typename Enable = typename std::is_void< | |
89 | typename std::iterator_traits<OutputIt>::value_type>::type> | |
90 | class truncating_iterator; | |
f67539c2 | 91 | |
20effc67 TL |
92 | template <typename OutputIt> |
93 | class truncating_iterator<OutputIt, std::false_type> | |
94 | : public truncating_iterator_base<OutputIt> { | |
95 | mutable typename truncating_iterator_base<OutputIt>::value_type blackhole_; | |
f67539c2 | 96 | |
20effc67 TL |
97 | public: |
98 | using value_type = typename truncating_iterator_base<OutputIt>::value_type; | |
99 | ||
100 | truncating_iterator() = default; | |
f67539c2 | 101 | |
20effc67 TL |
102 | truncating_iterator(OutputIt out, size_t limit) |
103 | : truncating_iterator_base<OutputIt>(out, limit) {} | |
104 | ||
105 | truncating_iterator& operator++() { | |
106 | if (this->count_++ < this->limit_) ++this->out_; | |
107 | return *this; | |
f67539c2 TL |
108 | } |
109 | ||
20effc67 TL |
110 | truncating_iterator operator++(int) { |
111 | auto it = *this; | |
112 | ++*this; | |
f67539c2 TL |
113 | return it; |
114 | } | |
f67539c2 | 115 | |
20effc67 TL |
116 | value_type& operator*() const { |
117 | return this->count_ < this->limit_ ? *this->out_ : blackhole_; | |
f67539c2 | 118 | } |
20effc67 | 119 | }; |
f67539c2 | 120 | |
20effc67 TL |
121 | template <typename OutputIt> |
122 | class truncating_iterator<OutputIt, std::true_type> | |
123 | : public truncating_iterator_base<OutputIt> { | |
124 | public: | |
125 | truncating_iterator() = default; | |
f67539c2 | 126 | |
20effc67 TL |
127 | truncating_iterator(OutputIt out, size_t limit) |
128 | : truncating_iterator_base<OutputIt>(out, limit) {} | |
f67539c2 | 129 | |
20effc67 TL |
130 | template <typename T> truncating_iterator& operator=(T val) { |
131 | if (this->count_++ < this->limit_) *this->out_++ = val; | |
132 | return *this; | |
f67539c2 TL |
133 | } |
134 | ||
20effc67 TL |
135 | truncating_iterator& operator++() { return *this; } |
136 | truncating_iterator& operator++(int) { return *this; } | |
137 | truncating_iterator& operator*() { return *this; } | |
f67539c2 TL |
138 | }; |
139 | ||
20effc67 TL |
140 | // A compile-time string which is compiled into fast formatting code. |
141 | class compiled_string {}; | |
f67539c2 TL |
142 | |
143 | template <typename S> | |
20effc67 TL |
144 | struct is_compiled_string : std::is_base_of<compiled_string, S> {}; |
145 | ||
146 | /** | |
147 | \rst | |
148 | Converts a string literal *s* into a format string that will be parsed at | |
149 | compile time and converted into efficient formatting code. Requires C++17 | |
150 | ``constexpr if`` compiler support. | |
f67539c2 | 151 | |
20effc67 | 152 | **Example**:: |
f67539c2 | 153 | |
20effc67 TL |
154 | // Converts 42 into std::string using the most efficient method and no |
155 | // runtime format string processing. | |
156 | std::string s = fmt::format(FMT_COMPILE("{}"), 42); | |
157 | \endrst | |
158 | */ | |
159 | #ifdef __cpp_if_constexpr | |
160 | # define FMT_COMPILE(s) \ | |
161 | FMT_STRING_IMPL(s, fmt::detail::compiled_string, explicit) | |
f67539c2 | 162 | #else |
20effc67 | 163 | # define FMT_COMPILE(s) FMT_STRING(s) |
f67539c2 TL |
164 | #endif |
165 | ||
20effc67 TL |
166 | #if FMT_USE_NONTYPE_TEMPLATE_PARAMETERS |
167 | template <typename Char, size_t N, | |
168 | fmt::detail_exported::fixed_string<Char, N> Str> | |
169 | struct udl_compiled_string : compiled_string { | |
170 | using char_type = Char; | |
171 | constexpr operator basic_string_view<char_type>() const { | |
172 | return {Str.data, N - 1}; | |
f67539c2 TL |
173 | } |
174 | }; | |
20effc67 | 175 | #endif |
f67539c2 | 176 | |
20effc67 TL |
177 | template <typename T, typename... Tail> |
178 | const T& first(const T& value, const Tail&...) { | |
179 | return value; | |
180 | } | |
f67539c2 TL |
181 | |
182 | #ifdef __cpp_if_constexpr | |
183 | template <typename... Args> struct type_list {}; | |
184 | ||
185 | // Returns a reference to the argument at index N from [first, rest...]. | |
186 | template <int N, typename T, typename... Args> | |
20effc67 TL |
187 | constexpr const auto& get([[maybe_unused]] const T& first, |
188 | [[maybe_unused]] const Args&... rest) { | |
f67539c2 TL |
189 | static_assert(N < 1 + sizeof...(Args), "index is out of bounds"); |
190 | if constexpr (N == 0) | |
191 | return first; | |
192 | else | |
193 | return get<N - 1>(rest...); | |
194 | } | |
195 | ||
20effc67 TL |
196 | template <typename Char, typename... Args> |
197 | constexpr int get_arg_index_by_name(basic_string_view<Char> name, | |
198 | type_list<Args...>) { | |
199 | return get_arg_index_by_name<Args...>(name); | |
200 | } | |
201 | ||
f67539c2 TL |
202 | template <int N, typename> struct get_type_impl; |
203 | ||
204 | template <int N, typename... Args> struct get_type_impl<N, type_list<Args...>> { | |
205 | using type = remove_cvref_t<decltype(get<N>(std::declval<Args>()...))>; | |
206 | }; | |
207 | ||
208 | template <int N, typename T> | |
209 | using get_type = typename get_type_impl<N, T>::type; | |
210 | ||
211 | template <typename T> struct is_compiled_format : std::false_type {}; | |
212 | ||
213 | template <typename Char> struct text { | |
214 | basic_string_view<Char> data; | |
215 | using char_type = Char; | |
216 | ||
217 | template <typename OutputIt, typename... Args> | |
20effc67 TL |
218 | constexpr OutputIt format(OutputIt out, const Args&...) const { |
219 | return write<Char>(out, data); | |
f67539c2 TL |
220 | } |
221 | }; | |
222 | ||
223 | template <typename Char> | |
224 | struct is_compiled_format<text<Char>> : std::true_type {}; | |
225 | ||
226 | template <typename Char> | |
227 | constexpr text<Char> make_text(basic_string_view<Char> s, size_t pos, | |
228 | size_t size) { | |
229 | return {{&s[pos], size}}; | |
230 | } | |
231 | ||
20effc67 TL |
232 | template <typename Char> struct code_unit { |
233 | Char value; | |
234 | using char_type = Char; | |
f67539c2 | 235 | |
20effc67 TL |
236 | template <typename OutputIt, typename... Args> |
237 | constexpr OutputIt format(OutputIt out, const Args&...) const { | |
238 | return write<Char>(out, value); | |
239 | } | |
240 | }; | |
f67539c2 | 241 | |
20effc67 TL |
242 | // This ensures that the argument type is convertible to `const T&`. |
243 | template <typename T, int N, typename... Args> | |
244 | constexpr const T& get_arg_checked(const Args&... args) { | |
245 | const auto& arg = get<N>(args...); | |
246 | if constexpr (detail::is_named_arg<remove_cvref_t<decltype(arg)>>()) { | |
247 | return arg.value; | |
248 | } else { | |
249 | return arg; | |
250 | } | |
f67539c2 TL |
251 | } |
252 | ||
20effc67 TL |
253 | template <typename Char> |
254 | struct is_compiled_format<code_unit<Char>> : std::true_type {}; | |
f67539c2 TL |
255 | |
256 | // A replacement field that refers to argument N. | |
257 | template <typename Char, typename T, int N> struct field { | |
258 | using char_type = Char; | |
259 | ||
260 | template <typename OutputIt, typename... Args> | |
20effc67 TL |
261 | constexpr OutputIt format(OutputIt out, const Args&... args) const { |
262 | return write<Char>(out, get_arg_checked<T, N>(args...)); | |
f67539c2 TL |
263 | } |
264 | }; | |
265 | ||
266 | template <typename Char, typename T, int N> | |
267 | struct is_compiled_format<field<Char, T, N>> : std::true_type {}; | |
268 | ||
20effc67 TL |
269 | // A replacement field that refers to argument with name. |
270 | template <typename Char> struct runtime_named_field { | |
271 | using char_type = Char; | |
272 | basic_string_view<Char> name; | |
273 | ||
274 | template <typename OutputIt, typename T> | |
275 | constexpr static bool try_format_argument( | |
276 | OutputIt& out, | |
277 | // [[maybe_unused]] due to unused-but-set-parameter warning in GCC 7,8,9 | |
278 | [[maybe_unused]] basic_string_view<Char> arg_name, const T& arg) { | |
279 | if constexpr (is_named_arg<typename std::remove_cv<T>::type>::value) { | |
280 | if (arg_name == arg.name) { | |
281 | out = write<Char>(out, arg.value); | |
282 | return true; | |
283 | } | |
284 | } | |
285 | return false; | |
286 | } | |
287 | ||
288 | template <typename OutputIt, typename... Args> | |
289 | constexpr OutputIt format(OutputIt out, const Args&... args) const { | |
290 | bool found = (try_format_argument(out, name, args) || ...); | |
291 | if (!found) { | |
292 | throw format_error("argument with specified name is not found"); | |
293 | } | |
294 | return out; | |
295 | } | |
296 | }; | |
297 | ||
298 | template <typename Char> | |
299 | struct is_compiled_format<runtime_named_field<Char>> : std::true_type {}; | |
300 | ||
301 | // A replacement field that refers to argument N and has format specifiers. | |
302 | template <typename Char, typename T, int N> struct spec_field { | |
303 | using char_type = Char; | |
304 | formatter<T, Char> fmt; | |
305 | ||
306 | template <typename OutputIt, typename... Args> | |
307 | constexpr FMT_INLINE OutputIt format(OutputIt out, | |
308 | const Args&... args) const { | |
309 | const auto& vargs = | |
310 | fmt::make_format_args<basic_format_context<OutputIt, Char>>(args...); | |
311 | basic_format_context<OutputIt, Char> ctx(out, vargs); | |
312 | return fmt.format(get_arg_checked<T, N>(args...), ctx); | |
313 | } | |
314 | }; | |
315 | ||
316 | template <typename Char, typename T, int N> | |
317 | struct is_compiled_format<spec_field<Char, T, N>> : std::true_type {}; | |
318 | ||
f67539c2 TL |
319 | template <typename L, typename R> struct concat { |
320 | L lhs; | |
321 | R rhs; | |
322 | using char_type = typename L::char_type; | |
323 | ||
324 | template <typename OutputIt, typename... Args> | |
20effc67 | 325 | constexpr OutputIt format(OutputIt out, const Args&... args) const { |
f67539c2 TL |
326 | out = lhs.format(out, args...); |
327 | return rhs.format(out, args...); | |
328 | } | |
329 | }; | |
330 | ||
331 | template <typename L, typename R> | |
332 | struct is_compiled_format<concat<L, R>> : std::true_type {}; | |
333 | ||
334 | template <typename L, typename R> | |
335 | constexpr concat<L, R> make_concat(L lhs, R rhs) { | |
336 | return {lhs, rhs}; | |
337 | } | |
338 | ||
339 | struct unknown_format {}; | |
340 | ||
341 | template <typename Char> | |
342 | constexpr size_t parse_text(basic_string_view<Char> str, size_t pos) { | |
343 | for (size_t size = str.size(); pos != size; ++pos) { | |
344 | if (str[pos] == '{' || str[pos] == '}') break; | |
345 | } | |
346 | return pos; | |
347 | } | |
348 | ||
349 | template <typename Args, size_t POS, int ID, typename S> | |
350 | constexpr auto compile_format_string(S format_str); | |
351 | ||
352 | template <typename Args, size_t POS, int ID, typename T, typename S> | |
353 | constexpr auto parse_tail(T head, S format_str) { | |
20effc67 TL |
354 | if constexpr (POS != |
355 | basic_string_view<typename S::char_type>(format_str).size()) { | |
f67539c2 TL |
356 | constexpr auto tail = compile_format_string<Args, POS, ID>(format_str); |
357 | if constexpr (std::is_same<remove_cvref_t<decltype(tail)>, | |
358 | unknown_format>()) | |
359 | return tail; | |
360 | else | |
361 | return make_concat(head, tail); | |
362 | } else { | |
363 | return head; | |
364 | } | |
365 | } | |
366 | ||
20effc67 TL |
367 | template <typename T, typename Char> struct parse_specs_result { |
368 | formatter<T, Char> fmt; | |
369 | size_t end; | |
370 | int next_arg_id; | |
371 | }; | |
372 | ||
373 | constexpr int manual_indexing_id = -1; | |
374 | ||
375 | template <typename T, typename Char> | |
376 | constexpr parse_specs_result<T, Char> parse_specs(basic_string_view<Char> str, | |
377 | size_t pos, int next_arg_id) { | |
378 | str.remove_prefix(pos); | |
379 | auto ctx = basic_format_parse_context<Char>(str, {}, next_arg_id); | |
380 | auto f = formatter<T, Char>(); | |
381 | auto end = f.parse(ctx); | |
382 | return {f, pos + fmt::detail::to_unsigned(end - str.data()) + 1, | |
383 | next_arg_id == 0 ? manual_indexing_id : ctx.next_arg_id()}; | |
384 | } | |
385 | ||
386 | template <typename Char> struct arg_id_handler { | |
387 | arg_ref<Char> arg_id; | |
388 | ||
389 | constexpr int operator()() { | |
390 | FMT_ASSERT(false, "handler cannot be used with automatic indexing"); | |
391 | return 0; | |
392 | } | |
393 | constexpr int operator()(int id) { | |
394 | arg_id = arg_ref<Char>(id); | |
395 | return 0; | |
396 | } | |
397 | constexpr int operator()(basic_string_view<Char> id) { | |
398 | arg_id = arg_ref<Char>(id); | |
399 | return 0; | |
400 | } | |
401 | ||
402 | constexpr void on_error(const char* message) { throw format_error(message); } | |
403 | }; | |
404 | ||
405 | template <typename Char> struct parse_arg_id_result { | |
406 | arg_ref<Char> arg_id; | |
407 | const Char* arg_id_end; | |
408 | }; | |
409 | ||
410 | template <int ID, typename Char> | |
411 | constexpr auto parse_arg_id(const Char* begin, const Char* end) { | |
412 | auto handler = arg_id_handler<Char>{arg_ref<Char>{}}; | |
413 | auto arg_id_end = parse_arg_id(begin, end, handler); | |
414 | return parse_arg_id_result<Char>{handler.arg_id, arg_id_end}; | |
415 | } | |
416 | ||
417 | template <typename T, typename Enable = void> struct field_type { | |
418 | using type = remove_cvref_t<T>; | |
419 | }; | |
420 | ||
421 | template <typename T> | |
422 | struct field_type<T, enable_if_t<detail::is_named_arg<T>::value>> { | |
423 | using type = remove_cvref_t<decltype(T::value)>; | |
424 | }; | |
425 | ||
426 | template <typename T, typename Args, size_t END_POS, int ARG_INDEX, int NEXT_ID, | |
427 | typename S> | |
428 | constexpr auto parse_replacement_field_then_tail(S format_str) { | |
429 | using char_type = typename S::char_type; | |
430 | constexpr auto str = basic_string_view<char_type>(format_str); | |
431 | constexpr char_type c = END_POS != str.size() ? str[END_POS] : char_type(); | |
432 | if constexpr (c == '}') { | |
433 | return parse_tail<Args, END_POS + 1, NEXT_ID>( | |
434 | field<char_type, typename field_type<T>::type, ARG_INDEX>(), | |
435 | format_str); | |
436 | } else if constexpr (c == ':') { | |
437 | constexpr auto result = parse_specs<typename field_type<T>::type>( | |
438 | str, END_POS + 1, NEXT_ID == manual_indexing_id ? 0 : NEXT_ID); | |
439 | return parse_tail<Args, result.end, result.next_arg_id>( | |
440 | spec_field<char_type, typename field_type<T>::type, ARG_INDEX>{ | |
441 | result.fmt}, | |
442 | format_str); | |
443 | } | |
444 | } | |
445 | ||
f67539c2 TL |
446 | // Compiles a non-empty format string and returns the compiled representation |
447 | // or unknown_format() on unrecognized input. | |
448 | template <typename Args, size_t POS, int ID, typename S> | |
449 | constexpr auto compile_format_string(S format_str) { | |
450 | using char_type = typename S::char_type; | |
20effc67 | 451 | constexpr auto str = basic_string_view<char_type>(format_str); |
f67539c2 | 452 | if constexpr (str[POS] == '{') { |
20effc67 | 453 | if constexpr (POS + 1 == str.size()) |
f67539c2 TL |
454 | throw format_error("unmatched '{' in format string"); |
455 | if constexpr (str[POS + 1] == '{') { | |
456 | return parse_tail<Args, POS + 2, ID>(make_text(str, POS, 1), format_str); | |
20effc67 TL |
457 | } else if constexpr (str[POS + 1] == '}' || str[POS + 1] == ':') { |
458 | static_assert(ID != manual_indexing_id, | |
459 | "cannot switch from manual to automatic argument indexing"); | |
460 | constexpr auto next_id = | |
461 | ID != manual_indexing_id ? ID + 1 : manual_indexing_id; | |
462 | return parse_replacement_field_then_tail<get_type<ID, Args>, Args, | |
463 | POS + 1, ID, next_id>( | |
464 | format_str); | |
f67539c2 | 465 | } else { |
20effc67 TL |
466 | constexpr auto arg_id_result = |
467 | parse_arg_id<ID>(str.data() + POS + 1, str.data() + str.size()); | |
468 | constexpr auto arg_id_end_pos = arg_id_result.arg_id_end - str.data(); | |
469 | constexpr char_type c = | |
470 | arg_id_end_pos != str.size() ? str[arg_id_end_pos] : char_type(); | |
471 | static_assert(c == '}' || c == ':', "missing '}' in format string"); | |
472 | if constexpr (arg_id_result.arg_id.kind == arg_id_kind::index) { | |
473 | static_assert( | |
474 | ID == manual_indexing_id || ID == 0, | |
475 | "cannot switch from automatic to manual argument indexing"); | |
476 | constexpr auto arg_index = arg_id_result.arg_id.val.index; | |
477 | return parse_replacement_field_then_tail<get_type<arg_index, Args>, | |
478 | Args, arg_id_end_pos, | |
479 | arg_index, manual_indexing_id>( | |
480 | format_str); | |
481 | } else if constexpr (arg_id_result.arg_id.kind == arg_id_kind::name) { | |
482 | constexpr auto arg_index = | |
483 | get_arg_index_by_name(arg_id_result.arg_id.val.name, Args{}); | |
484 | if constexpr (arg_index != invalid_arg_index) { | |
485 | constexpr auto next_id = | |
486 | ID != manual_indexing_id ? ID + 1 : manual_indexing_id; | |
487 | return parse_replacement_field_then_tail< | |
488 | decltype(get_type<arg_index, Args>::value), Args, arg_id_end_pos, | |
489 | arg_index, next_id>(format_str); | |
490 | } else { | |
491 | if constexpr (c == '}') { | |
492 | return parse_tail<Args, arg_id_end_pos + 1, ID>( | |
493 | runtime_named_field<char_type>{arg_id_result.arg_id.val.name}, | |
494 | format_str); | |
495 | } else if constexpr (c == ':') { | |
496 | return unknown_format(); // no type info for specs parsing | |
497 | } | |
498 | } | |
499 | } | |
f67539c2 TL |
500 | } |
501 | } else if constexpr (str[POS] == '}') { | |
20effc67 | 502 | if constexpr (POS + 1 == str.size()) |
f67539c2 TL |
503 | throw format_error("unmatched '}' in format string"); |
504 | return parse_tail<Args, POS + 2, ID>(make_text(str, POS, 1), format_str); | |
505 | } else { | |
506 | constexpr auto end = parse_text(str, POS + 1); | |
20effc67 TL |
507 | if constexpr (end - POS > 1) { |
508 | return parse_tail<Args, end, ID>(make_text(str, POS, end - POS), | |
509 | format_str); | |
510 | } else { | |
511 | return parse_tail<Args, end, ID>(code_unit<char_type>{str[POS]}, | |
512 | format_str); | |
513 | } | |
f67539c2 TL |
514 | } |
515 | } | |
f67539c2 | 516 | |
f67539c2 | 517 | template <typename... Args, typename S, |
20effc67 | 518 | FMT_ENABLE_IF(detail::is_compiled_string<S>::value)> |
f67539c2 | 519 | constexpr auto compile(S format_str) { |
20effc67 | 520 | constexpr auto str = basic_string_view<typename S::char_type>(format_str); |
f67539c2 TL |
521 | if constexpr (str.size() == 0) { |
522 | return detail::make_text(str, 0, 0); | |
523 | } else { | |
524 | constexpr auto result = | |
525 | detail::compile_format_string<detail::type_list<Args...>, 0, 0>( | |
526 | format_str); | |
20effc67 | 527 | return result; |
f67539c2 TL |
528 | } |
529 | } | |
20effc67 TL |
530 | #endif // __cpp_if_constexpr |
531 | } // namespace detail | |
532 | ||
533 | FMT_MODULE_EXPORT_BEGIN | |
534 | ||
535 | #ifdef __cpp_if_constexpr | |
f67539c2 TL |
536 | |
537 | template <typename CompiledFormat, typename... Args, | |
538 | typename Char = typename CompiledFormat::char_type, | |
539 | FMT_ENABLE_IF(detail::is_compiled_format<CompiledFormat>::value)> | |
20effc67 TL |
540 | FMT_INLINE std::basic_string<Char> format(const CompiledFormat& cf, |
541 | const Args&... args) { | |
542 | auto s = std::basic_string<Char>(); | |
543 | cf.format(std::back_inserter(s), args...); | |
544 | return s; | |
f67539c2 TL |
545 | } |
546 | ||
547 | template <typename OutputIt, typename CompiledFormat, typename... Args, | |
548 | FMT_ENABLE_IF(detail::is_compiled_format<CompiledFormat>::value)> | |
20effc67 TL |
549 | constexpr FMT_INLINE OutputIt format_to(OutputIt out, const CompiledFormat& cf, |
550 | const Args&... args) { | |
f67539c2 TL |
551 | return cf.format(out, args...); |
552 | } | |
f67539c2 | 553 | |
20effc67 TL |
554 | template <typename S, typename... Args, |
555 | FMT_ENABLE_IF(detail::is_compiled_string<S>::value)> | |
556 | FMT_INLINE std::basic_string<typename S::char_type> format(const S&, | |
557 | Args&&... args) { | |
558 | if constexpr (std::is_same<typename S::char_type, char>::value) { | |
559 | constexpr auto str = basic_string_view<typename S::char_type>(S()); | |
560 | if constexpr (str.size() == 2 && str[0] == '{' && str[1] == '}') { | |
561 | const auto& first = detail::first(args...); | |
562 | if constexpr (detail::is_named_arg< | |
563 | remove_cvref_t<decltype(first)>>::value) { | |
564 | return fmt::to_string(first.value); | |
565 | } else { | |
566 | return fmt::to_string(first); | |
567 | } | |
568 | } | |
569 | } | |
570 | constexpr auto compiled = detail::compile<Args...>(S()); | |
571 | if constexpr (std::is_same<remove_cvref_t<decltype(compiled)>, | |
572 | detail::unknown_format>()) { | |
573 | return format(static_cast<basic_string_view<typename S::char_type>>(S()), | |
574 | std::forward<Args>(args)...); | |
575 | } else { | |
576 | return format(compiled, std::forward<Args>(args)...); | |
577 | } | |
f67539c2 TL |
578 | } |
579 | ||
20effc67 TL |
580 | template <typename OutputIt, typename S, typename... Args, |
581 | FMT_ENABLE_IF(detail::is_compiled_string<S>::value)> | |
582 | FMT_CONSTEXPR OutputIt format_to(OutputIt out, const S&, Args&&... args) { | |
583 | constexpr auto compiled = detail::compile<Args...>(S()); | |
584 | if constexpr (std::is_same<remove_cvref_t<decltype(compiled)>, | |
585 | detail::unknown_format>()) { | |
586 | return format_to(out, | |
587 | static_cast<basic_string_view<typename S::char_type>>(S()), | |
588 | std::forward<Args>(args)...); | |
589 | } else { | |
590 | return format_to(out, compiled, std::forward<Args>(args)...); | |
591 | } | |
f67539c2 | 592 | } |
20effc67 | 593 | #endif |
f67539c2 | 594 | |
20effc67 TL |
595 | template <typename OutputIt, typename S, typename... Args, |
596 | FMT_ENABLE_IF(detail::is_compiled_string<S>::value)> | |
f67539c2 | 597 | format_to_n_result<OutputIt> format_to_n(OutputIt out, size_t n, |
20effc67 TL |
598 | const S& format_str, Args&&... args) { |
599 | auto it = format_to(detail::truncating_iterator<OutputIt>(out, n), format_str, | |
600 | std::forward<Args>(args)...); | |
f67539c2 TL |
601 | return {it.base(), it.count()}; |
602 | } | |
603 | ||
20effc67 TL |
604 | template <typename S, typename... Args, |
605 | FMT_ENABLE_IF(detail::is_compiled_string<S>::value)> | |
606 | size_t formatted_size(const S& format_str, const Args&... args) { | |
607 | return format_to(detail::counting_iterator(), format_str, args...).count(); | |
f67539c2 TL |
608 | } |
609 | ||
20effc67 TL |
610 | template <typename S, typename... Args, |
611 | FMT_ENABLE_IF(detail::is_compiled_string<S>::value)> | |
612 | void print(std::FILE* f, const S& format_str, const Args&... args) { | |
613 | memory_buffer buffer; | |
614 | format_to(std::back_inserter(buffer), format_str, args...); | |
615 | detail::print(f, {buffer.data(), buffer.size()}); | |
616 | } | |
617 | ||
618 | template <typename S, typename... Args, | |
619 | FMT_ENABLE_IF(detail::is_compiled_string<S>::value)> | |
620 | void print(const S& format_str, const Args&... args) { | |
621 | print(stdout, format_str, args...); | |
622 | } | |
623 | ||
624 | #if FMT_USE_NONTYPE_TEMPLATE_PARAMETERS | |
625 | inline namespace literals { | |
626 | template <detail_exported::fixed_string Str> | |
627 | constexpr detail::udl_compiled_string< | |
628 | remove_cvref_t<decltype(Str.data[0])>, | |
629 | sizeof(Str.data) / sizeof(decltype(Str.data[0])), Str> | |
630 | operator""_cf() { | |
631 | return {}; | |
632 | } | |
633 | } // namespace literals | |
634 | #endif | |
635 | ||
636 | FMT_MODULE_EXPORT_END | |
f67539c2 TL |
637 | FMT_END_NAMESPACE |
638 | ||
639 | #endif // FMT_COMPILE_H_ |