quill
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 FMTQUILL_PRINTF_H_
9 #define FMTQUILL_PRINTF_H_
10 
11 #ifndef FMTQUILL_MODULE
12 # include <algorithm> // std::max
13 # include <limits> // std::numeric_limits
14 #endif
15 
16 #include "format.h"
17 
18 FMTQUILL_BEGIN_NAMESPACE
19 FMTQUILL_BEGIN_EXPORT
20 
21 template <typename T> struct printf_formatter {
22  printf_formatter() = delete;
23 };
24 
25 template <typename Char> class basic_printf_context {
26  private:
29 
30  static_assert(std::is_same<Char, char>::value ||
31  std::is_same<Char, wchar_t>::value,
32  "Unsupported code unit type.");
33 
34  public:
35  using char_type = Char;
37  template <typename T> using formatter_type = printf_formatter<T>;
38  enum { builtin_types = 1 };
39 
44  : out_(out), args_(args) {}
45 
46  auto out() -> basic_appender<Char> { return out_; }
47  void advance_to(basic_appender<Char>) {}
48 
49  auto locale() -> detail::locale_ref { return {}; }
50 
51  auto arg(int id) const -> basic_format_arg<basic_printf_context> {
52  return args_.get(id);
53  }
54 };
55 
56 namespace detail {
57 
58 // Return the result via the out param to workaround gcc bug 77539.
59 template <bool IS_CONSTEXPR, typename T, typename Ptr = const T*>
60 FMTQUILL_CONSTEXPR auto find(Ptr first, Ptr last, T value, Ptr& out) -> bool {
61  for (out = first; out != last; ++out) {
62  if (*out == value) return true;
63  }
64  return false;
65 }
66 
67 template <>
68 inline auto find<false, char>(const char* first, const char* last, char value,
69  const char*& out) -> bool {
70  out =
71  static_cast<const char*>(memchr(first, value, to_unsigned(last - first)));
72  return out != nullptr;
73 }
74 
75 // Checks if a value fits in int - used to avoid warnings about comparing
76 // signed and unsigned integers.
77 template <bool IsSigned> struct int_checker {
78  template <typename T> static auto fits_in_int(T value) -> bool {
79  unsigned max = to_unsigned(max_value<int>());
80  return value <= max;
81  }
82  inline static auto fits_in_int(bool) -> bool { return true; }
83 };
84 
85 template <> struct int_checker<true> {
86  template <typename T> static auto fits_in_int(T value) -> bool {
87  return value >= (std::numeric_limits<int>::min)() &&
89  }
90  inline static auto fits_in_int(int) -> bool { return true; }
91 };
92 
94  template <typename T, FMTQUILL_ENABLE_IF(std::is_integral<T>::value)>
95  auto operator()(T value) -> int {
96  if (!int_checker<std::numeric_limits<T>::is_signed>::fits_in_int(value))
97  report_error("number is too big");
98  return (std::max)(static_cast<int>(value), 0);
99  }
100 
101  template <typename T, FMTQUILL_ENABLE_IF(!std::is_integral<T>::value)>
102  auto operator()(T) -> int {
103  report_error("precision is not integer");
104  return 0;
105  }
106 };
107 
108 // An argument visitor that returns true iff arg is a zero integer.
109 struct is_zero_int {
110  template <typename T, FMTQUILL_ENABLE_IF(std::is_integral<T>::value)>
111  auto operator()(T value) -> bool {
112  return value == 0;
113  }
114 
115  template <typename T, FMTQUILL_ENABLE_IF(!std::is_integral<T>::value)>
116  auto operator()(T) -> bool {
117  return false;
118  }
119 };
120 
121 template <typename T> struct make_unsigned_or_bool : std::make_unsigned<T> {};
122 
123 template <> struct make_unsigned_or_bool<bool> {
124  using type = bool;
125 };
126 
127 template <typename T, typename Context> class arg_converter {
128  private:
129  using char_type = typename Context::char_type;
130 
132  char_type type_;
133 
134  public:
135  arg_converter(basic_format_arg<Context>& arg, char_type type)
136  : arg_(arg), type_(type) {}
137 
138  void operator()(bool value) {
139  if (type_ != 's') operator()<bool>(value);
140  }
141 
142  template <typename U, FMTQUILL_ENABLE_IF(std::is_integral<U>::value)>
143  void operator()(U value) {
144  bool is_signed = type_ == 'd' || type_ == 'i';
145  using target_type = conditional_t<std::is_same<T, void>::value, U, T>;
146  if (const_check(sizeof(target_type) <= sizeof(int))) {
147  // Extra casts are used to silence warnings.
148  using unsigned_type = typename make_unsigned_or_bool<target_type>::type;
149  if (is_signed)
150  arg_ = static_cast<int>(static_cast<target_type>(value));
151  else
152  arg_ = static_cast<unsigned>(static_cast<unsigned_type>(value));
153  } else {
154  // glibc's printf doesn't sign extend arguments of smaller types:
155  // std::printf("%lld", -42); // prints "4294967254"
156  // but we don't have to do the same because it's a UB.
157  if (is_signed)
158  arg_ = static_cast<long long>(value);
159  else
160  arg_ = static_cast<typename make_unsigned_or_bool<U>::type>(value);
161  }
162  }
163 
164  template <typename U, FMTQUILL_ENABLE_IF(!std::is_integral<U>::value)>
165  void operator()(U) {} // No conversion needed for non-integral types.
166 };
167 
168 // Converts an integer argument to T for printf, if T is an integral type.
169 // If T is void, the argument is converted to corresponding signed or unsigned
170 // type depending on the type specifier: 'd' and 'i' - signed, other -
171 // unsigned).
172 template <typename T, typename Context, typename Char>
173 void convert_arg(basic_format_arg<Context>& arg, Char type) {
174  arg.visit(arg_converter<T, Context>(arg, type));
175 }
176 
177 // Converts an integer argument to char for printf.
178 template <typename Context> class char_converter {
179  private:
181 
182  public:
183  explicit char_converter(basic_format_arg<Context>& arg) : arg_(arg) {}
184 
185  template <typename T, FMTQUILL_ENABLE_IF(std::is_integral<T>::value)>
186  void operator()(T value) {
187  arg_ = static_cast<typename Context::char_type>(value);
188  }
189 
190  template <typename T, FMTQUILL_ENABLE_IF(!std::is_integral<T>::value)>
191  void operator()(T) {} // No conversion needed for non-integral types.
192 };
193 
194 // An argument visitor that return a pointer to a C string if argument is a
195 // string or null otherwise.
196 template <typename Char> struct get_cstring {
197  template <typename T> auto operator()(T) -> const Char* { return nullptr; }
198  auto operator()(const Char* s) -> const Char* { return s; }
199 };
200 
201 // Checks if an argument is a valid printf width specifier and sets
202 // left alignment if it is negative.
204  private:
205  format_specs& specs_;
206 
207  public:
208  inline explicit printf_width_handler(format_specs& specs) : specs_(specs) {}
209 
210  template <typename T, FMTQUILL_ENABLE_IF(std::is_integral<T>::value)>
211  auto operator()(T value) -> unsigned {
212  auto width = static_cast<uint32_or_64_or_128_t<T>>(value);
213  if (detail::is_negative(value)) {
214  specs_.set_align(align::left);
215  width = 0 - width;
216  }
217  unsigned int_max = to_unsigned(max_value<int>());
218  if (width > int_max) report_error("number is too big");
219  return static_cast<unsigned>(width);
220  }
221 
222  template <typename T, FMTQUILL_ENABLE_IF(!std::is_integral<T>::value)>
223  auto operator()(T) -> unsigned {
224  report_error("width is not integer");
225  return 0;
226  }
227 };
228 
229 // Workaround for a bug with the XL compiler when initializing
230 // printf_arg_formatter's base class.
231 template <typename Char>
232 auto make_arg_formatter(basic_appender<Char> iter, format_specs& s)
234  return {iter, s, locale_ref()};
235 }
236 
237 // The `printf` argument formatter.
238 template <typename Char>
239 class printf_arg_formatter : public arg_formatter<Char> {
240  private:
241  using base = arg_formatter<Char>;
243 
244  context_type& context_;
245 
246  void write_null_pointer(bool is_string = false) {
247  auto s = this->specs;
248  s.set_type(presentation_type::none);
249  write_bytes<Char>(this->out, is_string ? "(null)" : "(nil)", s);
250  }
251 
252  template <typename T> void write(T value) {
253  detail::write<Char>(this->out, value, this->specs, this->locale);
254  }
255 
256  public:
258  context_type& ctx)
259  : base(make_arg_formatter(iter, s)), context_(ctx) {}
260 
261  void operator()(monostate value) { write(value); }
262 
263  template <typename T, FMTQUILL_ENABLE_IF(detail::is_integral<T>::value)>
264  void operator()(T value) {
265  // MSVC2013 fails to compile separate overloads for bool and Char so use
266  // std::is_same instead.
267  if (!std::is_same<T, Char>::value) {
268  write(value);
269  return;
270  }
271  format_specs s = this->specs;
272  if (s.type() != presentation_type::none &&
273  s.type() != presentation_type::chr) {
274  return (*this)(static_cast<int>(value));
275  }
276  s.set_sign(sign::none);
277  s.clear_alt();
278  s.set_fill(' '); // Ignore '0' flag for char types.
279  // align::numeric needs to be overwritten here since the '0' flag is
280  // ignored for non-numeric types
281  if (s.align() == align::none || s.align() == align::numeric)
282  s.set_align(align::right);
283  detail::write<Char>(this->out, static_cast<Char>(value), s);
284  }
285 
286  template <typename T, FMTQUILL_ENABLE_IF(std::is_floating_point<T>::value)>
287  void operator()(T value) {
288  write(value);
289  }
290 
291  void operator()(const char* value) {
292  if (value)
293  write(value);
294  else
295  write_null_pointer(this->specs.type() != presentation_type::pointer);
296  }
297 
298  void operator()(const wchar_t* value) {
299  if (value)
300  write(value);
301  else
302  write_null_pointer(this->specs.type() != presentation_type::pointer);
303  }
304 
305  void operator()(basic_string_view<Char> value) { write(value); }
306 
307  void operator()(const void* value) {
308  if (value)
309  write(value);
310  else
311  write_null_pointer();
312  }
313 
314  void operator()(typename basic_format_arg<context_type>::handle handle) {
315  auto parse_ctx = parse_context<Char>({});
316  handle.format(parse_ctx, context_);
317  }
318 };
319 
320 template <typename Char>
321 void parse_flags(format_specs& specs, const Char*& it, const Char* end) {
322  for (; it != end; ++it) {
323  switch (*it) {
324  case '-': specs.set_align(align::left); break;
325  case '+': specs.set_sign(sign::plus); break;
326  case '0': specs.set_fill('0'); break;
327  case ' ':
328  if (specs.sign() != sign::plus) specs.set_sign(sign::space);
329  break;
330  case '#': specs.set_alt(); break;
331  default: return;
332  }
333  }
334 }
335 
336 template <typename Char, typename GetArg>
337 auto parse_header(const Char*& it, const Char* end, format_specs& specs,
338  GetArg get_arg) -> int {
339  int arg_index = -1;
340  Char c = *it;
341  if (c >= '0' && c <= '9') {
342  // Parse an argument index (if followed by '$') or a width possibly
343  // preceded with '0' flag(s).
344  int value = parse_nonnegative_int(it, end, -1);
345  if (it != end && *it == '$') { // value is an argument index
346  ++it;
347  arg_index = value != -1 ? value : max_value<int>();
348  } else {
349  if (c == '0') specs.set_fill('0');
350  if (value != 0) {
351  // Nonzero value means that we parsed width and don't need to
352  // parse it or flags again, so return now.
353  if (value == -1) report_error("number is too big");
354  specs.width = value;
355  return arg_index;
356  }
357  }
358  }
359  parse_flags(specs, it, end);
360  // Parse width.
361  if (it != end) {
362  if (*it >= '0' && *it <= '9') {
363  specs.width = parse_nonnegative_int(it, end, -1);
364  if (specs.width == -1) report_error("number is too big");
365  } else if (*it == '*') {
366  ++it;
367  specs.width = static_cast<int>(
368  get_arg(-1).visit(detail::printf_width_handler(specs)));
369  }
370  }
371  return arg_index;
372 }
373 
374 inline auto parse_printf_presentation_type(char c, type t, bool& upper)
375  -> presentation_type {
376  using pt = presentation_type;
377  constexpr auto integral_set = sint_set | uint_set | bool_set | char_set;
378  switch (c) {
379  case 'd': return in(t, integral_set) ? pt::dec : pt::none;
380  case 'o': return in(t, integral_set) ? pt::oct : pt::none;
381  case 'X': upper = true; FMTQUILL_FALLTHROUGH;
382  case 'x': return in(t, integral_set) ? pt::hex : pt::none;
383  case 'E': upper = true; FMTQUILL_FALLTHROUGH;
384  case 'e': return in(t, float_set) ? pt::exp : pt::none;
385  case 'F': upper = true; FMTQUILL_FALLTHROUGH;
386  case 'f': return in(t, float_set) ? pt::fixed : pt::none;
387  case 'G': upper = true; FMTQUILL_FALLTHROUGH;
388  case 'g': return in(t, float_set) ? pt::general : pt::none;
389  case 'A': upper = true; FMTQUILL_FALLTHROUGH;
390  case 'a': return in(t, float_set) ? pt::hexfloat : pt::none;
391  case 'c': return in(t, integral_set) ? pt::chr : pt::none;
392  case 's': return in(t, string_set | cstring_set) ? pt::string : pt::none;
393  case 'p': return in(t, pointer_set | cstring_set) ? pt::pointer : pt::none;
394  default: return pt::none;
395  }
396 }
397 
398 template <typename Char, typename Context>
399 void vprintf(buffer<Char>& buf, basic_string_view<Char> format,
401  using iterator = basic_appender<Char>;
402  auto out = iterator(buf);
403  auto context = basic_printf_context<Char>(out, args);
404  auto parse_ctx = parse_context<Char>(format);
405 
406  // Returns the argument with specified index or, if arg_index is -1, the next
407  // argument.
408  auto get_arg = [&](int arg_index) {
409  if (arg_index < 0)
410  arg_index = parse_ctx.next_arg_id();
411  else
412  parse_ctx.check_arg_id(--arg_index);
413  return detail::get_arg(context, arg_index);
414  };
415 
416  const Char* start = parse_ctx.begin();
417  const Char* end = parse_ctx.end();
418  auto it = start;
419  while (it != end) {
420  if (!find<false, Char>(it, end, '%', it)) {
421  it = end; // find leaves it == nullptr if it doesn't find '%'.
422  break;
423  }
424  Char c = *it++;
425  if (it != end && *it == c) {
426  write(out, basic_string_view<Char>(start, to_unsigned(it - start)));
427  start = ++it;
428  continue;
429  }
430  write(out, basic_string_view<Char>(start, to_unsigned(it - 1 - start)));
431 
432  auto specs = format_specs();
433  specs.set_align(align::right);
434 
435  // Parse argument index, flags and width.
436  int arg_index = parse_header(it, end, specs, get_arg);
437  if (arg_index == 0) report_error("argument not found");
438 
439  // Parse precision.
440  if (it != end && *it == '.') {
441  ++it;
442  c = it != end ? *it : 0;
443  if ('0' <= c && c <= '9') {
444  specs.precision = parse_nonnegative_int(it, end, 0);
445  } else if (c == '*') {
446  ++it;
447  specs.precision =
448  static_cast<int>(get_arg(-1).visit(printf_precision_handler()));
449  } else {
450  specs.precision = 0;
451  }
452  }
453 
454  auto arg = get_arg(arg_index);
455  // For d, i, o, u, x, and X conversion specifiers, if a precision is
456  // specified, the '0' flag is ignored
457  if (specs.precision >= 0 && is_integral_type(arg.type())) {
458  // Ignore '0' for non-numeric types or if '-' present.
459  specs.set_fill(' ');
460  }
461  if (specs.precision >= 0 && arg.type() == type::cstring_type) {
462  auto str = arg.visit(get_cstring<Char>());
463  auto str_end = str + specs.precision;
464  auto nul = std::find(str, str_end, Char());
465  auto sv = basic_string_view<Char>(
466  str, to_unsigned(nul != str_end ? nul - str : specs.precision));
467  arg = sv;
468  }
469  if (specs.alt() && arg.visit(is_zero_int())) specs.clear_alt();
470  if (specs.fill_unit<Char>() == '0') {
471  if (is_arithmetic_type(arg.type()) && specs.align() != align::left) {
472  specs.set_align(align::numeric);
473  } else {
474  // Ignore '0' flag for non-numeric types or if '-' flag is also present.
475  specs.set_fill(' ');
476  }
477  }
478 
479  // Parse length and convert the argument to the required type.
480  c = it != end ? *it++ : 0;
481  Char t = it != end ? *it : 0;
482  switch (c) {
483  case 'h':
484  if (t == 'h') {
485  ++it;
486  t = it != end ? *it : 0;
487  convert_arg<signed char>(arg, t);
488  } else {
489  convert_arg<short>(arg, t);
490  }
491  break;
492  case 'l':
493  if (t == 'l') {
494  ++it;
495  t = it != end ? *it : 0;
496  convert_arg<long long>(arg, t);
497  } else {
498  convert_arg<long>(arg, t);
499  }
500  break;
501  case 'j': convert_arg<intmax_t>(arg, t); break;
502  case 'z': convert_arg<size_t>(arg, t); break;
503  case 't': convert_arg<std::ptrdiff_t>(arg, t); break;
504  case 'L':
505  // printf produces garbage when 'L' is omitted for long double, no
506  // need to do the same.
507  break;
508  default: --it; convert_arg<void>(arg, c);
509  }
510 
511  // Parse type.
512  if (it == end) report_error("invalid format string");
513  char type = static_cast<char>(*it++);
514  if (is_integral_type(arg.type())) {
515  // Normalize type.
516  switch (type) {
517  case 'i':
518  case 'u': type = 'd'; break;
519  case 'c':
521  break;
522  }
523  }
524  bool upper = false;
525  specs.set_type(parse_printf_presentation_type(type, arg.type(), upper));
526  if (specs.type() == presentation_type::none)
527  report_error("invalid format specifier");
528  if (upper) specs.set_upper();
529 
530  start = it;
531 
532  // Format argument.
533  arg.visit(printf_arg_formatter<Char>(out, specs, context));
534  }
535  write(out, basic_string_view<Char>(start, to_unsigned(it - start)));
536 }
537 } // namespace detail
538 
541 
544 
547 template <typename Char = char, typename... T>
548 inline auto make_printf_args(T&... args)
549  -> decltype(fmtquill::make_format_args<basic_printf_context<Char>>(args...)) {
550  return fmtquill::make_format_args<basic_printf_context<Char>>(args...);
551 }
552 
553 template <typename Char> struct vprintf_args {
555 };
556 
557 template <typename Char>
558 inline auto vsprintf(basic_string_view<Char> fmt,
559  typename vprintf_args<Char>::type args)
560  -> std::basic_string<Char> {
561  auto buf = basic_memory_buffer<Char>();
562  detail::vprintf(buf, fmt, args);
563  return {buf.data(), buf.size()};
564 }
565 
574 template <typename S, typename... T, typename Char = detail::char_t<S>>
575 inline auto sprintf(const S& fmt, const T&... args) -> std::basic_string<Char> {
576  return vsprintf(detail::to_string_view(fmt),
577  fmtquill::make_format_args<basic_printf_context<Char>>(args...));
578 }
579 
580 template <typename Char>
581 inline auto vfprintf(std::FILE* f, basic_string_view<Char> fmt,
582  typename vprintf_args<Char>::type args) -> int {
583  auto buf = basic_memory_buffer<Char>();
584  detail::vprintf(buf, fmt, args);
585  size_t size = buf.size();
586  return std::fwrite(buf.data(), sizeof(Char), size, f) < size
587  ? -1
588  : static_cast<int>(size);
589 }
590 
599 template <typename S, typename... T, typename Char = detail::char_t<S>>
600 inline auto fprintf(std::FILE* f, const S& fmt, const T&... args) -> int {
601  return vfprintf(f, detail::to_string_view(fmt),
602  make_printf_args<Char>(args...));
603 }
604 
605 template <typename Char>
606 FMTQUILL_DEPRECATED inline auto vprintf(basic_string_view<Char> fmt,
607  typename vprintf_args<Char>::type args)
608  -> int {
609  return vfprintf(stdout, fmt, args);
610 }
611 
620 template <typename... T>
621 inline auto printf(string_view fmt, const T&... args) -> int {
622  return vfprintf(stdout, fmt, make_printf_args(args...));
623 }
624 template <typename... T>
625 FMTQUILL_DEPRECATED inline auto printf(basic_string_view<wchar_t> fmt,
626  const T&... args) -> int {
627  return vfprintf(stdout, fmt, make_printf_args<wchar_t>(args...));
628 }
629 
630 FMTQUILL_END_EXPORT
631 FMTQUILL_END_NAMESPACE
632 
633 #endif // FMTQUILL_PRINTF_H_
Definition: printf.h:127
A dynamically growing memory buffer for trivially copyable/constructible types with the first SIZE el...
Definition: format.h:790
Definition: base.h:2672
Definition: base.h:860
Definition: format.h:3504
Definition: printf.h:178
Definition: printf.h:21
Parsing context consisting of a format string range being parsed and an argument counter for automati...
Definition: base.h:644
Definition: printf.h:203
Definition: printf.h:109
Definition: printf.h:553
Definition: printf.h:25
Setups a signal handler to handle fatal signals.
Definition: BackendManager.h:24
An implementation of std::basic_string_view for pre-C++17.
Definition: base.h:523
Definition: printf.h:121
typename V::value_type char_t
String&#39;s character (code unit) type. detail:: is intentional to prevent ADL.
Definition: base.h:961
Definition: base.h:343
Definition: base.h:2147
Definition: base.h:2503
Definition: printf.h:196
Definition: base.h:2318
Definition: printf.h:93
FMTQUILL_CONSTEXPR FMTQUILL_INLINE auto visit(Visitor &&vis) const -> decltype(vis(0))
Visits an argument dispatching to the appropriate visit method based on the argument type...
Definition: base.h:2533
FMTQUILL_CONSTEXPR auto get(int id) const -> format_arg
Returns the argument with the specified id.
Definition: base.h:2635
basic_printf_context(basic_appender< Char > out, basic_format_args< basic_printf_context > args)
Constructs a printf_context object.
Definition: printf.h:42
Definition: printf.h:239
Definition: printf.h:77