lexical_cast_inf_nan_test.cpp 7.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205
  1. // Unit test for boost::lexical_cast.
  2. //
  3. // See http://www.boost.org for most recent version, including documentation.
  4. //
  5. // Copyright Antony Polukhin, 2011-2019.
  6. //
  7. // Distributed under the Boost
  8. // Software License, Version 1.0. (See accompanying file
  9. // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).
  10. #include <boost/config.hpp>
  11. #if defined(__INTEL_COMPILER)
  12. #pragma warning(disable: 193 383 488 981 1418 1419)
  13. #elif defined(BOOST_MSVC)
  14. #pragma warning(disable: 4097 4100 4121 4127 4146 4244 4245 4511 4512 4701 4800)
  15. #endif
  16. #include <boost/lexical_cast.hpp>
  17. #include <boost/math/special_functions/sign.hpp>
  18. #include <boost/math/special_functions/fpclassify.hpp>
  19. #include <boost/type_traits/is_same.hpp>
  20. #include <boost/test/unit_test.hpp>
  21. #include <boost/test/floating_point_comparison.hpp>
  22. #if defined(BOOST_NO_STRINGSTREAM) || defined(BOOST_NO_STD_WSTRING)
  23. #define BOOST_LCAST_NO_WCHAR_T
  24. #endif
  25. using namespace boost;
  26. template <class T>
  27. bool is_pos_inf(T value)
  28. {
  29. return (boost::math::isinf)(value) && !(boost::math::signbit)(value);
  30. }
  31. template <class T>
  32. bool is_neg_inf(T value)
  33. {
  34. return (boost::math::isinf)(value) && (boost::math::signbit)(value);
  35. }
  36. template <class T>
  37. bool is_pos_nan(T value)
  38. {
  39. return (boost::math::isnan)(value) && !(boost::math::signbit)(value);
  40. }
  41. template <class T>
  42. bool is_neg_nan(T value)
  43. {
  44. /* There is some strange behaviour on Itanium platform with -nan nuber for long double.
  45. * It is a IA64 feature, or it is a boost::math feature, not a lexical_cast bug */
  46. #if defined(__ia64__) || defined(_M_IA64)
  47. return (boost::math::isnan)(value)
  48. && ( boost::is_same<T, long double >::value || (boost::math::signbit)(value) );
  49. #else
  50. return (boost::math::isnan)(value) && (boost::math::signbit)(value);
  51. #endif
  52. }
  53. template <class T>
  54. void test_inf_nan_templated()
  55. {
  56. typedef T test_t;
  57. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("inf") ) );
  58. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("INF") ) );
  59. BOOST_CHECK( is_neg_inf( lexical_cast<test_t>("-inf") ) );
  60. BOOST_CHECK( is_neg_inf( lexical_cast<test_t>("-INF") ) );
  61. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("+inf") ) );
  62. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("+INF") ) );
  63. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("infinity") ) );
  64. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("INFINITY") ) );
  65. BOOST_CHECK( is_neg_inf( lexical_cast<test_t>("-infinity") ) );
  66. BOOST_CHECK( is_neg_inf( lexical_cast<test_t>("-INFINITY") ) );
  67. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("+infinity") ) );
  68. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("+INFINITY") ) );
  69. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("iNfiNity") ) );
  70. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("INfinity") ) );
  71. BOOST_CHECK( is_neg_inf( lexical_cast<test_t>("-inFINITY") ) );
  72. BOOST_CHECK( is_neg_inf( lexical_cast<test_t>("-INFINITY") ) );
  73. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("nan") ) );
  74. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("NAN") ) );
  75. BOOST_CHECK( is_neg_nan( lexical_cast<test_t>("-nan") ) );
  76. BOOST_CHECK( is_neg_nan( lexical_cast<test_t>("-NAN") ) );
  77. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("+nan") ) );
  78. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("+NAN") ) );
  79. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("nAn") ) );
  80. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("NaN") ) );
  81. BOOST_CHECK( is_neg_nan( lexical_cast<test_t>("-nAn") ) );
  82. BOOST_CHECK( is_neg_nan( lexical_cast<test_t>("-NaN") ) );
  83. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("+Nan") ) );
  84. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("+nAN") ) );
  85. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("nan()") ) );
  86. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("NAN(some string)") ) );
  87. BOOST_CHECK_THROW( lexical_cast<test_t>("NAN(some string"), bad_lexical_cast );
  88. BOOST_CHECK(lexical_cast<std::string>( (boost::math::changesign)(std::numeric_limits<test_t >::infinity()))
  89. == "-inf" );
  90. BOOST_CHECK(lexical_cast<std::string>( std::numeric_limits<test_t >::infinity()) == "inf" );
  91. BOOST_CHECK(lexical_cast<std::string>( std::numeric_limits<test_t >::quiet_NaN()) == "nan" );
  92. #if !defined(__ia64__) && !defined(_M_IA64)
  93. BOOST_CHECK(lexical_cast<std::string>(
  94. (boost::math::changesign)(std::numeric_limits<test_t >::quiet_NaN()))
  95. == "-nan" );
  96. #endif
  97. #ifndef BOOST_LCAST_NO_WCHAR_T
  98. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"inf") ) );
  99. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"INF") ) );
  100. BOOST_CHECK( is_neg_inf( lexical_cast<test_t>(L"-inf") ) );
  101. BOOST_CHECK( is_neg_inf( lexical_cast<test_t>(L"-INF") ) );
  102. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"+inf") ) );
  103. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"+INF") ) );
  104. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"infinity") ) );
  105. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"INFINITY") ) );
  106. BOOST_CHECK( is_neg_inf( lexical_cast<test_t>(L"-infinity") ) );
  107. BOOST_CHECK( is_neg_inf( lexical_cast<test_t>(L"-INFINITY") ) );
  108. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"+infinity") ) );
  109. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"+INFINITY") ) );
  110. BOOST_CHECK( is_neg_inf( lexical_cast<test_t>(L"-infINIty") ) );
  111. BOOST_CHECK( is_neg_inf( lexical_cast<test_t>(L"-INFiniTY") ) );
  112. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"+inFINIty") ) );
  113. BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"+INfinITY") ) );
  114. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>(L"nan") ) );
  115. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>(L"NAN") ) );
  116. BOOST_CHECK( is_neg_nan( lexical_cast<test_t>(L"-nan") ) );
  117. BOOST_CHECK( is_neg_nan( lexical_cast<test_t>(L"-NAN") ) );
  118. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>(L"+nan") ) );
  119. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>(L"+NAN") ) );
  120. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>(L"nan()") ) );
  121. BOOST_CHECK( is_pos_nan( lexical_cast<test_t>(L"NAN(some string)") ) );
  122. BOOST_CHECK_THROW( lexical_cast<test_t>(L"NAN(some string"), bad_lexical_cast );
  123. BOOST_CHECK(lexical_cast<std::wstring>( (boost::math::changesign)(std::numeric_limits<test_t >::infinity()))
  124. == L"-inf" );
  125. BOOST_CHECK(lexical_cast<std::wstring>( std::numeric_limits<test_t >::infinity()) == L"inf" );
  126. BOOST_CHECK(lexical_cast<std::wstring>( std::numeric_limits<test_t >::quiet_NaN()) == L"nan" );
  127. #if !defined(__ia64__) && !defined(_M_IA64)
  128. BOOST_CHECK(lexical_cast<std::wstring>(
  129. (boost::math::changesign)(std::numeric_limits<test_t >::quiet_NaN()))
  130. == L"-nan" );
  131. #endif
  132. #endif
  133. }
  134. void test_inf_nan_float()
  135. {
  136. test_inf_nan_templated<float >();
  137. }
  138. void test_inf_nan_double()
  139. {
  140. test_inf_nan_templated<double >();
  141. }
  142. void test_inf_nan_long_double()
  143. {
  144. // We do not run tests on compilers with bugs
  145. #ifndef BOOST_MATH_NO_LONG_DOUBLE_MATH_FUNCTIONS
  146. test_inf_nan_templated<long double >();
  147. #endif
  148. BOOST_CHECK(true);
  149. }
  150. unit_test::test_suite *init_unit_test_suite(int, char *[])
  151. {
  152. unit_test::test_suite *suite =
  153. BOOST_TEST_SUITE("lexical_cast inf anf nan parsing unit test");
  154. suite->add(BOOST_TEST_CASE(&test_inf_nan_float));
  155. suite->add(BOOST_TEST_CASE(&test_inf_nan_double));
  156. suite->add(BOOST_TEST_CASE(&test_inf_nan_long_double));
  157. return suite;
  158. }