Comment les guides de déduction des modèles C 17 améliorent-ils la déduction des arguments des modèles ?

Guides de déduction modèles : une explication complète

Introduction

C 17 a introduit une fonctionnalité puissante appelée « guides de déduction modèles, " qui jouent un rôle central dans l'amélioration de la déduction des arguments de modèle pour les constructeurs. Cette fonctionnalité répond au défi consistant à déduire les paramètres de modèle appropriés lors de la construction d'objets avec des modèles.

Que sont les guides de déduction de modèles ?

Les guides de déduction de modèles sont des modèles associés à un modèle. classe. Ils guident le compilateur dans la traduction des arguments transmis à un constructeur en paramètres de modèle correspondants. Essentiellement, ils établissent des règles permettant au compilateur de déterminer quelle spécialisation de modèle instancier en fonction des arguments du constructeur.

Pourquoi et quand utiliser les guides de déduction de modèles

Guides de déduction de modèles sont nécessaires lorsque le paramètre de modèle ne peut pas être déduit directement du type des arguments du constructeur. Cette situation se produit lorsque l’argument du modèle n’est pas dérivé du type d’un seul argument. Par exemple, considérons le cas du constructeur de std::vector qui prend une paire d'itérateurs :

template<typename Iterator>
void func(Iterator first, Iterator last)
{
  vector v(first, last);
}

Dans cet exemple, le type de paramètre de modèle T du vecteur ne peut pas être directement déduit des arguments de l'itérateur. Un guide de déduction doit être utilisé pour informer le compilateur que la spécialisation correcte doit être vector::value_type>.

Déclaration des guides de déduction de modèles

Les guides de déduction modèles sont déclarés en utilisant ce qui suit syntaxe :

template class_name(constructor_args) -> template_args;

• class_name : Le nom de la classe de modèle pour laquelle le guide est déclaré.
• constructor_args : Les arguments transmis au constructeur qui correspondent au guide.
• template_args : Les paramètres de modèle correspondants à déduit.

Exemple

Considérons l'exemple du guide de déduction de std::vector :

template<typename Iterator> vector(Iterator b, Iterator e) -> 
    vector<typename std::iterator_traits<Iterator>::value_type>;

Ce guide indique au compilateur que lors de la construction d'un std :: vector à l'aide du modèle de constructeur (paire d'itérateurs), l'argument du modèle T doit être déduit comme nom de type std::iterator_traits::value_type.

Guides d'initialisation des agrégats et de déduction des modèles

Il est intéressant de noter que les guides de déduction des modèles peuvent également être utilisés avec des agrégats et l'initialisation des agrégats :

template<typename T>
struct Thingy
{
  T t;
};

Thingy(const char *) -> Thingy<std::string>;

Thingy thing{"A String"}; //thing.t is a `std::string`.

Dans cet exemple, un modèle de guide de déduction est utilisé pour en déduire le paramètre de modèle T de Thingy en fonction du type de chaîne littérale transmise au constructeur d'agrégat.

Conclusion

Les guides de déduction de modèles sont un outil puissant pour permettre l'inférence de type lors de la construction d'objets basés sur un modèle. En définissant explicitement comment traduire les arguments du constructeur en paramètres de modèle, les programmeurs peuvent simplifier considérablement le processus d'instanciation du modèle et améliorer la lisibilité du code.

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!