为什么不允许 double 作为非类型模板参数？ [复制]

2003 年——是的，2003- Vandervoorde 和 Josuttis 在他们的书“C++ Templates”（第 40 页）中写道：

无法使用浮点文字（和简单的常量浮点表达式）作为模板参数有历史原因。由于不存在严重的技术挑战，因此 C++ 的未来版本可能会支持这一点。

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

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

为什么没有添加这个？

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

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

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