blob: 3c3e32feb10ece0f14b90116f5a84814cf5c56d3 [file] [log] [blame]
Glen Stark72d51e02016-06-08 01:23:32 +02001/*
2 Formatting library for C++
3
4 Copyright (c) 2012 - 2016, Victor Zverovich
5 All rights reserved.
6
7 For the license information refer to format.h.
8 */
9
10#ifndef FMT_PRINTF_H_
11#define FMT_PRINTF_H_
12
13#include <algorithm> // std::fill_n
14#include <limits> // std::numeric_limits
15
16#include "fmt/format.h"
17
18namespace fmt {
19namespace internal {
20
21// Checks if a value fits in int - used to avoid warnings about comparing
22// signed and unsigned integers.
23template <bool IsSigned>
24struct IntChecker {
25 template <typename T>
26 static bool fits_in_int(T value) {
27 unsigned max = std::numeric_limits<int>::max();
28 return value <= max;
29 }
30 static bool fits_in_int(bool) { return true; }
31};
32
33template <>
34struct IntChecker<true> {
35 template <typename T>
36 static bool fits_in_int(T value) {
37 return value >= std::numeric_limits<int>::min() &&
38 value <= std::numeric_limits<int>::max();
39 }
40 static bool fits_in_int(int) { return true; }
41};
42
43class PrecisionHandler : public ArgVisitor<PrecisionHandler, int> {
44 public:
45 void report_unhandled_arg() {
46 FMT_THROW(FormatError("precision is not integer"));
47 }
48
49 template <typename T>
50 int visit_any_int(T value) {
51 if (!IntChecker<std::numeric_limits<T>::is_signed>::fits_in_int(value))
52 FMT_THROW(FormatError("number is too big"));
53 return static_cast<int>(value);
54 }
55};
56
57// IsZeroInt::visit(arg) returns true iff arg is a zero integer.
58class IsZeroInt : public ArgVisitor<IsZeroInt, bool> {
59 public:
60 template <typename T>
61 bool visit_any_int(T value) { return value == 0; }
62};
63
64template <typename T, typename U>
65struct is_same {
66 enum { value = 0 };
67};
68
69template <typename T>
70struct is_same<T, T> {
71 enum { value = 1 };
72};
73
74// An argument visitor that converts an integer argument to T for printf,
75// if T is an integral type. If T is void, the argument is converted to
76// corresponding signed or unsigned type depending on the type specifier:
77// 'd' and 'i' - signed, other - unsigned)
78template <typename T = void>
79class ArgConverter : public ArgVisitor<ArgConverter<T>, void> {
80 private:
81 internal::Arg &arg_;
82 wchar_t type_;
83
84 FMT_DISALLOW_COPY_AND_ASSIGN(ArgConverter);
85
86 public:
87 ArgConverter(internal::Arg &arg, wchar_t type)
88 : arg_(arg), type_(type) {}
89
90 void visit_bool(bool value) {
91 if (type_ != 's')
92 visit_any_int(value);
93 }
94
95 template <typename U>
96 void visit_any_int(U value) {
97 bool is_signed = type_ == 'd' || type_ == 'i';
98 using internal::Arg;
99 typedef typename internal::Conditional<
100 is_same<T, void>::value, U, T>::type TargetType;
101 if (sizeof(TargetType) <= sizeof(int)) {
102 // Extra casts are used to silence warnings.
103 if (is_signed) {
104 arg_.type = Arg::INT;
105 arg_.int_value = static_cast<int>(static_cast<TargetType>(value));
106 } else {
107 arg_.type = Arg::UINT;
108 typedef typename internal::MakeUnsigned<TargetType>::Type Unsigned;
109 arg_.uint_value = static_cast<unsigned>(static_cast<Unsigned>(value));
110 }
111 } else {
112 if (is_signed) {
113 arg_.type = Arg::LONG_LONG;
114 // glibc's printf doesn't sign extend arguments of smaller types:
115 // std::printf("%lld", -42); // prints "4294967254"
116 // but we don't have to do the same because it's a UB.
117 arg_.long_long_value = static_cast<LongLong>(value);
118 } else {
119 arg_.type = Arg::ULONG_LONG;
120 arg_.ulong_long_value =
121 static_cast<typename internal::MakeUnsigned<U>::Type>(value);
122 }
123 }
124 }
125};
126
127// Converts an integer argument to char for printf.
128class CharConverter : public ArgVisitor<CharConverter, void> {
129 private:
130 internal::Arg &arg_;
131
132 FMT_DISALLOW_COPY_AND_ASSIGN(CharConverter);
133
134 public:
135 explicit CharConverter(internal::Arg &arg) : arg_(arg) {}
136
137 template <typename T>
138 void visit_any_int(T value) {
139 arg_.type = internal::Arg::CHAR;
140 arg_.int_value = static_cast<char>(value);
141 }
142};
143
144// Checks if an argument is a valid printf width specifier and sets
145// left alignment if it is negative.
146class WidthHandler : public ArgVisitor<WidthHandler, unsigned> {
147 private:
148 FormatSpec &spec_;
149
150 FMT_DISALLOW_COPY_AND_ASSIGN(WidthHandler);
151
152 public:
153 explicit WidthHandler(FormatSpec &spec) : spec_(spec) {}
154
155 void report_unhandled_arg() {
156 FMT_THROW(FormatError("width is not integer"));
157 }
158
159 template <typename T>
160 unsigned visit_any_int(T value) {
161 typedef typename internal::IntTraits<T>::MainType UnsignedType;
162 UnsignedType width = static_cast<UnsignedType>(value);
163 if (internal::is_negative(value)) {
164 spec_.align_ = ALIGN_LEFT;
165 width = 0 - width;
166 }
Victor Zveroviche0d6f632016-06-15 06:29:47 -0700167 unsigned int_max = std::numeric_limits<int>::max();
168 if (width > int_max)
Glen Stark72d51e02016-06-08 01:23:32 +0200169 FMT_THROW(FormatError("number is too big"));
170 return static_cast<unsigned>(width);
171 }
172};
173
174template <typename Impl, typename Char>
175class BasicPrintfArgFormatter : public ArgFormatterBase<Impl, Char> {
176 private:
177 void write_null_pointer() {
178 this->spec().type_ = 0;
179 this->write("(nil)");
180 }
181
182 typedef ArgFormatterBase<Impl, Char> Base;
183
184 public:
185 BasicPrintfArgFormatter(BasicWriter<Char> &w, FormatSpec &s)
186 : ArgFormatterBase<Impl, Char>(w, s) {}
187
188 void visit_bool(bool value) {
189 FormatSpec &fmt_spec = this->spec();
190 if (fmt_spec.type_ != 's')
191 return this->visit_any_int(value);
192 fmt_spec.type_ = 0;
193 this->write(value);
194 }
195
196 void visit_char(int value) {
197 const FormatSpec &fmt_spec = this->spec();
198 BasicWriter<Char> &w = this->writer();
199 if (fmt_spec.type_ && fmt_spec.type_ != 'c')
200 w.write_int(value, fmt_spec);
201 typedef typename BasicWriter<Char>::CharPtr CharPtr;
202 CharPtr out = CharPtr();
203 if (fmt_spec.width_ > 1) {
204 Char fill = ' ';
205 out = w.grow_buffer(fmt_spec.width_);
206 if (fmt_spec.align_ != ALIGN_LEFT) {
207 std::fill_n(out, fmt_spec.width_ - 1, fill);
208 out += fmt_spec.width_ - 1;
209 } else {
210 std::fill_n(out + 1, fmt_spec.width_ - 1, fill);
211 }
212 } else {
213 out = w.grow_buffer(1);
214 }
215 *out = static_cast<Char>(value);
216 }
217
218 void visit_cstring(const char *value) {
219 if (value)
220 Base::visit_cstring(value);
221 else if (this->spec().type_ == 'p')
222 write_null_pointer();
223 else
224 this->write("(null)");
225 }
226
227 void visit_pointer(const void *value) {
228 if (value)
229 return Base::visit_pointer(value);
230 this->spec().type_ = 0;
231 write_null_pointer();
232 }
233
234 void visit_custom(Arg::CustomValue c) {
235 BasicFormatter<Char> formatter(ArgList(), this->writer());
236 const Char format_str[] = {'}', 0};
237 const Char *format = format_str;
238 c.format(&formatter, c.value, &format);
239 }
240};
241
242/** The default printf argument formatter. */
243template <typename Char>
244class PrintfArgFormatter
245 : public BasicPrintfArgFormatter<PrintfArgFormatter<Char>, Char> {
246 public:
247 /** Constructs an argument formatter object. */
248 PrintfArgFormatter(BasicWriter<Char> &w, FormatSpec &s)
249 : BasicPrintfArgFormatter<PrintfArgFormatter<Char>, Char>(w, s) {}
250};
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700251} // namespace internal
Glen Stark72d51e02016-06-08 01:23:32 +0200252
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700253/** This template formats data and writes the output to a writer. */
254template <typename Char,
255 typename ArgFormatter = internal::PrintfArgFormatter<Char> >
256class PrintfFormatter : private internal::FormatterBase {
Glen Stark72d51e02016-06-08 01:23:32 +0200257 private:
Victor Zverovichab054532016-07-20 08:21:13 -0700258 BasicWriter<Char> &writer_;
259
Glen Stark72d51e02016-06-08 01:23:32 +0200260 void parse_flags(FormatSpec &spec, const Char *&s);
261
262 // Returns the argument with specified index or, if arg_index is equal
263 // to the maximum unsigned value, the next argument.
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700264 internal::Arg get_arg(
265 const Char *s,
Glen Stark72d51e02016-06-08 01:23:32 +0200266 unsigned arg_index = (std::numeric_limits<unsigned>::max)());
267
268 // Parses argument index, flags and width and returns the argument index.
269 unsigned parse_header(const Char *&s, FormatSpec &spec);
270
271 public:
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700272 /**
273 \rst
Victor Zverovichab054532016-07-20 08:21:13 -0700274 Constructs a ``PrintfFormatter`` object. References to the arguments and
275 the writer are stored in the formatter object so make sure they have
276 appropriate lifetimes.
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700277 \endrst
278 */
Victor Zverovichab054532016-07-20 08:21:13 -0700279 explicit PrintfFormatter(const ArgList &args, BasicWriter<Char> &w)
280 : FormatterBase(args), writer_(w) {}
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700281
Victor Zverovichab054532016-07-20 08:21:13 -0700282 FMT_API void format(BasicCStringRef<Char> format_str);
Glen Stark72d51e02016-06-08 01:23:32 +0200283};
284
285template <typename Char, typename AF>
286void PrintfFormatter<Char, AF>::parse_flags(FormatSpec &spec, const Char *&s) {
287 for (;;) {
288 switch (*s++) {
289 case '-':
290 spec.align_ = ALIGN_LEFT;
291 break;
292 case '+':
293 spec.flags_ |= SIGN_FLAG | PLUS_FLAG;
294 break;
295 case '0':
296 spec.fill_ = '0';
297 break;
298 case ' ':
299 spec.flags_ |= SIGN_FLAG;
300 break;
301 case '#':
302 spec.flags_ |= HASH_FLAG;
303 break;
304 default:
305 --s;
306 return;
307 }
308 }
309}
310
311template <typename Char, typename AF>
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700312internal::Arg PrintfFormatter<Char, AF>::get_arg(const Char *s,
313 unsigned arg_index) {
Glen Stark72d51e02016-06-08 01:23:32 +0200314 (void)s;
315 const char *error = 0;
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700316 internal::Arg arg = arg_index == std::numeric_limits<unsigned>::max() ?
Glen Stark72d51e02016-06-08 01:23:32 +0200317 next_arg(error) : FormatterBase::get_arg(arg_index - 1, error);
318 if (error)
319 FMT_THROW(FormatError(!*s ? "invalid format string" : error));
320 return arg;
321}
322
323template <typename Char, typename AF>
324unsigned PrintfFormatter<Char, AF>::parse_header(
325 const Char *&s, FormatSpec &spec) {
326 unsigned arg_index = std::numeric_limits<unsigned>::max();
327 Char c = *s;
328 if (c >= '0' && c <= '9') {
329 // Parse an argument index (if followed by '$') or a width possibly
330 // preceded with '0' flag(s).
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700331 unsigned value = internal::parse_nonnegative_int(s);
Glen Stark72d51e02016-06-08 01:23:32 +0200332 if (*s == '$') { // value is an argument index
333 ++s;
334 arg_index = value;
335 } else {
336 if (c == '0')
337 spec.fill_ = '0';
338 if (value != 0) {
339 // Nonzero value means that we parsed width and don't need to
340 // parse it or flags again, so return now.
341 spec.width_ = value;
342 return arg_index;
343 }
344 }
345 }
346 parse_flags(spec, s);
347 // Parse width.
348 if (*s >= '0' && *s <= '9') {
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700349 spec.width_ = internal::parse_nonnegative_int(s);
Glen Stark72d51e02016-06-08 01:23:32 +0200350 } else if (*s == '*') {
351 ++s;
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700352 spec.width_ = internal::WidthHandler(spec).visit(get_arg(s));
Glen Stark72d51e02016-06-08 01:23:32 +0200353 }
354 return arg_index;
355}
356
357template <typename Char, typename AF>
Victor Zverovichab054532016-07-20 08:21:13 -0700358void PrintfFormatter<Char, AF>::format(BasicCStringRef<Char> format_str) {
Glen Stark72d51e02016-06-08 01:23:32 +0200359 const Char *start = format_str.c_str();
360 const Char *s = start;
361 while (*s) {
362 Char c = *s++;
363 if (c != '%') continue;
364 if (*s == c) {
Victor Zverovichab054532016-07-20 08:21:13 -0700365 write(writer_, start, s);
Glen Stark72d51e02016-06-08 01:23:32 +0200366 start = ++s;
367 continue;
368 }
Victor Zverovichab054532016-07-20 08:21:13 -0700369 write(writer_, start, s - 1);
Glen Stark72d51e02016-06-08 01:23:32 +0200370
371 FormatSpec spec;
372 spec.align_ = ALIGN_RIGHT;
373
374 // Parse argument index, flags and width.
375 unsigned arg_index = parse_header(s, spec);
376
377 // Parse precision.
378 if (*s == '.') {
379 ++s;
380 if ('0' <= *s && *s <= '9') {
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700381 spec.precision_ = static_cast<int>(internal::parse_nonnegative_int(s));
Glen Stark72d51e02016-06-08 01:23:32 +0200382 } else if (*s == '*') {
383 ++s;
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700384 spec.precision_ = internal::PrecisionHandler().visit(get_arg(s));
Glen Stark72d51e02016-06-08 01:23:32 +0200385 }
386 }
387
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700388 using internal::Arg;
Glen Stark72d51e02016-06-08 01:23:32 +0200389 Arg arg = get_arg(s, arg_index);
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700390 if (spec.flag(HASH_FLAG) && internal::IsZeroInt().visit(arg))
391 spec.flags_ &= ~internal::to_unsigned<int>(HASH_FLAG);
Glen Stark72d51e02016-06-08 01:23:32 +0200392 if (spec.fill_ == '0') {
393 if (arg.type <= Arg::LAST_NUMERIC_TYPE)
394 spec.align_ = ALIGN_NUMERIC;
395 else
396 spec.fill_ = ' '; // Ignore '0' flag for non-numeric types.
397 }
398
399 // Parse length and convert the argument to the required type.
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700400 using internal::ArgConverter;
Glen Stark72d51e02016-06-08 01:23:32 +0200401 switch (*s++) {
402 case 'h':
403 if (*s == 'h')
404 ArgConverter<signed char>(arg, *++s).visit(arg);
405 else
406 ArgConverter<short>(arg, *s).visit(arg);
407 break;
408 case 'l':
409 if (*s == 'l')
410 ArgConverter<fmt::LongLong>(arg, *++s).visit(arg);
411 else
412 ArgConverter<long>(arg, *s).visit(arg);
413 break;
414 case 'j':
415 ArgConverter<intmax_t>(arg, *s).visit(arg);
416 break;
417 case 'z':
418 ArgConverter<std::size_t>(arg, *s).visit(arg);
419 break;
420 case 't':
421 ArgConverter<std::ptrdiff_t>(arg, *s).visit(arg);
422 break;
423 case 'L':
424 // printf produces garbage when 'L' is omitted for long double, no
425 // need to do the same.
426 break;
427 default:
428 --s;
429 ArgConverter<void>(arg, *s).visit(arg);
430 }
431
432 // Parse type.
433 if (!*s)
434 FMT_THROW(FormatError("invalid format string"));
435 spec.type_ = static_cast<char>(*s++);
436 if (arg.type <= Arg::LAST_INTEGER_TYPE) {
437 // Normalize type.
438 switch (spec.type_) {
439 case 'i': case 'u':
440 spec.type_ = 'd';
441 break;
442 case 'c':
443 // TODO: handle wchar_t
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700444 internal::CharConverter(arg).visit(arg);
Glen Stark72d51e02016-06-08 01:23:32 +0200445 break;
446 }
447 }
448
449 start = s;
450
451 // Format argument.
Victor Zverovichab054532016-07-20 08:21:13 -0700452 AF(writer_, spec).visit(arg);
Glen Stark72d51e02016-06-08 01:23:32 +0200453 }
Victor Zverovichab054532016-07-20 08:21:13 -0700454 write(writer_, start, s);
Glen Stark72d51e02016-06-08 01:23:32 +0200455}
Glen Stark72d51e02016-06-08 01:23:32 +0200456
457template <typename Char>
458void printf(BasicWriter<Char> &w, BasicCStringRef<Char> format, ArgList args) {
Victor Zverovichab054532016-07-20 08:21:13 -0700459 PrintfFormatter<Char>(args, w).format(format);
Glen Stark72d51e02016-06-08 01:23:32 +0200460}
461
462/**
463 \rst
464 Formats arguments and returns the result as a string.
465
466 **Example**::
467
468 std::string message = fmt::sprintf("The answer is %d", 42);
469 \endrst
470*/
471inline std::string sprintf(CStringRef format, ArgList args) {
472 MemoryWriter w;
473 printf(w, format, args);
474 return w.str();
475}
476FMT_VARIADIC(std::string, sprintf, CStringRef)
477
478inline std::wstring sprintf(WCStringRef format, ArgList args) {
479 WMemoryWriter w;
480 printf(w, format, args);
481 return w.str();
482}
483FMT_VARIADIC_W(std::wstring, sprintf, WCStringRef)
484
485/**
486 \rst
487 Prints formatted data to the file *f*.
488
489 **Example**::
490
491 fmt::fprintf(stderr, "Don't %s!", "panic");
492 \endrst
493 */
494FMT_API int fprintf(std::FILE *f, CStringRef format, ArgList args);
495FMT_VARIADIC(int, fprintf, std::FILE *, CStringRef)
496
497/**
498 \rst
499 Prints formatted data to ``stdout``.
500
501 **Example**::
502
503 fmt::printf("Elapsed time: %.2f seconds", 1.23);
504 \endrst
505 */
506inline int printf(CStringRef format, ArgList args) {
507 return fprintf(stdout, format, args);
508}
509FMT_VARIADIC(int, printf, CStringRef)
510} // namespace fmt
511
512#endif // FMT_PRINTF_H_