C ++で、（整数型の）非型テンプレートパラメーターの型のみが異なる、同じ名前の2つの関数/クラステンプレートが許可されないのはなぜですか？

これを試してみると、コンパイラはエラーを出します。VC ++とg ++の両方で試しました。

これは、関数テンプレートとクラステンプレートに等しく適用されます（ただし、関数テンプレートの場合、コンパイラエラーは、関数テンプレートがインスタンス化された場合にのみ発生します。クラステンプレートのコンパイラエラーは、コンパイラが2番目のクラス定義に遭遇するとすぐに発生します）。

関数テンプレートの例を次に示します。

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 & gt;()ですか？

テンプレート関数/クラスの2番目のバージョンにタイプテンプレートパラメータがある場合、これは問題ではないことがわかりました。テンプレート関数/クラスの2番目のバージョンに、非整数型の非型テンプレートパラメータがある場合も、問題にはなりません。

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 ++がonintegralパラメーターのタイプによってのみ異なる2つのオーバーロード関数を許可することを妨げるものではありません。