関数のC ++テンプレート特化：＆＃8220;明示的なテンプレート引数の不正使用＆＃8221;

Question

次のテンプレート特化コード：

template<typename T1, typename T2>
void spec1()
{

}

テストケース1：

template< typename T1> //compile error
void spec1<int>()
{

}

テストケース2：

template< typename T2> //compile error
void spec1<int>()
{

}

次のコンパイルエラーが生成されます。

  

エラーC2768： 'spec1'：明示的なテンプレート引数の不正使用

理由は誰にもわかりませんか？

Answer 1

関数テンプレートは、部分的に特殊化することはできません。完全にのみ、つまりそのようになります。

template<>
void spec1<char, int>()
{

}

関数テンプレートを部分的に特化できない理由については、こちらをご覧ください。

部分的に専門化する場合（クラスでのみ可能）、次のようにする必要があります。

template <typename T1>
class class1<T1, int>
{

};

したがって、 T1 を再度リストする必要があります。

スペシャライゼーションの記述方法は、 spec1＆lt; int、int＆gt; ではあいまいになります。