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

Identification des spécialisations de modèles

En C, il est parfois nécessaire de déterminer si une classe donnée est une spécialisation d'un modèle de classe particulier. Par exemple, considérons le modèle de classe suivant :

template <class T>
struct A {};

Disons que nous avons un type CompareT. Comment pouvons-nous vérifier s'il s'agit d'un A<> pour un certain type ? Prenons l'exemple suivant :

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!