Différences entre les templates C++ et les génériques C# (Guide de programmation C#)
Les génériques C# et les modèles C++ sont des fonctionnalités de langage qui assurent la prise en charge des types paramétrés. Il existe toutefois de nombreuses différences entre les deux. Au niveau de la syntaxe, les génériques C# offrent une approche plus simple aux types paramétrés, sans la complexité des modèles C++. De plus, C# n'essaie pas d'offrir toutes les fonctionnalités fournies par les modèles C++. Au niveau de l'implémentation, la différence principale est que les substitutions de type générique C# sont exécutées pendant l'exécution et que les informations de type générique sont ainsi conservées pour les objets instanciés. Pour plus d'informations, consultez Génériques dans le runtime (Guide de programmation C#).
Les différences clés entre génériques C# et modèles C++ sont les suivantes :
Les génériques C# n'offrent pas la même souplesse que les modèles C++. Par exemple, il n'est pas possible d'appeler des opérateurs arithmétiques dans une classe générique C#, bien qu'il soit possible d'appeler des opérateurs définis par l'utilisateur.
C# n'autorise pas les paramètres de modèle sans type, tels que template C<int i> {}.
C# ne prend pas en charge la spécialisation explicite, à savoir l'implémentation personnalisée d'un modèle pour un type spécifique.
C# ne prend pas en charge la spécialisation partielle, à savoir l'implémentation personnalisée d'un sous-ensemble des arguments de type.
C# n'autorise pas le paramètre de type à être utilisé comme classe de base pour le type générique.
C# ne permet pas aux paramètres de type d'avoir des types par défaut.
En C#, un paramètre de type générique ne peut pas être un générique, bien que des types construits puissent être utilisés comme des génériques. C++ autorise les paramètres de modèle.
C++ autorise un code qui peut ne pas être valide pour tous les paramètres de type dans le modèle, dont on vérifie ensuite qu'il utilise le type spécifique utilisé comme paramètre de type. C# requiert que le code d'une classe soit écrit de telle manière qu'il fonctionnera avec tout type qui satisfait aux contraintes. Par exemple, il est possible en C++ d'écrire une fonction qui utilise les opérateurs arithmétiques + et - sur les objets du paramètre de type, qui produira une erreur au moment de l'instanciation du modèle avec un type qui ne prend pas en charge ces opérateurs. C# n'autorise pas ceci. Les seules constructions de langage autorisées sont celles qui peuvent être déduites des contraintes.
Voir aussi
Référence
Introduction aux génériques (guide de programmation C#)