Comment déterminer si une classe est une spécialisation d'un modèle de classe en C ?

template<class CompareT>
void compare(){
   // is this A ?
   cout << is_same< A<*> , CompareT >::value;     // A<*> ????
}

int main(){
  compare< A<int> >();
}

Dans cet exemple, nous attendons A pour correspondre à A<*>, ce qui donne une instruction d'impression de 1.

Solution :

Une approche pour résoudre ce problème consiste à utiliser la métaprogrammation de modèles. Voici un extrait qui vous permet de spécifier le modèle auquel vous souhaitez faire correspondre :

template <class T, template <class...> class Template>
struct is_specialization : std::false_type {};

template <template <class...> class Template, class... Args>
struct is_specialization<Template<Args...>, Template> : std::true_type {};

static_assert(is_specialization<std::vector<int>, std::vector>{}, "");
static_assert(!is_specialization<std::vector<int>, std::list>{}, "");

Cette solution offre un moyen pratique de vérifier si un type donné est bien une spécialisation d'un modèle de classe spécifique.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!