diff --git a/include/boost/math/tools/promotion.hpp b/include/boost/math/tools/promotion.hpp deleted file mode 100644 index 30ef60a26..000000000 --- a/include/boost/math/tools/promotion.hpp +++ /dev/null @@ -1,92 +0,0 @@ -// boost\math\tools\promotion.hpp - -// Copyright John Maddock 2006. -// Copyright Paul A. Bristow 2006. - -// Use, modification and distribution are subject to 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) - -// Promote arguments functions to allow math functions to have arguments -// provided as integer OR real (floating-point, built-in or UDT) -// (called ArithmeticType in functions that use promotion) -// that help to reduce the risk of creating multiple instantiations. -// Allows creation of an inline wrapper that forwards to a foo(RT, RT) function, -// so you never get to instantiate any mixed foo(RT, IT) functions. - -#ifndef BOOST_MATH_PROMOTION_HPP -#define BOOST_MATH_PROMOTION_HPP - -// Boost type traits: -#include // for boost::is_floating_point; -#include // for boost::is_integral -#include // for boost::is_convertible -#include // for boost::is_same -// Boost Template meta programming: -#include // for boost::mpl::if_c. - -namespace boost -{ - namespace math - { - namespace tools - { - // If either T1 or T2 is an integer type, - // pretend it was a double (for the purposes of further analysis). - // Then pick the wider of the two floating-point types - // as the actual signature to forward to. - // For example: - // foo(int, short) -> double foo(double, double); - // foo(int, float) -> double foo(double, double); - // Note: NOT float foo(float, float) - // foo(int, double) -> foo(double, double); - // foo(double, float) -> double foo(double, double); - // foo(double, float) -> double foo(double, double); - // foo(any-int-or-float-type, long double) -> foo(long double, long double); - // but ONLY float foo(float, float) is unchanged. - // So the only way to get an entirely float version is to call foo(1.F, 2.F), - // But since most (all?) the math functions convert to double internally, - // probably there would not be the hoped-for gain by using float here. - - // This follows the C-compatible conversion rules of pow, etc - // where pow(int, float) is converted to pow(double, double). - - template - struct promote_arg - { // If T is integral type, then promote to double. - typedef typename mpl::if_, double, T>::type type; - }; - - template - struct promote_arg2 - { // Promote, if necessary, & pick the wider of the two floating-point types. - // for both parameter types, if integral promote to double. - typedef typename promote_arg::type T1P; // T1 perhaps promoted. - typedef typename promote_arg::type T2P; // T2 perhaps promoted. - - typedef typename mpl::if_c< - ::boost::is_floating_point::value && ::boost::is_floating_point::value, // both T1P and T2P are floating-point? - typename mpl::if_c< ::boost::is_same::value || ::boost::is_same::value, // either long double? - long double, // then result type is long double. - typename mpl::if_c< ::boost::is_same::value || ::boost::is_same::value, // either double? - double, // result type is double. - float // else result type is float. - >::type - >::type, - typename mpl::if_< ::boost::is_convertible, T2P, T1P>::type>::type type; - }; // promote_arg2 - - template - struct promote_arg3 - { // Apply the rules to the 1st two arguments, - typedef typename promote_arg2::type T12P; // - // and then again to the result of that and the last (3rd) argument. - typedef typename promote_arg2::type T123P; - typedef T123P type; - }; // promote_arg3 - } // namespace tools - } // namespace math -} // namespace boost - -#endif // BOOST_MATH_PROMOTION_HPP