明示的と部分的な専門化の構文の違いはなぜですか？

Question

例：

template <typename T, typename U> 
struct A { 
    void Print() {} 
}; 

template <> 
void A<int, float>::Print() {} // Okay     

template <typename T> 
void A<T, char>::Print() {} // Will produce error 

質問：

私はあなたがそれを動作させるために上記のコードでクラステンプレート部分的な特殊化を定義する必要があり、私もThe members of the class template partial specialization are unrelated to the members of the primary template (§ 14.5.5.3)その標準から知っていることを知っています。しかし、なぜExplosationの専門化と部分的な専門化の間の構文の違いはありますか？

Answer 1

機能テンプレートを部分的に、完全にしか特殊化できません。

最初のインスタンスは、クラステンプレートのメンバー関数自体が関数テンプレートであるため、制限が適用されるという事実を利用しています。

クラステンプレートを部分的に特殊化すると、まったく新しいクラステンプレートが作成されます。これは、新たに定義する必要があります。

Answer 2

template <typename T> 
void A<T, char>::Print() {} // Will produce error 

あなたは、次のとおりです。

1. 再定義する機能void Print() {}宣言したときに（それが既に定義されている、あなたは{}がある参照
2. 一致しないテンプレート引数リストを持ちます宣言：template <typename T, typename U> void Print()

実際、宣言時に関数を定義していなくても、宣言と定義が一致しないため、コンパイラは元のテンプレートの定義や特殊なテンプレートの宣言を見つけることができません。

だけでなく、特殊な構造体を持っている必要があり、構造体に関連している機能に特化したテンプレート関数は、このコードは動作します：テンプレート関数は、それがテンプレート構造体だ中で宣言されてい

template <typename T, typename U> 
struct A { 
    void Print() {} 
}; 

template <> 
void A<int, float>::Print() {} // Okay     


template <typename T> 
struct A<T,char> 
{ 
    void Print(); 
}; 

template <typename T> 
void A<T,char>::Print() {} 

ので。