blob: 7804b95353fe21c17dcf39f5479de790061625f8 [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
Victor Zverovich838400d2018-05-12 08:33:51 -070016FMT_BEGIN_NAMESPACE
Glen Stark72d51e02016-06-08 01:23:32 +020017namespace internal {
18
19// Checks if a value fits in int - used to avoid warnings about comparing
20// signed and unsigned integers.
21template <bool IsSigned>
Victor Zverovich418659a2018-03-03 14:04:59 -080022struct int_checker {
Glen Stark72d51e02016-06-08 01:23:32 +020023 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 <>
Victor Zverovich418659a2018-03-03 14:04:59 -080032struct int_checker<true> {
Glen Stark72d51e02016-06-08 01:23:32 +020033 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 Zverovich418659a2018-03-03 14:04:59 -080041class printf_precision_handler: public function<int> {
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) {
Victor Zverovich418659a2018-03-03 14:04:59 -080046 if (!int_checker<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>
Victor Zverovich6322b472018-06-06 16:51:35 +020052 typename std::enable_if<!std::is_integral<T>::value, int>::type operator()(T) {
Victor Zveroviche2dfd392016-11-19 09:29:09 -080053 FMT_THROW(format_error("precision is not integer"));
Victor Zverovich6322b472018-06-06 16:51:35 +020054 return 0;
Victor Zveroviche2dfd392016-11-19 09:29:09 -080055 }
Glen Stark72d51e02016-06-08 01:23:32 +020056};
57
Victor Zveroviche2dfd392016-11-19 09:29:09 -080058// An argument visitor that returns true iff arg is a zero integer.
Victor Zverovich418659a2018-03-03 14:04:59 -080059class is_zero_int: public function<bool> {
Glen Stark72d51e02016-06-08 01:23:32 +020060 public:
61 template <typename T>
Victor Zveroviche2dfd392016-11-19 09:29:09 -080062 typename std::enable_if<std::is_integral<T>::value, bool>::type
63 operator()(T value) { return value == 0; }
64
65 template <typename T>
66 typename std::enable_if<!std::is_integral<T>::value, bool>::type
Victor Zverovich77c892c2017-08-27 08:16:46 -070067 operator()(T) { return false; }
Glen Stark72d51e02016-06-08 01:23:32 +020068};
69
Victor Zverovich0fbd8462017-09-04 11:41:15 -070070template <typename T>
71struct make_unsigned_or_bool : std::make_unsigned<T> {};
72
73template <>
74struct make_unsigned_or_bool<bool> {
Victor Zverovichaffb35c2018-02-11 09:23:47 -080075 typedef bool type;
Victor Zverovich0fbd8462017-09-04 11:41:15 -070076};
77
Victor Zverovichd705d512016-12-29 09:07:39 -080078template <typename T, typename Context>
Victor Zverovich418659a2018-03-03 14:04:59 -080079class arg_converter: public function<void> {
Glen Stark72d51e02016-06-08 01:23:32 +020080 private:
Victor Zverovichd705d512016-12-29 09:07:39 -080081 typedef typename Context::char_type Char;
82
Victor Zverovich23759b22018-04-04 07:38:21 -070083 basic_format_arg<Context> &arg_;
Victor Zverovichd705d512016-12-29 09:07:39 -080084 typename Context::char_type type_;
Glen Stark72d51e02016-06-08 01:23:32 +020085
Glen Stark72d51e02016-06-08 01:23:32 +020086 public:
Victor Zverovich23759b22018-04-04 07:38:21 -070087 arg_converter(basic_format_arg<Context> &arg, Char type)
Glen Stark72d51e02016-06-08 01:23:32 +020088 : arg_(arg), type_(type) {}
89
Victor Zverovich751ff642016-11-19 08:40:24 -080090 void operator()(bool value) {
Glen Stark72d51e02016-06-08 01:23:32 +020091 if (type_ != 's')
Victor Zverovich751ff642016-11-19 08:40:24 -080092 operator()<bool>(value);
Glen Stark72d51e02016-06-08 01:23:32 +020093 }
94
95 template <typename U>
Victor Zverovich751ff642016-11-19 08:40:24 -080096 typename std::enable_if<std::is_integral<U>::value>::type
97 operator()(U value) {
Glen Stark72d51e02016-06-08 01:23:32 +020098 bool is_signed = type_ == 'd' || type_ == 'i';
Victor Zverovichc18a4042017-09-04 13:56:14 -070099 typedef typename std::conditional<
Victor Zverovichf194a412017-08-27 09:16:50 -0700100 std::is_same<T, void>::value, U, T>::type TargetType;
Victor Zverovich5013c152018-02-10 06:52:46 -0800101 if (const_check(sizeof(TargetType) <= sizeof(int))) {
Glen Stark72d51e02016-06-08 01:23:32 +0200102 // Extra casts are used to silence warnings.
103 if (is_signed) {
Victor Zverovichd705d512016-12-29 09:07:39 -0800104 arg_ = internal::make_arg<Context>(
Victor Zverovich0854f8c2016-12-11 13:22:45 -0800105 static_cast<int>(static_cast<TargetType>(value)));
Glen Stark72d51e02016-06-08 01:23:32 +0200106 } else {
Victor Zverovich0fbd8462017-09-04 11:41:15 -0700107 typedef typename make_unsigned_or_bool<TargetType>::type Unsigned;
Victor Zverovichd705d512016-12-29 09:07:39 -0800108 arg_ = internal::make_arg<Context>(
Victor Zverovich0854f8c2016-12-11 13:22:45 -0800109 static_cast<unsigned>(static_cast<Unsigned>(value)));
Glen Stark72d51e02016-06-08 01:23:32 +0200110 }
111 } else {
112 if (is_signed) {
Glen Stark72d51e02016-06-08 01:23:32 +0200113 // glibc's printf doesn't sign extend arguments of smaller types:
114 // std::printf("%lld", -42); // prints "4294967254"
115 // but we don't have to do the same because it's a UB.
Victor Zverovich016aceb2017-08-26 09:09:43 -0700116 arg_ = internal::make_arg<Context>(static_cast<long long>(value));
Glen Stark72d51e02016-06-08 01:23:32 +0200117 } else {
Victor Zverovichd705d512016-12-29 09:07:39 -0800118 arg_ = internal::make_arg<Context>(
Victor Zverovich0fbd8462017-09-04 11:41:15 -0700119 static_cast<typename make_unsigned_or_bool<U>::type>(value));
Glen Stark72d51e02016-06-08 01:23:32 +0200120 }
121 }
122 }
Victor Zverovich751ff642016-11-19 08:40:24 -0800123
124 template <typename U>
Victor Zverovich77c892c2017-08-27 08:16:46 -0700125 typename std::enable_if<!std::is_integral<U>::value>::type operator()(U) {
Victor Zverovich751ff642016-11-19 08:40:24 -0800126 // No coversion needed for non-integral types.
127 }
Glen Stark72d51e02016-06-08 01:23:32 +0200128};
129
Victor Zverovich751ff642016-11-19 08:40:24 -0800130// Converts an integer argument to T for printf, if T is an integral type.
131// If T is void, the argument is converted to corresponding signed or unsigned
132// type depending on the type specifier: 'd' and 'i' - signed, other -
133// unsigned).
Victor Zverovichd705d512016-12-29 09:07:39 -0800134template <typename T, typename Context, typename Char>
Victor Zverovich23759b22018-04-04 07:38:21 -0700135void convert_arg(basic_format_arg<Context> &arg, Char type) {
Victor Zverovichf5480632018-10-05 07:15:41 -0700136 visit_format_arg(arg_converter<T, Context>(arg, type), arg);
Victor Zverovich751ff642016-11-19 08:40:24 -0800137}
138
Glen Stark72d51e02016-06-08 01:23:32 +0200139// Converts an integer argument to char for printf.
Victor Zverovichd705d512016-12-29 09:07:39 -0800140template <typename Context>
Victor Zverovich418659a2018-03-03 14:04:59 -0800141class char_converter: public function<void> {
Glen Stark72d51e02016-06-08 01:23:32 +0200142 private:
Victor Zverovich23759b22018-04-04 07:38:21 -0700143 basic_format_arg<Context> &arg_;
Glen Stark72d51e02016-06-08 01:23:32 +0200144
Glen Stark72d51e02016-06-08 01:23:32 +0200145 public:
Victor Zverovich23759b22018-04-04 07:38:21 -0700146 explicit char_converter(basic_format_arg<Context> &arg) : arg_(arg) {}
Glen Stark72d51e02016-06-08 01:23:32 +0200147
148 template <typename T>
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800149 typename std::enable_if<std::is_integral<T>::value>::type
150 operator()(T value) {
Daniela Engert2570f1a2018-04-26 20:32:14 +0200151 typedef typename Context::char_type Char;
152 arg_ = internal::make_arg<Context>(static_cast<Char>(value));
Glen Stark72d51e02016-06-08 01:23:32 +0200153 }
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800154
155 template <typename T>
Victor Zverovichd705d512016-12-29 09:07:39 -0800156 typename std::enable_if<!std::is_integral<T>::value>::type operator()(T) {
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800157 // No coversion needed for non-integral types.
158 }
Glen Stark72d51e02016-06-08 01:23:32 +0200159};
160
161// Checks if an argument is a valid printf width specifier and sets
162// left alignment if it is negative.
Victor Zverovichbf0f1072017-01-28 13:17:47 +0000163template <typename Char>
Victor Zverovich418659a2018-03-03 14:04:59 -0800164class printf_width_handler: public function<unsigned> {
Glen Stark72d51e02016-06-08 01:23:32 +0200165 private:
Victor Zverovichbf0f1072017-01-28 13:17:47 +0000166 typedef basic_format_specs<Char> format_specs;
167
Victor Zverovich296e9ca2017-01-28 12:51:35 +0000168 format_specs &spec_;
Glen Stark72d51e02016-06-08 01:23:32 +0200169
Glen Stark72d51e02016-06-08 01:23:32 +0200170 public:
Victor Zverovich418659a2018-03-03 14:04:59 -0800171 explicit printf_width_handler(format_specs &spec) : spec_(spec) {}
Glen Stark72d51e02016-06-08 01:23:32 +0200172
Glen Stark72d51e02016-06-08 01:23:32 +0200173 template <typename T>
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800174 typename std::enable_if<std::is_integral<T>::value, unsigned>::type
175 operator()(T value) {
Victor Zverovich6a2ff282017-02-19 06:46:51 -0800176 typedef typename internal::int_traits<T>::main_type UnsignedType;
Glen Stark72d51e02016-06-08 01:23:32 +0200177 UnsignedType width = static_cast<UnsignedType>(value);
178 if (internal::is_negative(value)) {
179 spec_.align_ = ALIGN_LEFT;
180 width = 0 - width;
181 }
Victor Zveroviche0d6f632016-06-15 06:29:47 -0700182 unsigned int_max = std::numeric_limits<int>::max();
183 if (width > int_max)
Victor Zverovich9bb213e2016-08-25 08:38:07 -0700184 FMT_THROW(format_error("number is too big"));
Glen Stark72d51e02016-06-08 01:23:32 +0200185 return static_cast<unsigned>(width);
186 }
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800187
188 template <typename T>
189 typename std::enable_if<!std::is_integral<T>::value, unsigned>::type
Victor Zverovich77c892c2017-08-27 08:16:46 -0700190 operator()(T) {
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800191 FMT_THROW(format_error("width is not integer"));
Victor Zverovich6322b472018-06-06 16:51:35 +0200192 return 0;
Victor Zveroviche2dfd392016-11-19 09:29:09 -0800193 }
Glen Stark72d51e02016-06-08 01:23:32 +0200194};
Victor Zverovich8c2e15a2018-12-12 16:07:54 -0800195
196template <typename Char, typename Context>
197void printf(basic_buffer<Char> &buf, basic_string_view<Char> format,
198 basic_format_args<Context> args) {
199 Context(std::back_inserter(buf), format, args).format();
200}
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700201} // namespace internal
Glen Stark72d51e02016-06-08 01:23:32 +0200202
Victor Zverovich8c2e15a2018-12-12 16:07:54 -0800203using internal::printf; // For printing into memory_buffer.
204
Victor Zverovichc0954452018-01-06 09:09:50 -0800205template <typename Range>
Victor Zverovich10e70a02017-12-02 09:44:48 -0800206class printf_arg_formatter;
207
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800208template <
209 typename OutputIt, typename Char,
210 typename ArgFormatter =
211 printf_arg_formatter<back_insert_range<internal::basic_buffer<Char>>>>
Victor Zverovich217e7c72018-01-14 07:19:23 -0800212class basic_printf_context;
Victor Zverovich10e70a02017-12-02 09:44:48 -0800213
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700214/**
215 \rst
Victor Zverovichd58cc8a2016-11-20 07:42:38 -0800216 The ``printf`` argument formatter.
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700217 \endrst
218 */
Victor Zverovichc0954452018-01-06 09:09:50 -0800219template <typename Range>
Victor Zverovich418659a2018-03-03 14:04:59 -0800220class printf_arg_formatter:
Victor Zverovichedd5f142018-05-20 09:09:03 -0700221 public internal::function<
222 typename internal::arg_formatter_base<Range>::iterator>,
223 public internal::arg_formatter_base<Range> {
Glen Stark72d51e02016-06-08 01:23:32 +0200224 private:
Victor Zverovichaffb35c2018-02-11 09:23:47 -0800225 typedef typename Range::value_type char_type;
Victor Zverovich418659a2018-03-03 14:04:59 -0800226 typedef decltype(internal::declval<Range>().begin()) iterator;
Victor Zverovichaffb35c2018-02-11 09:23:47 -0800227 typedef internal::arg_formatter_base<Range> base;
228 typedef basic_printf_context<iterator, char_type> context_type;
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800229
230 context_type &context_;
Victor Zverovich10e70a02017-12-02 09:44:48 -0800231
Daniela Engert2570f1a2018-04-26 20:32:14 +0200232 void write_null_pointer(char) {
Victor Zverovich29246222018-10-17 09:15:29 -0700233 this->spec()->type = 0;
Glen Stark72d51e02016-06-08 01:23:32 +0200234 this->write("(nil)");
235 }
236
Daniela Engert2570f1a2018-04-26 20:32:14 +0200237 void write_null_pointer(wchar_t) {
Victor Zverovich29246222018-10-17 09:15:29 -0700238 this->spec()->type = 0;
Daniela Engert2570f1a2018-04-26 20:32:14 +0200239 this->write(L"(nil)");
240 }
241
Glen Stark72d51e02016-06-08 01:23:32 +0200242 public:
Victor Zverovichaffb35c2018-02-11 09:23:47 -0800243 typedef typename base::format_specs format_specs;
Victor Zverovichbf0f1072017-01-28 13:17:47 +0000244
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700245 /**
246 \rst
247 Constructs an argument formatter object.
Victor Zverovichfefaf072017-02-14 16:29:47 -0500248 *buffer* is a reference to the output buffer and *spec* contains format
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700249 specifier information for standard argument types.
250 \endrst
251 */
Victor Zverovich9a53a702018-01-14 12:25:03 -0800252 printf_arg_formatter(internal::basic_buffer<char_type> &buffer,
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800253 format_specs &spec, context_type &ctx)
Victor Zverovichf2ee9882018-11-14 09:39:37 -0800254 : base(back_insert_range<internal::basic_buffer<char_type>>(buffer), &spec,
255 ctx.locale()),
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800256 context_(ctx) {}
Glen Stark72d51e02016-06-08 01:23:32 +0200257
Victor Zveroviche928b672018-07-04 11:36:38 -0700258 template <typename T>
259 typename std::enable_if<std::is_integral<T>::value, iterator>::type
260 operator()(T value) {
261 // MSVC2013 fails to compile separate overloads for bool and char_type so
262 // use std::is_same instead.
263 if (std::is_same<T, bool>::value) {
Victor Zverovich7110b462018-09-12 07:34:22 -0700264 format_specs &fmt_spec = *this->spec();
Victor Zverovich29246222018-10-17 09:15:29 -0700265 if (fmt_spec.type != 's')
Victor Zveroviche928b672018-07-04 11:36:38 -0700266 return base::operator()(value ? 1 : 0);
Victor Zverovich29246222018-10-17 09:15:29 -0700267 fmt_spec.type = 0;
Victor Zverovich479ee2a2018-07-04 13:17:03 -0700268 this->write(value != 0);
Victor Zveroviche928b672018-07-04 11:36:38 -0700269 } else if (std::is_same<T, char_type>::value) {
Victor Zverovich7110b462018-09-12 07:34:22 -0700270 format_specs &fmt_spec = *this->spec();
Victor Zverovich29246222018-10-17 09:15:29 -0700271 if (fmt_spec.type && fmt_spec.type != 'c')
Victor Zveroviche928b672018-07-04 11:36:38 -0700272 return (*this)(static_cast<int>(value));
Victor Zverovich29246222018-10-17 09:15:29 -0700273 fmt_spec.flags = 0;
Victor Zveroviche928b672018-07-04 11:36:38 -0700274 fmt_spec.align_ = ALIGN_RIGHT;
275 return base::operator()(value);
276 } else {
277 return base::operator()(value);
278 }
Victor Zverovich3cf05262018-03-30 08:20:12 -1000279 return this->out();
Glen Stark72d51e02016-06-08 01:23:32 +0200280 }
281
Victor Zveroviche928b672018-07-04 11:36:38 -0700282 template <typename T>
283 typename std::enable_if<std::is_floating_point<T>::value, iterator>::type
284 operator()(T value) {
Victor Zverovich3cf05262018-03-30 08:20:12 -1000285 return base::operator()(value);
Glen Stark72d51e02016-06-08 01:23:32 +0200286 }
287
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700288 /** Formats a null-terminated C string. */
Victor Zverovich3cf05262018-03-30 08:20:12 -1000289 iterator operator()(const char *value) {
Glen Stark72d51e02016-06-08 01:23:32 +0200290 if (value)
Victor Zverovichc0954452018-01-06 09:09:50 -0800291 base::operator()(value);
Victor Zverovich29246222018-10-17 09:15:29 -0700292 else if (this->spec()->type == 'p')
Daniela Engert2570f1a2018-04-26 20:32:14 +0200293 write_null_pointer(char_type());
Glen Stark72d51e02016-06-08 01:23:32 +0200294 else
295 this->write("(null)");
Victor Zverovich3cf05262018-03-30 08:20:12 -1000296 return this->out();
Glen Stark72d51e02016-06-08 01:23:32 +0200297 }
298
Daniela Engert2570f1a2018-04-26 20:32:14 +0200299 /** Formats a null-terminated wide C string. */
300 iterator operator()(const wchar_t *value) {
301 if (value)
302 base::operator()(value);
Victor Zverovich29246222018-10-17 09:15:29 -0700303 else if (this->spec()->type == 'p')
Daniela Engert2570f1a2018-04-26 20:32:14 +0200304 write_null_pointer(char_type());
305 else
306 this->write(L"(null)");
307 return this->out();
308 }
309
Victor Zverovich479ee2a2018-07-04 13:17:03 -0700310 iterator operator()(basic_string_view<char_type> value) {
311 return base::operator()(value);
312 }
313
314 iterator operator()(monostate value) {
315 return base::operator()(value);
316 }
317
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700318 /** Formats a pointer. */
Victor Zverovich3cf05262018-03-30 08:20:12 -1000319 iterator operator()(const void *value) {
Glen Stark72d51e02016-06-08 01:23:32 +0200320 if (value)
Victor Zverovichc0954452018-01-06 09:09:50 -0800321 return base::operator()(value);
Victor Zverovich29246222018-10-17 09:15:29 -0700322 this->spec()->type = 0;
Daniela Engert2570f1a2018-04-26 20:32:14 +0200323 write_null_pointer(char_type());
Victor Zverovich3cf05262018-03-30 08:20:12 -1000324 return this->out();
Glen Stark72d51e02016-06-08 01:23:32 +0200325 }
326
Victor Zverovich6ee9f2e2016-07-21 06:59:28 -0700327 /** Formats an argument of a custom (user-defined) type. */
Victor Zverovich23759b22018-04-04 07:38:21 -0700328 iterator operator()(typename basic_format_arg<context_type>::handle handle) {
Victor Zverovichc0954452018-01-06 09:09:50 -0800329 handle.format(context_);
Victor Zverovich3cf05262018-03-30 08:20:12 -1000330 return this->out();
Victor Zverovich5e0562a2017-08-13 13:09:02 -0700331 }
332};
333
Victor Zverovichc0954452018-01-06 09:09:50 -0800334template <typename T>
Victor Zverovich5e0562a2017-08-13 13:09:02 -0700335struct printf_formatter {
Victor Zverovich8cbf5442017-09-17 08:32:57 -0700336 template <typename ParseContext>
Victor Zverovich1b452532018-02-28 05:09:24 -0800337 auto parse(ParseContext &ctx) -> decltype(ctx.begin()) { return ctx.begin(); }
Victor Zverovich5e0562a2017-08-13 13:09:02 -0700338
Victor Zverovich91ee9c92018-01-14 11:00:27 -0800339 template <typename FormatContext>
Victor Zverovichfa9066f2018-04-22 09:16:32 -0700340 auto format(const T &value, FormatContext &ctx) -> decltype(ctx.out()) {
341 internal::format_value(internal::get_container(ctx.out()), value);
342 return ctx.out();
Glen Stark72d51e02016-06-08 01:23:32 +0200343 }
344};
345
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700346/** This template formats data and writes the output to a writer. */
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800347template <typename OutputIt, typename Char, typename ArgFormatter>
Victor Zverovich217e7c72018-01-14 07:19:23 -0800348class basic_printf_context :
Victor Zverovicha11eb3a2018-08-22 09:07:17 -0700349 // Inherit publicly as a workaround for the icc bug
350 // https://software.intel.com/en-us/forums/intel-c-compiler/topic/783476.
351 public internal::context_base<
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800352 OutputIt, basic_printf_context<OutputIt, Char, ArgFormatter>, Char> {
Victor Zverovich18dfa252016-10-21 06:46:21 -0700353 public:
354 /** The character type for the output. */
Victor Zverovichaffb35c2018-02-11 09:23:47 -0800355 typedef Char char_type;
Victor Zverovich5e0562a2017-08-13 13:09:02 -0700356
357 template <typename T>
Victor Zverovich522de7b2018-02-11 08:32:02 -0800358 struct formatter_type { typedef printf_formatter<T> type; };
Victor Zverovich18dfa252016-10-21 06:46:21 -0700359
Glen Stark72d51e02016-06-08 01:23:32 +0200360 private:
Victor Zverovichaffb35c2018-02-11 09:23:47 -0800361 typedef internal::context_base<OutputIt, basic_printf_context, Char> base;
362 typedef typename base::format_arg format_arg;
363 typedef basic_format_specs<char_type> format_specs;
364 typedef internal::null_terminating_iterator<char_type> iterator;
Victor Zverovichdafbec72016-10-07 08:37:06 -0700365
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700366 void parse_flags(format_specs &spec, iterator &it);
Glen Stark72d51e02016-06-08 01:23:32 +0200367
368 // Returns the argument with specified index or, if arg_index is equal
369 // to the maximum unsigned value, the next argument.
Victor Zverovichd705d512016-12-29 09:07:39 -0800370 format_arg get_arg(
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700371 iterator it,
Glen Stark72d51e02016-06-08 01:23:32 +0200372 unsigned arg_index = (std::numeric_limits<unsigned>::max)());
373
374 // Parses argument index, flags and width and returns the argument index.
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700375 unsigned parse_header(iterator &it, format_specs &spec);
Glen Stark72d51e02016-06-08 01:23:32 +0200376
377 public:
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700378 /**
379 \rst
Victor Zverovich9998f662016-11-06 16:11:24 -0800380 Constructs a ``printf_context`` object. References to the arguments and
381 the writer are stored in the context object so make sure they have
Victor Zverovichab054532016-07-20 08:21:13 -0700382 appropriate lifetimes.
Victor Zverovichd4ddaaf2016-07-20 08:09:14 -0700383 \endrst
384 */
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800385 basic_printf_context(OutputIt out, basic_string_view<char_type> format_str,
Victor Zverovich217e7c72018-01-14 07:19:23 -0800386 basic_format_args<basic_printf_context> args)
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800387 : base(out, format_str, args) {}
Victor Zverovich8cbf5442017-09-17 08:32:57 -0700388
Victor Zverovich91ee9c92018-01-14 11:00:27 -0800389 using base::parse_context;
Victor Zverovichfa9066f2018-04-22 09:16:32 -0700390 using base::out;
Victor Zverovich91ee9c92018-01-14 11:00:27 -0800391 using base::advance_to;
Victor Zverovich9998f662016-11-06 16:11:24 -0800392
Victor Zverovichc0954452018-01-06 09:09:50 -0800393 /** Formats stored arguments and writes the output to the range. */
Victor Zverovich08dff372018-01-28 20:50:43 -0800394 void format();
Glen Stark72d51e02016-06-08 01:23:32 +0200395};
396
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800397template <typename OutputIt, typename Char, typename AF>
398void basic_printf_context<OutputIt, Char, AF>::parse_flags(
Victor Zverovich217e7c72018-01-14 07:19:23 -0800399 format_specs &spec, iterator &it) {
Glen Stark72d51e02016-06-08 01:23:32 +0200400 for (;;) {
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700401 switch (*it++) {
Glen Stark72d51e02016-06-08 01:23:32 +0200402 case '-':
403 spec.align_ = ALIGN_LEFT;
404 break;
405 case '+':
Victor Zverovich29246222018-10-17 09:15:29 -0700406 spec.flags |= SIGN_FLAG | PLUS_FLAG;
Glen Stark72d51e02016-06-08 01:23:32 +0200407 break;
408 case '0':
409 spec.fill_ = '0';
410 break;
411 case ' ':
Victor Zverovich29246222018-10-17 09:15:29 -0700412 spec.flags |= SIGN_FLAG;
Glen Stark72d51e02016-06-08 01:23:32 +0200413 break;
414 case '#':
Victor Zverovich29246222018-10-17 09:15:29 -0700415 spec.flags |= HASH_FLAG;
Glen Stark72d51e02016-06-08 01:23:32 +0200416 break;
417 default:
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700418 --it;
Glen Stark72d51e02016-06-08 01:23:32 +0200419 return;
420 }
421 }
422}
423
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800424template <typename OutputIt, typename Char, typename AF>
425typename basic_printf_context<OutputIt, Char, AF>::format_arg
426 basic_printf_context<OutputIt, Char, AF>::get_arg(
427 iterator it, unsigned arg_index) {
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700428 (void)it;
Victor Zverovichc523dd52017-11-19 07:36:01 -0800429 if (arg_index == std::numeric_limits<unsigned>::max())
Victor Zverovich67928ea2018-01-14 09:27:40 -0800430 return this->do_get_arg(this->parse_context().next_arg_id());
Victor Zverovich91ee9c92018-01-14 11:00:27 -0800431 return base::get_arg(arg_index - 1);
Glen Stark72d51e02016-06-08 01:23:32 +0200432}
433
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800434template <typename OutputIt, typename Char, typename AF>
435unsigned basic_printf_context<OutputIt, Char, AF>::parse_header(
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700436 iterator &it, format_specs &spec) {
Glen Stark72d51e02016-06-08 01:23:32 +0200437 unsigned arg_index = std::numeric_limits<unsigned>::max();
Victor Zverovichc0954452018-01-06 09:09:50 -0800438 char_type c = *it;
Glen Stark72d51e02016-06-08 01:23:32 +0200439 if (c >= '0' && c <= '9') {
440 // Parse an argument index (if followed by '$') or a width possibly
441 // preceded with '0' flag(s).
Victor Zverovich932ab2b2017-10-21 08:37:52 -0700442 internal::error_handler eh;
443 unsigned value = parse_nonnegative_int(it, eh);
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700444 if (*it == '$') { // value is an argument index
445 ++it;
Glen Stark72d51e02016-06-08 01:23:32 +0200446 arg_index = value;
447 } else {
448 if (c == '0')
449 spec.fill_ = '0';
450 if (value != 0) {
451 // Nonzero value means that we parsed width and don't need to
452 // parse it or flags again, so return now.
453 spec.width_ = value;
454 return arg_index;
455 }
456 }
457 }
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700458 parse_flags(spec, it);
Glen Stark72d51e02016-06-08 01:23:32 +0200459 // Parse width.
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700460 if (*it >= '0' && *it <= '9') {
Victor Zverovich932ab2b2017-10-21 08:37:52 -0700461 internal::error_handler eh;
462 spec.width_ = parse_nonnegative_int(it, eh);
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700463 } else if (*it == '*') {
464 ++it;
Victor Zverovichf5480632018-10-05 07:15:41 -0700465 spec.width_ = visit_format_arg(
466 internal::printf_width_handler<char_type>(spec), get_arg(it));
Glen Stark72d51e02016-06-08 01:23:32 +0200467 }
468 return arg_index;
469}
470
Victor Zverovichbd8a7e72018-01-21 14:30:38 -0800471template <typename OutputIt, typename Char, typename AF>
472void basic_printf_context<OutputIt, Char, AF>::format() {
Victor Zverovichfa9066f2018-04-22 09:16:32 -0700473 auto &buffer = internal::get_container(this->out());
Victor Zverovich67928ea2018-01-14 09:27:40 -0800474 auto start = iterator(this->parse_context());
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700475 auto it = start;
476 using internal::pointer_from;
477 while (*it) {
Victor Zverovichc0954452018-01-06 09:09:50 -0800478 char_type c = *it++;
Glen Stark72d51e02016-06-08 01:23:32 +0200479 if (c != '%') continue;
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700480 if (*it == c) {
481 buffer.append(pointer_from(start), pointer_from(it));
482 start = ++it;
Glen Stark72d51e02016-06-08 01:23:32 +0200483 continue;
484 }
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700485 buffer.append(pointer_from(start), pointer_from(it) - 1);
Glen Stark72d51e02016-06-08 01:23:32 +0200486
Victor Zverovich296e9ca2017-01-28 12:51:35 +0000487 format_specs spec;
Glen Stark72d51e02016-06-08 01:23:32 +0200488 spec.align_ = ALIGN_RIGHT;
489
490 // Parse argument index, flags and width.
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700491 unsigned arg_index = parse_header(it, spec);
Glen Stark72d51e02016-06-08 01:23:32 +0200492
493 // Parse precision.
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700494 if (*it == '.') {
495 ++it;
496 if ('0' <= *it && *it <= '9') {
Victor Zverovich932ab2b2017-10-21 08:37:52 -0700497 internal::error_handler eh;
Victor Zverovich29246222018-10-17 09:15:29 -0700498 spec.precision = static_cast<int>(parse_nonnegative_int(it, eh));
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700499 } else if (*it == '*') {
500 ++it;
Victor Zverovich29246222018-10-17 09:15:29 -0700501 spec.precision =
Victor Zverovichf5480632018-10-05 07:15:41 -0700502 visit_format_arg(internal::printf_precision_handler(), get_arg(it));
Victor Zverovich50605682018-01-27 17:56:19 -0800503 } else {
Victor Zverovich29246222018-10-17 09:15:29 -0700504 spec.precision = 0;
Glen Stark72d51e02016-06-08 01:23:32 +0200505 }
506 }
507
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700508 format_arg arg = get_arg(it, arg_index);
Victor Zverovich29246222018-10-17 09:15:29 -0700509 if (spec.has(HASH_FLAG) && visit_format_arg(internal::is_zero_int(), arg))
510 spec.flags &= ~internal::to_unsigned<int>(HASH_FLAG);
Glen Stark72d51e02016-06-08 01:23:32 +0200511 if (spec.fill_ == '0') {
Victor Zverovich7cea1632017-12-09 06:19:15 -0800512 if (arg.is_arithmetic())
Glen Stark72d51e02016-06-08 01:23:32 +0200513 spec.align_ = ALIGN_NUMERIC;
514 else
515 spec.fill_ = ' '; // Ignore '0' flag for non-numeric types.
516 }
517
518 // Parse length and convert the argument to the required type.
Victor Zverovich751ff642016-11-19 08:40:24 -0800519 using internal::convert_arg;
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700520 switch (*it++) {
Glen Stark72d51e02016-06-08 01:23:32 +0200521 case 'h':
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700522 if (*it == 'h')
523 convert_arg<signed char>(arg, *++it);
Glen Stark72d51e02016-06-08 01:23:32 +0200524 else
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700525 convert_arg<short>(arg, *it);
Glen Stark72d51e02016-06-08 01:23:32 +0200526 break;
527 case 'l':
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700528 if (*it == 'l')
Victor Zverovich016aceb2017-08-26 09:09:43 -0700529 convert_arg<long long>(arg, *++it);
Glen Stark72d51e02016-06-08 01:23:32 +0200530 else
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700531 convert_arg<long>(arg, *it);
Glen Stark72d51e02016-06-08 01:23:32 +0200532 break;
533 case 'j':
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700534 convert_arg<intmax_t>(arg, *it);
Glen Stark72d51e02016-06-08 01:23:32 +0200535 break;
536 case 'z':
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700537 convert_arg<std::size_t>(arg, *it);
Glen Stark72d51e02016-06-08 01:23:32 +0200538 break;
539 case 't':
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700540 convert_arg<std::ptrdiff_t>(arg, *it);
Glen Stark72d51e02016-06-08 01:23:32 +0200541 break;
542 case 'L':
543 // printf produces garbage when 'L' is omitted for long double, no
544 // need to do the same.
545 break;
546 default:
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700547 --it;
548 convert_arg<void>(arg, *it);
Glen Stark72d51e02016-06-08 01:23:32 +0200549 }
550
551 // Parse type.
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700552 if (!*it)
Victor Zverovich9bb213e2016-08-25 08:38:07 -0700553 FMT_THROW(format_error("invalid format string"));
Victor Zverovich29246222018-10-17 09:15:29 -0700554 spec.type = static_cast<char>(*it++);
Victor Zverovich0854f8c2016-12-11 13:22:45 -0800555 if (arg.is_integral()) {
Glen Stark72d51e02016-06-08 01:23:32 +0200556 // Normalize type.
Victor Zverovich29246222018-10-17 09:15:29 -0700557 switch (spec.type) {
Glen Stark72d51e02016-06-08 01:23:32 +0200558 case 'i': case 'u':
Victor Zverovich29246222018-10-17 09:15:29 -0700559 spec.type = 'd';
Glen Stark72d51e02016-06-08 01:23:32 +0200560 break;
561 case 'c':
Daniela Engert2570f1a2018-04-26 20:32:14 +0200562 // TODO: handle wchar_t better?
Victor Zverovichf5480632018-10-05 07:15:41 -0700563 visit_format_arg(
564 internal::char_converter<basic_printf_context>(arg), arg);
Glen Stark72d51e02016-06-08 01:23:32 +0200565 break;
566 }
567 }
568
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700569 start = it;
Glen Stark72d51e02016-06-08 01:23:32 +0200570
571 // Format argument.
Victor Zverovichf5480632018-10-05 07:15:41 -0700572 visit_format_arg(AF(buffer, spec, *this), arg);
Glen Stark72d51e02016-06-08 01:23:32 +0200573 }
Victor Zverovich2f4f49f2017-07-18 19:40:48 -0700574 buffer.append(pointer_from(start), pointer_from(it));
Glen Stark72d51e02016-06-08 01:23:32 +0200575}
Glen Stark72d51e02016-06-08 01:23:32 +0200576
Victor Zverovich217e7c72018-01-14 07:19:23 -0800577template <typename Buffer>
tnovotnye37d6a92018-11-22 22:57:07 +0100578struct basic_printf_context_t {
Victor Zverovichaffb35c2018-02-11 09:23:47 -0800579 typedef basic_printf_context<
580 std::back_insert_iterator<Buffer>, typename Buffer::value_type> type;
581};
Victor Zverovich217e7c72018-01-14 07:19:23 -0800582
tnovotnye37d6a92018-11-22 22:57:07 +0100583typedef basic_printf_context_t<internal::buffer>::type printf_context;
584typedef basic_printf_context_t<internal::wbuffer>::type wprintf_context;
585
586typedef basic_format_args<printf_context> printf_args;
587typedef basic_format_args<wprintf_context> wprintf_args;
588
589/**
590 \rst
591 Constructs an `~fmt::format_arg_store` object that contains references to
592 arguments and can be implicitly converted to `~fmt::printf_args`.
593 \endrst
594 */
595template<typename... Args>
596inline format_arg_store<printf_context, Args...>
597 make_printf_args(const Args &... args) { return {args...}; }
598
599/**
600 \rst
601 Constructs an `~fmt::format_arg_store` object that contains references to
602 arguments and can be implicitly converted to `~fmt::wprintf_args`.
603 \endrst
604 */
605template<typename... Args>
606inline format_arg_store<wprintf_context, Args...>
607 make_wprintf_args(const Args &... args) { return {args...}; }
Victor Zverovich0854f8c2016-12-11 13:22:45 -0800608
Victor Zverovich0a96c032018-10-25 07:20:02 -0700609template <typename S, typename Char = FMT_CHAR(S)>
Daniela Engertf27defc2018-10-07 14:38:29 +0200610inline std::basic_string<Char>
Victor Zverovich0a96c032018-10-25 07:20:02 -0700611vsprintf(const S &format,
tnovotnye37d6a92018-11-22 22:57:07 +0100612 basic_format_args<typename basic_printf_context_t<
Daniela Engertf27defc2018-10-07 14:38:29 +0200613 internal::basic_buffer<Char>>::type> args) {
614 basic_memory_buffer<Char> buffer;
Victor Zverovich0a96c032018-10-25 07:20:02 -0700615 printf(buffer, to_string_view(format), args);
Victor Zverovichfefaf072017-02-14 16:29:47 -0500616 return to_string(buffer);
Victor Zverovich0028ce52016-08-26 17:23:13 -0700617}
618
Glen Stark72d51e02016-06-08 01:23:32 +0200619/**
620 \rst
621 Formats arguments and returns the result as a string.
622
623 **Example**::
624
625 std::string message = fmt::sprintf("The answer is %d", 42);
626 \endrst
627*/
Daniela Engertf27defc2018-10-07 14:38:29 +0200628template <typename S, typename... Args>
629inline FMT_ENABLE_IF_STRING(S, std::basic_string<FMT_CHAR(S)>)
Victor Zverovich0a96c032018-10-25 07:20:02 -0700630 sprintf(const S &format, const Args & ... args) {
631 internal::check_format_string<Args...>(format);
Daniela Engertf27defc2018-10-07 14:38:29 +0200632 typedef internal::basic_buffer<FMT_CHAR(S)> buffer;
tnovotnye37d6a92018-11-22 22:57:07 +0100633 typedef typename basic_printf_context_t<buffer>::type context;
Daniela Engertf27defc2018-10-07 14:38:29 +0200634 format_arg_store<context, Args...> as{ args... };
Victor Zverovich0a96c032018-10-25 07:20:02 -0700635 return vsprintf(to_string_view(format),
Daniela Engertf27defc2018-10-07 14:38:29 +0200636 basic_format_args<context>(as));
Victor Zverovich0028ce52016-08-26 17:23:13 -0700637}
638
Victor Zverovich0a96c032018-10-25 07:20:02 -0700639template <typename S, typename Char = FMT_CHAR(S)>
640inline int vfprintf(std::FILE *f, const S &format,
tnovotnye37d6a92018-11-22 22:57:07 +0100641 basic_format_args<typename basic_printf_context_t<
Daniela Engert2570f1a2018-04-26 20:32:14 +0200642 internal::basic_buffer<Char>>::type> args) {
643 basic_memory_buffer<Char> buffer;
Victor Zverovich0a96c032018-10-25 07:20:02 -0700644 printf(buffer, to_string_view(format), args);
Victor Zverovich955062d2017-12-17 08:36:19 -0800645 std::size_t size = buffer.size();
646 return std::fwrite(
Daniela Engert2570f1a2018-04-26 20:32:14 +0200647 buffer.data(), sizeof(Char), size, f) < size ? -1 : static_cast<int>(size);
Victor Zverovich955062d2017-12-17 08:36:19 -0800648}
Glen Stark72d51e02016-06-08 01:23:32 +0200649
650/**
651 \rst
652 Prints formatted data to the file *f*.
653
654 **Example**::
655
656 fmt::fprintf(stderr, "Don't %s!", "panic");
657 \endrst
658 */
Daniela Engertf27defc2018-10-07 14:38:29 +0200659template <typename S, typename... Args>
660inline FMT_ENABLE_IF_STRING(S, int)
Victor Zverovich0a96c032018-10-25 07:20:02 -0700661 fprintf(std::FILE *f, const S &format, const Args & ... args) {
662 internal::check_format_string<Args...>(format);
Daniela Engertf27defc2018-10-07 14:38:29 +0200663 typedef internal::basic_buffer<FMT_CHAR(S)> buffer;
tnovotnye37d6a92018-11-22 22:57:07 +0100664 typedef typename basic_printf_context_t<buffer>::type context;
Daniela Engertf27defc2018-10-07 14:38:29 +0200665 format_arg_store<context, Args...> as{ args... };
Victor Zverovich0a96c032018-10-25 07:20:02 -0700666 return vfprintf(f, to_string_view(format),
Daniela Engertf27defc2018-10-07 14:38:29 +0200667 basic_format_args<context>(as));
Victor Zverovich0028ce52016-08-26 17:23:13 -0700668}
669
Victor Zverovich0a96c032018-10-25 07:20:02 -0700670template <typename S, typename Char = FMT_CHAR(S)>
671inline int vprintf(const S &format,
tnovotnye37d6a92018-11-22 22:57:07 +0100672 basic_format_args<typename basic_printf_context_t<
Daniela Engertf27defc2018-10-07 14:38:29 +0200673 internal::basic_buffer<Char>>::type> args) {
Victor Zverovich0a96c032018-10-25 07:20:02 -0700674 return vfprintf(stdout, to_string_view(format), args);
Daniela Engert2570f1a2018-04-26 20:32:14 +0200675}
676
Glen Stark72d51e02016-06-08 01:23:32 +0200677/**
678 \rst
679 Prints formatted data to ``stdout``.
680
681 **Example**::
682
683 fmt::printf("Elapsed time: %.2f seconds", 1.23);
684 \endrst
685 */
Daniela Engertf27defc2018-10-07 14:38:29 +0200686template <typename S, typename... Args>
687inline FMT_ENABLE_IF_STRING(S, int)
688 printf(const S &format_str, const Args & ... args) {
689 internal::check_format_string<Args...>(format_str);
690 typedef internal::basic_buffer<FMT_CHAR(S)> buffer;
tnovotnye37d6a92018-11-22 22:57:07 +0100691 typedef typename basic_printf_context_t<buffer>::type context;
Daniela Engertf27defc2018-10-07 14:38:29 +0200692 format_arg_store<context, Args...> as{ args... };
Daniela Engert2c81c852018-10-08 20:14:39 +0200693 return vprintf(to_string_view(format_str),
Daniela Engertf27defc2018-10-07 14:38:29 +0200694 basic_format_args<context>(as));
Glen Stark72d51e02016-06-08 01:23:32 +0200695}
Victor Zverovich0028ce52016-08-26 17:23:13 -0700696
Victor Zverovich0a96c032018-10-25 07:20:02 -0700697template <typename S, typename Char = FMT_CHAR(S)>
Daniela Engertf27defc2018-10-07 14:38:29 +0200698inline int vfprintf(std::basic_ostream<Char> &os,
Victor Zverovich0a96c032018-10-25 07:20:02 -0700699 const S &format,
tnovotnye37d6a92018-11-22 22:57:07 +0100700 basic_format_args<typename basic_printf_context_t<
Daniela Engertf27defc2018-10-07 14:38:29 +0200701 internal::basic_buffer<Char>>::type> args) {
702 basic_memory_buffer<Char> buffer;
Victor Zverovich0a96c032018-10-25 07:20:02 -0700703 printf(buffer, to_string_view(format), args);
Daniela Engert2570f1a2018-04-26 20:32:14 +0200704 internal::write(os, buffer);
705 return static_cast<int>(buffer.size());
706}
707
Victor Zverovich9dbb60c2016-08-03 08:52:05 -0700708/**
709 \rst
710 Prints formatted data to the stream *os*.
711
712 **Example**::
713
Victor Zverovich40232912018-03-04 09:55:17 -0800714 fmt::fprintf(cerr, "Don't %s!", "panic");
Victor Zverovich9dbb60c2016-08-03 08:52:05 -0700715 \endrst
716 */
Daniela Engertf27defc2018-10-07 14:38:29 +0200717template <typename S, typename... Args>
718inline FMT_ENABLE_IF_STRING(S, int)
719 fprintf(std::basic_ostream<FMT_CHAR(S)> &os,
720 const S &format_str, const Args & ... args) {
721 internal::check_format_string<Args...>(format_str);
722 typedef internal::basic_buffer<FMT_CHAR(S)> buffer;
tnovotnye37d6a92018-11-22 22:57:07 +0100723 typedef typename basic_printf_context_t<buffer>::type context;
Daniela Engertf27defc2018-10-07 14:38:29 +0200724 format_arg_store<context, Args...> as{ args... };
Daniela Engert2c81c852018-10-08 20:14:39 +0200725 return vfprintf(os, to_string_view(format_str),
Daniela Engertf27defc2018-10-07 14:38:29 +0200726 basic_format_args<context>(as));
Daniela Engert2570f1a2018-04-26 20:32:14 +0200727}
Victor Zverovich838400d2018-05-12 08:33:51 -0700728FMT_END_NAMESPACE
Glen Stark72d51e02016-06-08 01:23:32 +0200729
730#endif // FMT_PRINTF_H_