c++ - 为什么不允许 double 作为非类型模板参数？

Question

这个问题在这里已经有了答案:

Why can't I use float value as a template parameter? (11 个回答)

关闭 9年前。

2003 年 - 是的，2003 - Vandervoorde 和 Josuttis 在他们的“C++ 模板”一书中写道(第 40 页):

Not being able to use floating-point literals (and simple constant floating-point expressions) as template arguments has historical reasons. Because there are no serious technical challenges, this may be supported in future versions of C++.

但这仍然不起作用，即使在 C++11 下:

template<double D> //error
void foo() {}

为什么没有添加？

Answer 1

我一直认为这与实现相互匹配有关。这两个实例是相同还是不同:

template class foo<10./3.>
template class foo<1./3 * 10.>

它们可能不会生成相同的 double 表示，因此编译器可能会将它们视为不同的类。然后你不能将它们分配给彼此，等等。