Comprendre les modèles C avec des paramètres non-type

En C , les modèles fournissent un mécanisme puissant pour la programmation générique, vous permettant d'écrire du code qui fonctionne sur différents types de données au moment de la compilation. Bien que les paramètres de type soient couramment utilisés dans les modèles, il est également possible de définir des paramètres non-type.

Paramètres non-type

Les paramètres non-type dans les modèles font référence aux possibilité de paramétrer un modèle avec :

• Expressions constantes intégrales (par exemple, unsigned int N dans votre exemple)
• Pointeurs
• Références

Exemple : paramètre d'expression constante intégrale

Dans votre code, le modèle déclare un paramètre d'expression constante intégrale. Ce paramètre représente une constante de compilation de type int non signé. Vous pouvez ensuite utiliser ce paramètre dans le modèle comme valeur constante.

Modèle sans paramètre de type

Bien que les modèles nécessitent généralement au moins un paramètre de type, il est possible de créez un modèle avec uniquement des paramètres non-type. Dans ce cas, le modèle est essentiellement une fonction générique qui opère sur les valeurs spécifiées spécifiées par les paramètres non-type.

Types de paramètres non-type

Dans En plus des expressions constantes intégrales, les paramètres non-type peuvent inclure :

• Des pointeurs, qui peuvent référencer des fonctions ou des objets avec une liaison externe.
• Des références, qui peuvent référencer des variables avec une liaison externe.

Paramètres par défaut

Les modèles peuvent également avoir des paramètres par défaut, il n'est donc pas nécessaire de spécifier explicitement des valeurs pour tous les paramètres non-type. Si elle n'est pas fournie, la valeur par défaut spécifiée dans la déclaration du modèle sera utilisée.

Spécialisation du modèle

Le modèle de syntaxe est généralement utilisé pour définir une spécialisation explicite de un modèle pour un ensemble particulier de paramètres. Dans l'exemple fourni, il ne s'agirait pas d'une spécialisation de modèle valide car elle ne dispose d'aucune valeur de paramètre explicite.

Résumé

Les paramètres non-type vous permettent de créer des modèles qui peut être paramétré avec différents types de constantes, de pointeurs et de références, offrant ainsi une flexibilité et un contrôle supplémentaires dans la conception et la mise en œuvre de votre code.