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; } 

'int型' か、 '長い'、または 'ダブル' が与えられたようにするため、 'long int型'、 '長い長い'、または「long double型'は掛け算から返されます。

これは一般的な質問です。私は内部的にダブルを使用してその周りに取り組んでいます。しかし、私の質問は、C++の "long"バリアントに型を昇格させるメカニズムがあるかどうかです。

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のはNO「長い」の値が存在しないいるタイプでインスタンス化されている場合でも、コンパイル時にエラーをしたい人のために、私は以下のソリューションを提供するために、@ 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));