206 lines
7.3 KiB
C++
206 lines
7.3 KiB
C++
// Unit test for boost::lexical_cast.
|
|
//
|
|
// See http://www.boost.org for most recent version, including documentation.
|
|
//
|
|
// Copyright Antony Polukhin, 2011-2019.
|
|
//
|
|
// Distributed under the Boost
|
|
// Software License, Version 1.0. (See accompanying file
|
|
// LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt).
|
|
|
|
#include <boost/config.hpp>
|
|
|
|
#if defined(__INTEL_COMPILER)
|
|
#pragma warning(disable: 193 383 488 981 1418 1419)
|
|
#elif defined(BOOST_MSVC)
|
|
#pragma warning(disable: 4097 4100 4121 4127 4146 4244 4245 4511 4512 4701 4800)
|
|
#endif
|
|
|
|
#include <boost/lexical_cast.hpp>
|
|
|
|
|
|
#include <boost/math/special_functions/sign.hpp>
|
|
#include <boost/math/special_functions/fpclassify.hpp>
|
|
#include <boost/type_traits/is_same.hpp>
|
|
#include <boost/test/unit_test.hpp>
|
|
#include <boost/test/floating_point_comparison.hpp>
|
|
|
|
#if defined(BOOST_NO_STRINGSTREAM) || defined(BOOST_NO_STD_WSTRING)
|
|
#define BOOST_LCAST_NO_WCHAR_T
|
|
#endif
|
|
|
|
using namespace boost;
|
|
|
|
template <class T>
|
|
bool is_pos_inf(T value)
|
|
{
|
|
return (boost::math::isinf)(value) && !(boost::math::signbit)(value);
|
|
}
|
|
|
|
template <class T>
|
|
bool is_neg_inf(T value)
|
|
{
|
|
return (boost::math::isinf)(value) && (boost::math::signbit)(value);
|
|
}
|
|
|
|
template <class T>
|
|
bool is_pos_nan(T value)
|
|
{
|
|
return (boost::math::isnan)(value) && !(boost::math::signbit)(value);
|
|
}
|
|
|
|
template <class T>
|
|
bool is_neg_nan(T value)
|
|
{
|
|
/* There is some strange behaviour on Itanium platform with -nan nuber for long double.
|
|
* It is a IA64 feature, or it is a boost::math feature, not a lexical_cast bug */
|
|
#if defined(__ia64__) || defined(_M_IA64)
|
|
return (boost::math::isnan)(value)
|
|
&& ( boost::is_same<T, long double >::value || (boost::math::signbit)(value) );
|
|
#else
|
|
return (boost::math::isnan)(value) && (boost::math::signbit)(value);
|
|
#endif
|
|
}
|
|
|
|
template <class T>
|
|
void test_inf_nan_templated()
|
|
{
|
|
typedef T test_t;
|
|
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("inf") ) );
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("INF") ) );
|
|
|
|
BOOST_CHECK( is_neg_inf( lexical_cast<test_t>("-inf") ) );
|
|
BOOST_CHECK( is_neg_inf( lexical_cast<test_t>("-INF") ) );
|
|
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("+inf") ) );
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("+INF") ) );
|
|
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("infinity") ) );
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("INFINITY") ) );
|
|
|
|
BOOST_CHECK( is_neg_inf( lexical_cast<test_t>("-infinity") ) );
|
|
BOOST_CHECK( is_neg_inf( lexical_cast<test_t>("-INFINITY") ) );
|
|
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("+infinity") ) );
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("+INFINITY") ) );
|
|
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("iNfiNity") ) );
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>("INfinity") ) );
|
|
|
|
BOOST_CHECK( is_neg_inf( lexical_cast<test_t>("-inFINITY") ) );
|
|
BOOST_CHECK( is_neg_inf( lexical_cast<test_t>("-INFINITY") ) );
|
|
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("nan") ) );
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("NAN") ) );
|
|
|
|
BOOST_CHECK( is_neg_nan( lexical_cast<test_t>("-nan") ) );
|
|
BOOST_CHECK( is_neg_nan( lexical_cast<test_t>("-NAN") ) );
|
|
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("+nan") ) );
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("+NAN") ) );
|
|
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("nAn") ) );
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("NaN") ) );
|
|
|
|
BOOST_CHECK( is_neg_nan( lexical_cast<test_t>("-nAn") ) );
|
|
BOOST_CHECK( is_neg_nan( lexical_cast<test_t>("-NaN") ) );
|
|
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("+Nan") ) );
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("+nAN") ) );
|
|
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("nan()") ) );
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>("NAN(some string)") ) );
|
|
BOOST_CHECK_THROW( lexical_cast<test_t>("NAN(some string"), bad_lexical_cast );
|
|
|
|
BOOST_CHECK(lexical_cast<std::string>( (boost::math::changesign)(std::numeric_limits<test_t >::infinity()))
|
|
== "-inf" );
|
|
BOOST_CHECK(lexical_cast<std::string>( std::numeric_limits<test_t >::infinity()) == "inf" );
|
|
BOOST_CHECK(lexical_cast<std::string>( std::numeric_limits<test_t >::quiet_NaN()) == "nan" );
|
|
#if !defined(__ia64__) && !defined(_M_IA64)
|
|
BOOST_CHECK(lexical_cast<std::string>(
|
|
(boost::math::changesign)(std::numeric_limits<test_t >::quiet_NaN()))
|
|
== "-nan" );
|
|
#endif
|
|
|
|
#ifndef BOOST_LCAST_NO_WCHAR_T
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"inf") ) );
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"INF") ) );
|
|
|
|
BOOST_CHECK( is_neg_inf( lexical_cast<test_t>(L"-inf") ) );
|
|
BOOST_CHECK( is_neg_inf( lexical_cast<test_t>(L"-INF") ) );
|
|
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"+inf") ) );
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"+INF") ) );
|
|
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"infinity") ) );
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"INFINITY") ) );
|
|
|
|
BOOST_CHECK( is_neg_inf( lexical_cast<test_t>(L"-infinity") ) );
|
|
BOOST_CHECK( is_neg_inf( lexical_cast<test_t>(L"-INFINITY") ) );
|
|
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"+infinity") ) );
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"+INFINITY") ) );
|
|
|
|
BOOST_CHECK( is_neg_inf( lexical_cast<test_t>(L"-infINIty") ) );
|
|
BOOST_CHECK( is_neg_inf( lexical_cast<test_t>(L"-INFiniTY") ) );
|
|
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"+inFINIty") ) );
|
|
BOOST_CHECK( is_pos_inf( lexical_cast<test_t>(L"+INfinITY") ) );
|
|
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>(L"nan") ) );
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>(L"NAN") ) );
|
|
|
|
BOOST_CHECK( is_neg_nan( lexical_cast<test_t>(L"-nan") ) );
|
|
BOOST_CHECK( is_neg_nan( lexical_cast<test_t>(L"-NAN") ) );
|
|
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>(L"+nan") ) );
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>(L"+NAN") ) );
|
|
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>(L"nan()") ) );
|
|
BOOST_CHECK( is_pos_nan( lexical_cast<test_t>(L"NAN(some string)") ) );
|
|
BOOST_CHECK_THROW( lexical_cast<test_t>(L"NAN(some string"), bad_lexical_cast );
|
|
|
|
BOOST_CHECK(lexical_cast<std::wstring>( (boost::math::changesign)(std::numeric_limits<test_t >::infinity()))
|
|
== L"-inf" );
|
|
BOOST_CHECK(lexical_cast<std::wstring>( std::numeric_limits<test_t >::infinity()) == L"inf" );
|
|
BOOST_CHECK(lexical_cast<std::wstring>( std::numeric_limits<test_t >::quiet_NaN()) == L"nan" );
|
|
#if !defined(__ia64__) && !defined(_M_IA64)
|
|
BOOST_CHECK(lexical_cast<std::wstring>(
|
|
(boost::math::changesign)(std::numeric_limits<test_t >::quiet_NaN()))
|
|
== L"-nan" );
|
|
#endif
|
|
|
|
#endif
|
|
}
|
|
|
|
void test_inf_nan_float()
|
|
{
|
|
test_inf_nan_templated<float >();
|
|
}
|
|
|
|
void test_inf_nan_double()
|
|
{
|
|
test_inf_nan_templated<double >();
|
|
}
|
|
|
|
void test_inf_nan_long_double()
|
|
{
|
|
// We do not run tests on compilers with bugs
|
|
#ifndef BOOST_MATH_NO_LONG_DOUBLE_MATH_FUNCTIONS
|
|
test_inf_nan_templated<long double >();
|
|
#endif
|
|
BOOST_CHECK(true);
|
|
}
|
|
|
|
unit_test::test_suite *init_unit_test_suite(int, char *[])
|
|
{
|
|
unit_test::test_suite *suite =
|
|
BOOST_TEST_SUITE("lexical_cast inf anf nan parsing unit test");
|
|
suite->add(BOOST_TEST_CASE(&test_inf_nan_float));
|
|
suite->add(BOOST_TEST_CASE(&test_inf_nan_double));
|
|
suite->add(BOOST_TEST_CASE(&test_inf_nan_long_double));
|
|
|
|
return suite;
|
|
}
|