將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));