Pouvez-vous spécifier explicitement les paramètres de modèle dans les constructeurs en C 03 ?

Spécification explicite des paramètres de modèle dans les constructeurs

Malgré la possibilité pour les constructeurs d'être des fonctions de modèle, la norme C 03 ne fournit pas de syntaxe pour spécifier explicitement leurs paramètres de modèle. Au lieu de cela, le compilateur détermine automatiquement ces paramètres en fonction des arguments fournis.

Considérez l'exemple suivant :

struct A {
  template<typename T>
  A() {}
};

Pour instancier cette classe, vous ne pouvez pas spécifier explicitement le paramètre de modèle. Au lieu de cela, vous devez vous fier au compilateur pour le déduire des arguments passés au constructeur :

A<int> a;  // Constructs an A object with template value int

La norme C 03 indique explicitement :

[Remarque : parce que la liste d'arguments explicite du modèle suit le nom du modèle de fonction, et comme les modèles de fonctions membres de conversion et les modèles de fonctions membres de constructeur sont appelés sans utiliser de nom de fonction, il n'existe aucun moyen de fournir une liste d'arguments de modèle explicite pour ces modèles de fonction.] (§14.5.2/5)

Cette limitation peut gêner les efforts de débogage si le compilateur ne parvient pas à déterminer les paramètres de modèle corrects. La spécification explicite des paramètres pourrait améliorer les messages d’erreur et potentiellement résoudre le problème. Cependant, il n'est pas supporté par la norme C 03.

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!