如何将浮点值用作非类型模板参数？

Question

是否有任何理由不能将double作为参数类型与模板？
例如:

template<int N>//-< Legal
struct
{
};  

template<double N>//-< Illegal
struct
{
};  

在C++ 11中是否有任何更新？

Answer 1

鉴于浮点算术仅给出模糊结果(sqrt(2.0)*sqrt(2.0)可能不相等2.0),您如何建议使用double模板参数可能有用？如果你有一个模板

template<double D>  // not allowed in C++
class X {};

并专门化

template<>
class X<2.0> {};

然后

X<1.0+1.0> x;

可能不会提到专业化.

我会说这严重限制了它的用处,我称之为残废.

Answer 2

这与精度有关,浮点数无法精确表示,并且您引用相同类型的可能性取决于数字的表示方式.考虑使用整数尾数和指数作为模板参数...