Enable -Wunused-variables
[folly.git] / folly / test / ConvTest.cpp
index a14eeb2801ef510f3ef4527f825347128e59f698..0f189590d92e6a20e0b70af94cc7fa64b6840e91 100644 (file)
@@ -1,5 +1,5 @@
 /*
- * Copyright 2016 Facebook, Inc.
+ * Copyright 2017 Facebook, Inc.
  *
  * Licensed under the Apache License, Version 2.0 (the "License");
  * you may not use this file except in compliance with the License.
  * limitations under the License.
  */
 
+#ifndef __STDC_FORMAT_MACROS
+#define __STDC_FORMAT_MACROS 1
+#endif
+
+#include <boost/lexical_cast.hpp>
+
 #include <folly/Conv.h>
 #include <folly/Foreach.h>
-#include <boost/lexical_cast.hpp>
-#include <gtest/gtest.h>
+#include <folly/portability/GTest.h>
+
+#include <algorithm>
+#include <cinttypes>
 #include <limits>
+#include <sstream>
 #include <stdexcept>
+#include <tuple>
 
 using namespace std;
 using namespace folly;
@@ -81,7 +91,7 @@ TEST(Conv, Type2Type) {
   int intV = 42;
   EXPECT_EQ(to<int>(intV), 42);
 
-  float floatV = 4.2;
+  float floatV = 4.2f;
   EXPECT_EQ(to<float>(floatV), 4.2f);
 
   double doubleV = 0.42;
@@ -117,7 +127,7 @@ TEST(Conv, Integral2Integral) {
 }
 
 TEST(Conv, Floating2Floating) {
-  float f1 = 1e3;
+  float f1 = 1e3f;
   double d1 = to<double>(f1);
   EXPECT_EQ(f1, d1);
 
@@ -137,7 +147,7 @@ TEST(Conv, Floating2Floating) {
     EXPECT_TRUE(shouldWork == std::numeric_limits<float>::min() ||
                 shouldWork == 0.f);
   } catch (...) {
-    EXPECT_TRUE(false);
+    ADD_FAILURE();
   }
 }
 
@@ -197,6 +207,15 @@ void test128Bit2String() {
   svalue = 0;
   EXPECT_EQ(to<String>(svalue), "0");
 
+  value = ~__int128(0);
+  EXPECT_EQ(to<String>(value), "340282366920938463463374607431768211455");
+
+  svalue = -(Uint(1) << 127);
+  EXPECT_EQ(to<String>(svalue), "-170141183460469231731687303715884105728");
+
+  svalue = (Uint(1) << 127) - 1;
+  EXPECT_EQ(to<String>(svalue), "170141183460469231731687303715884105727");
+
   // TODO: the following do not compile to<__int128> ...
 
 #if 0
@@ -215,8 +234,8 @@ void test128Bit2String() {
 #endif
 
 TEST(Conv, Integral2String) {
-  testIntegral2String<std::string, char, short, int, long>();
-  testIntegral2String<fbstring, char, short, int, long>();
+  testIntegral2String<std::string, int8_t, int16_t, int32_t, int64_t>();
+  testIntegral2String<fbstring, int8_t, int16_t, int32_t, int64_t>();
 
 #if FOLLY_HAVE_INT128_T
   test128Bit2String<std::string>();
@@ -412,9 +431,9 @@ void testString2Integral() {
 }
 
 TEST(Conv, String2Integral) {
-  testString2Integral<const char*, signed char, short, int, long, long long>();
-  testString2Integral<std::string, signed char, short, int, long, long long>();
-  testString2Integral<fbstring, signed char, short, int, long, long long>();
+  testString2Integral<const char*, int8_t, int16_t, int32_t, int64_t>();
+  testString2Integral<std::string, int8_t, int16_t, int32_t, int64_t>();
+  testString2Integral<fbstring, int8_t, int16_t, int32_t, int64_t>();
 
   // Testing the behavior of the StringPiece* API
   // StringPiece* normally parses as much valid data as it can,
@@ -554,27 +573,62 @@ 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);
+    ADD_FAILURE();
   } catch (const std::range_error &) {
   }
 
+  EXPECT_TRUE(std::isnan(to<double>("nan")));
   EXPECT_TRUE(std::isnan(to<double>("NaN")));
+  EXPECT_TRUE(std::isnan(to<double>("NAN")));
+  EXPECT_TRUE(std::isnan(to<double>("-nan")));
+  EXPECT_TRUE(std::isnan(to<double>("-NaN")));
+  EXPECT_TRUE(std::isnan(to<double>("-NAN")));
+
   EXPECT_EQ(to<double>("inf"), numeric_limits<double>::infinity());
+  EXPECT_EQ(to<double>("Inf"), numeric_limits<double>::infinity());
+  EXPECT_EQ(to<double>("INF"), numeric_limits<double>::infinity());
+  EXPECT_EQ(to<double>("inF"), numeric_limits<double>::infinity());
   EXPECT_EQ(to<double>("infinity"), numeric_limits<double>::infinity());
+  EXPECT_EQ(to<double>("Infinity"), numeric_limits<double>::infinity());
+  EXPECT_EQ(to<double>("INFINITY"), numeric_limits<double>::infinity());
+  EXPECT_EQ(to<double>("iNfInItY"), numeric_limits<double>::infinity());
   EXPECT_THROW(to<double>("infinitX"), std::range_error);
   EXPECT_EQ(to<double>("-inf"), -numeric_limits<double>::infinity());
+  EXPECT_EQ(to<double>("-Inf"), -numeric_limits<double>::infinity());
+  EXPECT_EQ(to<double>("-INF"), -numeric_limits<double>::infinity());
+  EXPECT_EQ(to<double>("-inF"), -numeric_limits<double>::infinity());
   EXPECT_EQ(to<double>("-infinity"), -numeric_limits<double>::infinity());
+  EXPECT_EQ(to<double>("-Infinity"), -numeric_limits<double>::infinity());
+  EXPECT_EQ(to<double>("-INFINITY"), -numeric_limits<double>::infinity());
+  EXPECT_EQ(to<double>("-iNfInItY"), -numeric_limits<double>::infinity());
   EXPECT_THROW(to<double>("-infinitX"), std::range_error);
 }
 
@@ -584,7 +638,7 @@ TEST(Conv, EmptyStringToInt) {
 
   try {
     to<int>(pc);
-    EXPECT_TRUE(false);
+    ADD_FAILURE();
   } catch (const std::range_error &) {
   }
 }
@@ -595,7 +649,7 @@ TEST(Conv, CorruptedStringToInt) {
 
   try {
     to<int64_t>(&pc);
-    EXPECT_TRUE(false);
+    ADD_FAILURE();
   } catch (const std::range_error &) {
   }
 }
@@ -606,7 +660,7 @@ TEST(Conv, EmptyStringToDouble) {
 
   try {
     to<double>(pc);
-    EXPECT_TRUE(false);
+    ADD_FAILURE();
   } catch (const std::range_error &) {
   }
 }
@@ -617,7 +671,7 @@ TEST(Conv, IntToDouble) {
   /* This seems not work in ubuntu11.10, gcc 4.6.1
   try {
     auto f = to<float>(957837589847);
-    EXPECT_TRUE(false);
+    ADD_FAILURE();
   } catch (std::range_error& e) {
     //LOG(INFO) << e.what();
   }
@@ -628,10 +682,10 @@ TEST(Conv, DoubleToInt) {
   auto i = to<int>(42.0);
   EXPECT_EQ(i, 42);
   try {
-    auto i = to<int>(42.1);
-    LOG(ERROR) << "to<int> returned " << i << " instead of throwing";
-    EXPECT_TRUE(false);
-  } catch (std::range_error& e) {
+    auto i2 = to<int>(42.1);
+    LOG(ERROR) << "to<int> returned " << i2 << " instead of throwing";
+    ADD_FAILURE();
+  } catch (std::range_error&) {
     //LOG(INFO) << e.what();
   }
 }
@@ -643,12 +697,12 @@ TEST(Conv, EnumToInt) {
   auto j = to<char>(x);
   EXPECT_EQ(j, 42);
   try {
-    auto i = to<char>(y);
+    auto i2 = to<char>(y);
     LOG(ERROR) << "to<char> returned "
-               << static_cast<unsigned int>(i)
+               << static_cast<unsigned int>(i2)
                << " instead of throwing";
-    EXPECT_TRUE(false);
-  } catch (std::range_error& e) {
+    ADD_FAILURE();
+  } catch (std::range_error&) {
     //LOG(INFO) << e.what();
   }
 }
@@ -668,12 +722,12 @@ TEST(Conv, IntToEnum) {
   auto j = to<A>(100);
   EXPECT_EQ(j, 100);
   try {
-    auto i = to<A>(5000000000L);
+    auto i2 = to<A>(5000000000L);
     LOG(ERROR) << "to<A> returned "
-               << static_cast<unsigned int>(i)
+               << static_cast<unsigned int>(i2)
                << " instead of throwing";
-    EXPECT_TRUE(false);
-  } catch (std::range_error& e) {
+    ADD_FAILURE();
+  } catch (std::range_error&) {
     //LOG(INFO) << e.what();
   }
 }
@@ -689,8 +743,8 @@ TEST(Conv, UnsignedEnum) {
   try {
     auto i = to<int32_t>(x);
     LOG(ERROR) << "to<int32_t> returned " << i << " instead of throwing";
-    EXPECT_TRUE(false);
-  } catch (std::range_error& e) {
+    ADD_FAILURE();
+  } catch (std::range_error&) {
   }
 }
 
@@ -703,7 +757,7 @@ TEST(Conv, UnsignedEnumClass) {
   EXPECT_EQ(E::x, to<E>(3000000000U));
   EXPECT_EQ(E::x, to<E>("3000000000"));
   E e;
-  parseTo("3000000000", e);
+  EXPECT_TRUE(parseTo("3000000000", e).hasValue());
   EXPECT_EQ(E::x, e);
   EXPECT_THROW(to<int32_t>(E::x), std::range_error);
 }
@@ -728,7 +782,7 @@ TEST(Conv, IntegralToBool) {
   EXPECT_TRUE(to<bool>(42ul));
 }
 
-template<typename Src>
+template <typename Src>
 void testStr2Bool() {
   EXPECT_FALSE(to<bool>(Src("0")));
   EXPECT_FALSE(to<bool>(Src("  000  ")));
@@ -792,6 +846,14 @@ TEST(Conv, StringToBool) {
   EXPECT_EQ(buf5, sp5.begin());
 }
 
+TEST(Conv, Transform) {
+  const std::vector<int64_t> in{1, 2, 3};
+  std::vector<std::string> out(in.size());
+  std::transform(in.begin(), in.end(), out.begin(), to<std::string, int64_t>);
+  const std::vector<std::string> ref{"1", "2", "3"};
+  EXPECT_EQ(ref, out);
+}
+
 TEST(Conv, FloatToInt) {
   EXPECT_EQ(to<int>(42.0f), 42);
   EXPECT_EQ(to<int8_t>(-128.0f), int8_t(-128));
@@ -823,6 +885,278 @@ TEST(Conv, IntToFloat) {
 #endif
 }
 
+TEST(Conv, BoolToFloat) {
+  EXPECT_EQ(to<double>(true), 1.0);
+  EXPECT_EQ(to<double>(false), 0.0);
+}
+
+TEST(Conv, FloatToBool) {
+  EXPECT_EQ(to<bool>(1.0), true);
+  EXPECT_EQ(to<bool>(0.0), false);
+  EXPECT_EQ(to<bool>(2.7), true);
+  EXPECT_EQ(to<bool>(std::numeric_limits<double>::max()), true);
+  EXPECT_EQ(to<bool>(std::numeric_limits<double>::min()), true);
+  EXPECT_EQ(to<bool>(std::numeric_limits<double>::lowest()), true);
+  EXPECT_EQ(to<bool>(std::numeric_limits<double>::quiet_NaN()), true);
+  EXPECT_EQ(to<bool>(std::numeric_limits<double>::infinity()), true);
+  EXPECT_EQ(to<bool>(-std::numeric_limits<double>::infinity()), true);
+}
+
+namespace {
+
+template <typename F>
+void testConvError(
+    F&& expr,
+    const char* exprStr,
+    ConversionCode code,
+    const char* value,
+    bool quotedValue,
+    int line) {
+  std::string where = to<std::string>(__FILE__, "(", line, "): ");
+  try {
+    auto res = expr();
+    ADD_FAILURE() << 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,                                               \
+      ConversionCode::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, TryStringToBool) {
+  auto rv1 = folly::tryTo<bool>("xxxx");
+  EXPECT_FALSE(rv1.hasValue());
+  auto rv2 = folly::tryTo<bool>("false");
+  EXPECT_TRUE(rv2.hasValue());
+  EXPECT_FALSE(rv2.value());
+  auto rv3 = folly::tryTo<bool>("yes");
+  EXPECT_TRUE(rv3.hasValue());
+  EXPECT_TRUE(rv3.value());
+}
+
+TEST(Conv, TryStringToInt) {
+  auto rv1 = folly::tryTo<int>("1000000000000000000000000000000");
+  EXPECT_FALSE(rv1.hasValue());
+  auto rv2 = folly::tryTo<int>("4711");
+  EXPECT_TRUE(rv2.hasValue());
+  EXPECT_EQ(rv2.value(), 4711);
+}
+
+TEST(Conv, TryStringToEnum) {
+  enum class A { x = 42, y = 420, z = 65 };
+  auto rv1 = folly::tryTo<A>("1000000000000000000000000000000");
+  EXPECT_FALSE(rv1.hasValue());
+  auto rv2 = folly::tryTo<A>("42");
+  EXPECT_TRUE(rv2.hasValue());
+  EXPECT_EQ(A::x, rv2.value());
+  auto rv3 = folly::tryTo<A>("50");
+  EXPECT_TRUE(rv3.hasValue());
+  EXPECT_EQ(static_cast<A>(50), rv3.value());
+}
+
+TEST(Conv, TryStringToFloat) {
+  auto rv1 = folly::tryTo<float>("");
+  EXPECT_FALSE(rv1.hasValue());
+  auto rv2 = folly::tryTo<float>("3.14");
+  EXPECT_TRUE(rv2.hasValue());
+  EXPECT_NEAR(rv2.value(), 3.14, 1e-5);
+}
+
+TEST(Conv, TryStringToDouble) {
+  auto rv1 = folly::tryTo<double>("");
+  EXPECT_FALSE(rv1.hasValue());
+  auto rv2 = folly::tryTo<double>("3.14");
+  EXPECT_TRUE(rv2.hasValue());
+  EXPECT_NEAR(rv2.value(), 3.14, 1e-10);
+}
+
+TEST(Conv, TryIntToInt) {
+  auto rv1 = folly::tryTo<uint8_t>(256);
+  EXPECT_FALSE(rv1.hasValue());
+  auto rv2 = folly::tryTo<uint8_t>(255);
+  EXPECT_TRUE(rv2.hasValue());
+  EXPECT_EQ(rv2.value(), 255);
+}
+
+TEST(Conv, TryFloatToFloat) {
+  auto rv1 = folly::tryTo<float>(1e100);
+  EXPECT_FALSE(rv1.hasValue());
+  auto rv2 = folly::tryTo<double>(25.5f);
+  EXPECT_TRUE(rv2.hasValue());
+  EXPECT_NEAR(rv2.value(), 25.5, 1e-10);
+}
+
+TEST(Conv, TryFloatToInt) {
+  auto rv1 = folly::tryTo<int>(100.001);
+  EXPECT_FALSE(rv1.hasValue());
+  auto rv2 = folly::tryTo<int>(100.0);
+  EXPECT_TRUE(rv2.hasValue());
+  EXPECT_EQ(rv2.value(), 100);
+}
+
+TEST(Conv, TryIntToFloat) {
+  auto rv1 = folly::tryTo<float>(std::numeric_limits<uint64_t>::max());
+  EXPECT_FALSE(rv1.hasValue());
+  auto rv2 = folly::tryTo<float>(1000ULL);
+  EXPECT_TRUE(rv2.hasValue());
+  EXPECT_EQ(rv2.value(), 1000.0f);
+}
+
+TEST(Conv, TryPtrPairToInt) {
+  StringPiece sp1("1000000000000000000000000000000");
+  auto rv1 = folly::tryTo<int>(sp1.begin(), sp1.end());
+  EXPECT_FALSE(rv1.hasValue());
+  StringPiece sp2("4711");
+  auto rv2 = folly::tryTo<int>(sp2.begin(), sp2.end());
+  EXPECT_TRUE(rv2.hasValue());
+  EXPECT_EQ(rv2.value(), 4711);
+  StringPiece sp3("-4711");
+  auto rv3 = folly::tryTo<int>(sp3.begin(), sp3.end());
+  EXPECT_TRUE(rv3.hasValue());
+  EXPECT_EQ(rv3.value(), -4711);
+  StringPiece sp4("4711");
+  auto rv4 = folly::tryTo<uint16_t>(sp4.begin(), sp4.end());
+  EXPECT_TRUE(rv4.hasValue());
+  EXPECT_EQ(rv4.value(), 4711);
+}
+
 TEST(Conv, NewUint64ToString) {
   char buf[21];
 
@@ -888,10 +1222,12 @@ struct Dimensions {
   }
 };
 
-void parseTo(folly::StringPiece in, Dimensions& out) {
-  out.w = folly::to<int>(&in);
-  in.removePrefix("x");
-  out.h = folly::to<int>(&in);
+Expected<StringPiece, ConversionCode> parseTo(
+    folly::StringPiece in,
+    Dimensions& out) {
+  return parseTo(in, out.w)
+      .then([](StringPiece sp) { return sp.removePrefix("x"), sp; })
+      .then([&](StringPiece sp) { return parseTo(sp, out.h); });
 }
 
 template <class String>
@@ -914,3 +1250,10 @@ TEST(Conv, custom_kkproviders) {
   EXPECT_GT(str.capacity(), 2000);
   EXPECT_LT(str.capacity(), 2500);
 }
+
+TEST(Conv, TryToThenWithVoid) {
+  auto x = tryTo<int>("42").then([](int) {});
+  EXPECT_TRUE(x.hasValue());
+  Unit u = x.value();
+  (void)u;
+}