123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272 |
- // 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)
- // Copyright (c) 2006 Johan Rade
- // Copyright (c) 2011 Paul A. Bristow comments
- // Copyright (c) 2011 John Maddock
- /*!
- \file
- \brief Basic tests of the nonfinite num facets.
- \detail If has_infinity and has_nan, then
- basic_test outputs using nonfinite_num_put facet
- and reads back in using nonfinite_num_ facet,
- and checks loopback OK.
- Also checks that output of infinity, -infinity and NaN are as expected,
- using C99 specification "nan -nan nan -nan" and "inf -inf".
- Also includes a few combinations of display manipulators
- (left, right, internal, showpos)
- and checks that can input C99 infinity and NaN too.
- */
- #ifdef _MSC_VER
- # pragma warning(disable : 4702) // Unreachable code.
- #endif
- #include <iomanip>
- #include <locale>
- #include <sstream>
- #define BOOST_TEST_MAIN
- #include <boost/test/unit_test.hpp>
- #include "almost_equal.ipp"
- #include "s_.ipp"
- #include <boost/math/special_functions/nonfinite_num_facets.hpp>
- namespace
- { // The anonymous namespace resolves ambiguities on
- // platforms with fpclassify etc functions at global scope.
- using namespace boost::math;
- using boost::math::signbit;
- using boost::math::changesign;
- using boost::math::isnan;
- //------------------------------------------------------------------------------
- void basic_test_finite();
- void basic_test_inf();
- void basic_test_nan();
- void basic_test_format();
- BOOST_AUTO_TEST_CASE(basic_test)
- {
- basic_test_finite();
- basic_test_inf();
- basic_test_nan();
- basic_test_format();
- }
- //------------------------------------------------------------------------------
- template<class CharType, class ValType> void basic_test_finite_impl();
- void basic_test_finite()
- {
- basic_test_finite_impl<char, float>();
- basic_test_finite_impl<char, double>();
- basic_test_finite_impl<char, long double>();
- basic_test_finite_impl<wchar_t, float>();
- basic_test_finite_impl<wchar_t, double>();
- basic_test_finite_impl<wchar_t, long double>();
- }
- template<class CharType, class ValType> void basic_test_finite_impl()
- {
- if((std::numeric_limits<ValType>::has_infinity == 0) || (std::numeric_limits<ValType>::infinity() == 0))
- return;
- std::locale old_locale;
- std::locale tmp_locale(old_locale, new nonfinite_num_put<CharType>);
- std::locale new_locale(tmp_locale, new nonfinite_num_get<CharType>);
- std::basic_stringstream<CharType> ss;
- ss.imbue(new_locale);
- ValType a1 = (ValType)1.2;
- ValType a2 = (ValType)-3.5;
- ValType a3 = (std::numeric_limits<ValType>::max)();
- ValType a4 = -(std::numeric_limits<ValType>::max)();
- ss << a1 << ' ' << a2 << ' ' << a3 << ' ' << a4;
- ValType b1, b2, b3, b4;
- ss >> b1 >> b2 >> b3 >> b4;
- BOOST_CHECK(almost_equal(b1, a1));
- BOOST_CHECK(almost_equal(b2, a2));
- BOOST_CHECK(almost_equal(b3, a3));
- BOOST_CHECK(almost_equal(b4, a4));
- BOOST_CHECK(b3 != std::numeric_limits<ValType>::infinity());
- BOOST_CHECK(b4 != -std::numeric_limits<ValType>::infinity());
- BOOST_CHECK(ss.rdstate() == std::ios_base::eofbit);
- ss.clear();
- ss.str(S_(""));
- ss << "++5";
- ValType b5;
- ss >> b5;
- BOOST_CHECK(ss.rdstate() == std::ios_base::failbit);
- }
- //------------------------------------------------------------------------------
- template<class CharType, class ValType> void basic_test_inf_impl();
- void basic_test_inf()
- {
- basic_test_inf_impl<char, float>();
- basic_test_inf_impl<char, double>();
- basic_test_inf_impl<char, long double>();
- basic_test_inf_impl<wchar_t, float>();
- basic_test_inf_impl<wchar_t, double>();
- basic_test_inf_impl<wchar_t, long double>();
- }
- template<class CharType, class ValType> void basic_test_inf_impl()
- {
- if((std::numeric_limits<ValType>::has_infinity == 0) || (std::numeric_limits<ValType>::infinity() == 0))
- return;
- std::locale old_locale;
- std::locale tmp_locale(old_locale, new nonfinite_num_put<CharType>);
- std::locale new_locale(tmp_locale, new nonfinite_num_get<CharType>);
- std::basic_stringstream<CharType> ss;
- ss.imbue(new_locale);
- ValType a1 = std::numeric_limits<ValType>::infinity();
- ValType a2 = -std::numeric_limits<ValType>::infinity();
- BOOST_CHECK((boost::math::isinf)(a1));
- BOOST_CHECK((boost::math::isinf)(a2));
- ss << a1 << ' ' << a2;
- std::basic_string<CharType> s = S_("inf -inf");
- BOOST_CHECK(ss.str() == s);
- ss << " infinity"; // Alternative C99 representation of infinity.
- ValType b1, b2, b3;
- ss >> b1;
- ss >> b2;
- ss >> b3;
- BOOST_CHECK(b1 == a1);
- BOOST_CHECK(b2 == a2);
- BOOST_CHECK(b3 == std::numeric_limits<ValType>::infinity());
- BOOST_CHECK(ss.rdstate() == std::ios_base::eofbit);
- }
- //------------------------------------------------------------------------------
- template<class CharType, class ValType> void basic_test_nan_impl();
- void basic_test_nan()
- {
- basic_test_nan_impl<char, float>();
- basic_test_nan_impl<char, double>();
- basic_test_nan_impl<char, long double>();
- basic_test_nan_impl<wchar_t, float>();
- basic_test_nan_impl<wchar_t, double>();
- basic_test_nan_impl<wchar_t, long double>();
- }
- template<class CharType, class ValType> void basic_test_nan_impl()
- {
- if((std::numeric_limits<ValType>::has_quiet_NaN == 0) || (std::numeric_limits<ValType>::quiet_NaN() == 0))
- return;
- std::locale old_locale;
- std::locale tmp_locale(old_locale, new nonfinite_num_put<CharType>);
- std::locale new_locale(tmp_locale, new nonfinite_num_get<CharType>);
- std::basic_stringstream<CharType> ss;
- ss.imbue(new_locale);
- ValType a1 = std::numeric_limits<ValType>::quiet_NaN();
- ValType a2 = (boost::math::changesign)(std::numeric_limits<ValType>::quiet_NaN());
- ValType a3 = std::numeric_limits<ValType>::signaling_NaN();
- ValType a4 = (boost::math::changesign)(std::numeric_limits<ValType>::signaling_NaN());
- ss << a1 << ' ' << a2 << ' ' << a3 << ' ' << a4;
- BOOST_CHECK((boost::math::isnan)(a1) && (boost::math::isnan)(a2) && (boost::math::isnan)(a3) && (boost::math::isnan)(a4));
- std::basic_string<CharType> s = S_("nan -nan nan -nan");
- BOOST_CHECK(ss.str() == s);
- // Alternative C99 representation of NaN.
- ss << " nan(foo)";
- ValType b1, b2, b3, b4, b5;
- ss >> b1 >> b2 >> b3 >> b4 >> b5;
- BOOST_CHECK((isnan)(b1));
- BOOST_CHECK((isnan)(b2));
- BOOST_CHECK((isnan)(b3));
- BOOST_CHECK((isnan)(b4));
- BOOST_CHECK((isnan)(b5));
- BOOST_CHECK(!(signbit)(b1));
- BOOST_CHECK((signbit)(b2));
- BOOST_CHECK(!(signbit)(b3));
- BOOST_CHECK((signbit)(b4));
- BOOST_CHECK(!(signbit)(b5));
- BOOST_CHECK(ss.rdstate() == std::ios_base::eofbit);
- }
- //------------------------------------------------------------------------------
- template<class CharType, class ValType> void basic_test_format_impl();
- void basic_test_format()
- {
- basic_test_format_impl<char, float>();
- basic_test_format_impl<char, double>();
- basic_test_format_impl<char, long double>();
- basic_test_format_impl<wchar_t, float>();
- basic_test_format_impl<wchar_t, double>();
- basic_test_format_impl<wchar_t, long double>();
- }
- template<class CharType, class ValType> void basic_test_format_impl()
- {
- if((std::numeric_limits<ValType>::has_infinity == 0) || (std::numeric_limits<ValType>::infinity() == 0))
- return;
- std::locale old_locale;
- std::locale tmp_locale(old_locale, new nonfinite_num_put<CharType>);
- std::locale new_locale(tmp_locale, new nonfinite_num_get<CharType>);
- std::basic_stringstream<CharType> ss;
- ss.imbue(new_locale);
- ValType a = std::numeric_limits<ValType>::infinity();
- BOOST_CHECK((boost::math::isinf)(a));
- ss << std::setw(6) << a; // Expect right justified in field of six, so 3 leading spaces.
- ss << '|';
- ss << std::setw(2) << a; // Too narrow for "inf", but should still be "inf".
- ss << '|';
- ss << std::left << std::setw(5) << a; // 5 - 3 leaves two trailing spaces.
- ss << '|';
- ss << std::showpos << std::internal << std::setw(7) << a; // 3 internal spaces between + and "inf".
- ss << '|';
- ss << std::uppercase << std::right << std::setw(6) << a; // still showpos, so "space, space, +INF".
- std::basic_string<CharType> s = S_(" inf|inf|inf |+ inf| +INF");
- BOOST_CHECK(ss.str() == s);
- }
- //------------------------------------------------------------------------------
- } // anonymous namespace
|