Compare commits

..

3 Commits

Author SHA1 Message Date
nobody fe3a3a91d0 This commit was manufactured by cvs2svn to create tag
'Version_1_17_0'.

[SVN r8293]
2000-11-22 09:04:29 +00:00
nobody 66834ebe52 This commit was manufactured by cvs2svn to create branch
'boost-graph-library'.

[SVN r7698]
2000-09-09 10:20:25 +00:00
Beman Dawes 0109740377 1.16.1 initial CVS checkin
[SVN r7620]
2000-07-07 16:04:40 +00:00
+13 -90
View File
@@ -9,7 +9,6 @@
// See http://www.boost.org for most recent version including documentation.
// Revision History
// 19 Oct 00 Fix numeric_cast for floating-point types (Dave Abrahams)
// 15 Jul 00 Suppress numeric_cast warnings for GCC, Borland and MSVC (Dave Abrahams)
// 30 Jun 00 More MSVC6 wordarounds. See comments below. (Dave Abrahams)
// 28 Jun 00 Removed implicit_cast<>. See comment below. (Beman Dawes)
@@ -125,43 +124,7 @@ namespace boost
#endif
#ifndef BOOST_NO_LIMITS_COMPILE_TIME_CONSTANTS
namespace detail
{
template <bool is_signed> struct numeric_min_select;
template<>
struct numeric_min_select<true>
{
template <class T>
struct limits : std::numeric_limits<T>
{
static inline T min()
{
return std::numeric_limits<T>::min() >= 0
// unary minus causes integral promotion, thus the static_cast<>
? static_cast<T>(-std::numeric_limits<T>::max())
: std::numeric_limits<T>::min();
}
};
};
template<>
struct numeric_min_select<false>
{
template <class T>
struct limits : std::numeric_limits<T> {};
};
// Move to namespace boost in utility.hpp?
template <class T>
struct fixed_numeric_limits
: public numeric_min_select<std::numeric_limits<T>::is_signed>::limits<T>
{
};
}
// less_than_type_min -
// less_than_type_min -
// x_is_signed should be numeric_limits<X>::is_signed
// y_is_signed should be numeric_limits<Y>::is_signed
// y_min should be numeric_limits<Y>::min()
@@ -203,68 +166,26 @@ namespace boost
// between signed and unsigned values.
//
// "poor man's partial specialization" is in use here.
template <bool same_sign, bool x_is_signed>
template <bool same_sign>
struct greater_than_type_max;
template<>
struct greater_than_type_max<true, true>
struct greater_than_type_max<true>
{
template <class X, class Y>
static inline bool check(X x, Y y_max)
static bool check(X x, Y y_max)
{ return x > y_max; }
};
template <>
struct greater_than_type_max<false, true>
struct greater_than_type_max<false>
{
// What does the standard say about this? I think it's right, and it
// will work with every compiler I know of.
template <class X, class Y>
static inline bool check(X x, Y)
static bool check(X x, Y)
{ return x >= 0 && static_cast<X>(static_cast<Y>(x)) != x; }
};
template<>
struct greater_than_type_max<true, false>
{
template <class X, class Y>
static inline bool check(X x, Y y_max)
{ return x > y_max; }
};
template <>
struct greater_than_type_max<false, false>
{
// What does the standard say about this? I think it's right, and it
// will work with every compiler I know of.
template <class X, class Y>
static inline bool check(X x, Y)
{ return static_cast<X>(static_cast<Y>(x)) != x; }
};
#else // use #pragma hacks if available
namespace detail {
# if BOOST_MSVC
# pragma warning(push)
# pragma warning(disable : 4018)
# pragma warning(disable : 4146)
# endif
// Move to namespace boost in utility.hpp?
template <class T>
struct fixed_numeric_limits : public std::numeric_limits<T>
{
static inline T min()
{
return std::numeric_limits<T>::is_signed && std::numeric_limits<T>::min() >= 0
? T(-std::numeric_limits<T>::max()) : std::numeric_limits<T>::min();
}
};
# if BOOST_MSVC
# pragma warning(pop)
# endif
}
#endif
template<typename Target, typename Source>
@@ -272,7 +193,7 @@ namespace boost
{
// typedefs abbreviating respective trait classes
typedef std::numeric_limits<Source> arg_traits;
typedef detail::fixed_numeric_limits<Target> result_traits;
typedef std::numeric_limits<Target> result_traits;
#ifndef BOOST_NO_LIMITS_COMPILE_TIME_CONSTANTS
// typedefs that act as compile time assertions
@@ -286,7 +207,7 @@ namespace boost
const bool same_sign = arg_is_signed == result_is_signed;
if (less_than_type_min<arg_is_signed, result_is_signed>::check(arg, result_traits::min())
|| greater_than_type_max<same_sign, arg_is_signed>::check(arg, result_traits::max())
|| greater_than_type_max<same_sign>::check(arg, result_traits::max())
)
#else // We need to use #pragma hacks if available
@@ -295,9 +216,10 @@ namespace boost
# pragma warning(push)
# pragma warning(disable : 4018)
# endif
if ((arg < 0 && !result_traits::is_signed) // loss of negative range
|| (arg_traits::is_signed && arg < result_traits::min()) // underflow
|| arg > result_traits::max()) // overflow
if ( (arg < 0 && !result_traits::is_signed) || // loss of negative range
(arg_traits::is_signed &&
arg < result_traits::min()) || // underflow
arg > result_traits::max() ) // overflow
# if BOOST_MSVC
# pragma warning(pop)
# endif
@@ -332,3 +254,4 @@ namespace boost
} // namespace boost
#endif // BOOST_CAST_HPP