テンプレートクラスの特殊

Question

関連した質問：

• c++ nested template specialization with template class
• template class specialization with template class parameter

は、次のコードを考えてみましょう：

template <typename T> 
    struct is_std_vector: std::false_type { }; 

    template<typename ValueType> 
    struct is_std_vector<std::vector<ValueType>>: std::true_type { }; 

なぜ、このようなテンプレートクラスの特殊構文は正しいでしょうか？ 次は、より論理的なようだ：

template <typename T> 
    struct is_std_vector: std::false_type { }; 

    template<> //--- because it is is_std_vector specialization 
    template<typename ValueType> 
    struct is_std_vector<std::vector<ValueType>>: std::true_type { }; 

Answer 1

クラステンプレート部分的な特殊構文は密接関数テンプレートの構文を反映しています。実際に、クラステンプレートの部分的な特殊化を注文する規則は、関数テンプレートの部分的な順序付けに基づいています。

あなたがvector<T>を取る関数を書くような方法がある：

template <class T> 
void is_std_vector(vector<T>) { ... } 

ですから、vector<T>に特化を書く方法は同じです。is_std_vectorの専門のマッチング

template <class T> 
class is_std_vector<vector<T>> { ... }; 

をしようとするだろうをの型引数Aから推測すると、同じように書かれていることは非常に意味があります。

フルスペシャリゼーションでは、完全修飾を部分スペシャリゼーションに似せるようにプレースホルダシグナルとしてtemplate <>を使用します。私はこの特別なケースでは何のために特別なtemplate <>が役立つのかわからない。