Sửa đổi kiểu mẫu C++ T thành "T dài"?

Question

Có cách nào để tăng gấp đôi độ chính xác được trả về bằng cách nhân (để tránh tràn) không?

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

Cái gì như:

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

Vì vậy mà dù 'int', 'dài', hoặc 'đúp' đã được đưa ra, một 'dài int', 'dài dài', hoặc 'dài gấp đôi 'sẽ được trả lại từ nhân.

Đây là câu hỏi chung. Tôi đang làm việc xung quanh nó bằng cách sử dụng một đôi trong nội bộ. Nhưng câu hỏi của tôi là liệu có bất kỳ cơ chế nào để quảng bá một loại cho biến thể "dài" của nó trong C++ không?

Answer 1

Một giải pháp khả thi là để xác định loại đặc điểm riêng của bạn:

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

Đây là cách bạn sẽ sử dụng nó trong lớp học của bạn:

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

Và đây là một thử nghiệm nhỏ:

#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 có câu trả lời đúng, hoạt động khá tốt. Nhưng đối với những người muốn có một lỗi thời gian biên dịch nếu MyClass được khởi tạo với một loại mà không có giá trị 'dài', tôi đã kết hợp nó với bình luận tuyệt vời @ SteveJessop để cung cấp cho các giải pháp sau đây:

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

Ví dụ sử dụng 'longT':

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

Ví dụ cách dùng của MyClass:

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