Pourquoi est-il nécessaire d'utiliser des crochets vides pour les modèles de classe avec des arguments par défaut en C 11 et versions antérieures ?

Comprendre les arguments de modèle et les modèles par défaut

En C, les arguments de modèle sont un aspect essentiel du travail avec des modèles de classe et de fonction. Lors de la déclaration d'un modèle de classe avec des arguments de modèle par défaut, nous pouvons omettre de spécifier l'argument lors de la création d'un objet, mais ce comportement est soumis à certaines limitations.

Pour illustrer, examinons le code suivant :

<code class="cpp">template <typename T = int>
class Foo {
};</code>

Ce code définit un modèle de classe Foo avec un argument de modèle par défaut de T = int. Bien que nous puissions créer un objet Foo sans spécifier explicitement l'argument du modèle :

<code class="cpp">Foo me;</code>

il est important de noter que cette syntaxe n'a été introduite qu'en C 17. Avant cela, le code suivant était requis :

<code class="cpp">Foo<> me;</code>

Les crochets angulaires (<>) indiquent que les arguments du modèle sont présents mais vides. Cette syntaxe est nécessaire car le compilateur doit connaître le type de T, même lorsqu'il utilise la valeur par défaut. Ne pas fournir les arguments du modèle, comme dans Foo me;, entraînerait une erreur de compilation.

Cette distinction est analogue à une fonction avec un seul argument par défaut. Tout comme foo sans parenthèses n'appellera pas la fonction, mais foo() le fera, la syntaxe de l'argument du modèle doit être présente pour déclencher l'instanciation avec la valeur par défaut.

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!