Refactor folly::to<>

author Marcus Holland-Moritz <mhx@fb.com>

Wed, 6 Jul 2016 10:56:58 +0000 (03:56 -0700)

committer Facebook Github Bot 0 <facebook-github-bot-0-bot@fb.com>

Wed, 6 Jul 2016 11:08:21 +0000 (04:08 -0700)
author Marcus Holland-Moritz <mhx@fb.com>
Wed, 6 Jul 2016 10:56:58 +0000 (03:56 -0700)
committer Facebook Github Bot 0 <facebook-github-bot-0-bot@fb.com>
Wed, 6 Jul 2016 11:08:21 +0000 (04:08 -0700)
diff --git a/folly/Conv.cpp b/folly/Conv.cpp

index c78ed498d53e482410f9fd70cb86678e459e0cb6..199819e3d1860df93434a4dab0fe6b3c89d8a2c5 100644 (file)
--- a/folly/Conv.cpp
+++ b/folly/Conv.cpp
@@ -13,14 +13,37 @@
   * See the License for the specific language governing permissions and
   * limitations under the License.
   */
-#define FOLLY_CONV_INTERNAL
  #include <folly/Conv.h>
+#include <array>
  
  namespace folly {
  namespace detail {
  
  namespace {
  
+/**
+ * Finds the first non-digit in a string. The number of digits
+ * searched depends on the precision of the Tgt integral. Assumes the
+ * string starts with NO whitespace and NO sign.
+ *
+ * The semantics of the routine is:
+ *   for (;; ++b) {
+ *     if (b >= e || !isdigit(*b)) return b;
+ *   }
+ *
+ *  Complete unrolling marks bottom-line (i.e. entire conversion)
+ *  improvements of 20%.
+ */
+inline const char* findFirstNonDigit(const char* b, const char* e) {
+  for (; b < e; ++b) {
+    auto const c = static_cast<unsigned>(*b) - '0';
+    if (c >= 10) {
+      break;
+    }
+  }
+  return b;
+}
+
  // Maximum value of number when represented as a string
  template <class T>
  struct MaxString {
@@ -178,6 +201,39 @@ FOLLY_ALIGNED(16) constexpr uint16_t shift1000[] = {
    OOR, OOR, OOR, OOR, OOR, OOR, OOR, OOR, OOR, OOR,  // 240
    OOR, OOR, OOR, OOR, OOR, OOR                       // 250
  };
+
+struct ErrorString {
+  const char* string;
+  bool quote;
+};
+
+// Keep this in sync with ConversionError::Code in Conv.h
+constexpr const std::array<ErrorString, ConversionError::NUM_ERROR_CODES>
+    kErrorStrings{{
+        {"Success", true},
+        {"Empty input string", true},
+        {"No digits found in input string", true},
+        {"Integer overflow when parsing bool (must be 0 or 1)", true},
+        {"Invalid value for bool", true},
+        {"Non-digit character found", true},
+        {"Invalid leading character", true},
+        {"Overflow during conversion", true},
+        {"Negative overflow during conversion", true},
+        {"Unable to convert string to floating point value", true},
+        {"Non-whitespace character found after end of conversion", true},
+        {"Overflow during arithmetic conversion", false},
+        {"Negative overflow during arithmetic conversion", false},
+        {"Loss of precision during arithmetic conversion", false},
+    }};
+
+// Check if ASCII is really ASCII
+using IsAscii = std::
+    integral_constant<bool, 'A' == 65 && 'Z' == 90 && 'a' == 97 && 'z' == 122>;
+
+// The code in this file that uses tolower() really only cares about
+// 7-bit ASCII characters, so we can take a nice shortcut here.
+inline char tolower_ascii(char in) {
+  return IsAscii::value ? in | 0x20 : std::tolower(in);
  }
  
  inline bool bool_str_cmp(const char** b, size_t len, const char* value) {
@@ -186,7 +242,7 @@ inline bool bool_str_cmp(const char** b, size_t len, const char* value) {
    const char* e = *b + len;
    const char* v = value;
    while (*v != '\0') {
-    if (p == e || tolower(*p) != *v) { // value is already lowercase
+    if (p == e || tolower_ascii(*p) != *v) { // value is already lowercase
        return false;
      }
      ++p;
@@ -197,12 +253,40 @@ inline bool bool_str_cmp(const char** b, size_t len, const char* value) {
    return true;
  }
  
-bool str_to_bool(StringPiece* src) {
+} // anonymous namespace
+
+ConversionError makeConversionError(
+    ConversionError::Code code,
+    const char* input,
+    size_t inputLen) {
+  assert(code >= 0 && code < kErrorStrings.size());
+  const ErrorString& err = kErrorStrings[code];
+  if (code == ConversionError::EMPTY_INPUT_STRING && inputLen == 0) {
+    return ConversionError(err.string, code);
+  }
+  std::string tmp(err.string);
+  tmp.append(": ");
+  if (err.quote) {
+    tmp.append(1, '"');
+  }
+  if (input && inputLen > 0) {
+    tmp.append(input, inputLen);
+  }
+  if (err.quote) {
+    tmp.append(1, '"');
+  }
+  return ConversionError(tmp, code);
+}
+
+ConversionResult<bool> str_to_bool(StringPiece* src) {
    auto b = src->begin(), e = src->end();
    for (;; ++b) {
-    FOLLY_RANGE_CHECK_STRINGPIECE(
-      b < e, "No non-whitespace characters found in input string", *src);
-    if (!isspace(*b)) break;
+    if (b >= e) {
+      return ConversionResult<bool>(ConversionError::EMPTY_INPUT_STRING);
+    }
+    if (!std::isspace(*b)) {
+      break;
+    }
    }
  
    bool result;
@@ -212,9 +296,9 @@ bool str_to_bool(StringPiece* src) {
      case '1': {
        result = false;
        for (; b < e && isdigit(*b); ++b) {
-        FOLLY_RANGE_CHECK_STRINGPIECE(
-          !result && (*b == '0' || *b == '1'),
-          "Integer overflow when parsing bool: must be 0 or 1", *src);
+        if (result || (*b != '0' && *b != '1')) {
+          return ConversionResult<bool>(ConversionError::BOOL_OVERFLOW);
+        }
          result = (*b == '1');
        }
        break;
@@ -254,24 +338,24 @@ bool str_to_bool(StringPiece* src) {
        } else if (bool_str_cmp(&b, len, "off")) {
          result = false;
        } else {
-        FOLLY_RANGE_CHECK_STRINGPIECE(false, "Invalid value for bool", *src);
+        return ConversionResult<bool>(ConversionError::BOOL_INVALID_VALUE);
        }
        break;
      default:
-      FOLLY_RANGE_CHECK_STRINGPIECE(false, "Invalid value for bool", *src);
+      return ConversionResult<bool>(ConversionError::BOOL_INVALID_VALUE);
    }
  
    src->assign(b, e);
-  return result;
+
+  return ConversionResult<bool>(result);
  }
  
-namespace {
  /**
   * StringPiece to double, with progress information. Alters the
   * StringPiece parameter to munch the already-parsed characters.
   */
  template <class Tgt>
-Tgt str_to_floating(StringPiece* src) {
+ConversionResult<Tgt> str_to_floating(StringPiece* src) {
    using namespace double_conversion;
    static StringToDoubleConverter
      conv(StringToDoubleConverter::ALLOW_TRAILING_JUNK
@@ -281,8 +365,9 @@ Tgt str_to_floating(StringPiece* src) {
           std::numeric_limits<double>::quiet_NaN(),
           nullptr, nullptr);
  
-  FOLLY_RANGE_CHECK_STRINGPIECE(!src->empty(),
-                                "No digits found in input string", *src);
+  if (src->empty()) {
+    return ConversionResult<Tgt>(ConversionError::EMPTY_INPUT_STRING);
+  }
  
    int length;
    auto result = conv.StringToDouble(src->data(),
@@ -290,125 +375,195 @@ Tgt str_to_floating(StringPiece* src) {
                                      &length); // processed char count
  
    if (!std::isnan(result)) {
+    // If we get here with length = 0, the input string is empty.
+    // If we get here with result = 0.0, it's either because the string
+    // contained only whitespace, or because we had an actual zero value
+    // (with potential trailing junk). If it was only whitespace, we
+    // want to raise an error; length will point past the last character
+    // that was processed, so we need to check if that character was
+    // whitespace or not.
+    if (length == 0 || (result == 0.0 && std::isspace((*src)[length - 1]))) {
+      return ConversionResult<Tgt>(ConversionError::EMPTY_INPUT_STRING);
+    }
      src->advance(length);
-    return result;
+    return ConversionResult<Tgt>(result);
    }
  
-  for (;; src->advance(1)) {
-    if (src->empty()) {
-      throw std::range_error("Unable to convert an empty string"
-                             " to a floating point value.");
-    }
-    if (!isspace(src->front())) {
+  auto* e = src->end();
+  auto* b =
+      std::find_if_not(src->begin(), e, [](char c) { return std::isspace(c); });
+
+  // There must be non-whitespace, otherwise we would have caught this above
+  assert(b < e);
+  size_t size = e - b;
+
+  bool negative = false;
+  if (*b == '-') {
+    negative = true;
+    ++b;
+    --size;
+  }
+
+  result = 0.0;
+
+  switch (tolower_ascii(*b)) {
+    case 'i':
+      if (size >= 3 && tolower_ascii(b[1]) == 'n' &&
+          tolower_ascii(b[2]) == 'f') {
+        if (size >= 8 && tolower_ascii(b[3]) == 'i' &&
+            tolower_ascii(b[4]) == 'n' && tolower_ascii(b[5]) == 'i' &&
+            tolower_ascii(b[6]) == 't' && tolower_ascii(b[7]) == 'y') {
+          b += 8;
+        } else {
+          b += 3;
+        }
+        result = std::numeric_limits<Tgt>::infinity();
+      }
+      break;
+
+    case 'n':
+      if (size >= 3 && tolower_ascii(b[1]) == 'a' &&
+          tolower_ascii(b[2]) == 'n') {
+        b += 3;
+        result = std::numeric_limits<Tgt>::quiet_NaN();
+      }
+      break;
+
+    default:
        break;
-    }
    }
  
-  // Was that "inf[inity]"?
-  if (src->size() >= 3 && toupper((*src)[0]) == 'I'
-        && toupper((*src)[1]) == 'N' && toupper((*src)[2]) == 'F') {
-    if (src->size() >= 8 &&
-        toupper((*src)[3]) == 'I' &&
-        toupper((*src)[4]) == 'N' &&
-        toupper((*src)[5]) == 'I' &&
-        toupper((*src)[6]) == 'T' &&
-        toupper((*src)[7]) == 'Y') {
-      src->advance(8);
-    } else {
-      src->advance(3);
-    }
-    return std::numeric_limits<Tgt>::infinity();
-  }
-
-  // Was that "-inf[inity]"?
-  if (src->size() >= 4 && toupper((*src)[0]) == '-'
-      && toupper((*src)[1]) == 'I' && toupper((*src)[2]) == 'N'
-      && toupper((*src)[3]) == 'F') {
-    if (src->size() >= 9 &&
-        toupper((*src)[4]) == 'I' &&
-        toupper((*src)[5]) == 'N' &&
-        toupper((*src)[6]) == 'I' &&
-        toupper((*src)[7]) == 'T' &&
-        toupper((*src)[8]) == 'Y') {
-      src->advance(9);
-    } else {
-      src->advance(4);
+  if (result == 0.0) {
+    // All bets are off
+    return ConversionResult<Tgt>(ConversionError::STRING_TO_FLOAT_ERROR);
+  }
+
+  if (negative) {
+    result = -result;
+  }
+
+  src->assign(b, e);
+
+  return ConversionResult<Tgt>(result);
+}
+
+template ConversionResult<float> str_to_floating<float>(StringPiece* src);
+template ConversionResult<double> str_to_floating<double>(StringPiece* src);
+
+/**
+ * This class takes care of additional processing needed for signed values,
+ * like leading sign character and overflow checks.
+ */
+template <typename T, bool IsSigned = std::is_signed<T>::value>
+class SignedValueHandler;
+
+template <typename T>
+class SignedValueHandler<T, true> {
+ public:
+  ConversionError::Code init(const char*& b) {
+    negative_ = false;
+    if (!std::isdigit(*b)) {
+      if (*b == '-') {
+        negative_ = true;
+      } else if (UNLIKELY(*b != '+')) {
+        return ConversionError::INVALID_LEADING_CHAR;
+      }
+      ++b;
      }
-    return -std::numeric_limits<Tgt>::infinity();
+    return ConversionError::SUCCESS;
    }
  
-  // "nan"?
-  if (src->size() >= 3 && toupper((*src)[0]) == 'N'
-        && toupper((*src)[1]) == 'A' && toupper((*src)[2]) == 'N') {
-    src->advance(3);
-    return std::numeric_limits<Tgt>::quiet_NaN();
+  ConversionError::Code overflow() {
+    return negative_ ? ConversionError::NEGATIVE_OVERFLOW
+                     : ConversionError::POSITIVE_OVERFLOW;
    }
  
-  // "-nan"?
-  if (src->size() >= 4 &&
-      toupper((*src)[0]) == '-' &&
-      toupper((*src)[1]) == 'N' &&
-      toupper((*src)[2]) == 'A' &&
-      toupper((*src)[3]) == 'N') {
-    src->advance(4);
-    return -std::numeric_limits<Tgt>::quiet_NaN();
+  template <typename U>
+  ConversionResult<T> finalize(U value) {
+    T rv;
+    if (negative_) {
+      rv = -value;
+      if (UNLIKELY(rv > 0)) {
+        return ConversionResult<T>(ConversionError::NEGATIVE_OVERFLOW);
+      }
+    } else {
+      rv = value;
+      if (UNLIKELY(rv < 0)) {
+        return ConversionResult<T>(ConversionError::POSITIVE_OVERFLOW);
+      }
+    }
+    return ConversionResult<T>(rv);
    }
  
-  // All bets are off
-  throw std::range_error("Unable to convert \"" + src->toString()
-                         + "\" to a floating point value.");
-}
+ private:
+  bool negative_;
+};
  
-}
+// For unsigned types, we don't need any extra processing
+template <typename T>
+class SignedValueHandler<T, false> {
+ public:
+  ConversionError::Code init(const char*&) {
+    return ConversionError::SUCCESS;
+  }
  
-float str_to_float(StringPiece* src) {
-  return str_to_floating<float>(src);
-}
+  ConversionError::Code overflow() {
+    return ConversionError::POSITIVE_OVERFLOW;
+  }
  
-double str_to_double(StringPiece* src) {
-  return str_to_floating<double>(src);
-}
+  ConversionResult<T> finalize(T value) {
+    return ConversionResult<T>(value);
+  }
+};
  
  /**
- * String represented as a pair of pointers to char to unsigned
+ * String represented as a pair of pointers to char to signed/unsigned
   * integrals. Assumes NO whitespace before or after, and also that the
- * string is composed entirely of digits. Tgt must be unsigned, and no
- * sign is allowed in the string (even it's '+'). String may be empty,
- * in which case digits_to throws.
+ * string is composed entirely of digits (and an optional sign only for
+ * signed types). String may be empty, in which case digits_to returns
+ * an appropriate error.
   */
  template <class Tgt>
-Tgt digits_to(const char* b, const char* e) {
-
-  static_assert(!std::is_signed<Tgt>::value, "Unsigned type expected");
+inline ConversionResult<Tgt> digits_to(const char* b, const char* const e) {
+  using UT = typename std::make_unsigned<Tgt>::type;
    assert(b <= e);
  
-  const size_t size = e - b;
+  SignedValueHandler<Tgt> sgn;
+
+  auto err = sgn.init(b);
+  if (UNLIKELY(err != ConversionError::SUCCESS)) {
+    return ConversionResult<Tgt>(err);
+  }
+
+  size_t size = e - b;
  
    /* Although the string is entirely made of digits, we still need to
     * check for overflow.
     */
-  if (size >= std::numeric_limits<Tgt>::digits10 + 1) {
-    // Leading zeros? If so, recurse to keep things simple
+  if (size > std::numeric_limits<UT>::digits10) {
+    // Leading zeros?
      if (b < e && *b == '0') {
        for (++b;; ++b) {
-        if (b == e)
-          return 0; // just zeros, e.g. "0000"
-        if (*b != '0')
-          return digits_to<Tgt>(b, e);
+        if (b == e) {
+          return ConversionResult<Tgt>(Tgt(0)); // just zeros, e.g. "0000"
+        }
+        if (*b != '0') {
+          size = e - b;
+          break;
+        }
        }
      }
-    FOLLY_RANGE_CHECK_BEGIN_END(
-        size == std::numeric_limits<Tgt>::digits10 + 1 &&
-            strncmp(b, detail::MaxString<Tgt>::value, size) <= 0,
-        "Numeric overflow upon conversion",
-        b,
-        e);
+    if (size > std::numeric_limits<UT>::digits10 &&
+        (size != std::numeric_limits<UT>::digits10 + 1 ||
+         strncmp(b, MaxString<UT>::value, size) > 0)) {
+      return ConversionResult<Tgt>(sgn.overflow());
+    }
    }
  
    // Here we know that the number won't overflow when
    // converted. Proceed without checks.
  
-  Tgt result = 0;
+  UT result = 0;
  
    for (; e - b >= 4; b += 4) {
      result *= 10000;
@@ -417,7 +572,9 @@ Tgt digits_to(const char* b, const char* e) {
      const int32_t r2 = shift10[static_cast<size_t>(b[2])];
      const int32_t r3 = shift1[static_cast<size_t>(b[3])];
      const auto sum = r0 + r1 + r2 + r3;
-    assert(sum < OOR && "Assumption: string only has digits");
+    if (sum >= OOR) {
+      goto outOfRange;
+    }
      result += sum;
    }
  
@@ -427,38 +584,161 @@ Tgt digits_to(const char* b, const char* e) {
      const int32_t r1 = shift10[static_cast<size_t>(b[1])];
      const int32_t r2 = shift1[static_cast<size_t>(b[2])];
      const auto sum = r0 + r1 + r2;
-    assert(sum < OOR && "Assumption: string only has digits");
-    return result * 1000 + sum;
+    if (sum >= OOR) {
+      goto outOfRange;
+    }
+    result = 1000 * result + sum;
+    break;
    }
    case 2: {
      const int32_t r0 = shift10[static_cast<size_t>(b[0])];
      const int32_t r1 = shift1[static_cast<size_t>(b[1])];
      const auto sum = r0 + r1;
-    assert(sum < OOR && "Assumption: string only has digits");
-    return result * 100 + sum;
+    if (sum >= OOR) {
+      goto outOfRange;
+    }
+    result = 100 * result + sum;
+    break;
    }
    case 1: {
      const int32_t sum = shift1[static_cast<size_t>(b[0])];
-    assert(sum < OOR && "Assumption: string only has digits");
-    return result * 10 + sum;
+    if (sum >= OOR) {
+      goto outOfRange;
+    }
+    result = 10 * result + sum;
+    break;
    }
+  default:
+    assert(b == e);
+    if (size == 0) {
+      return ConversionResult<Tgt>(ConversionError::NO_DIGITS);
+    }
+    break;
    }
  
-  assert(b == e);
-  FOLLY_RANGE_CHECK_BEGIN_END(
-      size > 0, "Found no digits to convert in input", b, e);
-  return result;
+  return sgn.finalize(result);
+
+outOfRange:
+  return ConversionResult<Tgt>(ConversionError::NON_DIGIT_CHAR);
  }
  
-template unsigned char digits_to<unsigned char>(const char* b, const char* e);
-template unsigned short digits_to<unsigned short>(const char* b, const char* e);
-template unsigned int digits_to<unsigned int>(const char* b, const char* e);
-template unsigned long digits_to<unsigned long>(const char* b, const char* e);
-template unsigned long long digits_to<unsigned long long>(const char* b,
-                                                          const char* e);
+template ConversionResult<char> digits_to<char>(const char*, const char*);
+template ConversionResult<signed char> digits_to<signed char>(
+    const char*,
+    const char*);
+template ConversionResult<unsigned char> digits_to<unsigned char>(
+    const char*,
+    const char*);
+
+template ConversionResult<short> digits_to<short>(const char*, const char*);
+template ConversionResult<unsigned short> digits_to<unsigned short>(
+    const char*,
+    const char*);
+
+template ConversionResult<int> digits_to<int>(const char*, const char*);
+template ConversionResult<unsigned int> digits_to<unsigned int>(
+    const char*,
+    const char*);
+
+template ConversionResult<long> digits_to<long>(const char*, const char*);
+template ConversionResult<unsigned long> digits_to<unsigned long>(
+    const char*,
+    const char*);
+
+template ConversionResult<long long> digits_to<long long>(
+    const char*,
+    const char*);
+template ConversionResult<unsigned long long> digits_to<unsigned long long>(
+    const char*,
+    const char*);
+
+#if FOLLY_HAVE_INT128_T
+template ConversionResult<__int128> digits_to<__int128>(
+    const char*,
+    const char*);
+template ConversionResult<unsigned __int128> digits_to<unsigned __int128>(
+    const char*,
+    const char*);
+#endif
+
+/**
+ * StringPiece to integrals, with progress information. Alters the
+ * StringPiece parameter to munch the already-parsed characters.
+ */
+template <class Tgt>
+ConversionResult<Tgt> str_to_integral(StringPiece* src) {
+  using UT = typename std::make_unsigned<Tgt>::type;
+
+  auto b = src->data(), past = src->data() + src->size();
+
+  for (;; ++b) {
+    if (UNLIKELY(b >= past)) {
+      return ConversionResult<Tgt>(ConversionError::EMPTY_INPUT_STRING);
+    }
+    if (!std::isspace(*b)) {
+      break;
+    }
+  }
+
+  SignedValueHandler<Tgt> sgn;
+  auto err = sgn.init(b);
+
+  if (UNLIKELY(err != ConversionError::SUCCESS)) {
+    return ConversionResult<Tgt>(err);
+  }
+  if (std::is_signed<Tgt>::value && UNLIKELY(b >= past)) {
+    return ConversionResult<Tgt>(ConversionError::NO_DIGITS);
+  }
+  if (UNLIKELY(!isdigit(*b))) {
+    return ConversionResult<Tgt>(ConversionError::NON_DIGIT_CHAR);
+  }
+
+  auto m = findFirstNonDigit(b + 1, past);
+
+  auto tmp = digits_to<UT>(b, m);
+
+  if (UNLIKELY(!tmp.success())) {
+    return ConversionResult<Tgt>(
+        tmp.error == ConversionError::POSITIVE_OVERFLOW ? sgn.overflow()
+                                                        : tmp.error);
+  }
+
+  auto res = sgn.finalize(tmp.value);
+
+  if (res.success()) {
+    src->advance(m - src->data());
+  }
+
+  return res;
+}
+
+template ConversionResult<char> str_to_integral<char>(StringPiece* src);
+template ConversionResult<signed char> str_to_integral<signed char>(
+    StringPiece* src);
+template ConversionResult<unsigned char> str_to_integral<unsigned char>(
+    StringPiece* src);
+
+template ConversionResult<short> str_to_integral<short>(StringPiece* src);
+template ConversionResult<unsigned short> str_to_integral<unsigned short>(
+    StringPiece* src);
+
+template ConversionResult<int> str_to_integral<int>(StringPiece* src);
+template ConversionResult<unsigned int> str_to_integral<unsigned int>(
+    StringPiece* src);
+
+template ConversionResult<long> str_to_integral<long>(StringPiece* src);
+template ConversionResult<unsigned long> str_to_integral<unsigned long>(
+    StringPiece* src);
+
+template ConversionResult<long long> str_to_integral<long long>(
+    StringPiece* src);
+template ConversionResult<unsigned long long>
+str_to_integral<unsigned long long>(StringPiece* src);
+
  #if FOLLY_HAVE_INT128_T
-template unsigned __int128 digits_to<unsigned __int128>(const char* b,
-                                                        const char* e);
+template ConversionResult<__int128> str_to_integral<__int128>(StringPiece* src);
+template ConversionResult<unsigned __int128> str_to_integral<unsigned __int128>(
+    StringPiece* src);
  #endif
  
  } // namespace detail
diff --git a/folly/Conv.h b/folly/Conv.h

index 871853d320b9f52893f95f8dbeb71f27c940619d..d6553373fa0203dfb120466ce42a0b1a50a454c8 100644 (file)
--- a/folly/Conv.h
+++ b/folly/Conv.h
@@ -24,6 +24,7 @@
  #pragma once
  
  #include <algorithm>
+#include <cctype>
  #include <climits>
  #include <cstddef>
  #include <limits>
@@ -37,124 +38,119 @@
  #include <boost/implicit_cast.hpp>
  #include <double-conversion/double-conversion.h> // V8 JavaScript implementation
  
+#include <folly/Demangle.h>
  #include <folly/FBString.h>
  #include <folly/Likely.h>
-#include <folly/Preprocessor.h>
  #include <folly/Range.h>
  #include <folly/portability/Math.h>
  
-#define FOLLY_RANGE_CHECK_STRINGIZE(x) #x
-#define FOLLY_RANGE_CHECK_STRINGIZE2(x) FOLLY_RANGE_CHECK_STRINGIZE(x)
+namespace folly {
  
-// Android doesn't support std::to_string so just use a placeholder there.
-#ifdef __ANDROID__
-#define FOLLY_RANGE_CHECK_TO_STRING(x) std::string("N/A")
-#else
-#define FOLLY_RANGE_CHECK_TO_STRING(x) std::to_string(x)
-#endif
+class ConversionError : public std::range_error {
+ public:
+  // Keep this in sync with kErrorStrings in Conv.cpp
+  enum Code {
+    SUCCESS,
+    EMPTY_INPUT_STRING,
+    NO_DIGITS,
+    BOOL_OVERFLOW,
+    BOOL_INVALID_VALUE,
+    NON_DIGIT_CHAR,
+    INVALID_LEADING_CHAR,
+    POSITIVE_OVERFLOW,
+    NEGATIVE_OVERFLOW,
+    STRING_TO_FLOAT_ERROR,
+    NON_WHITESPACE_AFTER_END,
+    ARITH_POSITIVE_OVERFLOW,
+    ARITH_NEGATIVE_OVERFLOW,
+    ARITH_LOSS_OF_PRECISION,
+    NUM_ERROR_CODES, // has to be the last entry
+  };
  
-#define FOLLY_RANGE_CHECK(condition, message, src)                          \
-  ((condition) ? (void)0 : throw std::range_error(                          \
-    (std::string(__FILE__ "(" FOLLY_RANGE_CHECK_STRINGIZE2(__LINE__) "): ") \
-     + (message) + ": '" + (src) + "'").c_str()))
+  ConversionError(const std::string& str, Code code)
+      : std::range_error(str), code_(code) {}
  
-#define FOLLY_RANGE_CHECK_BEGIN_END(condition, message, b, e)    \
-  FOLLY_RANGE_CHECK(condition, message, std::string((b), (e) - (b)))
+  ConversionError(const char* str, Code code)
+      : std::range_error(str), code_(code) {}
  
-#define FOLLY_RANGE_CHECK_STRINGPIECE(condition, message, sp)    \
-  FOLLY_RANGE_CHECK(condition, message, std::string((sp).data(), (sp).size()))
+  Code errorCode() const { return code_; }
  
-namespace folly {
+ private:
+  Code code_;
+};
  
-/**
- * The identity conversion function.
- * to<T>(T) returns itself for all types T.
- */
-template <class Tgt, class Src>
-typename std::enable_if<std::is_same<Tgt, Src>::value, Tgt>::type
-to(const Src & value) {
-  return value;
+namespace detail {
+
+ConversionError makeConversionError(
+    ConversionError::Code code,
+    const char* input,
+    size_t inputLen);
+
+inline ConversionError makeConversionError(
+    ConversionError::Code code,
+    const std::string& str) {
+  return makeConversionError(code, str.data(), str.size());
  }
  
-template <class Tgt, class Src>
-typename std::enable_if<std::is_same<Tgt, Src>::value, Tgt>::type
-to(Src && value) {
-  return std::forward<Src>(value);
+inline ConversionError makeConversionError(
+    ConversionError::Code code,
+    StringPiece sp) {
+  return makeConversionError(code, sp.data(), sp.size());
  }
  
-/*******************************************************************************
- * Arithmetic to boolean
- ******************************************************************************/
+/**
+ * Enforce that the suffix following a number is made up only of whitespace.
+ */
+inline ConversionError::Code enforceWhitespaceErr(StringPiece sp) {
+  for (auto c : sp) {
+    if (!std::isspace(c)) {
+      return ConversionError::NON_WHITESPACE_AFTER_END;
+    }
+  }
+  return ConversionError::SUCCESS;
+}
  
  /**
- * Unchecked conversion from arithmetic to boolean. This is different from the
- * other arithmetic conversions because we use the C convention of treating any
- * non-zero value as true, instead of range checking.
+ * Keep this implementation around for prettyToDouble().
   */
-template <class Tgt, class Src>
-typename std::enable_if<
-    std::is_arithmetic<Src>::value && !std::is_same<Tgt, Src>::value &&
-        std::is_same<Tgt, bool>::value,
-    Tgt>::type
-to(const Src& value) {
-  return value != Src();
+inline void enforceWhitespace(StringPiece sp) {
+  auto err = enforceWhitespaceErr(sp);
+  if (err != ConversionError::SUCCESS) {
+    throw detail::makeConversionError(err, sp);
+  }
  }
  
-/*******************************************************************************
- * Integral to integral
- ******************************************************************************/
+/**
+ * A simple std::pair-like wrapper to wrap both a value and an error
+ */
+template <typename T>
+struct ConversionResult {
+  explicit ConversionResult(T v) : value(v) {}
+  explicit ConversionResult(ConversionError::Code e) : error(e) {}
+
+  bool success() const {
+    return error == ConversionError::SUCCESS;
+  }
+
+  T value;
+  ConversionError::Code error{ConversionError::SUCCESS};
+};
+}
  
  /**
- * Checked conversion from integral to integral. The checks are only
- * performed when meaningful, e.g. conversion from int to long goes
- * unchecked.
+ * The identity conversion function.
+ * to<T>(T) returns itself for all types T.
   */
  template <class Tgt, class Src>
-typename std::enable_if<
-  std::is_integral<Src>::value
-  && !std::is_same<Tgt, Src>::value
-  && !std::is_same<Tgt, bool>::value
-  && std::is_integral<Tgt>::value,
-  Tgt>::type
+typename std::enable_if<std::is_same<Tgt, Src>::value, Tgt>::type
  to(const Src & value) {
-  /* static */ if (std::numeric_limits<Tgt>::max()
-                   < std::numeric_limits<Src>::max()) {
-    FOLLY_RANGE_CHECK(
-      (!greater_than<Tgt, std::numeric_limits<Tgt>::max()>(value)),
-      "Overflow",
-      FOLLY_RANGE_CHECK_TO_STRING(value));
-  }
-  /* static */ if (std::is_signed<Src>::value &&
-                   (!std::is_signed<Tgt>::value || sizeof(Src) > sizeof(Tgt))) {
-    FOLLY_RANGE_CHECK(
-      (!less_than<Tgt, std::numeric_limits<Tgt>::min()>(value)),
-      "Negative overflow",
-      FOLLY_RANGE_CHECK_TO_STRING(value));
-  }
-  return static_cast<Tgt>(value);
+  return value;
  }
  
-/*******************************************************************************
- * Floating point to floating point
- ******************************************************************************/
-
  template <class Tgt, class Src>
-typename std::enable_if<
-  std::is_floating_point<Tgt>::value
-  && std::is_floating_point<Src>::value
-  && !std::is_same<Tgt, Src>::value,
-  Tgt>::type
-to(const Src & value) {
-  /* static */ if (std::numeric_limits<Tgt>::max() <
-                   std::numeric_limits<Src>::max()) {
-    FOLLY_RANGE_CHECK(value <= std::numeric_limits<Tgt>::max(),
-                      "Overflow",
-                      FOLLY_RANGE_CHECK_TO_STRING(value));
-    FOLLY_RANGE_CHECK(value >= -std::numeric_limits<Tgt>::max(),
-                      "Negative overflow",
-                      FOLLY_RANGE_CHECK_TO_STRING(value));
-  }
-  return boost::implicit_cast<Tgt>(value);
+typename std::enable_if<std::is_same<Tgt, Src>::value, Tgt>::type
+to(Src && value) {
+  return std::forward<Src>(value);
  }
  
  /*******************************************************************************
@@ -961,205 +957,245 @@ toDelim(const Delim& delim, const Ts&... vs) {
  
  namespace detail {
  
-/**
- * Finds the first non-digit in a string. The number of digits
- * searched depends on the precision of the Tgt integral. Assumes the
- * string starts with NO whitespace and NO sign.
- *
- * The semantics of the routine is:
- *   for (;; ++b) {
- *     if (b >= e || !isdigit(*b)) return b;
- *   }
- *
- *  Complete unrolling marks bottom-line (i.e. entire conversion)
- *  improvements of 20%.
- */
-  template <class Tgt>
-  const char* findFirstNonDigit(const char* b, const char* e) {
-    for (; b < e; ++b) {
-      auto const c = static_cast<unsigned>(*b) - '0';
-      if (c >= 10) break;
-    }
-    return b;
-  }
+ConversionResult<bool> str_to_bool(StringPiece* src);
  
+template <typename T>
+ConversionResult<T> str_to_floating(StringPiece* src);
  
-  bool str_to_bool(StringPiece* src);
-  float str_to_float(StringPiece* src);
-  double str_to_double(StringPiece* src);
+extern template ConversionResult<float> str_to_floating<float>(
+    StringPiece* src);
+extern template ConversionResult<double> str_to_floating<double>(
+    StringPiece* src);
  
-  template <class Tgt>
-  Tgt digits_to(const char* b, const char* e);
+template <class Tgt>
+ConversionResult<Tgt> digits_to(const char* b, const char* e);
+
+extern template ConversionResult<char> digits_to<char>(
+    const char*,
+    const char*);
+extern template ConversionResult<signed char> digits_to<signed char>(
+    const char*,
+    const char*);
+extern template ConversionResult<unsigned char> digits_to<unsigned char>(
+    const char*,
+    const char*);
+
+extern template ConversionResult<short> digits_to<short>(
+    const char*,
+    const char*);
+extern template ConversionResult<unsigned short> digits_to<unsigned short>(
+    const char*,
+    const char*);
+
+extern template ConversionResult<int> digits_to<int>(const char*, const char*);
+extern template ConversionResult<unsigned int> digits_to<unsigned int>(
+    const char*,
+    const char*);
+
+extern template ConversionResult<long> digits_to<long>(
+    const char*,
+    const char*);
+extern template ConversionResult<unsigned long> digits_to<unsigned long>(
+    const char*,
+    const char*);
+
+extern template ConversionResult<long long> digits_to<long long>(
+    const char*,
+    const char*);
+extern template ConversionResult<unsigned long long>
+digits_to<unsigned long long>(const char*, const char*);
  
-  extern template unsigned char digits_to<unsigned char>(const char* b,
-      const char* e);
-  extern template unsigned short digits_to<unsigned short>(const char* b,
-      const char* e);
-  extern template unsigned int digits_to<unsigned int>(const char* b,
-      const char* e);
-  extern template unsigned long digits_to<unsigned long>(const char* b,
-      const char* e);
-  extern template unsigned long long digits_to<unsigned long long>(
-      const char* b, const char* e);
  #if FOLLY_HAVE_INT128_T
-  extern template unsigned __int128 digits_to<unsigned __int128>(const char* b,
-      const char* e);
+extern template ConversionResult<__int128> digits_to<__int128>(
+    const char*,
+    const char*);
+extern template ConversionResult<unsigned __int128>
+digits_to<unsigned __int128>(const char*, const char*);
  #endif
  
-}                                 // namespace detail
+template <class T>
+ConversionResult<T> str_to_integral(StringPiece* src);
  
-/**
- * String represented as a pair of pointers to char to unsigned
- * integrals. Assumes NO whitespace before or after.
- */
-template <class Tgt>
-typename std::enable_if<
-  std::is_integral<Tgt>::value && !std::is_signed<Tgt>::value
-  && !std::is_same<typename std::remove_cv<Tgt>::type, bool>::value,
-  Tgt>::type
-to(const char * b, const char * e) {
-  return detail::digits_to<Tgt>(b, e);
+extern template ConversionResult<char> str_to_integral<char>(StringPiece* src);
+extern template ConversionResult<signed char> str_to_integral<signed char>(
+    StringPiece* src);
+extern template ConversionResult<unsigned char> str_to_integral<unsigned char>(
+    StringPiece* src);
+
+extern template ConversionResult<short> str_to_integral<short>(
+    StringPiece* src);
+extern template ConversionResult<unsigned short>
+str_to_integral<unsigned short>(StringPiece* src);
+
+extern template ConversionResult<int> str_to_integral<int>(StringPiece* src);
+extern template ConversionResult<unsigned int> str_to_integral<unsigned int>(
+    StringPiece* src);
+
+extern template ConversionResult<long> str_to_integral<long>(StringPiece* src);
+extern template ConversionResult<unsigned long> str_to_integral<unsigned long>(
+    StringPiece* src);
+
+extern template ConversionResult<long long> str_to_integral<long long>(
+    StringPiece* src);
+extern template ConversionResult<unsigned long long>
+str_to_integral<unsigned long long>(StringPiece* src);
+
+#if FOLLY_HAVE_INT128_T
+extern template ConversionResult<__int128> str_to_integral<__int128>(
+    StringPiece* src);
+extern template ConversionResult<unsigned __int128>
+str_to_integral<unsigned __int128>(StringPiece* src);
+#endif
+
+template <typename T>
+typename std::enable_if<std::is_same<T, bool>::value, ConversionResult<T>>::type
+convertTo(StringPiece* src) {
+  return str_to_bool(src);
  }
  
-/**
- * String represented as a pair of pointers to char to signed
- * integrals. Assumes NO whitespace before or after. Allows an
- * optional leading sign.
- */
-template <class Tgt>
+template <typename T>
  typename std::enable_if<
-  std::is_integral<Tgt>::value && std::is_signed<Tgt>::value,
-  Tgt>::type
-to(const char * b, const char * e) {
-  FOLLY_RANGE_CHECK(b < e, "Empty input string in conversion to integral",
-                    to<std::string>("b: ", intptr_t(b), " e: ", intptr_t(e)));
-  if (!isdigit(*b)) {
-    if (*b == '-') {
-      Tgt result = -to<typename std::make_unsigned<Tgt>::type>(b + 1, e);
-      FOLLY_RANGE_CHECK_BEGIN_END(result <= 0, "Negative overflow.", b, e);
-      return result;
-    }
-    FOLLY_RANGE_CHECK_BEGIN_END(*b == '+', "Invalid lead character", b, e);
-    ++b;
-  }
-  Tgt result = to<typename std::make_unsigned<Tgt>::type>(b, e);
-  FOLLY_RANGE_CHECK_BEGIN_END(result >= 0, "Overflow", b, e);
-  return result;
+    std::is_floating_point<T>::value, ConversionResult<T>>::type
+convertTo(StringPiece* src) {
+  return str_to_floating<T>(src);
  }
  
-namespace detail {
-/**
- * StringPiece to integrals, with progress information. Alters the
- * StringPiece parameter to munch the already-parsed characters.
- */
-template <class Tgt>
-Tgt str_to_integral(StringPiece* src) {
-  auto b = src->data(), past = src->data() + src->size();
-  for (;; ++b) {
-    FOLLY_RANGE_CHECK_STRINGPIECE(b < past,
-                                  "No digits found in input string", *src);
-    if (!isspace(*b)) break;
-  }
+template <typename T>
+typename std::enable_if<
+    std::is_integral<T>::value && !std::is_same<T, bool>::value,
+    ConversionResult<T>>::type
+convertTo(StringPiece* src) {
+  return str_to_integral<T>(src);
+}
  
-  auto m = b;
-
-  // First digit is customized because we test for sign
-  bool negative = false;
-  /* static */ if (std::is_signed<Tgt>::value) {
-    if (!isdigit(*m)) {
-      if (*m == '-') {
-        negative = true;
-      } else {
-        FOLLY_RANGE_CHECK_STRINGPIECE(*m == '+', "Invalid leading character in "
-                                      "conversion to integral", *src);
-      }
-      ++b;
-      ++m;
-    }
-  }
-  FOLLY_RANGE_CHECK_STRINGPIECE(m < past, "No digits found in input string",
-                                *src);
-  FOLLY_RANGE_CHECK_STRINGPIECE(isdigit(*m), "Non-digit character found", *src);
-  m = detail::findFirstNonDigit<Tgt>(m + 1, past);
+template <typename T>
+struct WrapperInfo { using type = T; };
  
-  Tgt result;
-  /* static */ if (!std::is_signed<Tgt>::value) {
-    result = detail::digits_to<typename std::make_unsigned<Tgt>::type>(b, m);
-  } else {
-    auto t = detail::digits_to<typename std::make_unsigned<Tgt>::type>(b, m);
-    if (negative) {
-      result = -t;
-      FOLLY_RANGE_CHECK_STRINGPIECE(is_non_positive(result),
-                                    "Negative overflow", *src);
-    } else {
-      result = t;
-      FOLLY_RANGE_CHECK_STRINGPIECE(is_non_negative(result), "Overflow", *src);
-    }
+template <typename T, typename Gen>
+typename std::enable_if<
+    std::is_same<typename WrapperInfo<T>::type, T>::value, T>::type
+inline wrap(ConversionResult<typename WrapperInfo<T>::type> res, Gen&& gen) {
+  if (LIKELY(res.success())) {
+    return res.value;
    }
-  src->advance(m - src->data());
-  return result;
+  throw detail::makeConversionError(res.error, gen());
  }
  
+} // namespace detail
+
  /**
- * Enforce that the suffix following a number is made up only of whitespace.
+ * String represented as a pair of pointers to char to unsigned
+ * integrals. Assumes NO whitespace before or after.
   */
-inline void enforceWhitespace(StringPiece sp) {
-  for (char ch : sp) {
-    FOLLY_RANGE_CHECK_STRINGPIECE(
-        isspace(ch), to<std::string>("Non-whitespace: ", ch), sp);
-  }
+template <typename Tgt>
+typename std::enable_if<
+    std::is_integral<typename detail::WrapperInfo<Tgt>::type>::value &&
+    !std::is_same<typename detail::WrapperInfo<Tgt>::type, bool>::value,
+    Tgt>::type
+to(const char* b, const char* e) {
+  auto res = detail::digits_to<typename detail::WrapperInfo<Tgt>::type>(b, e);
+  return detail::wrap<Tgt>(res, [&] { return StringPiece(b, e); });
  }
  
  /*******************************************************************************
- * Conversions from string types to floating-point types.
+ * Conversions from string types to arithmetic types.
   ******************************************************************************/
  
-
-} // namespace detail
-
-/**
- * StringPiece to bool, with progress information. Alters the
- * StringPiece parameter to munch the already-parsed characters.
- */
-inline void parseTo(StringPiece* src, bool& out) {
-  out = detail::str_to_bool(src);
-}
-
  /**
   * Parsing strings to numeric types. These routines differ from
   * parseTo(str, numeric) routines in that they take a POINTER TO a StringPiece
   * and alter that StringPiece to reflect progress information.
   */
-template <class Tgt>
+template <typename Tgt>
  typename std::enable_if<
-    std::is_integral<typename std::remove_cv<Tgt>::type>::value>::type
+    std::is_arithmetic<typename detail::WrapperInfo<Tgt>::type>::value>::type
  parseTo(StringPiece* src, Tgt& out) {
-  out = detail::str_to_integral<Tgt>(src);
-}
-
-inline void parseTo(StringPiece* src, float& out) {
-  out = detail::str_to_float(src);
-}
-
-inline void parseTo(StringPiece* src, double& out) {
-  out = detail::str_to_double(src);
+  auto res = detail::convertTo<typename detail::WrapperInfo<Tgt>::type>(src);
+  out = detail::wrap<Tgt>(res, [&] { return *src; });
  }
  
-template <class Tgt>
+template <typename Tgt>
  typename std::enable_if<
-    std::is_floating_point<Tgt>::value ||
-    std::is_integral<typename std::remove_cv<Tgt>::type>::value>::type
+    std::is_arithmetic<typename detail::WrapperInfo<Tgt>::type>::value>::type
  parseTo(StringPiece src, Tgt& out) {
-  parseTo(&src, out);
-  detail::enforceWhitespace(src);
+  auto res = detail::convertTo<typename detail::WrapperInfo<Tgt>::type>(&src);
+  if (LIKELY(res.success())) {
+    res.error = detail::enforceWhitespaceErr(src);
+  }
+  out = detail::wrap<Tgt>(res, [&] { return src; });
  }
  
  /*******************************************************************************
- * Integral to floating point and back
+ * Integral / Floating Point to integral / Floating Point
   ******************************************************************************/
  
+/**
+ * Unchecked conversion from arithmetic to boolean. This is different from the
+ * other arithmetic conversions because we use the C convention of treating any
+ * non-zero value as true, instead of range checking.
+ */
+template <class Tgt, class Src>
+typename std::enable_if<
+    std::is_arithmetic<Src>::value && !std::is_same<Tgt, Src>::value &&
+        std::is_same<Tgt, bool>::value,
+    Tgt>::type
+to(const Src& value) {
+  return value != Src();
+}
+
  namespace detail {
  
+/**
+ * Checked conversion from integral to integral. The checks are only
+ * performed when meaningful, e.g. conversion from int to long goes
+ * unchecked.
+ */
+template <class Tgt, class Src>
+typename std::enable_if<
+    std::is_integral<Src>::value && !std::is_same<Tgt, Src>::value &&
+        !std::is_same<Tgt, bool>::value &&
+        std::is_integral<Tgt>::value,
+    ConversionResult<Tgt>>::type
+convertTo(const Src& value) {
+  /* static */ if (
+      std::numeric_limits<Tgt>::max() < std::numeric_limits<Src>::max()) {
+    if (greater_than<Tgt, std::numeric_limits<Tgt>::max()>(value)) {
+      return ConversionResult<Tgt>(ConversionError::ARITH_POSITIVE_OVERFLOW);
+    }
+  }
+  /* static */ if (
+      std::is_signed<Src>::value &&
+      (!std::is_signed<Tgt>::value || sizeof(Src) > sizeof(Tgt))) {
+    if (less_than<Tgt, std::numeric_limits<Tgt>::min()>(value)) {
+      return ConversionResult<Tgt>(ConversionError::ARITH_NEGATIVE_OVERFLOW);
+    }
+  }
+  return ConversionResult<Tgt>(static_cast<Tgt>(value));
+}
+
+/**
+ * Checked conversion from floating to floating. The checks are only
+ * performed when meaningful, e.g. conversion from float to double goes
+ * unchecked.
+ */
+template <class Tgt, class Src>
+typename std::enable_if<
+    std::is_floating_point<Tgt>::value && std::is_floating_point<Src>::value &&
+        !std::is_same<Tgt, Src>::value,
+    ConversionResult<Tgt>>::type
+convertTo(const Src& value) {
+  /* static */ if (
+      std::numeric_limits<Tgt>::max() < std::numeric_limits<Src>::max()) {
+    if (value > std::numeric_limits<Tgt>::max()) {
+      return ConversionResult<Tgt>(ConversionError::ARITH_POSITIVE_OVERFLOW);
+    }
+    if (value < std::numeric_limits<Tgt>::lowest()) {
+      return ConversionResult<Tgt>(ConversionError::ARITH_NEGATIVE_OVERFLOW);
+    }
+  }
+  return ConversionResult<Tgt>(boost::implicit_cast<Tgt>(value));
+}
+
  /**
   * Check if a floating point value can safely be converted to an
   * integer value without triggering undefined behaviour.
@@ -1212,7 +1248,6 @@ constexpr typename std::enable_if<
  checkConversion(const Src&) {
    return true;
  }
-}
  
  /**
   * Checked conversion from integral to floating point and back. The
@@ -1221,30 +1256,51 @@ checkConversion(const Src&) {
   * complements existing routines nicely. For various rounding
   * routines, see <math>.
   */
-template <class Tgt, class Src>
+template <typename Tgt, typename Src>
  typename std::enable_if<
      (std::is_integral<Src>::value && std::is_floating_point<Tgt>::value) ||
-        (std::is_floating_point<Src>::value && std::is_integral<Tgt>::value &&
-         !std::is_same<Tgt, bool>::value),
-    Tgt>::type
-to(const Src& value) {
-  if (detail::checkConversion<Tgt>(value)) {
-    Tgt result = Tgt(value);
-    if (detail::checkConversion<Src>(result)) {
-      auto witness = static_cast<Src>(result);
-      if (value == witness) {
-        return result;
+        (std::is_floating_point<Src>::value && std::is_integral<Tgt>::value),
+    ConversionResult<Tgt>>::type
+convertTo(const Src& value) {
+  if (LIKELY(checkConversion<Tgt>(value))) {
+    Tgt result = static_cast<Tgt>(value);
+    if (LIKELY(checkConversion<Src>(result))) {
+      Src witness = static_cast<Src>(result);
+      if (LIKELY(value == witness)) {
+        return ConversionResult<Tgt>(result);
        }
      }
    }
-  throw std::range_error(
-    to<std::string>("to<>: loss of precision when converting ", value,
+  return ConversionResult<Tgt>(ConversionError::ARITH_LOSS_OF_PRECISION);
+}
+
+template <typename Tgt, typename Src>
+inline std::string errorValue(const Src& value) {
  #ifdef FOLLY_HAS_RTTI
-                    " to type ", typeid(Tgt).name()
+  return to<std::string>("(", demangle(typeid(Tgt)), ") ", value);
  #else
-                    " to other type"
+  return to<std::string>(value);
  #endif
-                    ).c_str());
+}
+
+template <typename Tgt, typename Src>
+using IsArithToArith = std::integral_constant<
+    bool,
+    !std::is_same<Tgt, Src>::value && !std::is_same<Tgt, bool>::value &&
+        std::is_arithmetic<Src>::value &&
+        std::is_arithmetic<Tgt>::value>;
+
+} // namespace detail
+
+template <typename Tgt, typename Src>
+typename std::enable_if<
+    detail::IsArithToArith<
+        typename detail::WrapperInfo<Tgt>::type, Src>::value, Tgt>::type
+to(const Src& value) {
+  auto res = detail::convertTo<typename detail::WrapperInfo<Tgt>::type>(value);
+  return detail::wrap<Tgt>(res, [&] {
+    return detail::errorValue<typename detail::WrapperInfo<Tgt>::type>(value);
+  });
  }
  
  /*******************************************************************************
@@ -1319,14 +1375,3 @@ to(const Src & value) {
  }
  
  } // namespace folly
-
-// FOLLY_CONV_INTERNAL is defined by Conv.cpp.  Keep the FOLLY_RANGE_CHECK
-// macro for use in Conv.cpp, but #undefine it everywhere else we are included,
-// to avoid defining this global macro name in other files that include Conv.h.
-#ifndef FOLLY_CONV_INTERNAL
-#undef FOLLY_RANGE_CHECK
-#undef FOLLY_RANGE_CHECK_BEGIN_END
-#undef FOLLY_RANGE_CHECK_STRINGPIECE
-#undef FOLLY_RANGE_CHECK_STRINGIZE
-#undef FOLLY_RANGE_CHECK_STRINGIZE2
-#endif
diff --git a/folly/experimental/test/DynamicParserTest.cpp b/folly/experimental/test/DynamicParserTest.cpp

index e7301c93fdc89cf8a8693cbdf303098ea1be8730..39bc5752b91757df35c36c4983a0e8fe1b091b7d 100644 (file)
--- a/folly/experimental/test/DynamicParserTest.cpp
+++ b/folly/experimental/test/DynamicParserTest.cpp
@@ -97,9 +97,9 @@ TEST(TestDynamicParser, OnErrorThrowError) {
      auto error = ex.error();
      const auto& message =
        error.at("nested").at("0").at("nested").at("int").at("error");
-    EXPECT_PCRE_MATCH(".* conversion to integral.*", message.getString());
+    EXPECT_PCRE_MATCH(".*Invalid leading.*", message.getString());
      EXPECT_PCRE_MATCH(
-      "DynamicParserParseError: .* conversion to integral.*", ex.what()
+      "DynamicParserParseError: .*Invalid leading.*", ex.what()
      );
      EXPECT_EQ(dynamic(dynamic::object
        ("nested", dynamic::object
@@ -282,7 +282,7 @@ TEST(TestDynamicParser, TestRequiredOptionalParseErrors) {
    };
    EXPECT_EQ(dynamic(dynamic::object("nested", dynamic::object
      ("x", get_expected_error_fn("x", "TypeError: .* but had type `array'"))
-    ("y", get_expected_error_fn("y", ".* Invalid leading character .*"))
+    ("y", get_expected_error_fn("y", ".*Invalid leading character.*"))
      ("z", get_expected_error_fn("z", "CUSTOM")))), errors);
  }
  
@@ -317,7 +317,7 @@ TEST(TestDynamicParser, TestItemParseErrors) {
      dynamic::array("this is not a bool"),
      [&](DynamicParser& p) { p.arrayItems([&](int64_t, bool) {}); },
      0, "0",
-    ".* Non-whitespace: .*"
+    ".*Non-whitespace.*"
    );
  }
  
diff --git a/folly/test/ConvBenchmark.cpp b/folly/test/ConvBenchmark.cpp

index a6e21dd2779e65602f4281d31af3c86fec6e8eaa..0c7ffd3d5496d642e958f90030373c4982acc799 100644 (file)
--- a/folly/test/ConvBenchmark.cpp
+++ b/folly/test/ConvBenchmark.cpp
@@ -28,6 +28,13 @@
  using namespace std;
  using namespace folly;
  
+// Android doesn't support std::to_string so just use a placeholder there.
+#ifdef __ANDROID__
+#define FOLLY_RANGE_CHECK_TO_STRING(x) std::string("N/A")
+#else
+#define FOLLY_RANGE_CHECK_TO_STRING(x) std::to_string(x)
+#endif
+
  namespace folly {
  namespace conv_bench_detail {
  
diff --git a/folly/test/ConvTest.cpp b/folly/test/ConvTest.cpp

index 5512014cb2788569577019519902546d8c9ad95a..426128187a76f9ba43b7f9239715bc5e4045a12e 100644 (file)
--- a/folly/test/ConvTest.cpp
+++ b/folly/test/ConvTest.cpp
@@ -14,12 +14,14 @@
   * limitations under the License.
   */
  
+#include <boost/lexical_cast.hpp>
  #include <folly/Conv.h>
  #include <folly/Foreach.h>
-#include <boost/lexical_cast.hpp>
  #include <gtest/gtest.h>
  #include <limits>
+#include <sstream>
  #include <stdexcept>
+#include <tuple>
  
  using namespace std;
  using namespace folly;
@@ -563,15 +565,32 @@ TEST(Conv, FBStringToString) {
  }
  
  TEST(Conv, StringPieceToDouble) {
-  string s = "2134123.125 zorro";
-  StringPiece pc(s);
-  EXPECT_EQ(to<double>(&pc), 2134123.125);
-  EXPECT_EQ(pc, " zorro");
-
-  EXPECT_THROW(to<double>(StringPiece(s)), std::range_error);
-  EXPECT_EQ(to<double>(StringPiece(s.data(), pc.data())), 2134123.125);
+  vector<tuple<const char*, const char*, double>> strs{
+      make_tuple("2134123.125 zorro", " zorro", 2134123.125),
+      make_tuple("  2134123.125 zorro", " zorro", 2134123.125),
+      make_tuple(" 2134123.125  zorro", "  zorro", 2134123.125),
+      make_tuple(" 2134123.125  zorro ", "  zorro ", 2134123.125),
+      make_tuple("2134123.125zorro", "zorro", 2134123.125),
+      make_tuple("0 zorro", " zorro", 0.0),
+      make_tuple("  0 zorro", " zorro", 0.0),
+      make_tuple(" 0  zorro", "  zorro", 0.0),
+      make_tuple(" 0  zorro ", "  zorro ", 0.0),
+      make_tuple("0zorro", "zorro", 0.0),
+      make_tuple("0.0 zorro", " zorro", 0.0),
+      make_tuple("  0.0 zorro", " zorro", 0.0),
+      make_tuple(" 0.0  zorro", "  zorro", 0.0),
+      make_tuple(" 0.0  zorro ", "  zorro ", 0.0),
+      make_tuple("0.0zorro", "zorro", 0.0),
+  };
+  for (const auto& s : strs) {
+    StringPiece pc(get<0>(s));
+    EXPECT_EQ(get<2>(s), to<double>(&pc)) << "\"" << get<0>(s) << "\"";
+    EXPECT_EQ(get<1>(s), pc);
+    EXPECT_THROW(to<double>(StringPiece(get<0>(s))), std::range_error);
+    EXPECT_EQ(get<2>(s), to<double>(StringPiece(get<0>(s), pc.data())));
+  }
  
-// Test NaN conversion
+  // Test NaN conversion
    try {
      to<double>("not a number");
      EXPECT_TRUE(false);
@@ -849,6 +868,164 @@ TEST(Conv, FloatToBool) {
    EXPECT_EQ(to<bool>(-std::numeric_limits<double>::infinity()), true);
  }
  
+namespace {
+
+template <typename F>
+void testConvError(
+    F&& expr,
+    const char* exprStr,
+    ConversionError::Code code,
+    const char* value,
+    bool quotedValue,
+    int line) {
+  std::string where = to<std::string>(__FILE__, "(", line, "): ");
+  try {
+    auto res = expr();
+    EXPECT_TRUE(false) << where << exprStr << " -> " << res;
+  } catch (const ConversionError& e) {
+    EXPECT_EQ(code, e.errorCode()) << where << exprStr;
+    std::string str(e.what());
+    EXPECT_FALSE(str.empty()) << where << exprStr << " -> " << str;
+    auto pos = str.find(':');
+    if (value) {
+      std::ostringstream exp;
+      exp << str.substr(0, pos) + ": ";
+      if (quotedValue) {
+        exp << "\"" << value << "\"";
+      } else {
+        exp << value;
+      }
+      EXPECT_EQ(exp.str(), str) << where << exprStr << " -> " << str;
+    } else {
+      EXPECT_EQ(pos, std::string::npos) << where << exprStr << " -> " << str;
+    }
+  }
+}
+}
+
+#define EXPECT_CONV_ERROR_QUOTE(expr, code, value, quoted) \
+  testConvError(                                           \
+      [&] { return expr; },                                \
+      #expr,                                               \
+      ConversionError::code,                               \
+      value,                                               \
+      quoted,                                              \
+      __LINE__)
+
+#define EXPECT_CONV_ERROR(expr, code, value) \
+  EXPECT_CONV_ERROR_QUOTE(expr, code, value, true)
+
+#define EXPECT_CONV_ERROR_STR(type, str, code) \
+  EXPECT_CONV_ERROR(to<type>(str), code, str)
+
+#define EXPECT_CONV_ERROR_STR_NOVAL(type, str, code) \
+  EXPECT_CONV_ERROR(to<type>(str), code, nullptr)
+
+TEST(Conv, ConversionErrorStrToBool) {
+  EXPECT_CONV_ERROR_STR_NOVAL(bool, StringPiece(), EMPTY_INPUT_STRING);
+  EXPECT_CONV_ERROR_STR_NOVAL(bool, "", EMPTY_INPUT_STRING);
+  EXPECT_CONV_ERROR_STR(bool, "  ", EMPTY_INPUT_STRING);
+  EXPECT_CONV_ERROR_STR(bool, " 11 ", BOOL_OVERFLOW);
+  EXPECT_CONV_ERROR_STR(bool, "other ", BOOL_INVALID_VALUE);
+  EXPECT_CONV_ERROR_STR(bool, " bla", BOOL_INVALID_VALUE);
+  EXPECT_CONV_ERROR(to<bool>("  offbla"), NON_WHITESPACE_AFTER_END, "bla");
+}
+
+TEST(Conv, ConversionErrorStrToFloat) {
+  EXPECT_CONV_ERROR_STR_NOVAL(float, StringPiece(), EMPTY_INPUT_STRING);
+  EXPECT_CONV_ERROR_STR_NOVAL(float, "", EMPTY_INPUT_STRING);
+  EXPECT_CONV_ERROR_STR(float, "  ", EMPTY_INPUT_STRING);
+  EXPECT_CONV_ERROR_STR(float, "  junk", STRING_TO_FLOAT_ERROR);
+  EXPECT_CONV_ERROR(to<float>("  1bla"), NON_WHITESPACE_AFTER_END, "bla");
+}
+
+TEST(Conv, ConversionErrorStrToInt) {
+  // empty string handling
+  EXPECT_CONV_ERROR_STR_NOVAL(int, StringPiece(), EMPTY_INPUT_STRING);
+  EXPECT_CONV_ERROR_STR_NOVAL(int, "", EMPTY_INPUT_STRING);
+  EXPECT_CONV_ERROR_STR(int, "  ", EMPTY_INPUT_STRING);
+
+  // signed integers
+  EXPECT_CONV_ERROR_STR(int, "  *", INVALID_LEADING_CHAR);
+  EXPECT_CONV_ERROR_STR(int, "  +", NO_DIGITS);
+  EXPECT_CONV_ERROR_STR(int, "  +*", NON_DIGIT_CHAR);
+  EXPECT_CONV_ERROR_STR(int8_t, "  128", POSITIVE_OVERFLOW);
+  EXPECT_CONV_ERROR_STR(int8_t, " -129", NEGATIVE_OVERFLOW);
+  EXPECT_CONV_ERROR_STR(int8_t, " 1000", POSITIVE_OVERFLOW);
+  EXPECT_CONV_ERROR_STR(int8_t, "-1000", NEGATIVE_OVERFLOW);
+  EXPECT_CONV_ERROR(to<int>(" -13bla"), NON_WHITESPACE_AFTER_END, "bla");
+
+  // unsigned integers
+  EXPECT_CONV_ERROR_STR(unsigned, "  -", NON_DIGIT_CHAR);
+  EXPECT_CONV_ERROR_STR(uint8_t, " 256", POSITIVE_OVERFLOW);
+  EXPECT_CONV_ERROR(to<unsigned>("42bla"), NON_WHITESPACE_AFTER_END, "bla");
+}
+
+#define EXPECT_CONV_ERROR_PP_VAL(type, str, code, val)                  \
+  do {                                                                  \
+    StringPiece input(str);                                             \
+    EXPECT_CONV_ERROR(to<type>(input.begin(), input.end()), code, val); \
+  } while (0)
+
+#define EXPECT_CONV_ERROR_PP(type, str, code) \
+  EXPECT_CONV_ERROR_PP_VAL(type, str, code, str)
+
+TEST(Conv, ConversionErrorPtrPairToInt) {
+  // signed integers
+  EXPECT_CONV_ERROR_PP(int, "", INVALID_LEADING_CHAR);
+  EXPECT_CONV_ERROR_PP(int, " ", INVALID_LEADING_CHAR);
+  EXPECT_CONV_ERROR_PP(int, "*", INVALID_LEADING_CHAR);
+  EXPECT_CONV_ERROR_PP(int, "+", NO_DIGITS);
+  EXPECT_CONV_ERROR_PP(int8_t, "128", POSITIVE_OVERFLOW);
+  EXPECT_CONV_ERROR_PP(int8_t, "-129", NEGATIVE_OVERFLOW);
+  EXPECT_CONV_ERROR_PP(int8_t, "1000", POSITIVE_OVERFLOW);
+  EXPECT_CONV_ERROR_PP(int8_t, "-1000", NEGATIVE_OVERFLOW);
+  EXPECT_CONV_ERROR_PP(int, "-junk", NON_DIGIT_CHAR);
+
+  // unsigned integers
+  EXPECT_CONV_ERROR_PP(unsigned, "", NO_DIGITS);
+  EXPECT_CONV_ERROR_PP(uint8_t, "256", POSITIVE_OVERFLOW);
+  EXPECT_CONV_ERROR_PP(unsigned, "junk", NON_DIGIT_CHAR);
+}
+
+namespace {
+
+template <typename T, typename V>
+std::string prefixWithType(V value) {
+  std::ostringstream oss;
+#ifdef FOLLY_HAS_RTTI
+  oss << "(" << demangle(typeid(T)) << ") ";
+#endif
+  oss << to<std::string>(value);
+  return oss.str();
+}
+}
+
+#define EXPECT_CONV_ERROR_ARITH(type, val, code) \
+  EXPECT_CONV_ERROR_QUOTE(                       \
+      to<type>(val), code, prefixWithType<type>(val).c_str(), false)
+
+TEST(Conv, ConversionErrorIntToInt) {
+  EXPECT_CONV_ERROR_ARITH(signed char, 128, ARITH_POSITIVE_OVERFLOW);
+  EXPECT_CONV_ERROR_ARITH(unsigned char, -1, ARITH_NEGATIVE_OVERFLOW);
+}
+
+TEST(Conv, ConversionErrorFloatToFloat) {
+  EXPECT_CONV_ERROR_ARITH(
+      float, std::numeric_limits<double>::max(), ARITH_POSITIVE_OVERFLOW);
+  EXPECT_CONV_ERROR_ARITH(
+      float, std::numeric_limits<double>::lowest(), ARITH_NEGATIVE_OVERFLOW);
+}
+
+TEST(Conv, ConversionErrorIntToFloat) {
+  EXPECT_CONV_ERROR_ARITH(
+      float, std::numeric_limits<long long>::max(), ARITH_LOSS_OF_PRECISION);
+}
+
+TEST(Conv, ConversionErrorFloatToInt) {
+  EXPECT_CONV_ERROR_ARITH(int8_t, 65.5, ARITH_LOSS_OF_PRECISION);
+}
+
  TEST(Conv, NewUint64ToString) {
    char buf[21];
  
diff --git a/folly/test/FormatTest.cpp b/folly/test/FormatTest.cpp

index 61887a4212eecce80fcfa03915c960d4a9e57baa..d1d8c96aea34877ae54ee3518eb25b600c907414 100644 (file)
--- a/folly/test/FormatTest.cpp
+++ b/folly/test/FormatTest.cpp
@@ -452,8 +452,7 @@ TEST(Format, BogusFormatString) {
  
    // This one fails in detail::enforceWhitespace(), which throws
    // std::range_error
-  EXPECT_THROW_STR(sformat("{0[test}"), std::range_error,
-                   "Non-whitespace: [");
+  EXPECT_THROW_STR(sformat("{0[test}"), std::range_error, "Non-whitespace");
  }
  
  template <bool containerMode, class... Args>
diff --git a/folly/test/StringTest.cpp b/folly/test/StringTest.cpp

index 781aacdbbeb7da421b1365db0839a9b1ef43260d..76cf6ac40f78c0bdd8d300ed2dff5e98e945b02c 100644 (file)
--- a/folly/test/StringTest.cpp
+++ b/folly/test/StringTest.cpp
@@ -413,8 +413,8 @@ TEST(PrettyToDouble, Basic) {
      double recoveredX = 0;
      try{
        recoveredX = prettyToDouble(testString, formatType);
-    } catch (std::range_error &ex){
-      EXPECT_TRUE(false);
+    } catch (const std::range_error& ex) {
+      EXPECT_TRUE(false) << testCase.prettyString << " -> " << ex.what();
      }
      double relativeError = fabs(x) < 1e-5 ? (x-recoveredX) :
                                              (x - recoveredX) / x;
author	Marcus Holland-Moritz <mhx@fb.com>
	Wed, 6 Jul 2016 10:56:58 +0000 (03:56 -0700)
committer	Facebook Github Bot 0 <facebook-github-bot-0-bot@fb.com>
	Wed, 6 Jul 2016 11:08:21 +0000 (04:08 -0700)
folly/Conv.cpp		patch \| blob \| history
folly/Conv.h		patch \| blob \| history
folly/experimental/test/DynamicParserTest.cpp		patch \| blob \| history
folly/test/ConvBenchmark.cpp		patch \| blob \| history
folly/test/ConvTest.cpp		patch \| blob \| history
folly/test/FormatTest.cpp		patch \| blob \| history
folly/test/StringTest.cpp		patch \| blob \| history