Vorlage Vorlage teilweise Spezialisierung Fehler: "erwartet eine Klassenvorlage"

Question

Dieser Beispielcode generiert expected a class template, got std::pair <_T1, _T2>. Ich versuchte mit struct Struct <std::pair> {};, aber dann werden die Parameter T und M nicht mehr zu entfernen. Wie vermeide ich das?

template <template <class...> class> 
    struct Struct {}; 

    template <class T, class M> 
    struct Struct <std::pair <T, M>> {}; 

Answer 1

Abhängig von dem, was Sie wollen

template <template <class...> class> 
struct Struct {}; 

template <> 
struct Struct <std::pair> 
{ 
    // Specialization 
}; 

oder

template <typename> struct Struct {}; 

template <typename First, typename Second> 
struct Struct <std::pair<First, Second>> 
{ 
    // Specialization 
}; 

Answer 2

Dies ist keine gültige Spezialisierung für Ihre Vorlage.

Der Grund warum ist, weil std::pair<T, M> eine vollständige Spezialisierung der Klassenvorlage std::pair und daher eine Klasse ist. Ihre Vorlage erwartet einen Klassenvorlagenparameter, der genau das ist, was der Compiler Ihnen sagt.