将C++模板类型T修改为“long T”？

Question

有没有什么方法可以将乘法返回的精度加倍（以避免溢出）？

template<class T> class MyClass { 
    T multiply (T a, T b) { return a * b; } 
} 

喜欢的东西：

long T multiply (T a, T b) { return a * b; } 

所以这是否 '诠释'， '长'，或 '双' 被赋予，一个 '长整型'， '很长很长' 或“长双'会从乘法中返回。

这是一个普遍的问题。我在内部使用double来解决它。但我的问题是，是否有任何机制在C++中将类型推广到其“长”变体？

Answer 1

一个可能的解决方案是定义自己的类型特点：

template<typename T> 
struct add_long { typedef T type; }; 

template<> 
struct add_long<int> { typedef long int type; }; 

template<> 
struct add_long<double> { typedef long double type; }; 

template<> 
struct add_long<long int> { typedef long long int type; }; 

// And so on... 

这是你将如何使用它在你的类：

template<class T> 
class MyClass { 
public: 
    typedef typename add_long<T>::type longT; 
    longT multiply (longT a, longT b) { return a * b; } 
}; 

这里是一个小测试：

#include <type_traits> 

int main() 
{ 
    MyClass<int> m; 
    auto l = m.multiply(2, 3); 
    static_assert(std::is_same<decltype(l), long int>::value, "Error!"); 
} 

Answer 2

@Andy有正确答案，效果很好。

// --- Machinery to support double-precision 'T' to avoid overflow in method 'multiply' --- 
// Note: uncomment typedef if don't want compile-time errors 
// when no "long" type exists 
// ---- 
template<typename T> 
struct add_long { /*typedef T type;*/ }; 

template<> struct add_long<int8_t> { typedef int16_t type; }; 
template<> struct add_long<int16_t> { typedef int32_t type; }; 
template<> struct add_long<int32_t> { typedef int64_t type; }; 
template<> struct add_long<uint8_t> { typedef uint16_t type; }; 
template<> struct add_long<uint16_t> { typedef uint32_t type; }; 
template<> struct add_long<uint32_t> { typedef uint64_t type; }; 

template<> struct add_long<float> { typedef double  type; }; 
template<> struct add_long<double> { typedef long double type; }; 

：但是，对于那些谁想要一个编译时错误，如果MyClass的与一类为其中有没有“长”价值实例化，我和@ SteveJessop出色的留言，提供以下解决方案结合它“longT”的实例：为MyClass

template<class T> class MyClass 
{ 
    // Note: a compiler error on the next line means that 
    //  class T has no double-precision type defined above. 
    typedef typename add_long<T>::type longT; 
public: 
    longT multiply (T a, T b) { return longT(a) * b; } 
} 

实例应用：

MyClass<float> my; 
printf("result = %lf\n", my.multiply(3.4e38, 3.4e38));