1
2 // Copyright (c) 2006 Johan Rade
3
4 // Copyright (c) 2011 Paul A. Bristow incorporated Boost.Math
5
6 // Distributed under the Boost Software License, Version 1.0.
7 // (See accompanying file LICENSE_1_0.txt
8 // or copy at http://www.boost.org/LICENSE_1_0.txt)
9
10 //#ifdef _MSC_VER
11 //# pragma warning(disable : 4127 4511 4512 4701 4702)
12 //#endif
13
14 #define BOOST_TEST_MAIN
15
16 #include <limits>
17 #include <locale>
18 #include <string>
19 #include <boost/lexical_cast.hpp>
20 #include <boost/test/unit_test.hpp>
21
22 #include <boost/math/special_functions/nonfinite_num_facets.hpp>
23 #include <boost/math/special_functions/sign.hpp>
24 #include <boost/math/special_functions/fpclassify.hpp>
25 #include "almost_equal.ipp"
26 #include "s_.ipp"
27
28 namespace {
29
30 // the anonymous namespace resolves ambiguities on platforms
31 // with fpclassify etc functions at global scope
32
33 using boost::lexical_cast;
34
35 using namespace boost::math;
36 using boost::math::signbit;
37 using boost::math::changesign;
38 using boost::math::isnan;
39
40 //------------------------------------------------------------------------------
41
42 template<class CharType, class ValType> void lexical_cast_test_impl();
43
BOOST_AUTO_TEST_CASE(lexical_cast_test)44 BOOST_AUTO_TEST_CASE(lexical_cast_test)
45 {
46 lexical_cast_test_impl<char, float>();
47 lexical_cast_test_impl<char, double>();
48 lexical_cast_test_impl<char, long double>();
49 lexical_cast_test_impl<wchar_t, float>();
50 lexical_cast_test_impl<wchar_t, double>();
51 lexical_cast_test_impl<wchar_t, long double>();
52 }
53
lexical_cast_test_impl()54 template<class CharType, class ValType> void lexical_cast_test_impl()
55 {
56 if((std::numeric_limits<ValType>::has_infinity == 0) || (std::numeric_limits<ValType>::infinity() == 0))
57 return;
58 if((std::numeric_limits<ValType>::has_quiet_NaN == 0) || (std::numeric_limits<ValType>::quiet_NaN() == 0))
59 return;
60
61 std::locale old_locale;
62 std::locale tmp_locale(old_locale,
63 new nonfinite_num_put<CharType>(signed_zero));
64 std::locale new_locale(tmp_locale, new nonfinite_num_get<CharType>);
65 std::locale::global(new_locale);
66
67 ValType a1 = static_cast<ValType>(0);
68 ValType a2 = static_cast<ValType>(13);
69 ValType a3 = std::numeric_limits<ValType>::infinity();
70 ValType a4 = std::numeric_limits<ValType>::quiet_NaN();
71 ValType a5 = std::numeric_limits<ValType>::signaling_NaN();
72 ValType a6 = (changesign)(static_cast<ValType>(0));
73 ValType a7 = static_cast<ValType>(-57);
74 ValType a8 = -std::numeric_limits<ValType>::infinity();
75 ValType a9 = (changesign)(std::numeric_limits<ValType>::quiet_NaN()); // -NaN
76 ValType a10 = (changesign)(std::numeric_limits<ValType>::signaling_NaN()); // -NaN
77
78 std::basic_string<CharType> s1 = S_("0");
79 std::basic_string<CharType> s2 = S_("13");
80 std::basic_string<CharType> s3 = S_("inf");
81 std::basic_string<CharType> s4 = S_("nan");
82 std::basic_string<CharType> s5 = S_("nan");
83 std::basic_string<CharType> s6 = S_("-0");
84 std::basic_string<CharType> s7 = S_("-57");
85 std::basic_string<CharType> s8 = S_("-inf");
86 std::basic_string<CharType> s9 = S_("-nan");
87 std::basic_string<CharType> s10 = S_("-nan");
88
89 BOOST_CHECK(lexical_cast<std::basic_string<CharType> >(a1) == s1);
90 BOOST_CHECK(lexical_cast<std::basic_string<CharType> >(a2) == s2);
91 BOOST_CHECK(lexical_cast<std::basic_string<CharType> >(a3) == s3);
92 BOOST_CHECK(lexical_cast<std::basic_string<CharType> >(a4) == s4);
93 BOOST_CHECK(lexical_cast<std::basic_string<CharType> >(a5) == s5);
94 BOOST_CHECK(lexical_cast<std::basic_string<CharType> >(a6) == s6);
95 BOOST_CHECK(lexical_cast<std::basic_string<CharType> >(a7) == s7);
96 BOOST_CHECK(lexical_cast<std::basic_string<CharType> >(a8) == s8);
97 BOOST_CHECK(lexical_cast<std::basic_string<CharType> >(a9) == s9);
98 BOOST_CHECK(lexical_cast<std::basic_string<CharType> >(a10) == s10);
99
100 BOOST_CHECK(lexical_cast<ValType>(s1) == a1);
101 BOOST_CHECK(!(signbit)(lexical_cast<ValType>(s1)));
102 BOOST_CHECK(lexical_cast<ValType>(s2) == a2);
103 BOOST_CHECK(lexical_cast<ValType>(s3) == a3);
104 BOOST_CHECK((isnan)(lexical_cast<ValType>(s4)));
105 BOOST_CHECK(!(signbit)(lexical_cast<ValType>(s4)));
106 BOOST_CHECK((isnan)(lexical_cast<ValType>(s5)));
107 BOOST_CHECK(!(signbit)(lexical_cast<ValType>(s5)));
108 BOOST_CHECK(lexical_cast<ValType>(a6) == a6);
109 BOOST_CHECK((signbit)(lexical_cast<ValType>(s6)));
110 BOOST_CHECK(lexical_cast<ValType>(s7) == a7);
111 BOOST_CHECK(lexical_cast<ValType>(s8) == a8);
112 BOOST_CHECK((isnan)(lexical_cast<ValType>(s9)));
113 BOOST_CHECK((signbit)(lexical_cast<ValType>(s9)));
114 BOOST_CHECK((isnan)(lexical_cast<ValType>(s10)));
115 BOOST_CHECK((signbit)(lexical_cast<ValType>(s10)));
116
117 std::locale::global(old_locale);
118 }
119
120 //------------------------------------------------------------------------------
121
122 } // anonymous namespace
123