"Uzun T" olmak için C++ şablon tip T'yi değiştirin.

Question

Geri döndürülen kesinliği iki katına çıkarmak için herhangi bir yol var mı (taşmayı önlemek için)?

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

şey gibi:

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

Yani 'int', 'uzun' veya 'çift' verildi olsun ki bir 'uzun int', uzun' 'uzun uzun', ya da çift 'çarpılarak iade edilir.

Bu genel bir sorudur. İçinde bir çift kullanarak etrafta çalışıyorum. Ama sorum şu: C++ 'daki "uzun" varyantına bir tür tanıtmak için herhangi bir mekanizma var mı?

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... 

Bu, ders esnasında kullanılırsa şekli şöyledir:

Answer 1

Muhtemel bir çözüm Kendi tip özelliği tanımlamaktır

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

Ve burada küçük bir testtir:

#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, iyi bir şekilde çalışan doğru cevabı var.

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

: Ama Sınıfım hayır 'uzun' değerini orada olduğu bir türüyle örneği ise bir derleme zamanı hatası isteyenler için, aşağıdaki solüsyon vermek için @ SteveJessop mükemmel yorum ile kombine edilmiştir 'longT' Örnek kullanımı: Sınıfım

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

Örnek kullanım:

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