Comment se spécialiser pour les arguments de modèle de modèle

Question

Je voudrais spécialiser une fonction en utilisant un type de modèle mais j'ai de la difficulté à obtenir les résultats désirés.

Prenons l'exemple simple suivant

#include <iostream> 
#include <typeinfo> 
#include <vector> 


template <typename T> 
void foo(){ 
    std::cout << "In foo1 with type: " << typeid(T).name() << std::endl; 
} 

template< template<class, class...> class VEC, typename T> 
void foo(){ 
    std::cout << "In foo2 with vec type: " << typeid(VEC<T>).name() 
       << " and template type: " << typeid(T).name() << std::endl; 
} 


int main() { 
    foo<int>(); 
    foo<std::vector, int>(); 
    foo<std::vector<int>>(); // Would like this to call the second version of foo 
} 

La sortie est

In foo1 with type: i 
In foo2 with vec type: St6vectorIiSaIiEE and template type: i 
In foo1 with type: St6vectorIiSaIiEE 

Est-il possible d'écrire une signature de modèle pour la deuxième version de foo qui serait utilisé pour la dernière invocation de foo (avec le paramètre template std :: vector)?

Merci!

Answer 1

Puisque vous ne pouvez pas spécialiser les modèles de fonction partiellement, l'approche habituelle est d'utiliser un modèle de classe d'aide:

template <typename T> struct X 
{ 
    static void f() { std::cout << "Primary\n"; } 
}; 

template <template <typename...> class Tmpl, typename T> 
struct X<Tmpl<T>> 
{ 
    static void f() { std::cout << "Specialized\n"; } 
}; 

template <typename T> void foo() { X<T>::f(); } 

Answer 2

Une alternative est dispatching tag:

template <typename> struct Tag{}; 

template <typename T> void foo(Tag<T>) { std::cout << "generic\n"; } 

template <typename T> void foo(Tag<std::vector<T>>) { std::cout << "vector\n"; } 


template <typename T> void foo() 
{ 
    foo(Tag<T>{}); 
}