enum_name
Loading...
Searching...
No Matches
printf.h
1// Formatting library for C++ - legacy printf implementation
2//
3// Copyright (c) 2012 - 2016, Victor Zverovich
4// All rights reserved.
5//
6// For the license information refer to format.h.
7
8#ifndef FMT_PRINTF_H_
9#define FMT_PRINTF_H_
10
11#include <algorithm> // std::max
12#include <limits> // std::numeric_limits
13
14#include "format.h"
15
16FMT_BEGIN_NAMESPACE
17FMT_BEGIN_EXPORT
18
19template <typename T> struct printf_formatter {
20 printf_formatter() = delete;
21};
22
23template <typename Char> class basic_printf_context {
24 private:
25 detail::buffer_appender<Char> out_;
27
28 static_assert(std::is_same<Char, char>::value ||
29 std::is_same<Char, wchar_t>::value,
30 "Unsupported code unit type.");
31
32 public:
33 using char_type = Char;
35 template <typename T> using formatter_type = printf_formatter<T>;
36
43 basic_printf_context(detail::buffer_appender<Char> out,
45 : out_(out), args_(args) {}
46
47 auto out() -> detail::buffer_appender<Char> { return out_; }
48 void advance_to(detail::buffer_appender<Char>) {}
49
50 auto locale() -> detail::locale_ref { return {}; }
51
52 auto arg(int id) const -> basic_format_arg<basic_printf_context> {
53 return args_.get(id);
54 }
55
56 FMT_CONSTEXPR void on_error(const char* message) {
57 detail::error_handler().on_error(message);
58 }
59};
60
61namespace detail {
62
63// Checks if a value fits in int - used to avoid warnings about comparing
64// signed and unsigned integers.
65template <bool IsSigned> struct int_checker {
66 template <typename T> static auto fits_in_int(T value) -> bool {
67 unsigned max = max_value<int>();
68 return value <= max;
69 }
70 static auto fits_in_int(bool) -> bool { return true; }
71};
72
73template <> struct int_checker<true> {
74 template <typename T> static auto fits_in_int(T value) -> bool {
75 return value >= (std::numeric_limits<int>::min)() &&
76 value <= max_value<int>();
77 }
78 static auto fits_in_int(int) -> bool { return true; }
79};
80
82 template <typename T, FMT_ENABLE_IF(std::is_integral<T>::value)>
83 auto operator()(T value) -> int {
84 if (!int_checker<std::numeric_limits<T>::is_signed>::fits_in_int(value))
85 throw_format_error("number is too big");
86 return (std::max)(static_cast<int>(value), 0);
87 }
88
89 template <typename T, FMT_ENABLE_IF(!std::is_integral<T>::value)>
90 auto operator()(T) -> int {
91 throw_format_error("precision is not integer");
92 return 0;
93 }
94};
95
96// An argument visitor that returns true iff arg is a zero integer.
98 template <typename T, FMT_ENABLE_IF(std::is_integral<T>::value)>
99 auto operator()(T value) -> bool {
100 return value == 0;
101 }
102
103 template <typename T, FMT_ENABLE_IF(!std::is_integral<T>::value)>
104 auto operator()(T) -> bool {
105 return false;
106 }
107};
108
109template <typename T> struct make_unsigned_or_bool : std::make_unsigned<T> {};
110
111template <> struct make_unsigned_or_bool<bool> {
112 using type = bool;
113};
114
115template <typename T, typename Context> class arg_converter {
116 private:
117 using char_type = typename Context::char_type;
118
120 char_type type_;
121
122 public:
123 arg_converter(basic_format_arg<Context>& arg, char_type type)
124 : arg_(arg), type_(type) {}
125
126 void operator()(bool value) {
127 if (type_ != 's') operator()<bool>(value);
128 }
129
130 template <typename U, FMT_ENABLE_IF(std::is_integral<U>::value)>
131 void operator()(U value) {
132 bool is_signed = type_ == 'd' || type_ == 'i';
133 using target_type = conditional_t<std::is_same<T, void>::value, U, T>;
134 if (const_check(sizeof(target_type) <= sizeof(int))) {
135 // Extra casts are used to silence warnings.
136 if (is_signed) {
137 auto n = static_cast<int>(static_cast<target_type>(value));
138 arg_ = detail::make_arg<Context>(n);
139 } else {
140 using unsigned_type = typename make_unsigned_or_bool<target_type>::type;
141 auto n = static_cast<unsigned>(static_cast<unsigned_type>(value));
142 arg_ = detail::make_arg<Context>(n);
143 }
144 } else {
145 if (is_signed) {
146 // glibc's printf doesn't sign extend arguments of smaller types:
147 // std::printf("%lld", -42); // prints "4294967254"
148 // but we don't have to do the same because it's a UB.
149 auto n = static_cast<long long>(value);
150 arg_ = detail::make_arg<Context>(n);
151 } else {
152 auto n = static_cast<typename make_unsigned_or_bool<U>::type>(value);
153 arg_ = detail::make_arg<Context>(n);
154 }
155 }
156 }
157
158 template <typename U, FMT_ENABLE_IF(!std::is_integral<U>::value)>
159 void operator()(U) {} // No conversion needed for non-integral types.
160};
161
162// Converts an integer argument to T for printf, if T is an integral type.
163// If T is void, the argument is converted to corresponding signed or unsigned
164// type depending on the type specifier: 'd' and 'i' - signed, other -
165// unsigned).
166template <typename T, typename Context, typename Char>
167void convert_arg(basic_format_arg<Context>& arg, Char type) {
168 visit_format_arg(arg_converter<T, Context>(arg, type), arg);
169}
170
171// Converts an integer argument to char for printf.
172template <typename Context> class char_converter {
173 private:
175
176 public:
177 explicit char_converter(basic_format_arg<Context>& arg) : arg_(arg) {}
178
179 template <typename T, FMT_ENABLE_IF(std::is_integral<T>::value)>
180 void operator()(T value) {
181 auto c = static_cast<typename Context::char_type>(value);
182 arg_ = detail::make_arg<Context>(c);
183 }
184
185 template <typename T, FMT_ENABLE_IF(!std::is_integral<T>::value)>
186 void operator()(T) {} // No conversion needed for non-integral types.
187};
188
189// An argument visitor that return a pointer to a C string if argument is a
190// string or null otherwise.
191template <typename Char> struct get_cstring {
192 template <typename T> auto operator()(T) -> const Char* { return nullptr; }
193 auto operator()(const Char* s) -> const Char* { return s; }
194};
195
196// Checks if an argument is a valid printf width specifier and sets
197// left alignment if it is negative.
198template <typename Char> class printf_width_handler {
199 private:
200 format_specs<Char>& specs_;
201
202 public:
203 explicit printf_width_handler(format_specs<Char>& specs) : specs_(specs) {}
204
205 template <typename T, FMT_ENABLE_IF(std::is_integral<T>::value)>
206 auto operator()(T value) -> unsigned {
207 auto width = static_cast<uint32_or_64_or_128_t<T>>(value);
208 if (detail::is_negative(value)) {
209 specs_.align = align::left;
210 width = 0 - width;
211 }
212 unsigned int_max = max_value<int>();
213 if (width > int_max) throw_format_error("number is too big");
214 return static_cast<unsigned>(width);
215 }
216
217 template <typename T, FMT_ENABLE_IF(!std::is_integral<T>::value)>
218 auto operator()(T) -> unsigned {
219 throw_format_error("width is not integer");
220 return 0;
221 }
222};
223
224// Workaround for a bug with the XL compiler when initializing
225// printf_arg_formatter's base class.
226template <typename Char>
227auto make_arg_formatter(buffer_appender<Char> iter, format_specs<Char>& s)
229 return {iter, s, locale_ref()};
230}
231
232// The ``printf`` argument formatter.
233template <typename Char>
235 private:
238
239 context_type& context_;
240
241 void write_null_pointer(bool is_string = false) {
242 auto s = this->specs;
243 s.type = presentation_type::none;
244 write_bytes(this->out, is_string ? "(null)" : "(nil)", s);
245 }
246
247 public:
248 printf_arg_formatter(buffer_appender<Char> iter, format_specs<Char>& s,
249 context_type& ctx)
250 : base(make_arg_formatter(iter, s)), context_(ctx) {}
251
252 void operator()(monostate value) { base::operator()(value); }
253
254 template <typename T, FMT_ENABLE_IF(detail::is_integral<T>::value)>
255 void operator()(T value) {
256 // MSVC2013 fails to compile separate overloads for bool and Char so use
257 // std::is_same instead.
258 if (!std::is_same<T, Char>::value) {
259 base::operator()(value);
260 return;
261 }
262 format_specs<Char> fmt_specs = this->specs;
263 if (fmt_specs.type != presentation_type::none &&
264 fmt_specs.type != presentation_type::chr) {
265 return (*this)(static_cast<int>(value));
266 }
267 fmt_specs.sign = sign::none;
268 fmt_specs.alt = false;
269 fmt_specs.fill[0] = ' '; // Ignore '0' flag for char types.
270 // align::numeric needs to be overwritten here since the '0' flag is
271 // ignored for non-numeric types
272 if (fmt_specs.align == align::none || fmt_specs.align == align::numeric)
273 fmt_specs.align = align::right;
274 write<Char>(this->out, static_cast<Char>(value), fmt_specs);
275 }
276
277 template <typename T, FMT_ENABLE_IF(std::is_floating_point<T>::value)>
278 void operator()(T value) {
279 base::operator()(value);
280 }
281
283 void operator()(const char* value) {
284 if (value)
285 base::operator()(value);
286 else
287 write_null_pointer(this->specs.type != presentation_type::pointer);
288 }
289
291 void operator()(const wchar_t* value) {
292 if (value)
293 base::operator()(value);
294 else
295 write_null_pointer(this->specs.type != presentation_type::pointer);
296 }
297
298 void operator()(basic_string_view<Char> value) { base::operator()(value); }
299
301 void operator()(const void* value) {
302 if (value)
303 base::operator()(value);
304 else
305 write_null_pointer();
306 }
307
310 auto parse_ctx = basic_format_parse_context<Char>({});
311 handle.format(parse_ctx, context_);
312 }
313};
314
315template <typename Char>
316void parse_flags(format_specs<Char>& specs, const Char*& it, const Char* end) {
317 for (; it != end; ++it) {
318 switch (*it) {
319 case '-':
320 specs.align = align::left;
321 break;
322 case '+':
323 specs.sign = sign::plus;
324 break;
325 case '0':
326 specs.fill[0] = '0';
327 break;
328 case ' ':
329 if (specs.sign != sign::plus) specs.sign = sign::space;
330 break;
331 case '#':
332 specs.alt = true;
333 break;
334 default:
335 return;
336 }
337 }
338}
339
340template <typename Char, typename GetArg>
341auto parse_header(const Char*& it, const Char* end, format_specs<Char>& specs,
342 GetArg get_arg) -> int {
343 int arg_index = -1;
344 Char c = *it;
345 if (c >= '0' && c <= '9') {
346 // Parse an argument index (if followed by '$') or a width possibly
347 // preceded with '0' flag(s).
348 int value = parse_nonnegative_int(it, end, -1);
349 if (it != end && *it == '$') { // value is an argument index
350 ++it;
351 arg_index = value != -1 ? value : max_value<int>();
352 } else {
353 if (c == '0') specs.fill[0] = '0';
354 if (value != 0) {
355 // Nonzero value means that we parsed width and don't need to
356 // parse it or flags again, so return now.
357 if (value == -1) throw_format_error("number is too big");
358 specs.width = value;
359 return arg_index;
360 }
361 }
362 }
363 parse_flags(specs, it, end);
364 // Parse width.
365 if (it != end) {
366 if (*it >= '0' && *it <= '9') {
367 specs.width = parse_nonnegative_int(it, end, -1);
368 if (specs.width == -1) throw_format_error("number is too big");
369 } else if (*it == '*') {
370 ++it;
371 specs.width = static_cast<int>(visit_format_arg(
372 detail::printf_width_handler<Char>(specs), get_arg(-1)));
373 }
374 }
375 return arg_index;
376}
377
378inline auto parse_printf_presentation_type(char c, type t)
379 -> presentation_type {
380 using pt = presentation_type;
381 constexpr auto integral_set = sint_set | uint_set | bool_set | char_set;
382 switch (c) {
383 case 'd':
384 return in(t, integral_set) ? pt::dec : pt::none;
385 case 'o':
386 return in(t, integral_set) ? pt::oct : pt::none;
387 case 'x':
388 return in(t, integral_set) ? pt::hex_lower : pt::none;
389 case 'X':
390 return in(t, integral_set) ? pt::hex_upper : pt::none;
391 case 'a':
392 return in(t, float_set) ? pt::hexfloat_lower : pt::none;
393 case 'A':
394 return in(t, float_set) ? pt::hexfloat_upper : pt::none;
395 case 'e':
396 return in(t, float_set) ? pt::exp_lower : pt::none;
397 case 'E':
398 return in(t, float_set) ? pt::exp_upper : pt::none;
399 case 'f':
400 return in(t, float_set) ? pt::fixed_lower : pt::none;
401 case 'F':
402 return in(t, float_set) ? pt::fixed_upper : pt::none;
403 case 'g':
404 return in(t, float_set) ? pt::general_lower : pt::none;
405 case 'G':
406 return in(t, float_set) ? pt::general_upper : pt::none;
407 case 'c':
408 return in(t, integral_set) ? pt::chr : pt::none;
409 case 's':
410 return in(t, string_set | cstring_set) ? pt::string : pt::none;
411 case 'p':
412 return in(t, pointer_set | cstring_set) ? pt::pointer : pt::none;
413 default:
414 return pt::none;
415 }
416}
417
418template <typename Char, typename Context>
419void vprintf(buffer<Char>& buf, basic_string_view<Char> format,
421 using iterator = buffer_appender<Char>;
422 auto out = iterator(buf);
423 auto context = basic_printf_context<Char>(out, args);
424 auto parse_ctx = basic_format_parse_context<Char>(format);
425
426 // Returns the argument with specified index or, if arg_index is -1, the next
427 // argument.
428 auto get_arg = [&](int arg_index) {
429 if (arg_index < 0)
430 arg_index = parse_ctx.next_arg_id();
431 else
432 parse_ctx.check_arg_id(--arg_index);
433 return detail::get_arg(context, arg_index);
434 };
435
436 const Char* start = parse_ctx.begin();
437 const Char* end = parse_ctx.end();
438 auto it = start;
439 while (it != end) {
440 if (!find<false, Char>(it, end, '%', it)) {
441 it = end; // find leaves it == nullptr if it doesn't find '%'.
442 break;
443 }
444 Char c = *it++;
445 if (it != end && *it == c) {
446 write(out, basic_string_view<Char>(start, to_unsigned(it - start)));
447 start = ++it;
448 continue;
449 }
450 write(out, basic_string_view<Char>(start, to_unsigned(it - 1 - start)));
451
452 auto specs = format_specs<Char>();
453 specs.align = align::right;
454
455 // Parse argument index, flags and width.
456 int arg_index = parse_header(it, end, specs, get_arg);
457 if (arg_index == 0) throw_format_error("argument not found");
458
459 // Parse precision.
460 if (it != end && *it == '.') {
461 ++it;
462 c = it != end ? *it : 0;
463 if ('0' <= c && c <= '9') {
464 specs.precision = parse_nonnegative_int(it, end, 0);
465 } else if (c == '*') {
466 ++it;
467 specs.precision = static_cast<int>(
468 visit_format_arg(printf_precision_handler(), get_arg(-1)));
469 } else {
470 specs.precision = 0;
471 }
472 }
473
474 auto arg = get_arg(arg_index);
475 // For d, i, o, u, x, and X conversion specifiers, if a precision is
476 // specified, the '0' flag is ignored
477 if (specs.precision >= 0 && arg.is_integral()) {
478 // Ignore '0' for non-numeric types or if '-' present.
479 specs.fill[0] = ' ';
480 }
481 if (specs.precision >= 0 && arg.type() == type::cstring_type) {
482 auto str = visit_format_arg(get_cstring<Char>(), arg);
483 auto str_end = str + specs.precision;
484 auto nul = std::find(str, str_end, Char());
485 auto sv = basic_string_view<Char>(
486 str, to_unsigned(nul != str_end ? nul - str : specs.precision));
487 arg = make_arg<basic_printf_context<Char>>(sv);
488 }
489 if (specs.alt && visit_format_arg(is_zero_int(), arg)) specs.alt = false;
490 if (specs.fill[0] == '0') {
491 if (arg.is_arithmetic() && specs.align != align::left)
492 specs.align = align::numeric;
493 else
494 specs.fill[0] = ' '; // Ignore '0' flag for non-numeric types or if '-'
495 // flag is also present.
496 }
497
498 // Parse length and convert the argument to the required type.
499 c = it != end ? *it++ : 0;
500 Char t = it != end ? *it : 0;
501 switch (c) {
502 case 'h':
503 if (t == 'h') {
504 ++it;
505 t = it != end ? *it : 0;
506 convert_arg<signed char>(arg, t);
507 } else {
508 convert_arg<short>(arg, t);
509 }
510 break;
511 case 'l':
512 if (t == 'l') {
513 ++it;
514 t = it != end ? *it : 0;
515 convert_arg<long long>(arg, t);
516 } else {
517 convert_arg<long>(arg, t);
518 }
519 break;
520 case 'j':
521 convert_arg<intmax_t>(arg, t);
522 break;
523 case 'z':
524 convert_arg<size_t>(arg, t);
525 break;
526 case 't':
527 convert_arg<std::ptrdiff_t>(arg, t);
528 break;
529 case 'L':
530 // printf produces garbage when 'L' is omitted for long double, no
531 // need to do the same.
532 break;
533 default:
534 --it;
535 convert_arg<void>(arg, c);
536 }
537
538 // Parse type.
539 if (it == end) throw_format_error("invalid format string");
540 char type = static_cast<char>(*it++);
541 if (arg.is_integral()) {
542 // Normalize type.
543 switch (type) {
544 case 'i':
545 case 'u':
546 type = 'd';
547 break;
548 case 'c':
549 visit_format_arg(char_converter<basic_printf_context<Char>>(arg), arg);
550 break;
551 }
552 }
553 specs.type = parse_printf_presentation_type(type, arg.type());
554 if (specs.type == presentation_type::none)
555 throw_format_error("invalid format specifier");
556
557 start = it;
558
559 // Format argument.
560 visit_format_arg(printf_arg_formatter<Char>(out, specs, context), arg);
561 }
562 write(out, basic_string_view<Char>(start, to_unsigned(it - start)));
563}
564} // namespace detail
565
568
571
578template <typename... T>
579inline auto make_printf_args(const T&... args)
581 return {args...};
582}
583
584// DEPRECATED!
585template <typename... T>
586inline auto make_wprintf_args(const T&... args)
588 return {args...};
589}
590
591template <typename Char>
592inline auto vsprintf(
594 basic_format_args<basic_printf_context<type_identity_t<Char>>> args)
595 -> std::basic_string<Char> {
596 auto buf = basic_memory_buffer<Char>();
597 detail::vprintf(buf, fmt, args);
598 return to_string(buf);
599}
600
610template <typename S, typename... T,
611 typename Char = enable_if_t<detail::is_string<S>::value, char_t<S>>>
612inline auto sprintf(const S& fmt, const T&... args) -> std::basic_string<Char> {
613 return vsprintf(detail::to_string_view(fmt),
614 fmt::make_format_args<basic_printf_context<Char>>(args...));
615}
616
617template <typename Char>
618inline auto vfprintf(
619 std::FILE* f, basic_string_view<Char> fmt,
620 basic_format_args<basic_printf_context<type_identity_t<Char>>> args)
621 -> int {
622 auto buf = basic_memory_buffer<Char>();
623 detail::vprintf(buf, fmt, args);
624 size_t size = buf.size();
625 return std::fwrite(buf.data(), sizeof(Char), size, f) < size
626 ? -1
627 : static_cast<int>(size);
628}
629
639template <typename S, typename... T, typename Char = char_t<S>>
640inline auto fprintf(std::FILE* f, const S& fmt, const T&... args) -> int {
641 return vfprintf(f, detail::to_string_view(fmt),
642 fmt::make_format_args<basic_printf_context<Char>>(args...));
643}
644
645template <typename Char>
646FMT_DEPRECATED inline auto vprintf(
648 basic_format_args<basic_printf_context<type_identity_t<Char>>> args)
649 -> int {
650 return vfprintf(stdout, fmt, args);
651}
652
662template <typename... T>
663inline auto printf(string_view fmt, const T&... args) -> int {
664 return vfprintf(stdout, fmt, make_printf_args(args...));
665}
666template <typename... T>
667FMT_DEPRECATED inline auto printf(basic_string_view<wchar_t> fmt,
668 const T&... args) -> int {
669 return vfprintf(stdout, fmt, make_wprintf_args(args...));
670}
671
672FMT_END_EXPORT
673FMT_END_NAMESPACE
674
675#endif // FMT_PRINTF_H_
Definition core.h:1653
Definition core.h:1627
Definition core.h:1891
FMT_CONSTEXPR auto get(int id) const -> format_arg
Definition core.h:1965
Definition core.h:674
Definition format.h:883
Definition printf.h:23
basic_printf_context(detail::buffer_appender< Char > out, basic_format_args< basic_printf_context > args)
Definition printf.h:43
Definition core.h:415
Definition printf.h:115
Definition printf.h:172
Definition core.h:1553
Definition printf.h:234
void operator()(typename basic_format_arg< context_type >::handle handle)
Definition printf.h:309
void operator()(const void *value)
Definition printf.h:301
void operator()(const char *value)
Definition printf.h:283
void operator()(const wchar_t *value)
Definition printf.h:291
Definition printf.h:198
Definition core.h:1257
Definition core.h:1813
Definition format.h:3786
Definition core.h:650
Definition printf.h:191
Definition printf.h:65
Definition core.h:565
Definition printf.h:97
Definition printf.h:109
Definition printf.h:81
Definition core.h:2076
Definition core.h:293
Definition printf.h:19