Klasse Template Spezialisierung mit Template-Klasse

Question

Verwandte Fragen:

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

Betrachten Sie den folgenden Code ein:

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

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

Warum ist eine solche Template-Klasse Spezialisierung Syntax korrekt? Die folgende scheint logisch:

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

Vorlage Klasse Teil Spezialisierung Syntax Funktions-Template Syntax eng spiegelt. Tatsächlich basieren die Regeln zum Anordnen von Klassenschablonen-Teilspezialisierungen auf der partiellen Anordnung von Funktionsschablonen.

Die Art und Weise Sie eine Funktion schreiben, würde eine vector<T> nehmen ist:

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

So wie Sie eine Spezialisierung auf vector<T> schreiben ist das gleiche:

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

die Spezialisierung der is_std_vector Matching versuchen würde, T in vector<T> von einem Typ Argument A abzuleiten, so macht es viel Sinn, dass sie auf die gleiche Weise geschrieben werden.

Für vollständige Spezialisierungen verwenden wir template <> als Platzhalter-Signal, damit vollständige Spezialisierungen Teilspezialisierungen ähnlich sehen. Ich bin mir nicht sicher, welchen Zweck ein extra template <> in diesem speziellen Fall dienen würde.