| Victor Zverovich | c095445 | 2018-01-06 09:09:50 -0800 | [diff] [blame] | 1 | // 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. |
| Victor Zverovich | b076df4 | 2012-12-07 08:31:09 -0800 | [diff] [blame] | 7 | |
| Victor Zverovich | 3da71d5 | 2018-03-21 07:50:59 -0700 | [diff] [blame] | 8 | #ifndef FMT_FORMAT_INL_H_ |
| 9 | #define FMT_FORMAT_INL_H_ |
| 10 | |
| Victor Zverovich | f853d94 | 2018-01-20 10:28:10 -0800 | [diff] [blame] | 11 | #include "format.h" |
| Victor Zverovich | fbfedcf | 2013-01-14 15:16:20 -0800 | [diff] [blame] | 12 | |
| Victor Zverovich | 859a497 | 2014-04-30 06:55:21 -0700 | [diff] [blame] | 13 | #include <string.h> |
| 14 | |
| Victor Zverovich | 72f896d | 2012-12-12 09:17:28 -0800 | [diff] [blame] | 15 | #include <cctype> |
| Victor Zverovich | 5d15bdd | 2014-07-01 16:23:50 -0700 | [diff] [blame] | 16 | #include <cerrno> |
| Victor Zverovich | f28645f | 2014-04-24 12:37:06 -0700 | [diff] [blame] | 17 | #include <climits> |
| Victor Zverovich | 9ff3b97 | 2013-09-07 10:15:08 -0700 | [diff] [blame] | 18 | #include <cmath> |
| Victor Zverovich | a684d0c | 2013-12-27 08:00:10 -0800 | [diff] [blame] | 19 | #include <cstdarg> |
| vitaut | 7dcf051 | 2015-11-13 06:52:13 -0800 | [diff] [blame] | 20 | #include <cstddef> // for std::ptrdiff_t |
| Victor Zverovich | 0de44a4 | 2018-08-26 08:12:35 -0700 | [diff] [blame] | 21 | #include <cstring> // for std::memmove |
| Thomas Bernard | abde38b | 2018-08-17 11:22:56 +0200 | [diff] [blame] | 22 | #if !defined(FMT_STATIC_THOUSANDS_SEPARATOR) |
| 23 | # include <locale> |
| 24 | #endif |
| Victor Zverovich | 9ff3b97 | 2013-09-07 10:15:08 -0700 | [diff] [blame] | 25 | |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 26 | #if FMT_USE_WINDOWS_H |
| Victor Zverovich | c753a2a | 2018-01-28 20:26:25 -0800 | [diff] [blame] | 27 | # if !defined(FMT_HEADER_ONLY) && !defined(WIN32_LEAN_AND_MEAN) |
| 28 | # define WIN32_LEAN_AND_MEAN |
| 29 | # endif |
| vitaut | 67ce394 | 2015-04-30 07:48:36 -0700 | [diff] [blame] | 30 | # if defined(NOMINMAX) || defined(FMT_WIN_MINMAX) |
| 31 | # include <windows.h> |
| 32 | # else |
| 33 | # define NOMINMAX |
| 34 | # include <windows.h> |
| 35 | # undef NOMINMAX |
| 36 | # endif |
| Ryuuke | 5a9dc8f | 2015-02-08 16:08:29 +0000 | [diff] [blame] | 37 | #endif |
| 38 | |
| Victor Zverovich | 8b76e97 | 2014-10-06 08:30:55 -0700 | [diff] [blame] | 39 | #if FMT_EXCEPTIONS |
| 40 | # define FMT_TRY try |
| 41 | # define FMT_CATCH(x) catch (x) |
| 42 | #else |
| 43 | # define FMT_TRY if (true) |
| 44 | # define FMT_CATCH(x) if (false) |
| 45 | #endif |
| 46 | |
| Ingo van Lil | b4b13ee | 2015-11-02 12:34:46 +0100 | [diff] [blame] | 47 | #ifdef _MSC_VER |
| jdale88 | a9862fd | 2014-03-11 18:56:24 +0000 | [diff] [blame] | 48 | # pragma warning(push) |
| Victor Zverovich | 8b76e97 | 2014-10-06 08:30:55 -0700 | [diff] [blame] | 49 | # pragma warning(disable: 4127) // conditional expression is constant |
| Daniel.Perry | bd0067e | 2014-11-25 18:01:09 -0500 | [diff] [blame] | 50 | # pragma warning(disable: 4702) // unreachable code |
| vitaut | df47d81 | 2015-03-16 18:53:14 -0700 | [diff] [blame] | 51 | // Disable deprecation warning for strerror. The latter is not called but |
| 52 | // MSVC fails to detect it. |
| 53 | # pragma warning(disable: 4996) |
| jdale88 | a9862fd | 2014-03-11 18:56:24 +0000 | [diff] [blame] | 54 | #endif |
| 55 | |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 56 | // Dummy implementations of strerror_r and strerror_s called if corresponding |
| 57 | // system functions are not available. |
| Victor Zverovich | 6cb68f9 | 2018-02-10 06:28:33 -0800 | [diff] [blame] | 58 | inline fmt::internal::null<> strerror_r(int, char *, ...) { |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 59 | return fmt::internal::null<>(); |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 60 | } |
| Victor Zverovich | 6cb68f9 | 2018-02-10 06:28:33 -0800 | [diff] [blame] | 61 | inline fmt::internal::null<> strerror_s(char *, std::size_t, ...) { |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 62 | return fmt::internal::null<>(); |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 63 | } |
| 64 | |
| Victor Zverovich | 838400d | 2018-05-12 08:33:51 -0700 | [diff] [blame] | 65 | FMT_BEGIN_NAMESPACE |
| Victor Zverovich | b26e76e | 2016-06-14 08:11:33 -0700 | [diff] [blame] | 66 | |
| Victor Zverovich | 9ff3b97 | 2013-09-07 10:15:08 -0700 | [diff] [blame] | 67 | namespace { |
| 68 | |
| 69 | #ifndef _MSC_VER |
| Victor Zverovich | b9a568b | 2014-09-19 07:51:42 -0700 | [diff] [blame] | 70 | # define FMT_SNPRINTF snprintf |
| Victor Zverovich | a684d0c | 2013-12-27 08:00:10 -0800 | [diff] [blame] | 71 | #else // _MSC_VER |
| Victor Zverovich | 406c612 | 2014-08-19 08:47:38 -0700 | [diff] [blame] | 72 | inline int fmt_snprintf(char *buffer, size_t size, const char *format, ...) { |
| Victor Zverovich | a684d0c | 2013-12-27 08:00:10 -0800 | [diff] [blame] | 73 | va_list args; |
| 74 | va_start(args, format); |
| 75 | int result = vsnprintf_s(buffer, size, _TRUNCATE, format, args); |
| 76 | va_end(args); |
| 77 | return result; |
| 78 | } |
| Victor Zverovich | b9a568b | 2014-09-19 07:51:42 -0700 | [diff] [blame] | 79 | # define FMT_SNPRINTF fmt_snprintf |
| Victor Zverovich | 9ff3b97 | 2013-09-07 10:15:08 -0700 | [diff] [blame] | 80 | #endif // _MSC_VER |
| Victor Zverovich | 43fe100 | 2014-02-19 14:20:26 -0800 | [diff] [blame] | 81 | |
| cstamford | 55836ca | 2015-03-10 07:04:31 +0000 | [diff] [blame] | 82 | #if defined(_WIN32) && defined(__MINGW32__) && !defined(__NO_ISOCEXT) |
| 83 | # define FMT_SWPRINTF snwprintf |
| 84 | #else |
| 85 | # define FMT_SWPRINTF swprintf |
| 86 | #endif // defined(_WIN32) && defined(__MINGW32__) && !defined(__NO_ISOCEXT) |
| 87 | |
| Victor Zverovich | c2fecb9 | 2018-01-14 14:15:59 -0800 | [diff] [blame] | 88 | typedef void (*FormatFunc)(internal::buffer &, int, string_view); |
| Victor Zverovich | 22f75d8 | 2014-09-03 08:03:05 -0700 | [diff] [blame] | 89 | |
| Victor Zverovich | f2c9df8 | 2014-09-05 08:44:41 -0700 | [diff] [blame] | 90 | // Portable thread-safe version of strerror. |
| 91 | // Sets buffer to point to a string describing the error code. |
| 92 | // This can be either a pointer to a string stored in buffer, |
| 93 | // or a pointer to some static immutable string. |
| 94 | // Returns one of the following values: |
| 95 | // 0 - success |
| 96 | // ERANGE - buffer is not large enough to store the error message |
| 97 | // other - failure |
| 98 | // Buffer should be at least of size 1. |
| 99 | int safe_strerror( |
| Carter Li | e2583ab | 2015-02-14 09:58:29 +0800 | [diff] [blame] | 100 | int error_code, char *&buffer, std::size_t buffer_size) FMT_NOEXCEPT { |
| Victor Zverovich | 92a250f | 2018-02-07 07:16:00 -0800 | [diff] [blame] | 101 | FMT_ASSERT(buffer != FMT_NULL && buffer_size != 0, "invalid buffer"); |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 102 | |
| Victor Zverovich | 69823bf | 2018-05-19 08:57:31 -0700 | [diff] [blame] | 103 | class dispatcher { |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 104 | private: |
| 105 | int error_code_; |
| 106 | char *&buffer_; |
| 107 | std::size_t buffer_size_; |
| 108 | |
| vitaut | da052ae | 2015-03-21 07:53:39 -0700 | [diff] [blame] | 109 | // A noop assignment operator to avoid bogus warnings. |
| Victor Zverovich | 69823bf | 2018-05-19 08:57:31 -0700 | [diff] [blame] | 110 | void operator=(const dispatcher &) {} |
| vitaut | da052ae | 2015-03-21 07:53:39 -0700 | [diff] [blame] | 111 | |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 112 | // Handle the result of XSI-compliant version of strerror_r. |
| 113 | int handle(int result) { |
| vitaut | e1776ac | 2015-03-14 14:05:02 -0700 | [diff] [blame] | 114 | // glibc versions before 2.13 return result in errno. |
| 115 | return result == -1 ? errno : result; |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 116 | } |
| 117 | |
| 118 | // Handle the result of GNU-specific version of strerror_r. |
| 119 | int handle(char *message) { |
| 120 | // If the buffer is full then the message is probably truncated. |
| 121 | if (message == buffer_ && strlen(buffer_) == buffer_size_ - 1) |
| 122 | return ERANGE; |
| 123 | buffer_ = message; |
| 124 | return 0; |
| 125 | } |
| 126 | |
| 127 | // Handle the case when strerror_r is not available. |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 128 | int handle(internal::null<>) { |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 129 | return fallback(strerror_s(buffer_, buffer_size_, error_code_)); |
| 130 | } |
| 131 | |
| 132 | // Fallback to strerror_s when strerror_r is not available. |
| 133 | int fallback(int result) { |
| 134 | // If the buffer is full then the message is probably truncated. |
| 135 | return result == 0 && strlen(buffer_) == buffer_size_ - 1 ? |
| 136 | ERANGE : result; |
| 137 | } |
| 138 | |
| 139 | // Fallback to strerror if strerror_r and strerror_s are not available. |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 140 | int fallback(internal::null<>) { |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 141 | errno = 0; |
| 142 | buffer_ = strerror(error_code_); |
| 143 | return errno; |
| 144 | } |
| 145 | |
| 146 | public: |
| Victor Zverovich | 69823bf | 2018-05-19 08:57:31 -0700 | [diff] [blame] | 147 | dispatcher(int err_code, char *&buf, std::size_t buf_size) |
| Radu Popescu | 0affb23 | 2015-08-04 12:52:44 +0200 | [diff] [blame] | 148 | : error_code_(err_code), buffer_(buf), buffer_size_(buf_size) {} |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 149 | |
| vitaut | 63f6c10 | 2015-06-14 09:36:23 -0700 | [diff] [blame] | 150 | int run() { |
| vitaut | 63f6c10 | 2015-06-14 09:36:23 -0700 | [diff] [blame] | 151 | return handle(strerror_r(error_code_, buffer_, buffer_size_)); |
| 152 | } |
| vitaut | 341b98c | 2015-03-14 13:39:33 -0700 | [diff] [blame] | 153 | }; |
| Victor Zverovich | 69823bf | 2018-05-19 08:57:31 -0700 | [diff] [blame] | 154 | return dispatcher(error_code, buffer, buffer_size).run(); |
| Victor Zverovich | f2c9df8 | 2014-09-05 08:44:41 -0700 | [diff] [blame] | 155 | } |
| 156 | |
| Victor Zverovich | c2fecb9 | 2018-01-14 14:15:59 -0800 | [diff] [blame] | 157 | void format_error_code(internal::buffer &out, int error_code, |
| Victor Zverovich | 50e7167 | 2017-02-18 06:52:52 -0800 | [diff] [blame] | 158 | string_view message) FMT_NOEXCEPT { |
| Victor Zverovich | 22f75d8 | 2014-09-03 08:03:05 -0700 | [diff] [blame] | 159 | // Report error code making sure that the output fits into |
| Victor Zverovich | f1ede63 | 2018-03-04 10:33:42 -0800 | [diff] [blame] | 160 | // inline_buffer_size to avoid dynamic memory allocation and potential |
| Victor Zverovich | 22f75d8 | 2014-09-03 08:03:05 -0700 | [diff] [blame] | 161 | // bad_alloc. |
| Victor Zverovich | f423e46 | 2017-03-11 07:43:26 -0800 | [diff] [blame] | 162 | out.resize(0); |
| Victor Zverovich | 22f75d8 | 2014-09-03 08:03:05 -0700 | [diff] [blame] | 163 | static const char SEP[] = ": "; |
| vitaut | 1addec9 | 2015-03-21 20:16:36 -0700 | [diff] [blame] | 164 | static const char ERROR_STR[] = "error "; |
| vitaut | 1addec9 | 2015-03-21 20:16:36 -0700 | [diff] [blame] | 165 | // Subtract 2 to account for terminating null characters in SEP and ERROR_STR. |
| 166 | std::size_t error_code_size = sizeof(SEP) + sizeof(ERROR_STR) - 2; |
| Victor Zverovich | 6a2ff28 | 2017-02-19 06:46:51 -0800 | [diff] [blame] | 167 | typedef internal::int_traits<int>::main_type main_type; |
| 168 | main_type abs_value = static_cast<main_type>(error_code); |
| vitaut | 9d577ca | 2016-03-02 07:01:21 -0800 | [diff] [blame] | 169 | if (internal::is_negative(error_code)) { |
| 170 | abs_value = 0 - abs_value; |
| 171 | ++error_code_size; |
| 172 | } |
| vitaut | bfdca8b | 2016-04-20 09:11:33 -0700 | [diff] [blame] | 173 | error_code_size += internal::count_digits(abs_value); |
| Victor Zverovich | 217e7c7 | 2018-01-14 07:19:23 -0800 | [diff] [blame] | 174 | writer w(out); |
| Victor Zverovich | f1ede63 | 2018-03-04 10:33:42 -0800 | [diff] [blame] | 175 | if (message.size() <= inline_buffer_size - error_code_size) { |
| Victor Zverovich | fefaf07 | 2017-02-14 16:29:47 -0500 | [diff] [blame] | 176 | w.write(message); |
| 177 | w.write(SEP); |
| Victor Zverovich | ec15ef7 | 2017-01-22 07:40:21 -0800 | [diff] [blame] | 178 | } |
| Victor Zverovich | fefaf07 | 2017-02-14 16:29:47 -0500 | [diff] [blame] | 179 | w.write(ERROR_STR); |
| 180 | w.write(error_code); |
| Victor Zverovich | f1ede63 | 2018-03-04 10:33:42 -0800 | [diff] [blame] | 181 | assert(out.size() <= inline_buffer_size); |
| Victor Zverovich | 22f75d8 | 2014-09-03 08:03:05 -0700 | [diff] [blame] | 182 | } |
| Victor Zverovich | 1a2d7be | 2014-05-03 09:48:54 -0700 | [diff] [blame] | 183 | |
| vitaut | bfdca8b | 2016-04-20 09:11:33 -0700 | [diff] [blame] | 184 | void report_error(FormatFunc func, int error_code, |
| Victor Zverovich | 50e7167 | 2017-02-18 06:52:52 -0800 | [diff] [blame] | 185 | string_view message) FMT_NOEXCEPT { |
| Victor Zverovich | eedfd07 | 2017-02-18 09:13:12 -0800 | [diff] [blame] | 186 | memory_buffer full_message; |
| Victor Zverovich | 88e0db8 | 2014-09-05 08:04:26 -0700 | [diff] [blame] | 187 | func(full_message, error_code, message); |
| 188 | // Use Writer::data instead of Writer::c_str to avoid potential memory |
| 189 | // allocation. |
| 190 | std::fwrite(full_message.data(), full_message.size(), 1, stderr); |
| 191 | std::fputc('\n', stderr); |
| Victor Zverovich | b605b39 | 2013-09-09 22:21:40 -0700 | [diff] [blame] | 192 | } |
| Victor Zverovich | 1a2d7be | 2014-05-03 09:48:54 -0700 | [diff] [blame] | 193 | } // namespace |
| vitaut | 270069b | 2015-06-16 07:36:32 -0700 | [diff] [blame] | 194 | |
| Victor Zverovich | 3832524 | 2018-10-03 18:22:26 -0700 | [diff] [blame] | 195 | FMT_FUNC size_t internal::count_code_points(basic_string_view<char8_t> s) { |
| Victor Zverovich | f802741 | 2018-09-30 11:39:20 -0700 | [diff] [blame] | 196 | const char8_t *data = s.data(); |
| 197 | size_t num_code_points = 0; |
| 198 | for (size_t i = 0, size = s.size(); i != size; ++i) { |
| 199 | if ((data[i] & 0xc0) != 0x80) |
| 200 | ++num_code_points; |
| 201 | } |
| 202 | return num_code_points; |
| 203 | } |
| 204 | |
| Thomas Bernard | abde38b | 2018-08-17 11:22:56 +0200 | [diff] [blame] | 205 | #if !defined(FMT_STATIC_THOUSANDS_SEPARATOR) |
| Victor Zverovich | f802741 | 2018-09-30 11:39:20 -0700 | [diff] [blame] | 206 | namespace internal { |
| Victor Zverovich | f2ee988 | 2018-11-14 09:39:37 -0800 | [diff] [blame^] | 207 | |
| 208 | template <typename Locale> |
| 209 | locale_ref::locale_ref(const Locale &loc) : locale_(&loc) { |
| 210 | static_assert(std::is_same<Locale, std::locale>::value, ""); |
| 211 | } |
| 212 | |
| 213 | template <typename Locale> |
| 214 | Locale locale_ref::get() const { |
| 215 | static_assert(std::is_same<Locale, std::locale>::value, ""); |
| 216 | return locale_ ? *static_cast<const std::locale*>(locale_) : std::locale(); |
| 217 | } |
| 218 | |
| Victor Zverovich | 7f351de | 2017-12-03 09:18:06 -0800 | [diff] [blame] | 219 | template <typename Char> |
| Victor Zverovich | f2ee988 | 2018-11-14 09:39:37 -0800 | [diff] [blame^] | 220 | FMT_FUNC Char thousands_sep_impl(locale_ref loc) { |
| 221 | return std::use_facet<std::numpunct<Char> >( |
| 222 | loc.get<std::locale>()).thousands_sep(); |
| Victor Zverovich | 7f351de | 2017-12-03 09:18:06 -0800 | [diff] [blame] | 223 | } |
| Victor Zverovich | f802741 | 2018-09-30 11:39:20 -0700 | [diff] [blame] | 224 | } |
| Thomas Bernard | abde38b | 2018-08-17 11:22:56 +0200 | [diff] [blame] | 225 | #else |
| 226 | template <typename Char> |
| Victor Zverovich | f2ee988 | 2018-11-14 09:39:37 -0800 | [diff] [blame^] | 227 | FMT_FUNC Char internal::thousands_sep(locale_ref) { |
| Thomas Bernard | abde38b | 2018-08-17 11:22:56 +0200 | [diff] [blame] | 228 | return FMT_STATIC_THOUSANDS_SEPARATOR; |
| 229 | } |
| 230 | #endif |
| Victor Zverovich | 7f351de | 2017-12-03 09:18:06 -0800 | [diff] [blame] | 231 | |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 232 | FMT_FUNC void system_error::init( |
| Victor Zverovich | 81bd9e8 | 2017-12-03 07:32:04 -0800 | [diff] [blame] | 233 | int err_code, string_view format_str, format_args args) { |
| Victor Zverovich | f9fc8fd | 2014-12-09 07:45:54 -0800 | [diff] [blame] | 234 | error_code_ = err_code; |
| Victor Zverovich | eedfd07 | 2017-02-18 09:13:12 -0800 | [diff] [blame] | 235 | memory_buffer buffer; |
| 236 | format_system_error(buffer, err_code, vformat(format_str, args)); |
| Victor Zverovich | 5320103 | 2014-06-30 14:26:29 -0700 | [diff] [blame] | 237 | std::runtime_error &base = *this; |
| Victor Zverovich | eedfd07 | 2017-02-18 09:13:12 -0800 | [diff] [blame] | 238 | base = std::runtime_error(to_string(buffer)); |
| Victor Zverovich | 5320103 | 2014-06-30 14:26:29 -0700 | [diff] [blame] | 239 | } |
| 240 | |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 241 | namespace internal { |
| Victor Zverovich | b605b39 | 2013-09-09 22:21:40 -0700 | [diff] [blame] | 242 | template <typename T> |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 243 | int char_traits<char>::format_float( |
| Victor Zverovich | b60a5c5 | 2018-05-28 20:16:30 -0700 | [diff] [blame] | 244 | char *buffer, std::size_t size, const char *format, int precision, T value) { |
| Victor Zverovich | b605b39 | 2013-09-09 22:21:40 -0700 | [diff] [blame] | 245 | return precision < 0 ? |
| Victor Zverovich | b60a5c5 | 2018-05-28 20:16:30 -0700 | [diff] [blame] | 246 | FMT_SNPRINTF(buffer, size, format, value) : |
| 247 | FMT_SNPRINTF(buffer, size, format, precision, value); |
| Victor Zverovich | b605b39 | 2013-09-09 22:21:40 -0700 | [diff] [blame] | 248 | } |
| Victor Zverovich | 9ff3b97 | 2013-09-07 10:15:08 -0700 | [diff] [blame] | 249 | |
| Victor Zverovich | b605b39 | 2013-09-09 22:21:40 -0700 | [diff] [blame] | 250 | template <typename T> |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 251 | int char_traits<wchar_t>::format_float( |
| Victor Zverovich | b60a5c5 | 2018-05-28 20:16:30 -0700 | [diff] [blame] | 252 | wchar_t *buffer, std::size_t size, const wchar_t *format, int precision, |
| 253 | T value) { |
| Victor Zverovich | b605b39 | 2013-09-09 22:21:40 -0700 | [diff] [blame] | 254 | return precision < 0 ? |
| Victor Zverovich | b60a5c5 | 2018-05-28 20:16:30 -0700 | [diff] [blame] | 255 | FMT_SWPRINTF(buffer, size, format, value) : |
| 256 | FMT_SWPRINTF(buffer, size, format, precision, value); |
| Victor Zverovich | 65d47e5 | 2013-09-09 06:51:03 -0700 | [diff] [blame] | 257 | } |
| Victor Zverovich | e8ba960 | 2012-12-12 09:29:50 -0800 | [diff] [blame] | 258 | |
| Victor Zverovich | 311251e | 2014-11-29 06:58:00 -0800 | [diff] [blame] | 259 | template <typename T> |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 260 | const char basic_data<T>::DIGITS[] = |
| Victor Zverovich | 687301c | 2013-01-26 16:07:28 -0800 | [diff] [blame] | 261 | "0001020304050607080910111213141516171819" |
| 262 | "2021222324252627282930313233343536373839" |
| 263 | "4041424344454647484950515253545556575859" |
| 264 | "6061626364656667686970717273747576777879" |
| 265 | "8081828384858687888990919293949596979899"; |
| Victor Zverovich | e9b2191 | 2014-02-19 12:43:55 -0800 | [diff] [blame] | 266 | |
| Victor Zverovich | f1d8516 | 2014-02-19 13:02:22 -0800 | [diff] [blame] | 267 | #define FMT_POWERS_OF_10(factor) \ |
| 268 | factor * 10, \ |
| 269 | factor * 100, \ |
| 270 | factor * 1000, \ |
| 271 | factor * 10000, \ |
| 272 | factor * 100000, \ |
| 273 | factor * 1000000, \ |
| 274 | factor * 10000000, \ |
| 275 | factor * 100000000, \ |
| 276 | factor * 1000000000 |
| Victor Zverovich | e9b2191 | 2014-02-19 12:43:55 -0800 | [diff] [blame] | 277 | |
| Victor Zverovich | 311251e | 2014-11-29 06:58:00 -0800 | [diff] [blame] | 278 | template <typename T> |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 279 | const uint32_t basic_data<T>::POWERS_OF_10_32[] = { |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 280 | 1, FMT_POWERS_OF_10(1) |
| 281 | }; |
| 282 | |
| 283 | template <typename T> |
| 284 | const uint32_t basic_data<T>::ZERO_OR_POWERS_OF_10_32[] = { |
| Victor Zverovich | 311251e | 2014-11-29 06:58:00 -0800 | [diff] [blame] | 285 | 0, FMT_POWERS_OF_10(1) |
| 286 | }; |
| 287 | |
| 288 | template <typename T> |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 289 | const uint64_t basic_data<T>::ZERO_OR_POWERS_OF_10_64[] = { |
| Victor Zverovich | 6f0387f | 2014-02-14 10:36:17 -0800 | [diff] [blame] | 290 | 0, |
| Victor Zverovich | f1d8516 | 2014-02-19 13:02:22 -0800 | [diff] [blame] | 291 | FMT_POWERS_OF_10(1), |
| Victor Zverovich | 016aceb | 2017-08-26 09:09:43 -0700 | [diff] [blame] | 292 | FMT_POWERS_OF_10(1000000000ull), |
| 293 | 10000000000000000000ull |
| Victor Zverovich | 6f0387f | 2014-02-14 10:36:17 -0800 | [diff] [blame] | 294 | }; |
| Victor Zverovich | 877abaf | 2013-01-08 09:56:05 -0800 | [diff] [blame] | 295 | |
| Victor Zverovich | 2768af2 | 2018-04-29 06:33:05 -0700 | [diff] [blame] | 296 | // Normalized 64-bit significands of pow(10, k), for k = -348, -340, ..., 340. |
| 297 | // These are generated by support/compute-powers.py. |
| 298 | template <typename T> |
| 299 | const uint64_t basic_data<T>::POW10_SIGNIFICANDS[] = { |
| Victor Zverovich | 9de3121 | 2018-08-15 06:54:43 -0700 | [diff] [blame] | 300 | 0xfa8fd5a0081c0288, 0xbaaee17fa23ebf76, 0x8b16fb203055ac76, |
| 301 | 0xcf42894a5dce35ea, 0x9a6bb0aa55653b2d, 0xe61acf033d1a45df, |
| 302 | 0xab70fe17c79ac6ca, 0xff77b1fcbebcdc4f, 0xbe5691ef416bd60c, |
| 303 | 0x8dd01fad907ffc3c, 0xd3515c2831559a83, 0x9d71ac8fada6c9b5, |
| 304 | 0xea9c227723ee8bcb, 0xaecc49914078536d, 0x823c12795db6ce57, |
| 305 | 0xc21094364dfb5637, 0x9096ea6f3848984f, 0xd77485cb25823ac7, |
| 306 | 0xa086cfcd97bf97f4, 0xef340a98172aace5, 0xb23867fb2a35b28e, |
| 307 | 0x84c8d4dfd2c63f3b, 0xc5dd44271ad3cdba, 0x936b9fcebb25c996, |
| 308 | 0xdbac6c247d62a584, 0xa3ab66580d5fdaf6, 0xf3e2f893dec3f126, |
| 309 | 0xb5b5ada8aaff80b8, 0x87625f056c7c4a8b, 0xc9bcff6034c13053, |
| 310 | 0x964e858c91ba2655, 0xdff9772470297ebd, 0xa6dfbd9fb8e5b88f, |
| 311 | 0xf8a95fcf88747d94, 0xb94470938fa89bcf, 0x8a08f0f8bf0f156b, |
| 312 | 0xcdb02555653131b6, 0x993fe2c6d07b7fac, 0xe45c10c42a2b3b06, |
| 313 | 0xaa242499697392d3, 0xfd87b5f28300ca0e, 0xbce5086492111aeb, |
| 314 | 0x8cbccc096f5088cc, 0xd1b71758e219652c, 0x9c40000000000000, |
| 315 | 0xe8d4a51000000000, 0xad78ebc5ac620000, 0x813f3978f8940984, |
| 316 | 0xc097ce7bc90715b3, 0x8f7e32ce7bea5c70, 0xd5d238a4abe98068, |
| 317 | 0x9f4f2726179a2245, 0xed63a231d4c4fb27, 0xb0de65388cc8ada8, |
| 318 | 0x83c7088e1aab65db, 0xc45d1df942711d9a, 0x924d692ca61be758, |
| 319 | 0xda01ee641a708dea, 0xa26da3999aef774a, 0xf209787bb47d6b85, |
| 320 | 0xb454e4a179dd1877, 0x865b86925b9bc5c2, 0xc83553c5c8965d3d, |
| 321 | 0x952ab45cfa97a0b3, 0xde469fbd99a05fe3, 0xa59bc234db398c25, |
| 322 | 0xf6c69a72a3989f5c, 0xb7dcbf5354e9bece, 0x88fcf317f22241e2, |
| 323 | 0xcc20ce9bd35c78a5, 0x98165af37b2153df, 0xe2a0b5dc971f303a, |
| 324 | 0xa8d9d1535ce3b396, 0xfb9b7cd9a4a7443c, 0xbb764c4ca7a44410, |
| 325 | 0x8bab8eefb6409c1a, 0xd01fef10a657842c, 0x9b10a4e5e9913129, |
| 326 | 0xe7109bfba19c0c9d, 0xac2820d9623bf429, 0x80444b5e7aa7cf85, |
| 327 | 0xbf21e44003acdd2d, 0x8e679c2f5e44ff8f, 0xd433179d9c8cb841, |
| 328 | 0x9e19db92b4e31ba9, 0xeb96bf6ebadf77d9, 0xaf87023b9bf0ee6b, |
| Victor Zverovich | 2768af2 | 2018-04-29 06:33:05 -0700 | [diff] [blame] | 329 | }; |
| 330 | |
| 331 | // Binary exponents of pow(10, k), for k = -348, -340, ..., 340, corresponding |
| 332 | // to significands above. |
| 333 | template <typename T> |
| 334 | const int16_t basic_data<T>::POW10_EXPONENTS[] = { |
| 335 | -1220, -1193, -1166, -1140, -1113, -1087, -1060, -1034, -1007, -980, -954, |
| 336 | -927, -901, -874, -847, -821, -794, -768, -741, -715, -688, -661, |
| 337 | -635, -608, -582, -555, -529, -502, -475, -449, -422, -396, -369, |
| 338 | -343, -316, -289, -263, -236, -210, -183, -157, -130, -103, -77, |
| 339 | -50, -24, 3, 30, 56, 83, 109, 136, 162, 189, 216, |
| 340 | 242, 269, 295, 322, 348, 375, 402, 428, 455, 481, 508, |
| 341 | 534, 561, 588, 614, 641, 667, 694, 720, 747, 774, 800, |
| 342 | 827, 853, 880, 907, 933, 960, 986, 1013, 1039, 1066 |
| 343 | }; |
| 344 | |
| Daniela Engert | 73c53d7 | 2018-09-17 18:21:24 +0200 | [diff] [blame] | 345 | template <typename T> const char basic_data<T>::FOREGROUND_COLOR[] = "\x1b[38;2;"; |
| 346 | template <typename T> const char basic_data<T>::BACKGROUND_COLOR[] = "\x1b[48;2;"; |
| Dhruv Paranjape | ec218a3 | 2018-06-28 10:43:00 +0530 | [diff] [blame] | 347 | template <typename T> const char basic_data<T>::RESET_COLOR[] = "\x1b[0m"; |
| 348 | template <typename T> const wchar_t basic_data<T>::WRESET_COLOR[] = L"\x1b[0m"; |
| 349 | |
| Victor Zverovich | dd8c5ce | 2018-08-29 09:34:57 -0700 | [diff] [blame] | 350 | // A handmade floating-point number f * pow(2, e). |
| 351 | class fp { |
| 352 | private: |
| 353 | typedef uint64_t significand_type; |
| 354 | |
| 355 | // All sizes are in bits. |
| 356 | static FMT_CONSTEXPR_DECL const int char_size = |
| 357 | std::numeric_limits<unsigned char>::digits; |
| 358 | // Subtract 1 to account for an implicit most significant bit in the |
| 359 | // normalized form. |
| 360 | static FMT_CONSTEXPR_DECL const int double_significand_size = |
| 361 | std::numeric_limits<double>::digits - 1; |
| 362 | static FMT_CONSTEXPR_DECL const uint64_t implicit_bit = |
| 363 | 1ull << double_significand_size; |
| 364 | |
| 365 | public: |
| 366 | significand_type f; |
| 367 | int e; |
| 368 | |
| 369 | static FMT_CONSTEXPR_DECL const int significand_size = |
| 370 | sizeof(significand_type) * char_size; |
| 371 | |
| 372 | fp(): f(0), e(0) {} |
| 373 | fp(uint64_t f, int e): f(f), e(e) {} |
| 374 | |
| 375 | // Constructs fp from an IEEE754 double. It is a template to prevent compile |
| 376 | // errors on platforms where double is not IEEE754. |
| 377 | template <typename Double> |
| 378 | explicit fp(Double d) { |
| 379 | // Assume double is in the format [sign][exponent][significand]. |
| 380 | typedef std::numeric_limits<Double> limits; |
| medithe | 8cbfb6e | 2018-09-11 15:14:39 +0200 | [diff] [blame] | 381 | const int double_size = static_cast<int>(sizeof(Double) * char_size); |
| Victor Zverovich | dd8c5ce | 2018-08-29 09:34:57 -0700 | [diff] [blame] | 382 | const int exponent_size = |
| 383 | double_size - double_significand_size - 1; // -1 for sign |
| 384 | const uint64_t significand_mask = implicit_bit - 1; |
| 385 | const uint64_t exponent_mask = (~0ull >> 1) & ~significand_mask; |
| 386 | const int exponent_bias = (1 << exponent_size) - limits::max_exponent - 1; |
| 387 | auto u = bit_cast<uint64_t>(d); |
| 388 | auto biased_e = (u & exponent_mask) >> double_significand_size; |
| 389 | f = u & significand_mask; |
| 390 | if (biased_e != 0) |
| 391 | f += implicit_bit; |
| 392 | else |
| 393 | biased_e = 1; // Subnormals use biased exponent 1 (min exponent). |
| 394 | e = static_cast<int>(biased_e - exponent_bias - double_significand_size); |
| 395 | } |
| 396 | |
| 397 | // Normalizes the value converted from double and multiplied by (1 << SHIFT). |
| 398 | template <int SHIFT = 0> |
| 399 | void normalize() { |
| 400 | // Handle subnormals. |
| 401 | auto shifted_implicit_bit = implicit_bit << SHIFT; |
| 402 | while ((f & shifted_implicit_bit) == 0) { |
| 403 | f <<= 1; |
| 404 | --e; |
| 405 | } |
| 406 | // Subtract 1 to account for hidden bit. |
| 407 | auto offset = significand_size - double_significand_size - SHIFT - 1; |
| 408 | f <<= offset; |
| 409 | e -= offset; |
| 410 | } |
| 411 | |
| 412 | // Compute lower and upper boundaries (m^- and m^+ in the Grisu paper), where |
| 413 | // a boundary is a value half way between the number and its predecessor |
| 414 | // (lower) or successor (upper). The upper boundary is normalized and lower |
| 415 | // has the same exponent but may be not normalized. |
| 416 | void compute_boundaries(fp &lower, fp &upper) const { |
| 417 | lower = f == implicit_bit ? |
| 418 | fp((f << 2) - 1, e - 2) : fp((f << 1) - 1, e - 1); |
| 419 | upper = fp((f << 1) + 1, e - 1); |
| 420 | upper.normalize<1>(); // 1 is to account for the exponent shift above. |
| 421 | lower.f <<= lower.e - upper.e; |
| 422 | lower.e = upper.e; |
| 423 | } |
| 424 | }; |
| 425 | |
| 426 | // Returns an fp number representing x - y. Result may not be normalized. |
| 427 | inline fp operator-(fp x, fp y) { |
| 428 | FMT_ASSERT(x.f >= y.f && x.e == y.e, "invalid operands"); |
| 429 | return fp(x.f - y.f, x.e); |
| 430 | } |
| 431 | |
| 432 | // Computes an fp number r with r.f = x.f * y.f / pow(2, 64) rounded to nearest |
| 433 | // with half-up tie breaking, r.e = x.e + y.e + 64. Result may not be normalized. |
| 434 | FMT_API fp operator*(fp x, fp y); |
| 435 | |
| 436 | // Returns cached power (of 10) c_k = c_k.f * pow(2, c_k.e) such that its |
| 437 | // (binary) exponent satisfies min_exponent <= c_k.e <= min_exponent + 3. |
| 438 | FMT_API fp get_cached_power(int min_exponent, int &pow10_exponent); |
| 439 | |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 440 | FMT_FUNC fp operator*(fp x, fp y) { |
| 441 | // Multiply 32-bit parts of significands. |
| 442 | uint64_t mask = (1ULL << 32) - 1; |
| 443 | uint64_t a = x.f >> 32, b = x.f & mask; |
| 444 | uint64_t c = y.f >> 32, d = y.f & mask; |
| 445 | uint64_t ac = a * c, bc = b * c, ad = a * d, bd = b * d; |
| 446 | // Compute mid 64-bit of result and round. |
| 447 | uint64_t mid = (bd >> 32) + (ad & mask) + (bc & mask) + (1U << 31); |
| Daniela Engert | 6cd6661 | 2018-04-30 10:07:43 +0200 | [diff] [blame] | 448 | return fp(ac + (ad >> 32) + (bc >> 32) + (mid >> 32), x.e + y.e + 64); |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 449 | } |
| Victor Zverovich | 468c243 | 2018-05-27 10:57:26 -0700 | [diff] [blame] | 450 | |
| 451 | FMT_FUNC fp get_cached_power(int min_exponent, int &pow10_exponent) { |
| 452 | const double one_over_log2_10 = 0.30102999566398114; // 1 / log2(10) |
| 453 | int index = static_cast<int>(std::ceil( |
| Victor Zverovich | 4e4b857 | 2018-05-28 11:25:07 -0700 | [diff] [blame] | 454 | (min_exponent + fp::significand_size - 1) * one_over_log2_10)); |
| Victor Zverovich | 468c243 | 2018-05-27 10:57:26 -0700 | [diff] [blame] | 455 | // Decimal exponent of the first (smallest) cached power of 10. |
| 456 | const int first_dec_exp = -348; |
| Victor Zverovich | 9de3121 | 2018-08-15 06:54:43 -0700 | [diff] [blame] | 457 | // Difference between 2 consecutive decimal exponents in cached powers of 10. |
| Victor Zverovich | 468c243 | 2018-05-27 10:57:26 -0700 | [diff] [blame] | 458 | const int dec_exp_step = 8; |
| 459 | index = (index - first_dec_exp - 1) / dec_exp_step + 1; |
| 460 | pow10_exponent = first_dec_exp + index * dec_exp_step; |
| 461 | return fp(data::POW10_SIGNIFICANDS[index], data::POW10_EXPONENTS[index]); |
| 462 | } |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 463 | |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 464 | FMT_FUNC bool grisu2_round( |
| 465 | char *buffer, size_t &size, size_t max_digits, uint64_t delta, |
| 466 | uint64_t remainder, uint64_t exp, uint64_t diff, int &exp10) { |
| Victor Zverovich | 6992975 | 2018-10-13 07:44:34 -0700 | [diff] [blame] | 467 | while (remainder < diff && delta - remainder >= exp && |
| 468 | (remainder + exp < diff || diff - remainder > remainder + exp - diff)) { |
| 469 | --buffer[size - 1]; |
| 470 | remainder += exp; |
| 471 | } |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 472 | if (size > max_digits) { |
| 473 | --size; |
| 474 | ++exp10; |
| 475 | if (buffer[size] >= '5') |
| 476 | return false; |
| 477 | } |
| 478 | return true; |
| Victor Zverovich | 6992975 | 2018-10-13 07:44:34 -0700 | [diff] [blame] | 479 | } |
| 480 | |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 481 | // Generates output using Grisu2 digit-gen algorithm. |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 482 | FMT_FUNC bool grisu2_gen_digits( |
| 483 | char *buffer, size_t &size, uint32_t hi, uint64_t lo, int &exp, |
| 484 | uint64_t delta, const fp &one, const fp &diff, size_t max_digits) { |
| Victor Zverovich | 6992975 | 2018-10-13 07:44:34 -0700 | [diff] [blame] | 485 | // Generate digits for the most significant part (hi). |
| Victor Zverovich | 0de44a4 | 2018-08-26 08:12:35 -0700 | [diff] [blame] | 486 | while (exp > 0) { |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 487 | uint32_t digit = 0; |
| 488 | // This optimization by miloyip reduces the number of integer divisions by |
| 489 | // one per iteration. |
| Victor Zverovich | 0de44a4 | 2018-08-26 08:12:35 -0700 | [diff] [blame] | 490 | switch (exp) { |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 491 | case 10: digit = hi / 1000000000; hi %= 1000000000; break; |
| 492 | case 9: digit = hi / 100000000; hi %= 100000000; break; |
| 493 | case 8: digit = hi / 10000000; hi %= 10000000; break; |
| 494 | case 7: digit = hi / 1000000; hi %= 1000000; break; |
| 495 | case 6: digit = hi / 100000; hi %= 100000; break; |
| 496 | case 5: digit = hi / 10000; hi %= 10000; break; |
| 497 | case 4: digit = hi / 1000; hi %= 1000; break; |
| 498 | case 3: digit = hi / 100; hi %= 100; break; |
| 499 | case 2: digit = hi / 10; hi %= 10; break; |
| 500 | case 1: digit = hi; hi = 0; break; |
| 501 | default: |
| 502 | FMT_ASSERT(false, "invalid number of digits"); |
| 503 | } |
| 504 | if (digit != 0 || size != 0) |
| medithe | 95a7189 | 2018-08-29 15:38:56 +0200 | [diff] [blame] | 505 | buffer[size++] = static_cast<char>('0' + digit); |
| Victor Zverovich | 0de44a4 | 2018-08-26 08:12:35 -0700 | [diff] [blame] | 506 | --exp; |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 507 | uint64_t remainder = (static_cast<uint64_t>(hi) << -one.e) + lo; |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 508 | if (remainder <= delta || size > max_digits) { |
| 509 | return grisu2_round( |
| 510 | buffer, size, max_digits, delta, remainder, |
| 511 | static_cast<uint64_t>(data::POWERS_OF_10_32[exp]) << -one.e, |
| 512 | diff.f, exp); |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 513 | } |
| 514 | } |
| Victor Zverovich | 6992975 | 2018-10-13 07:44:34 -0700 | [diff] [blame] | 515 | // Generate digits for the least significant part (lo). |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 516 | for (;;) { |
| 517 | lo *= 10; |
| 518 | delta *= 10; |
| 519 | char digit = static_cast<char>(lo >> -one.e); |
| 520 | if (digit != 0 || size != 0) |
| medithe | 95a7189 | 2018-08-29 15:38:56 +0200 | [diff] [blame] | 521 | buffer[size++] = static_cast<char>('0' + digit); |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 522 | lo &= one.f - 1; |
| Victor Zverovich | 0de44a4 | 2018-08-26 08:12:35 -0700 | [diff] [blame] | 523 | --exp; |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 524 | if (lo < delta || size > max_digits) { |
| 525 | return grisu2_round(buffer, size, max_digits, delta, lo, one.f, |
| 526 | diff.f * data::POWERS_OF_10_32[-exp], exp); |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 527 | } |
| 528 | } |
| 529 | } |
| 530 | |
| Victor Zverovich | 1489d3b | 2018-08-29 10:07:29 -0700 | [diff] [blame] | 531 | #if FMT_CLANG_VERSION |
| 532 | # define FMT_FALLTHROUGH [[clang::fallthrough]]; |
| medithe | 981797f | 2018-09-07 17:53:15 +0200 | [diff] [blame] | 533 | #elif FMT_GCC_VERSION >= 700 |
| 534 | # define FMT_FALLTHROUGH [[gnu::fallthrough]]; |
| Victor Zverovich | 1489d3b | 2018-08-29 10:07:29 -0700 | [diff] [blame] | 535 | #else |
| 536 | # define FMT_FALLTHROUGH |
| 537 | #endif |
| Victor Zverovich | e483a01 | 2018-08-26 09:51:49 -0700 | [diff] [blame] | 538 | |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 539 | struct gen_digits_params { |
| Victor Zverovich | dda47c9 | 2018-10-17 10:49:30 -0700 | [diff] [blame] | 540 | unsigned num_digits; |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 541 | bool fixed; |
| 542 | bool upper; |
| 543 | bool trailing_zeros; |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 544 | }; |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 545 | |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 546 | struct prettify_handler { |
| 547 | char *data; |
| 548 | size_t size; |
| 549 | buffer &buf; |
| 550 | |
| 551 | explicit prettify_handler(buffer &b, size_t n) |
| 552 | : data(b.data()), size(n), buf(b) {} |
| 553 | ~prettify_handler() { |
| 554 | assert(buf.size() >= size); |
| 555 | buf.resize(size); |
| 556 | } |
| 557 | |
| 558 | template <typename F> |
| 559 | void insert(size_t pos, size_t n, F f) { |
| 560 | std::memmove(data + pos + n, data + pos, size - pos); |
| 561 | f(data + pos); |
| 562 | size += n; |
| 563 | } |
| 564 | |
| 565 | void insert(size_t pos, char c) { |
| 566 | std::memmove(data + pos + 1, data + pos, size - pos); |
| 567 | data[pos] = c; |
| 568 | ++size; |
| 569 | } |
| 570 | |
| 571 | void append(size_t n, char c) { |
| 572 | std::uninitialized_fill_n(data + size, n, c); |
| 573 | size += n; |
| 574 | } |
| 575 | |
| 576 | void append(char c) { data[size++] = c; } |
| 577 | |
| 578 | void remove_trailing(char c) { |
| 579 | while (data[size - 1] == c) --size; |
| Victor Zverovich | 1489d3b | 2018-08-29 10:07:29 -0700 | [diff] [blame] | 580 | } |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 581 | }; |
| 582 | |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 583 | // Writes the exponent exp in the form "[+-]d{2,3}" to buffer. |
| 584 | template <typename Handler> |
| 585 | FMT_FUNC void write_exponent(int exp, Handler &&h) { |
| 586 | FMT_ASSERT(-1000 < exp && exp < 1000, "exponent out of range"); |
| 587 | if (exp < 0) { |
| 588 | h.append('-'); |
| 589 | exp = -exp; |
| 590 | } else { |
| 591 | h.append('+'); |
| 592 | } |
| 593 | if (exp >= 100) { |
| 594 | h.append(static_cast<char>('0' + exp / 100)); |
| 595 | exp %= 100; |
| 596 | const char *d = data::DIGITS + exp * 2; |
| 597 | h.append(d[0]); |
| 598 | h.append(d[1]); |
| 599 | } else { |
| 600 | const char *d = data::DIGITS + exp * 2; |
| 601 | h.append(d[0]); |
| 602 | h.append(d[1]); |
| 603 | } |
| 604 | } |
| 605 | |
| Victor Zverovich | 2d2326a | 2018-10-22 21:05:59 -0700 | [diff] [blame] | 606 | struct fill { |
| 607 | size_t n; |
| 608 | void operator()(char *buffer) const { |
| 609 | buffer[0] = '0'; |
| 610 | buffer[1] = '.'; |
| 611 | std::uninitialized_fill_n(buffer + 2, n, '0'); |
| 612 | } |
| 613 | }; |
| 614 | |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 615 | // The number is given as v = f * pow(10, exp), where f has size digits. |
| 616 | template <typename Handler> |
| 617 | FMT_FUNC void grisu2_prettify(const gen_digits_params ¶ms, |
| 618 | size_t size, int exp, Handler &&handler) { |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 619 | if (!params.fixed) { |
| 620 | // Insert a decimal point after the first digit and add an exponent. |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 621 | handler.insert(1, '.'); |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 622 | exp += static_cast<int>(size) - 1; |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 623 | if (size < params.num_digits) |
| 624 | handler.append(params.num_digits - size, '0'); |
| 625 | handler.append(params.upper ? 'E' : 'e'); |
| 626 | write_exponent(exp, handler); |
| Victor Zverovich | 1489d3b | 2018-08-29 10:07:29 -0700 | [diff] [blame] | 627 | return; |
| 628 | } |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 629 | // pow(10, full_exp - 1) <= v <= pow(10, full_exp). |
| 630 | int int_size = static_cast<int>(size); |
| 631 | int full_exp = int_size + exp; |
| 632 | const int exp_threshold = 21; |
| 633 | if (int_size <= full_exp && full_exp <= exp_threshold) { |
| 634 | // 1234e7 -> 12340000000[.0+] |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 635 | handler.append(full_exp - int_size, '0'); |
| Victor Zverovich | dda47c9 | 2018-10-17 10:49:30 -0700 | [diff] [blame] | 636 | int num_zeros = static_cast<int>(params.num_digits) - full_exp; |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 637 | if (num_zeros > 0 && params.trailing_zeros) { |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 638 | handler.append('.'); |
| 639 | handler.append(num_zeros, '0'); |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 640 | } |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 641 | } else if (full_exp > 0) { |
| 642 | // 1234e-2 -> 12.34[0+] |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 643 | handler.insert(full_exp, '.'); |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 644 | if (!params.trailing_zeros) { |
| 645 | // Remove trailing zeros. |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 646 | handler.remove_trailing('0'); |
| 647 | } else if (params.num_digits > size) { |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 648 | // Add trailing zeros. |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 649 | size_t num_zeros = params.num_digits - size; |
| 650 | handler.append(num_zeros, '0'); |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 651 | } |
| 652 | } else { |
| 653 | // 1234e-6 -> 0.001234 |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 654 | handler.insert(0, 2 - full_exp, fill{to_unsigned(-full_exp)}); |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 655 | } |
| 656 | } |
| 657 | |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 658 | struct char_counter { |
| 659 | size_t size; |
| 660 | |
| 661 | template <typename F> |
| 662 | void insert(size_t, size_t n, F) { size += n; } |
| 663 | void insert(size_t, char) { ++size; } |
| 664 | void append(size_t n, char) { size += n; } |
| 665 | void append(char) { ++size; } |
| 666 | void remove_trailing(char) {} |
| 667 | }; |
| 668 | |
| 669 | // Converts format specifiers into parameters for digit generation and computes |
| 670 | // output buffer size for a number in the range [pow(10, exp - 1), pow(10, exp) |
| 671 | // or 0 if exp == 1. |
| 672 | FMT_FUNC gen_digits_params process_specs(const core_format_specs &specs, |
| 673 | int exp, buffer &buf) { |
| 674 | auto params = gen_digits_params(); |
| 675 | int num_digits = specs.precision >= 0 ? specs.precision : 6; |
| 676 | switch (specs.type) { |
| 677 | case 'G': |
| 678 | params.upper = true; |
| 679 | FMT_FALLTHROUGH |
| 680 | case '\0': case 'g': |
| 681 | params.trailing_zeros = (specs.flags & HASH_FLAG) != 0; |
| 682 | if (-4 <= exp && exp < num_digits + 1) { |
| 683 | params.fixed = true; |
| 684 | if (!specs.type && params.trailing_zeros && exp >= 0) |
| 685 | num_digits = exp + 1; |
| 686 | } |
| 687 | break; |
| 688 | case 'F': |
| 689 | params.upper = true; |
| 690 | FMT_FALLTHROUGH |
| 691 | case 'f': { |
| 692 | params.fixed = true; |
| 693 | params.trailing_zeros = true; |
| 694 | int adjusted_min_digits = num_digits + exp; |
| 695 | if (adjusted_min_digits > 0) |
| 696 | num_digits = adjusted_min_digits; |
| 697 | break; |
| 698 | } |
| 699 | case 'E': |
| 700 | params.upper = true; |
| 701 | FMT_FALLTHROUGH |
| 702 | case 'e': |
| 703 | ++num_digits; |
| 704 | break; |
| 705 | } |
| 706 | params.num_digits = to_unsigned(num_digits); |
| 707 | char_counter counter{params.num_digits}; |
| 708 | grisu2_prettify(params, params.num_digits, exp - num_digits, counter); |
| 709 | buf.resize(counter.size); |
| 710 | return params; |
| 711 | } |
| 712 | |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 713 | template <typename Double> |
| 714 | FMT_FUNC typename std::enable_if<sizeof(Double) == sizeof(uint64_t), bool>::type |
| Victor Zverovich | bda5f9a | 2018-10-17 08:55:45 -0700 | [diff] [blame] | 715 | grisu2_format(Double value, buffer &buf, core_format_specs specs) { |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 716 | FMT_ASSERT(value >= 0, "value is negative"); |
| 717 | if (value == 0) { |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 718 | gen_digits_params params = process_specs(specs, 1, buf); |
| 719 | const size_t size = 1; |
| 720 | buf[0] = '0'; |
| 721 | grisu2_prettify(params, size, 0, prettify_handler(buf, size)); |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 722 | return true; |
| 723 | } |
| 724 | |
| 725 | fp fp_value(value); |
| 726 | fp lower, upper; // w^- and w^+ in the Grisu paper. |
| 727 | fp_value.compute_boundaries(lower, upper); |
| 728 | |
| 729 | // Find a cached power of 10 close to 1 / upper and use it to scale upper. |
| 730 | const int min_exp = -60; // alpha in Grisu. |
| 731 | int cached_exp = 0; // K in Grisu. |
| 732 | auto cached_pow = get_cached_power( // \tilde{c}_{-k} in Grisu. |
| 733 | min_exp - (upper.e + fp::significand_size), cached_exp); |
| 734 | cached_exp = -cached_exp; |
| 735 | upper = upper * cached_pow; // \tilde{M}^+ in Grisu. |
| 736 | --upper.f; // \tilde{M}^+ - 1 ulp -> M^+_{\downarrow}. |
| 737 | fp one(1ull << -upper.e, upper.e); |
| 738 | // hi (p1 in Grisu) contains the most significant digits of scaled_upper. |
| 739 | // hi = floor(upper / one). |
| 740 | uint32_t hi = static_cast<uint32_t>(upper.f >> -one.e); |
| 741 | int exp = static_cast<int>(count_digits(hi)); // kappa in Grisu. |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 742 | gen_digits_params params = process_specs(specs, cached_exp + exp, buf); |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 743 | fp_value.normalize(); |
| 744 | fp scaled_value = fp_value * cached_pow; |
| 745 | lower = lower * cached_pow; // \tilde{M}^- in Grisu. |
| 746 | ++lower.f; // \tilde{M}^- + 1 ulp -> M^-_{\uparrow}. |
| 747 | uint64_t delta = upper.f - lower.f; |
| 748 | fp diff = upper - scaled_value; // wp_w in Grisu. |
| 749 | // lo (p2 in Grisu) contains the least significants digits of scaled_upper. |
| 750 | // lo = supper % one. |
| 751 | uint64_t lo = upper.f & (one.f - 1); |
| Victor Zverovich | e8efdef | 2018-10-17 08:19:46 -0700 | [diff] [blame] | 752 | size_t size = 0; |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 753 | if (!grisu2_gen_digits(buf.data(), size, hi, lo, exp, delta, one, diff, |
| Victor Zverovich | dda47c9 | 2018-10-17 10:49:30 -0700 | [diff] [blame] | 754 | params.num_digits)) { |
| Victor Zverovich | bda5f9a | 2018-10-17 08:55:45 -0700 | [diff] [blame] | 755 | buf.clear(); |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 756 | return false; |
| 757 | } |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 758 | grisu2_prettify(params, size, cached_exp + exp, prettify_handler(buf, size)); |
| Victor Zverovich | 50b18a3 | 2018-10-13 22:14:36 -0700 | [diff] [blame] | 759 | return true; |
| Victor Zverovich | f0d0a1e | 2018-08-25 16:08:32 -0700 | [diff] [blame] | 760 | } |
| Victor Zverovich | 2924622 | 2018-10-17 09:15:29 -0700 | [diff] [blame] | 761 | |
| 762 | template <typename Double> |
| Victor Zverovich | 13d472b | 2018-10-17 20:13:38 -0700 | [diff] [blame] | 763 | void sprintf_format(Double value, internal::buffer &buffer, |
| 764 | core_format_specs spec) { |
| Victor Zverovich | 2924622 | 2018-10-17 09:15:29 -0700 | [diff] [blame] | 765 | // Buffer capacity must be non-zero, otherwise MSVC's vsnprintf_s will fail. |
| 766 | FMT_ASSERT(buffer.capacity() != 0, "empty buffer"); |
| 767 | |
| 768 | // Build format string. |
| 769 | enum { MAX_FORMAT_SIZE = 10}; // longest format: %#-*.*Lg |
| 770 | char format[MAX_FORMAT_SIZE]; |
| 771 | char *format_ptr = format; |
| 772 | *format_ptr++ = '%'; |
| 773 | if (spec.has(HASH_FLAG)) |
| 774 | *format_ptr++ = '#'; |
| 775 | if (spec.precision >= 0) { |
| 776 | *format_ptr++ = '.'; |
| 777 | *format_ptr++ = '*'; |
| 778 | } |
| 779 | if (std::is_same<Double, long double>::value) |
| 780 | *format_ptr++ = 'L'; |
| 781 | *format_ptr++ = spec.type; |
| 782 | *format_ptr = '\0'; |
| 783 | |
| 784 | // Format using snprintf. |
| 785 | char *start = FMT_NULL; |
| 786 | for (;;) { |
| 787 | std::size_t buffer_size = buffer.capacity(); |
| 788 | start = &buffer[0]; |
| 789 | int result = internal::char_traits<char>::format_float( |
| 790 | start, buffer_size, format, spec.precision, value); |
| 791 | if (result >= 0) { |
| 792 | unsigned n = internal::to_unsigned(result); |
| 793 | if (n < buffer.capacity()) { |
| 794 | buffer.resize(n); |
| 795 | break; // The buffer is large enough - continue with formatting. |
| 796 | } |
| 797 | buffer.reserve(n + 1); |
| 798 | } else { |
| 799 | // If result is negative we ask to increase the capacity by at least 1, |
| 800 | // but as std::vector, the buffer grows exponentially. |
| 801 | buffer.reserve(buffer.capacity() + 1); |
| 802 | } |
| 803 | } |
| 804 | } |
| Victor Zverovich | cd90097 | 2018-04-21 17:26:24 -0700 | [diff] [blame] | 805 | } // namespace internal |
| 806 | |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 807 | #if FMT_USE_WINDOWS_H |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 808 | |
| Victor Zverovich | 6a2ff28 | 2017-02-19 06:46:51 -0800 | [diff] [blame] | 809 | FMT_FUNC internal::utf8_to_utf16::utf8_to_utf16(string_view s) { |
| Victor Zverovich | dff2137 | 2014-12-16 07:01:01 -0800 | [diff] [blame] | 810 | static const char ERROR_MSG[] = "cannot convert string from UTF-8 to UTF-16"; |
| vitaut | c3ba615 | 2015-08-07 07:34:58 -0700 | [diff] [blame] | 811 | if (s.size() > INT_MAX) |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 812 | FMT_THROW(windows_error(ERROR_INVALID_PARAMETER, ERROR_MSG)); |
| vitaut | c3ba615 | 2015-08-07 07:34:58 -0700 | [diff] [blame] | 813 | int s_size = static_cast<int>(s.size()); |
| Vasili Galka | acb469a | 2018-03-12 14:43:29 +0200 | [diff] [blame] | 814 | if (s_size == 0) { |
| 815 | // MultiByteToWideChar does not support zero length, handle separately. |
| 816 | buffer_.resize(1); |
| 817 | buffer_[0] = 0; |
| 818 | return; |
| 819 | } |
| 820 | |
| vitaut | c3ba615 | 2015-08-07 07:34:58 -0700 | [diff] [blame] | 821 | int length = MultiByteToWideChar( |
| Victor Zverovich | d8c25a1 | 2018-01-20 18:37:57 -0800 | [diff] [blame] | 822 | CP_UTF8, MB_ERR_INVALID_CHARS, s.data(), s_size, FMT_NULL, 0); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 823 | if (length == 0) |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 824 | FMT_THROW(windows_error(GetLastError(), ERROR_MSG)); |
| vitaut | 7154238 | 2015-06-27 09:11:15 -0700 | [diff] [blame] | 825 | buffer_.resize(length + 1); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 826 | length = MultiByteToWideChar( |
| vitaut | c3ba615 | 2015-08-07 07:34:58 -0700 | [diff] [blame] | 827 | CP_UTF8, MB_ERR_INVALID_CHARS, s.data(), s_size, &buffer_[0], length); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 828 | if (length == 0) |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 829 | FMT_THROW(windows_error(GetLastError(), ERROR_MSG)); |
| vitaut | 7154238 | 2015-06-27 09:11:15 -0700 | [diff] [blame] | 830 | buffer_[length] = 0; |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 831 | } |
| 832 | |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 833 | FMT_FUNC internal::utf16_to_utf8::utf16_to_utf8(wstring_view s) { |
| Victor Zverovich | 5d4803a | 2014-07-27 12:53:42 -0700 | [diff] [blame] | 834 | if (int error_code = convert(s)) { |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 835 | FMT_THROW(windows_error(error_code, |
| Victor Zverovich | 8b76e97 | 2014-10-06 08:30:55 -0700 | [diff] [blame] | 836 | "cannot convert string from UTF-16 to UTF-8")); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 837 | } |
| 838 | } |
| 839 | |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 840 | FMT_FUNC int internal::utf16_to_utf8::convert(wstring_view s) { |
| vitaut | ca74781 | 2015-08-07 07:08:46 -0700 | [diff] [blame] | 841 | if (s.size() > INT_MAX) |
| 842 | return ERROR_INVALID_PARAMETER; |
| 843 | int s_size = static_cast<int>(s.size()); |
| Vasili Galka | acb469a | 2018-03-12 14:43:29 +0200 | [diff] [blame] | 844 | if (s_size == 0) { |
| 845 | // WideCharToMultiByte does not support zero length, handle separately. |
| 846 | buffer_.resize(1); |
| 847 | buffer_[0] = 0; |
| 848 | return 0; |
| 849 | } |
| 850 | |
| Victor Zverovich | d8c25a1 | 2018-01-20 18:37:57 -0800 | [diff] [blame] | 851 | int length = WideCharToMultiByte( |
| 852 | CP_UTF8, 0, s.data(), s_size, FMT_NULL, 0, FMT_NULL, FMT_NULL); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 853 | if (length == 0) |
| 854 | return GetLastError(); |
| vitaut | 7154238 | 2015-06-27 09:11:15 -0700 | [diff] [blame] | 855 | buffer_.resize(length + 1); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 856 | length = WideCharToMultiByte( |
| Victor Zverovich | d8c25a1 | 2018-01-20 18:37:57 -0800 | [diff] [blame] | 857 | CP_UTF8, 0, s.data(), s_size, &buffer_[0], length, FMT_NULL, FMT_NULL); |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 858 | if (length == 0) |
| 859 | return GetLastError(); |
| vitaut | 7154238 | 2015-06-27 09:11:15 -0700 | [diff] [blame] | 860 | buffer_[length] = 0; |
| Victor Zverovich | da9aeab | 2014-04-30 07:23:43 -0700 | [diff] [blame] | 861 | return 0; |
| 862 | } |
| 863 | |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 864 | FMT_FUNC void windows_error::init( |
| Victor Zverovich | 7f351de | 2017-12-03 09:18:06 -0800 | [diff] [blame] | 865 | int err_code, string_view format_str, format_args args) { |
| Carter Li | 3f574c1 | 2015-02-17 10:11:42 +0800 | [diff] [blame] | 866 | error_code_ = err_code; |
| Victor Zverovich | 6a2ff28 | 2017-02-19 06:46:51 -0800 | [diff] [blame] | 867 | memory_buffer buffer; |
| Victor Zverovich | e022c21 | 2017-02-17 06:38:53 -0800 | [diff] [blame] | 868 | internal::format_windows_error(buffer, err_code, vformat(format_str, args)); |
| Victor Zverovich | 5320103 | 2014-06-30 14:26:29 -0700 | [diff] [blame] | 869 | std::runtime_error &base = *this; |
| Victor Zverovich | e022c21 | 2017-02-17 06:38:53 -0800 | [diff] [blame] | 870 | base = std::runtime_error(to_string(buffer)); |
| Victor Zverovich | 5320103 | 2014-06-30 14:26:29 -0700 | [diff] [blame] | 871 | } |
| 872 | |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 873 | FMT_FUNC void internal::format_windows_error( |
| Victor Zverovich | f6fd38b | 2018-01-15 08:22:31 -0800 | [diff] [blame] | 874 | internal::buffer &out, int error_code, string_view message) FMT_NOEXCEPT { |
| Victor Zverovich | 8b76e97 | 2014-10-06 08:30:55 -0700 | [diff] [blame] | 875 | FMT_TRY { |
| Victor Zverovich | c095445 | 2018-01-06 09:09:50 -0800 | [diff] [blame] | 876 | wmemory_buffer buf; |
| Victor Zverovich | f1ede63 | 2018-03-04 10:33:42 -0800 | [diff] [blame] | 877 | buf.resize(inline_buffer_size); |
| Michael Winterberg | 2a05a87 | 2016-03-02 17:35:34 -0800 | [diff] [blame] | 878 | for (;;) { |
| Victor Zverovich | c095445 | 2018-01-06 09:09:50 -0800 | [diff] [blame] | 879 | wchar_t *system_message = &buf[0]; |
| Victor Zverovich | f85d5f4 | 2016-10-22 08:04:20 -0700 | [diff] [blame] | 880 | int result = FormatMessageW( |
| 881 | FORMAT_MESSAGE_FROM_SYSTEM | FORMAT_MESSAGE_IGNORE_INSERTS, |
| Victor Zverovich | d8c25a1 | 2018-01-20 18:37:57 -0800 | [diff] [blame] | 882 | FMT_NULL, error_code, MAKELANGID(LANG_NEUTRAL, SUBLANG_DEFAULT), |
| 883 | system_message, static_cast<uint32_t>(buf.size()), FMT_NULL); |
| Michael Winterberg | 2a05a87 | 2016-03-02 17:35:34 -0800 | [diff] [blame] | 884 | if (result != 0) { |
| Victor Zverovich | c333dca | 2017-02-19 08:41:38 -0800 | [diff] [blame] | 885 | utf16_to_utf8 utf8_message; |
| Michael Winterberg | 2a05a87 | 2016-03-02 17:35:34 -0800 | [diff] [blame] | 886 | if (utf8_message.convert(system_message) == ERROR_SUCCESS) { |
| Victor Zverovich | 217e7c7 | 2018-01-14 07:19:23 -0800 | [diff] [blame] | 887 | writer w(out); |
| Victor Zverovich | e022c21 | 2017-02-17 06:38:53 -0800 | [diff] [blame] | 888 | w.write(message); |
| 889 | w.write(": "); |
| 890 | w.write(utf8_message); |
| Michael Winterberg | 2a05a87 | 2016-03-02 17:35:34 -0800 | [diff] [blame] | 891 | return; |
| 892 | } |
| 893 | break; |
| Victor Zverovich | 22f75d8 | 2014-09-03 08:03:05 -0700 | [diff] [blame] | 894 | } |
| Michael Winterberg | 2a05a87 | 2016-03-02 17:35:34 -0800 | [diff] [blame] | 895 | if (GetLastError() != ERROR_INSUFFICIENT_BUFFER) |
| 896 | break; // Can't get error message, report error code instead. |
| Victor Zverovich | c095445 | 2018-01-06 09:09:50 -0800 | [diff] [blame] | 897 | buf.resize(buf.size() * 2); |
| Victor Zverovich | 53b4c31 | 2014-04-30 15:00:41 -0700 | [diff] [blame] | 898 | } |
| Victor Zverovich | 8b76e97 | 2014-10-06 08:30:55 -0700 | [diff] [blame] | 899 | } FMT_CATCH(...) {} |
| Victor Zverovich | c095445 | 2018-01-06 09:09:50 -0800 | [diff] [blame] | 900 | format_error_code(out, error_code, message); |
| Victor Zverovich | 53b4c31 | 2014-04-30 15:00:41 -0700 | [diff] [blame] | 901 | } |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 902 | |
| 903 | #endif // FMT_USE_WINDOWS_H |
| 904 | |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 905 | FMT_FUNC void format_system_error( |
| Victor Zverovich | c2fecb9 | 2018-01-14 14:15:59 -0800 | [diff] [blame] | 906 | internal::buffer &out, int error_code, string_view message) FMT_NOEXCEPT { |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 907 | FMT_TRY { |
| Victor Zverovich | 3663414 | 2017-12-26 09:00:22 -0800 | [diff] [blame] | 908 | memory_buffer buf; |
| Victor Zverovich | f1ede63 | 2018-03-04 10:33:42 -0800 | [diff] [blame] | 909 | buf.resize(inline_buffer_size); |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 910 | for (;;) { |
| Victor Zverovich | 3663414 | 2017-12-26 09:00:22 -0800 | [diff] [blame] | 911 | char *system_message = &buf[0]; |
| 912 | int result = safe_strerror(error_code, system_message, buf.size()); |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 913 | if (result == 0) { |
| Victor Zverovich | 217e7c7 | 2018-01-14 07:19:23 -0800 | [diff] [blame] | 914 | writer w(out); |
| Victor Zverovich | fefaf07 | 2017-02-14 16:29:47 -0500 | [diff] [blame] | 915 | w.write(message); |
| 916 | w.write(": "); |
| 917 | w.write(system_message); |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 918 | return; |
| 919 | } |
| 920 | if (result != ERANGE) |
| 921 | break; // Can't get error message, report error code instead. |
| Victor Zverovich | 3663414 | 2017-12-26 09:00:22 -0800 | [diff] [blame] | 922 | buf.resize(buf.size() * 2); |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 923 | } |
| 924 | } FMT_CATCH(...) {} |
| Victor Zverovich | f164e4c | 2018-02-01 16:49:47 -0800 | [diff] [blame] | 925 | format_error_code(out, error_code, message); |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 926 | } |
| Victor Zverovich | 53b4c31 | 2014-04-30 15:00:41 -0700 | [diff] [blame] | 927 | |
| Abdó Roig-Maranges | af0f21d | 2017-12-09 16:50:53 +0100 | [diff] [blame] | 928 | FMT_FUNC void internal::error_handler::on_error(const char *message) { |
| Victor Zverovich | 94edb1a | 2017-12-06 07:42:42 -0800 | [diff] [blame] | 929 | FMT_THROW(format_error(message)); |
| 930 | } |
| 931 | |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 932 | FMT_FUNC void report_system_error( |
| Victor Zverovich | 50e7167 | 2017-02-18 06:52:52 -0800 | [diff] [blame] | 933 | int error_code, fmt::string_view message) FMT_NOEXCEPT { |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 934 | report_error(format_system_error, error_code, message); |
| Victor Zverovich | 1a2d7be | 2014-05-03 09:48:54 -0700 | [diff] [blame] | 935 | } |
| 936 | |
| vitaut | 24c309f | 2015-06-12 07:15:57 -0700 | [diff] [blame] | 937 | #if FMT_USE_WINDOWS_H |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 938 | FMT_FUNC void report_windows_error( |
| Victor Zverovich | 50e7167 | 2017-02-18 06:52:52 -0800 | [diff] [blame] | 939 | int error_code, fmt::string_view message) FMT_NOEXCEPT { |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 940 | report_error(internal::format_windows_error, error_code, message); |
| Victor Zverovich | 1a2d7be | 2014-05-03 09:48:54 -0700 | [diff] [blame] | 941 | } |
| Victor Zverovich | 400812a | 2014-04-30 12:38:17 -0700 | [diff] [blame] | 942 | #endif |
| Victor Zverovich | f793986 | 2014-04-30 10:18:11 -0700 | [diff] [blame] | 943 | |
| Victor Zverovich | 81bd9e8 | 2017-12-03 07:32:04 -0800 | [diff] [blame] | 944 | FMT_FUNC void vprint(std::FILE *f, string_view format_str, format_args args) { |
| Victor Zverovich | eedfd07 | 2017-02-18 09:13:12 -0800 | [diff] [blame] | 945 | memory_buffer buffer; |
| Victor Zverovich | 0a96c03 | 2018-10-25 07:20:02 -0700 | [diff] [blame] | 946 | internal::vformat_to(buffer, format_str, |
| 947 | basic_format_args<buffer_context<char>::type>(args)); |
| Victor Zverovich | fefaf07 | 2017-02-14 16:29:47 -0500 | [diff] [blame] | 948 | std::fwrite(buffer.data(), 1, buffer.size(), f); |
| Victor Zverovich | d5b8196 | 2014-06-28 21:56:40 -0700 | [diff] [blame] | 949 | } |
| 950 | |
| Daniela Engert | 2570f1a | 2018-04-26 20:32:14 +0200 | [diff] [blame] | 951 | FMT_FUNC void vprint(std::FILE *f, wstring_view format_str, wformat_args args) { |
| 952 | wmemory_buffer buffer; |
| Victor Zverovich | 0a96c03 | 2018-10-25 07:20:02 -0700 | [diff] [blame] | 953 | internal::vformat_to(buffer, format_str, args); |
| Daniela Engert | 2570f1a | 2018-04-26 20:32:14 +0200 | [diff] [blame] | 954 | std::fwrite(buffer.data(), sizeof(wchar_t), buffer.size(), f); |
| 955 | } |
| 956 | |
| Victor Zverovich | 81bd9e8 | 2017-12-03 07:32:04 -0800 | [diff] [blame] | 957 | FMT_FUNC void vprint(string_view format_str, format_args args) { |
| Victor Zverovich | 0028ce5 | 2016-08-26 17:23:13 -0700 | [diff] [blame] | 958 | vprint(stdout, format_str, args); |
| Victor Zverovich | 163178e | 2014-09-25 07:08:25 -0700 | [diff] [blame] | 959 | } |
| 960 | |
| Daniela Engert | 2570f1a | 2018-04-26 20:32:14 +0200 | [diff] [blame] | 961 | FMT_FUNC void vprint(wstring_view format_str, wformat_args args) { |
| 962 | vprint(stdout, format_str, args); |
| 963 | } |
| 964 | |
| Victor Zverovich | 838400d | 2018-05-12 08:33:51 -0700 | [diff] [blame] | 965 | FMT_END_NAMESPACE |
| Victor Zverovich | 0d5ef5c | 2016-07-12 06:59:35 -0700 | [diff] [blame] | 966 | |
| Ingo van Lil | b4b13ee | 2015-11-02 12:34:46 +0100 | [diff] [blame] | 967 | #ifdef _MSC_VER |
| jdale88 | a9862fd | 2014-03-11 18:56:24 +0000 | [diff] [blame] | 968 | # pragma warning(pop) |
| 969 | #endif |
| Victor Zverovich | 3da71d5 | 2018-03-21 07:50:59 -0700 | [diff] [blame] | 970 | |
| 971 | #endif // FMT_FORMAT_INL_H_ |