blob: e50f1e4dc0028293cd2b5f2be770a6f14a1bf68d [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:
258 void parse_flags(FormatSpec &spec, const Char *&s);
259
260 // Returns the argument with specified index or, if arg_index is equal
261 // to the maximum unsigned value, the next argument.
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700262 internal::Arg get_arg(
263 const Char *s,
Glen Stark72d51e02016-06-08 01:23:32 +0200264 unsigned arg_index = (std::numeric_limits<unsigned>::max)());
265
266 // Parses argument index, flags and width and returns the argument index.
267 unsigned parse_header(const Char *&s, FormatSpec &spec);
268
269 public:
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700270 /**
271 \rst
272 Constructs a ``PrintfFormatter`` object. References to the arguments
273 are stored in the formatter object so make sure they have appropriate
274 lifetimes.
275 \endrst
276 */
Glen Stark72d51e02016-06-08 01:23:32 +0200277 explicit PrintfFormatter(const ArgList &args) : FormatterBase(args) {}
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700278
Glen Stark72d51e02016-06-08 01:23:32 +0200279 FMT_API void format(BasicWriter<Char> &writer,
280 BasicCStringRef<Char> format_str);
281};
282
283template <typename Char, typename AF>
284void PrintfFormatter<Char, AF>::parse_flags(FormatSpec &spec, const Char *&s) {
285 for (;;) {
286 switch (*s++) {
287 case '-':
288 spec.align_ = ALIGN_LEFT;
289 break;
290 case '+':
291 spec.flags_ |= SIGN_FLAG | PLUS_FLAG;
292 break;
293 case '0':
294 spec.fill_ = '0';
295 break;
296 case ' ':
297 spec.flags_ |= SIGN_FLAG;
298 break;
299 case '#':
300 spec.flags_ |= HASH_FLAG;
301 break;
302 default:
303 --s;
304 return;
305 }
306 }
307}
308
309template <typename Char, typename AF>
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700310internal::Arg PrintfFormatter<Char, AF>::get_arg(const Char *s,
311 unsigned arg_index) {
Glen Stark72d51e02016-06-08 01:23:32 +0200312 (void)s;
313 const char *error = 0;
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700314 internal::Arg arg = arg_index == std::numeric_limits<unsigned>::max() ?
Glen Stark72d51e02016-06-08 01:23:32 +0200315 next_arg(error) : FormatterBase::get_arg(arg_index - 1, error);
316 if (error)
317 FMT_THROW(FormatError(!*s ? "invalid format string" : error));
318 return arg;
319}
320
321template <typename Char, typename AF>
322unsigned PrintfFormatter<Char, AF>::parse_header(
323 const Char *&s, FormatSpec &spec) {
324 unsigned arg_index = std::numeric_limits<unsigned>::max();
325 Char c = *s;
326 if (c >= '0' && c <= '9') {
327 // Parse an argument index (if followed by '$') or a width possibly
328 // preceded with '0' flag(s).
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700329 unsigned value = internal::parse_nonnegative_int(s);
Glen Stark72d51e02016-06-08 01:23:32 +0200330 if (*s == '$') { // value is an argument index
331 ++s;
332 arg_index = value;
333 } else {
334 if (c == '0')
335 spec.fill_ = '0';
336 if (value != 0) {
337 // Nonzero value means that we parsed width and don't need to
338 // parse it or flags again, so return now.
339 spec.width_ = value;
340 return arg_index;
341 }
342 }
343 }
344 parse_flags(spec, s);
345 // Parse width.
346 if (*s >= '0' && *s <= '9') {
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700347 spec.width_ = internal::parse_nonnegative_int(s);
Glen Stark72d51e02016-06-08 01:23:32 +0200348 } else if (*s == '*') {
349 ++s;
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700350 spec.width_ = internal::WidthHandler(spec).visit(get_arg(s));
Glen Stark72d51e02016-06-08 01:23:32 +0200351 }
352 return arg_index;
353}
354
355template <typename Char, typename AF>
356void PrintfFormatter<Char, AF>::format(
357 BasicWriter<Char> &writer, BasicCStringRef<Char> format_str) {
358 const Char *start = format_str.c_str();
359 const Char *s = start;
360 while (*s) {
361 Char c = *s++;
362 if (c != '%') continue;
363 if (*s == c) {
364 write(writer, start, s);
365 start = ++s;
366 continue;
367 }
368 write(writer, start, s - 1);
369
370 FormatSpec spec;
371 spec.align_ = ALIGN_RIGHT;
372
373 // Parse argument index, flags and width.
374 unsigned arg_index = parse_header(s, spec);
375
376 // Parse precision.
377 if (*s == '.') {
378 ++s;
379 if ('0' <= *s && *s <= '9') {
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700380 spec.precision_ = static_cast<int>(internal::parse_nonnegative_int(s));
Glen Stark72d51e02016-06-08 01:23:32 +0200381 } else if (*s == '*') {
382 ++s;
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700383 spec.precision_ = internal::PrecisionHandler().visit(get_arg(s));
Glen Stark72d51e02016-06-08 01:23:32 +0200384 }
385 }
386
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700387 using internal::Arg;
Glen Stark72d51e02016-06-08 01:23:32 +0200388 Arg arg = get_arg(s, arg_index);
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700389 if (spec.flag(HASH_FLAG) && internal::IsZeroInt().visit(arg))
390 spec.flags_ &= ~internal::to_unsigned<int>(HASH_FLAG);
Glen Stark72d51e02016-06-08 01:23:32 +0200391 if (spec.fill_ == '0') {
392 if (arg.type <= Arg::LAST_NUMERIC_TYPE)
393 spec.align_ = ALIGN_NUMERIC;
394 else
395 spec.fill_ = ' '; // Ignore '0' flag for non-numeric types.
396 }
397
398 // Parse length and convert the argument to the required type.
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700399 using internal::ArgConverter;
Glen Stark72d51e02016-06-08 01:23:32 +0200400 switch (*s++) {
401 case 'h':
402 if (*s == 'h')
403 ArgConverter<signed char>(arg, *++s).visit(arg);
404 else
405 ArgConverter<short>(arg, *s).visit(arg);
406 break;
407 case 'l':
408 if (*s == 'l')
409 ArgConverter<fmt::LongLong>(arg, *++s).visit(arg);
410 else
411 ArgConverter<long>(arg, *s).visit(arg);
412 break;
413 case 'j':
414 ArgConverter<intmax_t>(arg, *s).visit(arg);
415 break;
416 case 'z':
417 ArgConverter<std::size_t>(arg, *s).visit(arg);
418 break;
419 case 't':
420 ArgConverter<std::ptrdiff_t>(arg, *s).visit(arg);
421 break;
422 case 'L':
423 // printf produces garbage when 'L' is omitted for long double, no
424 // need to do the same.
425 break;
426 default:
427 --s;
428 ArgConverter<void>(arg, *s).visit(arg);
429 }
430
431 // Parse type.
432 if (!*s)
433 FMT_THROW(FormatError("invalid format string"));
434 spec.type_ = static_cast<char>(*s++);
435 if (arg.type <= Arg::LAST_INTEGER_TYPE) {
436 // Normalize type.
437 switch (spec.type_) {
438 case 'i': case 'u':
439 spec.type_ = 'd';
440 break;
441 case 'c':
442 // TODO: handle wchar_t
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700443 internal::CharConverter(arg).visit(arg);
Glen Stark72d51e02016-06-08 01:23:32 +0200444 break;
445 }
446 }
447
448 start = s;
449
450 // Format argument.
451 AF(writer, spec).visit(arg);
452 }
453 write(writer, start, s);
454}
Glen Stark72d51e02016-06-08 01:23:32 +0200455
456template <typename Char>
457void printf(BasicWriter<Char> &w, BasicCStringRef<Char> format, ArgList args) {
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700458 PrintfFormatter<Char>(args).format(w, format);
Glen Stark72d51e02016-06-08 01:23:32 +0200459}
460
461/**
462 \rst
463 Formats arguments and returns the result as a string.
464
465 **Example**::
466
467 std::string message = fmt::sprintf("The answer is %d", 42);
468 \endrst
469*/
470inline std::string sprintf(CStringRef format, ArgList args) {
471 MemoryWriter w;
472 printf(w, format, args);
473 return w.str();
474}
475FMT_VARIADIC(std::string, sprintf, CStringRef)
476
477inline std::wstring sprintf(WCStringRef format, ArgList args) {
478 WMemoryWriter w;
479 printf(w, format, args);
480 return w.str();
481}
482FMT_VARIADIC_W(std::wstring, sprintf, WCStringRef)
483
484/**
485 \rst
486 Prints formatted data to the file *f*.
487
488 **Example**::
489
490 fmt::fprintf(stderr, "Don't %s!", "panic");
491 \endrst
492 */
493FMT_API int fprintf(std::FILE *f, CStringRef format, ArgList args);
494FMT_VARIADIC(int, fprintf, std::FILE *, CStringRef)
495
496/**
497 \rst
498 Prints formatted data to ``stdout``.
499
500 **Example**::
501
502 fmt::printf("Elapsed time: %.2f seconds", 1.23);
503 \endrst
504 */
505inline int printf(CStringRef format, ArgList args) {
506 return fprintf(stdout, format, args);
507}
508FMT_VARIADIC(int, printf, CStringRef)
509} // namespace fmt
510
511#endif // FMT_PRINTF_H_