X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=folly%2FFormat-inl.h;h=1239188cbe987900c047602c4dccb37a1f974e0e;hb=0347a79f57ee6e1179c0482adacf3a7e6ff890ff;hp=5331bbba199038caed2cae4e9104ebcb40d5fe1e;hpb=2f5c6c3e446d6b98398dc5aeaf0e13ec888e1726;p=folly.git diff --git a/folly/Format-inl.h b/folly/Format-inl.h index 5331bbba..1239188c 100644 --- a/folly/Format-inl.h +++ b/folly/Format-inl.h @@ -1,5 +1,5 @@ /* - * Copyright 2014 Facebook, Inc. + * Copyright 2015 Facebook, Inc. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -18,7 +18,14 @@ #error This file may only be included from Format.h. #endif +#include +#include +#include +#include +#include + #include +#include #include // Ignore -Wformat-nonliteral warnings within this file @@ -29,6 +36,9 @@ namespace folly { namespace detail { +// Updates the end of the buffer after the comma separators have been added. +void insertThousandsGroupingUnsafe(char* start_buffer, char** end_buffer); + extern const char formatHexUpper[256][2]; extern const char formatHexLower[256][2]; extern const char formatOctal[512][3]; @@ -151,57 +161,10 @@ BaseFormatter::BaseFormatter(StringPiece str, "Exactly one argument required in container mode"); } -template -void BaseFormatter::handleFormatStrError() - const { - if (crashOnError_) { - LOG(FATAL) << "folly::format: bad format string \"" << str_ << "\": " << - folly::exceptionStr(std::current_exception()); - } - throw; -} - template template void BaseFormatter::operator()(Output& out) const { - // Catch BadFormatArg and range_error exceptions, and call - // handleFormatStrError(). - // - // These exception types indicate a problem with the format string. Most - // format strings are string literals specified by the programmer. If they - // have a problem, this is usually a programmer bug. We want to crash to - // ensure that these are found early on during development. - // - // BadFormatArg is thrown by the Format.h code, while range_error is thrown - // by Conv.h, which is used in several places in our format string - // processing. - // - // (Note: This behavior is slightly dangerous. If the Output object throws a - // BadFormatArg or a range_error, we will also crash the program, even if it - // wasn't an issue with the format string. This seems highly unlikely - // though, and none of our current Output objects can throw these errors.) - // - // We also throw out_of_range errors if the format string references an - // argument that isn't present (or a key that isn't present in one of the - // argument containers). However, at the moment we don't crash on these - // errors, as it is likely that the container is dynamic at runtime. - try { - appendOutput(out); - } catch (const BadFormatArg& ex) { - handleFormatStrError(); - } catch (const std::range_error& ex) { - handleFormatStrError(); - } -} - -template -template -void BaseFormatter::appendOutput(Output& out) - const { - auto p = str_.begin(); - auto end = str_.end(); - // Copy raw string (without format specifiers) to output; // not as simple as we'd like, as we still need to translate "}}" to "}" // and throw if we see any lone "}" @@ -225,6 +188,9 @@ void BaseFormatter::appendOutput(Output& out) } }; + auto p = str_.begin(); + auto end = str_.end(); + int nextArg = 0; bool hasDefaultArgIndex = false; bool hasExplicitArgIndex = false; @@ -294,7 +260,7 @@ template void writeTo(FILE* fp, const BaseFormatter& formatter) { auto writer = [fp] (StringPiece sp) { - ssize_t n = fwrite(sp.data(), 1, sp.size(), fp); + size_t n = fwrite(sp.data(), 1, sp.size(), fp); if (n < sp.size()) { throwSystemError("Formatter writeTo", "fwrite failed"); } @@ -492,27 +458,36 @@ class FormatValue< char* valBufBegin = nullptr; char* valBufEnd = nullptr; - // Defer to sprintf - auto useSprintf = [&] (const char* format) mutable { - valBufBegin = valBuf + 3; // room for sign and base prefix - valBufEnd = valBufBegin + sprintf(valBufBegin, format, - static_cast(uval)); - }; - int prefixLen = 0; - switch (presentation) { - case 'n': // TODO(tudorb): locale awareness? + case 'n': { + arg.enforce(!arg.basePrefix, + "base prefix not allowed with '", presentation, + "' specifier"); + + arg.enforce(!arg.thousandsSeparator, + "cannot use ',' with the '", presentation, + "' specifier"); + + valBufBegin = valBuf + 3; // room for sign and base prefix + int len = snprintf(valBufBegin, (valBuf + valBufSize) - valBufBegin, + "%'ju", static_cast(uval)); + // valBufSize should always be big enough, so this should never + // happen. + assert(len < valBuf + valBufSize - valBufBegin); + valBufEnd = valBufBegin + len; + break; + } case 'd': arg.enforce(!arg.basePrefix, "base prefix not allowed with '", presentation, "' specifier"); + valBufBegin = valBuf + 3; // room for sign and base prefix + + // Use uintToBuffer, faster than sprintf + valBufEnd = valBufBegin + uint64ToBufferUnsafe(uval, valBufBegin); if (arg.thousandsSeparator) { - useSprintf("%'ju"); - } else { - // Use uintToBuffer, faster than sprintf - valBufBegin = valBuf + 3; - valBufEnd = valBufBegin + uint64ToBufferUnsafe(uval, valBufBegin); + detail::insertThousandsGroupingUnsafe(valBufBegin, &valBufEnd); } break; case 'c': @@ -623,135 +598,15 @@ class FormatValue { template void format(FormatArg& arg, FormatCallback& cb) const { - using ::double_conversion::DoubleToStringConverter; - using ::double_conversion::StringBuilder; - - arg.validate(FormatArg::Type::FLOAT); - - if (arg.presentation == FormatArg::kDefaultPresentation) { - arg.presentation = 'g'; - } - - const char* infinitySymbol = isupper(arg.presentation) ? "INF" : "inf"; - const char* nanSymbol = isupper(arg.presentation) ? "NAN" : "nan"; - char exponentSymbol = isupper(arg.presentation) ? 'E' : 'e'; - - if (arg.precision == FormatArg::kDefaultPrecision) { - arg.precision = 6; - } - - // 2+: for null terminator and optional sign shenanigans. - char buf[2 + std::max({ - (2 + DoubleToStringConverter::kMaxFixedDigitsBeforePoint + - DoubleToStringConverter::kMaxFixedDigitsAfterPoint), - (8 + DoubleToStringConverter::kMaxExponentialDigits), - (7 + DoubleToStringConverter::kMaxPrecisionDigits)})]; - StringBuilder builder(buf + 1, static_cast (sizeof(buf) - 1)); - - char plusSign; - switch (arg.sign) { - case FormatArg::Sign::PLUS_OR_MINUS: - plusSign = '+'; - break; - case FormatArg::Sign::SPACE_OR_MINUS: - plusSign = ' '; - break; - default: - plusSign = '\0'; - break; - }; - - auto flags = - DoubleToStringConverter::EMIT_POSITIVE_EXPONENT_SIGN | - (arg.trailingDot ? DoubleToStringConverter::EMIT_TRAILING_DECIMAL_POINT - : 0); - - double val = val_; - switch (arg.presentation) { - case '%': - val *= 100; - case 'f': - case 'F': - { - if (arg.precision > - DoubleToStringConverter::kMaxFixedDigitsAfterPoint) { - arg.precision = DoubleToStringConverter::kMaxFixedDigitsAfterPoint; - } - DoubleToStringConverter conv(flags, - infinitySymbol, - nanSymbol, - exponentSymbol, - -4, - arg.precision, - 0, - 0); - arg.enforce(conv.ToFixed(val, arg.precision, &builder), - "fixed double conversion failed"); - } - break; - case 'e': - case 'E': - { - if (arg.precision > DoubleToStringConverter::kMaxExponentialDigits) { - arg.precision = DoubleToStringConverter::kMaxExponentialDigits; - } - - DoubleToStringConverter conv(flags, - infinitySymbol, - nanSymbol, - exponentSymbol, - -4, - arg.precision, - 0, - 0); - arg.enforce(conv.ToExponential(val, arg.precision, &builder)); - } - break; - case 'n': // should be locale-aware, but isn't - case 'g': - case 'G': - { - if (arg.precision < DoubleToStringConverter::kMinPrecisionDigits) { - arg.precision = DoubleToStringConverter::kMinPrecisionDigits; - } else if (arg.precision > - DoubleToStringConverter::kMaxPrecisionDigits) { - arg.precision = DoubleToStringConverter::kMaxPrecisionDigits; - } - DoubleToStringConverter conv(flags, - infinitySymbol, - nanSymbol, - exponentSymbol, - -4, - arg.precision, - 0, - 0); - arg.enforce(conv.ToShortest(val, &builder)); - } - break; - default: - arg.error("invalid specifier '", arg.presentation, "'"); - } - - int len = builder.position(); - builder.Finalize(); - DCHECK_GT(len, 0); - - // Add '+' or ' ' sign if needed - char* p = buf + 1; - // anything that's neither negative nor nan - int prefixLen = 0; - if (plusSign && (*p != '-' && *p != 'n' && *p != 'N')) { - *--p = plusSign; - ++len; - prefixLen = 1; - } else if (*p == '-') { - prefixLen = 1; - } - - format_value::formatNumber(StringPiece(p, len), prefixLen, arg, cb); + fbstring piece; + int prefixLen; + formatHelper(piece, prefixLen, arg); + format_value::formatNumber(piece, prefixLen, arg, cb); } private: + void formatHelper(fbstring& piece, int& prefixLen, FormatArg& arg) const; + double val_; }; @@ -922,45 +777,6 @@ class FormatValue< namespace detail { -// Shortcut, so we don't have to use enable_if everywhere -struct FormatTraitsBase { - typedef void enabled; -}; - -// Traits that define enabled, value_type, and at() for anything -// indexable with integral keys: pointers, arrays, vectors, and maps -// with integral keys -template struct IndexableTraits; - -// Base class for sequences (vectors, deques) -template -struct IndexableTraitsSeq : public FormatTraitsBase { - typedef C container_type; - typedef typename C::value_type value_type; - static const value_type& at(const C& c, int idx) { - return c.at(idx); - } - - static const value_type& at(const C& c, int idx, - const value_type& dflt) { - return (idx >= 0 && idx < c.size()) ? c.at(idx) : dflt; - } -}; - -// Base class for associative types (maps) -template -struct IndexableTraitsAssoc : public FormatTraitsBase { - typedef typename C::value_type::second_type value_type; - static const value_type& at(const C& c, int idx) { - return c.at(static_cast(idx)); - } - static const value_type& at(const C& c, int idx, - const value_type& dflt) { - auto pos = c.find(static_cast(idx)); - return pos != c.end() ? pos->second : dflt; - } -}; - // std::array template struct IndexableTraits> @@ -979,18 +795,6 @@ struct IndexableTraits> : public IndexableTraitsSeq> { }; -// fbvector -template -struct IndexableTraits> - : public IndexableTraitsSeq> { -}; - -// small_vector -template -struct IndexableTraits> - : public IndexableTraitsSeq> { -}; - // std::map with integral keys template struct IndexableTraits<