blob: 28630a03bbaa4aac0cec02d387a36330a6933278 [file] [log] [blame]
Victor Zverovichc0954452018-01-06 09:09:50 -08001// Formatting library for C++
2//
3// Copyright (c) 2012 - 2016, Victor Zverovich
4// All rights reserved.
5//
6// For the license information refer to format.h.
Glen Stark72d51e02016-06-08 01:23:32 +02007
8#ifndef FMT_PRINTF_H_
9#define FMT_PRINTF_H_
10
11#include <algorithm> // std::fill_n
12#include <limits> // std::numeric_limits
13
Victor Zverovichf853d942018-01-20 10:28:10 -080014#include "ostream.h"
Glen Stark72d51e02016-06-08 01:23:32 +020015
16namespace fmt {
17namespace internal {
18
19// Checks if a value fits in int - used to avoid warnings about comparing
20// signed and unsigned integers.
21template <bool IsSigned>
22struct IntChecker {
23 template <typename T>
24 static bool fits_in_int(T value) {
25 unsigned max = std::numeric_limits<int>::max();
26 return value <= max;
27 }
28 static bool fits_in_int(bool) { return true; }
29};
30
31template <>
32struct IntChecker<true> {
33 template <typename T>
34 static bool fits_in_int(T value) {
35 return value >= std::numeric_limits<int>::min() &&
36 value <= std::numeric_limits<int>::max();
37 }
38 static bool fits_in_int(int) { return true; }
39};
40
Victor Zverovich0854f8c2016-12-11 13:22:45 -080041class PrintfPrecisionHandler {
Glen Stark72d51e02016-06-08 01:23:32 +020042 public:
Glen Stark72d51e02016-06-08 01:23:32 +020043 template <typename T>
Victor Zveroviche2dfd392016-11-19 09:29:09 -080044 typename std::enable_if<std::is_integral<T>::value, int>::type
45 operator()(T value) {
Glen Stark72d51e02016-06-08 01:23:32 +020046 if (!IntChecker<std::numeric_limits<T>::is_signed>::fits_in_int(value))
Victor Zverovich9bb213e2016-08-25 08:38:07 -070047 FMT_THROW(format_error("number is too big"));
Glen Stark72d51e02016-06-08 01:23:32 +020048 return static_cast<int>(value);
49 }
Victor Zveroviche2dfd392016-11-19 09:29:09 -080050
51 template <typename T>
52 typename std::enable_if<!std::is_integral<T>::value, int>::type
53 operator()(T) {
54 FMT_THROW(format_error("precision is not integer"));
55 return 0;
56 }
Glen Stark72d51e02016-06-08 01:23:32 +020057};
58
Victor Zveroviche2dfd392016-11-19 09:29:09 -080059// An argument visitor that returns true iff arg is a zero integer.
60class IsZeroInt {
Glen Stark72d51e02016-06-08 01:23:32 +020061 public:
62 template <typename T>
Victor Zveroviche2dfd392016-11-19 09:29:09 -080063 typename std::enable_if<std::is_integral<T>::value, bool>::type
64 operator()(T value) { return value == 0; }
65
66 template <typename T>
67 typename std::enable_if<!std::is_integral<T>::value, bool>::type
Victor Zverovich77c892c2017-08-27 08:16:46 -070068 operator()(T) { return false; }
Glen Stark72d51e02016-06-08 01:23:32 +020069};
70
Victor Zverovich0fbd8462017-09-04 11:41:15 -070071template <typename T>
72struct make_unsigned_or_bool : std::make_unsigned<T> {};
73
74template <>
75struct make_unsigned_or_bool<bool> {
76 using type = bool;
77};
78
Victor Zverovichd705d512016-12-29 09:07:39 -080079template <typename T, typename Context>
Victor Zverovich751ff642016-11-19 08:40:24 -080080class ArgConverter {
Glen Stark72d51e02016-06-08 01:23:32 +020081 private:
Victor Zverovichd705d512016-12-29 09:07:39 -080082 typedef typename Context::char_type Char;
83
Victor Zverovich7ae8bd72017-02-05 06:09:06 -080084 basic_arg<Context> &arg_;
Victor Zverovichd705d512016-12-29 09:07:39 -080085 typename Context::char_type type_;
Glen Stark72d51e02016-06-08 01:23:32 +020086
Glen Stark72d51e02016-06-08 01:23:32 +020087 public:
Victor Zverovich7ae8bd72017-02-05 06:09:06 -080088 ArgConverter(basic_arg<Context> &arg, Char type)
Glen Stark72d51e02016-06-08 01:23:32 +020089 : arg_(arg), type_(type) {}
90
Victor Zverovich751ff642016-11-19 08:40:24 -080091 void operator()(bool value) {
Glen Stark72d51e02016-06-08 01:23:32 +020092 if (type_ != 's')
Victor Zverovich751ff642016-11-19 08:40:24 -080093 operator()<bool>(value);
Glen Stark72d51e02016-06-08 01:23:32 +020094 }
95
96 template <typename U>
Victor Zverovich751ff642016-11-19 08:40:24 -080097 typename std::enable_if<std::is_integral<U>::value>::type
98 operator()(U value) {
Glen Stark72d51e02016-06-08 01:23:32 +020099 bool is_signed = type_ == 'd' || type_ == 'i';
Victor Zverovichc18a4042017-09-04 13:56:14 -0700100 typedef typename std::conditional<
Victor Zverovichf194a412017-08-27 09:16:50 -0700101 std::is_same<T, void>::value, U, T>::type TargetType;
Glen Stark72d51e02016-06-08 01:23:32 +0200102 if (sizeof(TargetType) <= sizeof(int)) {
103 // Extra casts are used to silence warnings.
104 if (is_signed) {
Victor Zverovichd705d512016-12-29 09:07:39 -0800105 arg_ = internal::make_arg<Context>(
Victor Zverovich0854f8c2016-12-11 13:22:45 -0800106 static_cast<int>(static_cast<TargetType>(value)));
Glen Stark72d51e02016-06-08 01:23:32 +0200107 } else {
Victor Zverovich0fbd8462017-09-04 11:41:15 -0700108 typedef typename make_unsigned_or_bool<TargetType>::type Unsigned;
Victor Zverovichd705d512016-12-29 09:07:39 -0800109 arg_ = internal::make_arg<Context>(
Victor Zverovich0854f8c2016-12-11 13:22:45 -0800110 static_cast<unsigned>(static_cast<Unsigned>(value)));
Glen Stark72d51e02016-06-08 01:23:32 +0200111 }
112 } else {
113 if (is_signed) {
Glen Stark72d51e02016-06-08 01:23:32 +0200114 // 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.
Victor Zverovich016aceb2017-08-26 09:09:43 -0700117 arg_ = internal::make_arg<Context>(static_cast<long long>(value));
Glen Stark72d51e02016-06-08 01:23:32 +0200118 } else {
Victor Zverovichd705d512016-12-29 09:07:39 -0800119 arg_ = internal::make_arg<Context>(
Victor Zverovich0fbd8462017-09-04 11:41:15 -0700120 static_cast<typename make_unsigned_or_bool<U>::type>(value));
Glen Stark72d51e02016-06-08 01:23:32 +0200121 }
122 }
123 }
Victor Zverovich751ff642016-11-19 08:40:24 -0800124
125 template <typename U>
Victor Zverovich77c892c2017-08-27 08:16:46 -0700126 typename std::enable_if<!std::is_integral<U>::value>::type operator()(U) {
Victor Zverovich751ff642016-11-19 08:40:24 -0800127 // No coversion needed for non-integral types.
128 }
Glen Stark72d51e02016-06-08 01:23:32 +0200129};
130
Victor Zverovich751ff642016-11-19 08:40:24 -0800131// Converts an integer argument to T for printf, if T is an integral type.
132// If T is void, the argument is converted to corresponding signed or unsigned
133// type depending on the type specifier: 'd' and 'i' - signed, other -
134// unsigned).
Victor Zverovichd705d512016-12-29 09:07:39 -0800135template <typename T, typename Context, typename Char>
Victor Zverovich7ae8bd72017-02-05 06:09:06 -0800136void convert_arg(basic_arg<Context> &arg, Char type) {
Victor Zverovichd705d512016-12-29 09:07:39 -0800137 visit(ArgConverter<T, Context>(arg, type), arg);
Victor Zverovich751ff642016-11-19 08:40:24 -0800138}
139
Glen Stark72d51e02016-06-08 01:23:32 +0200140// Converts an integer argument to char for printf.
Victor Zverovichd705d512016-12-29 09:07:39 -0800141template <typename Context>
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800142class CharConverter {
Glen Stark72d51e02016-06-08 01:23:32 +0200143 private:
Victor Zverovich7ae8bd72017-02-05 06:09:06 -0800144 basic_arg<Context> &arg_;
Glen Stark72d51e02016-06-08 01:23:32 +0200145
146 FMT_DISALLOW_COPY_AND_ASSIGN(CharConverter);
147
148 public:
Victor Zverovich7ae8bd72017-02-05 06:09:06 -0800149 explicit CharConverter(basic_arg<Context> &arg) : arg_(arg) {}
Glen Stark72d51e02016-06-08 01:23:32 +0200150
151 template <typename T>
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800152 typename std::enable_if<std::is_integral<T>::value>::type
153 operator()(T value) {
Victor Zverovichd705d512016-12-29 09:07:39 -0800154 arg_ = internal::make_arg<Context>(static_cast<char>(value));
Glen Stark72d51e02016-06-08 01:23:32 +0200155 }
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800156
157 template <typename T>
Victor Zverovichd705d512016-12-29 09:07:39 -0800158 typename std::enable_if<!std::is_integral<T>::value>::type operator()(T) {
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800159 // No coversion needed for non-integral types.
160 }
Glen Stark72d51e02016-06-08 01:23:32 +0200161};
162
163// Checks if an argument is a valid printf width specifier and sets
164// left alignment if it is negative.
Victor Zverovichbf0f1072017-01-28 13:17:47 +0000165template <typename Char>
Victor Zverovich0854f8c2016-12-11 13:22:45 -0800166class PrintfWidthHandler {
Glen Stark72d51e02016-06-08 01:23:32 +0200167 private:
Victor Zverovichbf0f1072017-01-28 13:17:47 +0000168 typedef basic_format_specs<Char> format_specs;
169
Victor Zverovich296e9ca2017-01-28 12:51:35 +0000170 format_specs &spec_;
Glen Stark72d51e02016-06-08 01:23:32 +0200171
Victor Zverovich0854f8c2016-12-11 13:22:45 -0800172 FMT_DISALLOW_COPY_AND_ASSIGN(PrintfWidthHandler);
Glen Stark72d51e02016-06-08 01:23:32 +0200173
174 public:
Victor Zverovich296e9ca2017-01-28 12:51:35 +0000175 explicit PrintfWidthHandler(format_specs &spec) : spec_(spec) {}
Glen Stark72d51e02016-06-08 01:23:32 +0200176
Glen Stark72d51e02016-06-08 01:23:32 +0200177 template <typename T>
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800178 typename std::enable_if<std::is_integral<T>::value, unsigned>::type
179 operator()(T value) {
Victor Zverovich6a2ff282017-02-19 06:46:51 -0800180 typedef typename internal::int_traits<T>::main_type UnsignedType;
Glen Stark72d51e02016-06-08 01:23:32 +0200181 UnsignedType width = static_cast<UnsignedType>(value);
182 if (internal::is_negative(value)) {
183 spec_.align_ = ALIGN_LEFT;
184 width = 0 - width;
185 }
Victor Zveroviche0d6f632016-06-15 06:29:47 -0700186 unsigned int_max = std::numeric_limits<int>::max();
187 if (width > int_max)
Victor Zverovich9bb213e2016-08-25 08:38:07 -0700188 FMT_THROW(format_error("number is too big"));
Glen Stark72d51e02016-06-08 01:23:32 +0200189 return static_cast<unsigned>(width);
190 }
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800191
192 template <typename T>
193 typename std::enable_if<!std::is_integral<T>::value, unsigned>::type
Victor Zverovich77c892c2017-08-27 08:16:46 -0700194 operator()(T) {
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800195 FMT_THROW(format_error("width is not integer"));
196 return 0;
197 }
Glen Stark72d51e02016-06-08 01:23:32 +0200198};
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700199} // namespace internal
Glen Stark72d51e02016-06-08 01:23:32 +0200200
Victor Zverovichc0954452018-01-06 09:09:50 -0800201template <typename Range>
Victor Zverovich10e70a02017-12-02 09:44:48 -0800202class printf_arg_formatter;
203
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800204template <
205 typename OutputIt, typename Char,
206 typename ArgFormatter =
207 printf_arg_formatter<back_insert_range<internal::basic_buffer<Char>>>>
Victor Zverovich217e7c72018-01-14 07:19:23 -0800208class basic_printf_context;
Victor Zverovich10e70a02017-12-02 09:44:48 -0800209
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700210/**
211 \rst
Victor Zverovichd58cc8a2016-11-20 07:42:38 -0800212 The ``printf`` argument formatter.
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700213 \endrst
214 */
Victor Zverovichc0954452018-01-06 09:09:50 -0800215template <typename Range>
Victor Zverovich217e7c72018-01-14 07:19:23 -0800216class printf_arg_formatter : public internal::arg_formatter_base<Range> {
Glen Stark72d51e02016-06-08 01:23:32 +0200217 private:
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800218 using char_type = typename Range::value_type;
219 using iterator = decltype(std::declval<Range>().begin());
220 using base = internal::arg_formatter_base<Range>;
221 using context_type = basic_printf_context<iterator, char_type>;
222
223 context_type &context_;
Victor Zverovich10e70a02017-12-02 09:44:48 -0800224
Glen Stark72d51e02016-06-08 01:23:32 +0200225 void write_null_pointer() {
226 this->spec().type_ = 0;
227 this->write("(nil)");
228 }
229
Glen Stark72d51e02016-06-08 01:23:32 +0200230 public:
Victor Zverovich22994c62018-01-13 15:34:48 -0800231 using format_specs = typename base::format_specs;
Victor Zverovichbf0f1072017-01-28 13:17:47 +0000232
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700233 /**
234 \rst
235 Constructs an argument formatter object.
Victor Zverovichfefaf072017-02-14 16:29:47 -0500236 *buffer* is a reference to the output buffer and *spec* contains format
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700237 specifier information for standard argument types.
238 \endrst
239 */
Victor Zverovich9a53a702018-01-14 12:25:03 -0800240 printf_arg_formatter(internal::basic_buffer<char_type> &buffer,
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800241 format_specs &spec, context_type &ctx)
242 : base(back_insert_range<internal::basic_buffer<char_type>>(buffer), spec),
243 context_(ctx) {}
Glen Stark72d51e02016-06-08 01:23:32 +0200244
Victor Zverovichc0954452018-01-06 09:09:50 -0800245 using base::operator();
Victor Zverovich95a53e12016-11-19 07:39:07 -0800246
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700247 /** Formats an argument of type ``bool``. */
Victor Zverovich95a53e12016-11-19 07:39:07 -0800248 void operator()(bool value) {
Victor Zverovich296e9ca2017-01-28 12:51:35 +0000249 format_specs &fmt_spec = this->spec();
Glen Stark72d51e02016-06-08 01:23:32 +0200250 if (fmt_spec.type_ != 's')
Victor Zverovichd58cc8a2016-11-20 07:42:38 -0800251 return (*this)(value ? 1 : 0);
Glen Stark72d51e02016-06-08 01:23:32 +0200252 fmt_spec.type_ = 0;
253 this->write(value);
254 }
255
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700256 /** Formats a character. */
Victor Zverovichc0954452018-01-06 09:09:50 -0800257 void operator()(char_type value) {
Victor Zverovichaf00e4f2017-09-04 12:28:53 -0700258 format_specs &fmt_spec = this->spec();
Glen Stark72d51e02016-06-08 01:23:32 +0200259 if (fmt_spec.type_ && fmt_spec.type_ != 'c')
Victor Zverovichaf00e4f2017-09-04 12:28:53 -0700260 return (*this)(static_cast<int>(value));
261 fmt_spec.flags_ = 0;
262 fmt_spec.align_ = ALIGN_RIGHT;
Victor Zverovichc0954452018-01-06 09:09:50 -0800263 base::operator()(value);
Glen Stark72d51e02016-06-08 01:23:32 +0200264 }
265
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700266 /** Formats a null-terminated C string. */
Victor Zverovich95a53e12016-11-19 07:39:07 -0800267 void operator()(const char *value) {
Glen Stark72d51e02016-06-08 01:23:32 +0200268 if (value)
Victor Zverovichc0954452018-01-06 09:09:50 -0800269 base::operator()(value);
Glen Stark72d51e02016-06-08 01:23:32 +0200270 else if (this->spec().type_ == 'p')
271 write_null_pointer();
272 else
273 this->write("(null)");
274 }
275
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700276 /** Formats a pointer. */
Victor Zverovich95a53e12016-11-19 07:39:07 -0800277 void operator()(const void *value) {
Glen Stark72d51e02016-06-08 01:23:32 +0200278 if (value)
Victor Zverovichc0954452018-01-06 09:09:50 -0800279 return base::operator()(value);
Glen Stark72d51e02016-06-08 01:23:32 +0200280 this->spec().type_ = 0;
281 write_null_pointer();
282 }
283
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700284 /** Formats an argument of a custom (user-defined) type. */
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800285 void operator()(typename basic_arg<context_type>::handle handle) {
Victor Zverovichc0954452018-01-06 09:09:50 -0800286 handle.format(context_);
Victor Zverovich5e0562a2017-08-13 13:09:02 -0700287 }
288};
289
Victor Zverovichc0954452018-01-06 09:09:50 -0800290template <typename T>
Victor Zverovich5e0562a2017-08-13 13:09:02 -0700291struct printf_formatter {
Victor Zverovich8cbf5442017-09-17 08:32:57 -0700292 template <typename ParseContext>
Victor Zverovich91ee9c92018-01-14 11:00:27 -0800293 auto parse(ParseContext &ctx) { return ctx.begin(); }
Victor Zverovich5e0562a2017-08-13 13:09:02 -0700294
Victor Zverovich91ee9c92018-01-14 11:00:27 -0800295 template <typename FormatContext>
296 auto format(const T &value, FormatContext &ctx) -> decltype(ctx.begin()) {
Victor Zverovichf6fd38b2018-01-15 08:22:31 -0800297 internal::format_value(internal::get_container(ctx.begin()), value);
Victor Zverovich91ee9c92018-01-14 11:00:27 -0800298 return ctx.begin();
Glen Stark72d51e02016-06-08 01:23:32 +0200299 }
300};
301
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700302/** This template formats data and writes the output to a writer. */
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800303template <typename OutputIt, typename Char, typename ArgFormatter>
Victor Zverovich217e7c72018-01-14 07:19:23 -0800304class basic_printf_context :
305 private internal::context_base<
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800306 OutputIt, basic_printf_context<OutputIt, Char, ArgFormatter>, Char> {
Victor Zverovich18dfa252016-10-21 06:46:21 -0700307 public:
308 /** The character type for the output. */
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800309 using char_type = Char;
Victor Zverovich5e0562a2017-08-13 13:09:02 -0700310
311 template <typename T>
312 using formatter_type = printf_formatter<T>;
Victor Zverovich18dfa252016-10-21 06:46:21 -0700313
Glen Stark72d51e02016-06-08 01:23:32 +0200314 private:
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800315 using base = internal::context_base<OutputIt, basic_printf_context, Char>;
Victor Zverovich91ee9c92018-01-14 11:00:27 -0800316 using format_arg = typename base::format_arg;
Victor Zverovichc0954452018-01-06 09:09:50 -0800317 using format_specs = basic_format_specs<char_type>;
318 using iterator = internal::null_terminating_iterator<char_type>;
Victor Zverovichdafbec72016-10-07 08:37:06 -0700319
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700320 void parse_flags(format_specs &spec, iterator &it);
Glen Stark72d51e02016-06-08 01:23:32 +0200321
322 // Returns the argument with specified index or, if arg_index is equal
323 // to the maximum unsigned value, the next argument.
Victor Zverovichd705d512016-12-29 09:07:39 -0800324 format_arg get_arg(
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700325 iterator it,
Glen Stark72d51e02016-06-08 01:23:32 +0200326 unsigned arg_index = (std::numeric_limits<unsigned>::max)());
327
328 // Parses argument index, flags and width and returns the argument index.
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700329 unsigned parse_header(iterator &it, format_specs &spec);
Glen Stark72d51e02016-06-08 01:23:32 +0200330
331 public:
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700332 /**
333 \rst
Victor Zverovich9998f662016-11-06 16:11:24 -0800334 Constructs a ``printf_context`` object. References to the arguments and
335 the writer are stored in the context object so make sure they have
Victor Zverovichab054532016-07-20 08:21:13 -0700336 appropriate lifetimes.
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700337 \endrst
338 */
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800339 basic_printf_context(OutputIt out, basic_string_view<char_type> format_str,
Victor Zverovich217e7c72018-01-14 07:19:23 -0800340 basic_format_args<basic_printf_context> args)
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800341 : base(out, format_str, args) {}
Victor Zverovich8cbf5442017-09-17 08:32:57 -0700342
Victor Zverovich91ee9c92018-01-14 11:00:27 -0800343 using base::parse_context;
Victor Zverovich91ee9c92018-01-14 11:00:27 -0800344 using base::begin;
345 using base::advance_to;
Victor Zverovich9998f662016-11-06 16:11:24 -0800346
Victor Zverovichc0954452018-01-06 09:09:50 -0800347 /** Formats stored arguments and writes the output to the range. */
348 FMT_API void format();
Glen Stark72d51e02016-06-08 01:23:32 +0200349};
350
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800351template <typename OutputIt, typename Char, typename AF>
352void basic_printf_context<OutputIt, Char, AF>::parse_flags(
Victor Zverovich217e7c72018-01-14 07:19:23 -0800353 format_specs &spec, iterator &it) {
Glen Stark72d51e02016-06-08 01:23:32 +0200354 for (;;) {
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700355 switch (*it++) {
Glen Stark72d51e02016-06-08 01:23:32 +0200356 case '-':
357 spec.align_ = ALIGN_LEFT;
358 break;
359 case '+':
360 spec.flags_ |= SIGN_FLAG | PLUS_FLAG;
361 break;
362 case '0':
363 spec.fill_ = '0';
364 break;
365 case ' ':
366 spec.flags_ |= SIGN_FLAG;
367 break;
368 case '#':
369 spec.flags_ |= HASH_FLAG;
370 break;
371 default:
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700372 --it;
Glen Stark72d51e02016-06-08 01:23:32 +0200373 return;
374 }
375 }
376}
377
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800378template <typename OutputIt, typename Char, typename AF>
379typename basic_printf_context<OutputIt, Char, AF>::format_arg
380 basic_printf_context<OutputIt, Char, AF>::get_arg(
381 iterator it, unsigned arg_index) {
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700382 (void)it;
Victor Zverovichc523dd52017-11-19 07:36:01 -0800383 if (arg_index == std::numeric_limits<unsigned>::max())
Victor Zverovich67928ea2018-01-14 09:27:40 -0800384 return this->do_get_arg(this->parse_context().next_arg_id());
Victor Zverovich91ee9c92018-01-14 11:00:27 -0800385 return base::get_arg(arg_index - 1);
Glen Stark72d51e02016-06-08 01:23:32 +0200386}
387
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800388template <typename OutputIt, typename Char, typename AF>
389unsigned basic_printf_context<OutputIt, Char, AF>::parse_header(
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700390 iterator &it, format_specs &spec) {
Glen Stark72d51e02016-06-08 01:23:32 +0200391 unsigned arg_index = std::numeric_limits<unsigned>::max();
Victor Zverovichc0954452018-01-06 09:09:50 -0800392 char_type c = *it;
Glen Stark72d51e02016-06-08 01:23:32 +0200393 if (c >= '0' && c <= '9') {
394 // Parse an argument index (if followed by '$') or a width possibly
395 // preceded with '0' flag(s).
Victor Zverovich932ab2b2017-10-21 08:37:52 -0700396 internal::error_handler eh;
397 unsigned value = parse_nonnegative_int(it, eh);
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700398 if (*it == '$') { // value is an argument index
399 ++it;
Glen Stark72d51e02016-06-08 01:23:32 +0200400 arg_index = value;
401 } else {
402 if (c == '0')
403 spec.fill_ = '0';
404 if (value != 0) {
405 // Nonzero value means that we parsed width and don't need to
406 // parse it or flags again, so return now.
407 spec.width_ = value;
408 return arg_index;
409 }
410 }
411 }
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700412 parse_flags(spec, it);
Glen Stark72d51e02016-06-08 01:23:32 +0200413 // Parse width.
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700414 if (*it >= '0' && *it <= '9') {
Victor Zverovich932ab2b2017-10-21 08:37:52 -0700415 internal::error_handler eh;
416 spec.width_ = parse_nonnegative_int(it, eh);
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700417 } else if (*it == '*') {
418 ++it;
Victor Zverovichc0954452018-01-06 09:09:50 -0800419 spec.width_ =
420 visit(internal::PrintfWidthHandler<char_type>(spec), get_arg(it));
Glen Stark72d51e02016-06-08 01:23:32 +0200421 }
422 return arg_index;
423}
424
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800425template <typename OutputIt, typename Char, typename AF>
426void basic_printf_context<OutputIt, Char, AF>::format() {
Victor Zverovichf6fd38b2018-01-15 08:22:31 -0800427 auto &buffer = internal::get_container(this->begin());
Victor Zverovich67928ea2018-01-14 09:27:40 -0800428 auto start = iterator(this->parse_context());
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700429 auto it = start;
430 using internal::pointer_from;
431 while (*it) {
Victor Zverovichc0954452018-01-06 09:09:50 -0800432 char_type c = *it++;
Glen Stark72d51e02016-06-08 01:23:32 +0200433 if (c != '%') continue;
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700434 if (*it == c) {
435 buffer.append(pointer_from(start), pointer_from(it));
436 start = ++it;
Glen Stark72d51e02016-06-08 01:23:32 +0200437 continue;
438 }
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700439 buffer.append(pointer_from(start), pointer_from(it) - 1);
Glen Stark72d51e02016-06-08 01:23:32 +0200440
Victor Zverovich296e9ca2017-01-28 12:51:35 +0000441 format_specs spec;
Glen Stark72d51e02016-06-08 01:23:32 +0200442 spec.align_ = ALIGN_RIGHT;
443
444 // Parse argument index, flags and width.
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700445 unsigned arg_index = parse_header(it, spec);
Glen Stark72d51e02016-06-08 01:23:32 +0200446
447 // Parse precision.
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700448 if (*it == '.') {
449 ++it;
450 if ('0' <= *it && *it <= '9') {
Victor Zverovich932ab2b2017-10-21 08:37:52 -0700451 internal::error_handler eh;
452 spec.precision_ = static_cast<int>(parse_nonnegative_int(it, eh));
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700453 } else if (*it == '*') {
454 ++it;
455 spec.precision_ =
456 visit(internal::PrintfPrecisionHandler(), get_arg(it));
Glen Stark72d51e02016-06-08 01:23:32 +0200457 }
458 }
459
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700460 format_arg arg = get_arg(it, arg_index);
Victor Zverovichc9dc41a2016-11-19 07:59:54 -0800461 if (spec.flag(HASH_FLAG) && visit(internal::IsZeroInt(), arg))
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700462 spec.flags_ &= ~internal::to_unsigned<int>(HASH_FLAG);
Glen Stark72d51e02016-06-08 01:23:32 +0200463 if (spec.fill_ == '0') {
Victor Zverovich7cea1632017-12-09 06:19:15 -0800464 if (arg.is_arithmetic())
Glen Stark72d51e02016-06-08 01:23:32 +0200465 spec.align_ = ALIGN_NUMERIC;
466 else
467 spec.fill_ = ' '; // Ignore '0' flag for non-numeric types.
468 }
469
470 // Parse length and convert the argument to the required type.
Victor Zverovich751ff642016-11-19 08:40:24 -0800471 using internal::convert_arg;
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700472 switch (*it++) {
Glen Stark72d51e02016-06-08 01:23:32 +0200473 case 'h':
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700474 if (*it == 'h')
475 convert_arg<signed char>(arg, *++it);
Glen Stark72d51e02016-06-08 01:23:32 +0200476 else
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700477 convert_arg<short>(arg, *it);
Glen Stark72d51e02016-06-08 01:23:32 +0200478 break;
479 case 'l':
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700480 if (*it == 'l')
Victor Zverovich016aceb2017-08-26 09:09:43 -0700481 convert_arg<long long>(arg, *++it);
Glen Stark72d51e02016-06-08 01:23:32 +0200482 else
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700483 convert_arg<long>(arg, *it);
Glen Stark72d51e02016-06-08 01:23:32 +0200484 break;
485 case 'j':
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700486 convert_arg<intmax_t>(arg, *it);
Glen Stark72d51e02016-06-08 01:23:32 +0200487 break;
488 case 'z':
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700489 convert_arg<std::size_t>(arg, *it);
Glen Stark72d51e02016-06-08 01:23:32 +0200490 break;
491 case 't':
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700492 convert_arg<std::ptrdiff_t>(arg, *it);
Glen Stark72d51e02016-06-08 01:23:32 +0200493 break;
494 case 'L':
495 // printf produces garbage when 'L' is omitted for long double, no
496 // need to do the same.
497 break;
498 default:
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700499 --it;
500 convert_arg<void>(arg, *it);
Glen Stark72d51e02016-06-08 01:23:32 +0200501 }
502
503 // Parse type.
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700504 if (!*it)
Victor Zverovich9bb213e2016-08-25 08:38:07 -0700505 FMT_THROW(format_error("invalid format string"));
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700506 spec.type_ = static_cast<char>(*it++);
Victor Zverovich0854f8c2016-12-11 13:22:45 -0800507 if (arg.is_integral()) {
Glen Stark72d51e02016-06-08 01:23:32 +0200508 // Normalize type.
509 switch (spec.type_) {
510 case 'i': case 'u':
511 spec.type_ = 'd';
512 break;
513 case 'c':
514 // TODO: handle wchar_t
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800515 visit(internal::CharConverter<basic_printf_context>(arg), arg);
Glen Stark72d51e02016-06-08 01:23:32 +0200516 break;
517 }
518 }
519
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700520 start = it;
Glen Stark72d51e02016-06-08 01:23:32 +0200521
522 // Format argument.
Victor Zverovich10e70a02017-12-02 09:44:48 -0800523 visit(AF(buffer, spec, *this), arg);
Glen Stark72d51e02016-06-08 01:23:32 +0200524 }
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700525 buffer.append(pointer_from(start), pointer_from(it));
Glen Stark72d51e02016-06-08 01:23:32 +0200526}
Glen Stark72d51e02016-06-08 01:23:32 +0200527
Victor Zverovich217e7c72018-01-14 07:19:23 -0800528template <typename Char, typename Context>
Victor Zverovich9a53a702018-01-14 12:25:03 -0800529void printf(internal::basic_buffer<Char> &buf, basic_string_view<Char> format,
Victor Zverovich217e7c72018-01-14 07:19:23 -0800530 basic_format_args<Context> args) {
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800531 Context(std::back_inserter(buf), format, args).format();
Glen Stark72d51e02016-06-08 01:23:32 +0200532}
533
Victor Zverovich217e7c72018-01-14 07:19:23 -0800534template <typename Buffer>
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800535using printf_context = basic_printf_context<
536 std::back_insert_iterator<Buffer>, typename Buffer::value_type>;
Victor Zverovich217e7c72018-01-14 07:19:23 -0800537
Victor Zverovichc2fecb92018-01-14 14:15:59 -0800538using printf_args = basic_format_args<printf_context<internal::buffer>>;
Victor Zverovich0854f8c2016-12-11 13:22:45 -0800539
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700540inline std::string vsprintf(string_view format, printf_args args) {
Victor Zverovicheedfd072017-02-18 09:13:12 -0800541 memory_buffer buffer;
Victor Zverovichfefaf072017-02-14 16:29:47 -0500542 printf(buffer, format, args);
543 return to_string(buffer);
Victor Zverovich0028ce52016-08-26 17:23:13 -0700544}
545
Glen Stark72d51e02016-06-08 01:23:32 +0200546/**
547 \rst
548 Formats arguments and returns the result as a string.
549
550 **Example**::
551
552 std::string message = fmt::sprintf("The answer is %d", 42);
553 \endrst
554*/
Victor Zverovich0028ce52016-08-26 17:23:13 -0700555template <typename... Args>
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700556inline std::string sprintf(string_view format_str, const Args & ... args) {
Victor Zverovichc2fecb92018-01-14 14:15:59 -0800557 return vsprintf(format_str,
558 make_args<printf_context<internal::buffer>>(args...));
Glen Stark72d51e02016-06-08 01:23:32 +0200559}
Glen Stark72d51e02016-06-08 01:23:32 +0200560
Victor Zverovichc2fecb92018-01-14 14:15:59 -0800561inline std::wstring vsprintf(
562 wstring_view format,
563 basic_format_args<printf_context<internal::wbuffer>> args) {
Victor Zverovicheedfd072017-02-18 09:13:12 -0800564 wmemory_buffer buffer;
Victor Zverovichfefaf072017-02-14 16:29:47 -0500565 printf(buffer, format, args);
566 return to_string(buffer);
Glen Stark72d51e02016-06-08 01:23:32 +0200567}
Victor Zverovich0028ce52016-08-26 17:23:13 -0700568
569template <typename... Args>
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700570inline std::wstring sprintf(wstring_view format_str, const Args & ... args) {
Victor Zverovichc2fecb92018-01-14 14:15:59 -0800571 auto vargs = make_args<printf_context<internal::wbuffer>>(args...);
Victor Zverovich0028ce52016-08-26 17:23:13 -0700572 return vsprintf(format_str, vargs);
573}
574
Victor Zverovich955062d2017-12-17 08:36:19 -0800575inline int vfprintf(std::FILE *f, string_view format, printf_args args) {
576 memory_buffer buffer;
577 printf(buffer, format, args);
578 std::size_t size = buffer.size();
579 return std::fwrite(
580 buffer.data(), 1, size, f) < size ? -1 : static_cast<int>(size);
581}
Glen Stark72d51e02016-06-08 01:23:32 +0200582
583/**
584 \rst
585 Prints formatted data to the file *f*.
586
587 **Example**::
588
589 fmt::fprintf(stderr, "Don't %s!", "panic");
590 \endrst
591 */
Victor Zverovich0028ce52016-08-26 17:23:13 -0700592template <typename... Args>
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700593inline int fprintf(std::FILE *f, string_view format_str, const Args & ... args) {
Victor Zverovichc2fecb92018-01-14 14:15:59 -0800594 auto vargs = make_args<printf_context<internal::buffer>>(args...);
Victor Zverovich0028ce52016-08-26 17:23:13 -0700595 return vfprintf(f, format_str, vargs);
596}
597
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700598inline int vprintf(string_view format, printf_args args) {
Victor Zverovich0028ce52016-08-26 17:23:13 -0700599 return vfprintf(stdout, format, args);
600}
Glen Stark72d51e02016-06-08 01:23:32 +0200601
602/**
603 \rst
604 Prints formatted data to ``stdout``.
605
606 **Example**::
607
608 fmt::printf("Elapsed time: %.2f seconds", 1.23);
609 \endrst
610 */
Victor Zverovich0028ce52016-08-26 17:23:13 -0700611template <typename... Args>
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700612inline int printf(string_view format_str, const Args & ... args) {
Victor Zverovichc2fecb92018-01-14 14:15:59 -0800613 return vprintf(format_str,
614 make_args<printf_context<internal::buffer>>(args...));
Glen Stark72d51e02016-06-08 01:23:32 +0200615}
Victor Zverovich0028ce52016-08-26 17:23:13 -0700616
Victor Zverovichc0954452018-01-06 09:09:50 -0800617inline int vfprintf(std::ostream &os, string_view format_str,
618 printf_args args) {
Victor Zverovicheedfd072017-02-18 09:13:12 -0800619 memory_buffer buffer;
Victor Zverovichfefaf072017-02-14 16:29:47 -0500620 printf(buffer, format_str, args);
621 internal::write(os, buffer);
622 return static_cast<int>(buffer.size());
Victor Zverovich0028ce52016-08-26 17:23:13 -0700623}
Victor Zverovich9dbb60c2016-08-03 08:52:05 -0700624
625/**
626 \rst
627 Prints formatted data to the stream *os*.
628
629 **Example**::
630
631 fprintf(cerr, "Don't %s!", "panic");
632 \endrst
633 */
Victor Zverovich0028ce52016-08-26 17:23:13 -0700634template <typename... Args>
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700635inline int fprintf(std::ostream &os, string_view format_str,
Victor Zverovich0028ce52016-08-26 17:23:13 -0700636 const Args & ... args) {
Victor Zverovichc2fecb92018-01-14 14:15:59 -0800637 auto vargs = make_args<printf_context<internal::buffer>>(args...);
Victor Zverovich0028ce52016-08-26 17:23:13 -0700638 return vfprintf(os, format_str, vargs);
Victor Zverovich9dbb60c2016-08-03 08:52:05 -0700639}
Glen Stark72d51e02016-06-08 01:23:32 +0200640} // namespace fmt
641
642#endif // FMT_PRINTF_H_