c++ - 为什么浮动非类型模板参数在 C++ 中是非法的？没有 float const experision 吗？

Question

可能重复：
C++：为什么我不能使用浮点值作为模板参数？

我可以定义一个模板类：

template <int A> C {};

但我不能定义一个类：

template <float A> C{};

我认为在表达式中：

const float a = 10.0f;

a是一个 const experision，我可以用它来实例化一个浮点非类型模板参数

C<a> c();

但不幸的是，这是非法的。为什么？

Answer 1

标准不允许这样做的一个可能动机是，相同的模板参数在被视为浮点数时可能会出现不同，因为并非所有浮点数都可以精确表示。例如，将

C<1.0f/3.0f> c;

和

C<2.0f/6.0f> c;

是同一类型吗？