c++ - 将 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' 或 'double'，乘法都会返回 'long int'、'long long' 或 'long double'。

这是一个普遍的问题。我正在通过内部使用 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!");
}