为什么 C++ 不允许两个具有相同名称的函数/类模板，仅在非类型模板参数（整数类型）的类型上有所不同？

Question

当我尝试这个时，编译器会出错。我尝试了 VC++ 和 g++。

这同样适用于函数模板和类模板（尽管对于函数模板，编译器错误仅在函数模板被实例化时发生；类模板的编译器错误在编译器遇到第二个类定义时立即发生）。

这里是一个函数模板的例子：

template <unsigned int>
void Foo() {}

template <signed int>    // Same name, only difference is the type of the
void Foo() {}            // non-type template parameter (of integral type)

Foo<10U>(); // COMPILER ERROR.

上面，为什么编译器不能只实例化Foo<unsigned int>()？

我发现如果模板函数/类的第二个版本具有类型模板参数，这不是问题。如果模板函数/类的第二个版本具有 non-integral 类型的非类型模板参数，这也不是问题：

template <unsigned int>
void Foo() {}

template <unsigned int*>  // Non-type template parameter
void Foo() {}             // of non-integral type

template <typename T>     // Type template parameter
void Foo() {}


Foo<10U>();               // OK

所以如果我不得不猜测我会说这与编译器可以在整数类型的值之间进行转换这一事实有关吗？但这并不能阻止 C++ 允许两个仅在整数参数类型上有所不同的重载函数。

Answer 1

确实允许，您可以很好地编写两个模板。它们只是在实例化时变得不可用。原因是没有“重载分辨率”来选择模板。对非类型模板参数的唯一要求如下：

[temp.arg.nontype]/2

非类型模板参数的模板参数应该是 模板参数类型的转换常量表达式。

而10u 是int 和unsigned int 类型的转换常量表达式。可作为任一重载的参数。