CLS (Common Language Specification)
Pour interagir entièrement avec d'autres objets quel que soit le langage dans lequel ils ont été implémentés, les objets ne doivent exposer aux appelants que les fonctionnalités qui sont communes à tous les langages avec lesquels ils doivent fonctionner. Pour cette raison, un ensemble de fonctionnalités de langage appelé spécification CLS (Common Language Specification), qui comprend les fonctionnalités de langage de base nécessaires à de nombreuses applications, a été défini. Les règles CLS définissent un sous-ensemble du Système de type commun ; en d'autres termes, toutes les règles qui s'appliquent au système de type commun (CTS, Common Type System) s'appliquent à la spécification CLS, sauf dans les cas où des règles plus strictes sont définies dans la spécification CLS. La spécification CLS permet d'optimiser et d'assurer l'interopérabilité des langages en définissant un ensemble de fonctionnalités sur lequel les développeurs peuvent compter dans de nombreux langages. La spécification CLS établit également des exigences de conformité CLS ; elles vous permettent de déterminer si votre code managé est conforme à la spécification CLS et dans quelle mesure un outil donné prend en charge le développement du code managé qui utilise des fonctionnalités CLS.
Si votre composant n'utilise que des fonctionnalités CLS dans des interfaces API qu'il expose à un autre code (y compris des classes dérivées), le composant est assuré d'être accessible à partir d'un langage de programmation prenant en charge la spécification CLS. Les composants qui respectent les règles CLS et n'utilisent que les fonctionnalités incluses dans la spécification CLS sont considérés comme étant des composants conformes CLS.
La plupart des membres définis par types dans la Bibliothèque de classes .NET Framework sont conformes CLS. Certains types figurant dans la bibliothèque de classes possèdent toutefois un ou plusieurs membres qui ne sont pas conformes CLS. Ces membres assurent la prise en charge de fonctionnalités de langage qui ne figurent pas dans la spécification CLS. Les types et les membres non conformes sont identifiés en tant que tels dans la documentation de référence et, dans tous les cas, une alternative conforme CLS existe. Pour plus d'informations sur les types de la bibliothèque de classes .NET Framework, consultez Bibliothèque de classes .NET Framework.
La spécification CLS a été conçue pour être suffisamment grande pour inclure les constructions de langage qui sont fréquemment utilisées par les développeurs, tout en étant suffisamment petite pour que la plupart des langages puissent la prendre en charge. De plus, toutes les constructions de langage qui empêchaient de vérifier rapidement la sécurité de type du code ont été exclues de la spécification CLS, de sorte que tous les langages conformes CLS puissent produire du code vérifiable s'ils choisissent de le faire. Pour plus d'informations sur la vérification de la sécurité de type, consultez Processus d'exécution managée.
Le tableau suivant récapitule les fonctionnalités qui figurent dans la spécification CLS et indique si les fonctionnalités s'appliquent aux développeurs et aux compilateurs (Tous) ou uniquement aux compilateurs. Il est conçu pour être instructif, sans pour autant être exhaustif. Pour plus d'informations, consultez la spécification du Common Language Infrastructure, Partition I, disponible sur le site Web Microsoft Developer Network (MSDN).
Fonctionnalité |
S'applique à |
Description |
|---|---|---|
Général |
|
|
Visibilité |
Tous |
Les règles CLS s'appliquent aux éléments d'un type qui sont exposés en dehors de l'assembly de définition. |
Membres globaux |
Tous |
Les méthodes et les champs static globaux ne sont pas conformes CLS. |
Attribution d'un nom |
|
|
Caractères et casse |
Tous |
Les compilateurs de langages conformes CLS doivent suivre les règles de l'Annexe 7 du Rapport technique 15 de la norme Unicode 3.0, qui régit l'ensemble des caractères pouvant commencer des identificateurs et y figurer. Cette norme est disponible sur le site Web du consortium Unicode. Pour que deux identificateurs soient considérés comme étant distincts, ils ne doivent pas ne différer que par leur casse. |
Mots clés |
Compilateurs |
Les compilateurs de langages conformes CLS fournissent un mécanisme de référencement des identificateurs qui coïncident avec les mots clés. Les compilateurs de langages conformes CLS proposent un mécanisme de définition et de substitution des méthodes virtuelles portant des noms qui sont des mots clés dans le langage. |
Unicité |
Tous |
Tous les noms figurant dans une portée conforme CLS doivent être distincts, même si les noms sont destinés à deux types de membres différents, sauf dans les cas où les noms seraient identiques et résolus par la surcharge. Par exemple, la spécification CLS n'autorise pas un type seul à utiliser le même nom pour une méthode et un champ. |
Signatures |
Tous |
Tous les types de retour et de paramètre apparaissant dans une signature de type ou de membre doivent être conformes CLS. |
Types |
|
|
Types primitifs |
Tous |
La bibliothèque de classes .NET Framework inclut des types qui correspondent aux types de données primitifs que les compilateurs utilisent. Les types suivants sont conformes CLS : Byte, Int16, Int32, Int64, Single, Double, Boolean, Char, Decimal, IntPtr et String. Pour plus d'informations sur ces types, consultez le tableau des types dans la Bibliothèque de classes .NET Framework. |
Types boxed |
Tous |
Les types valeur boxed (types valeur ayant été convertis en objets) ne figurent pas dans la spécification CLS. Utilisez plutôt System.Object, System.ValueType ou System.Enum, selon le cas. |
Visibilité |
Tous |
Les déclarations type et member ne doivent pas contenir de types qui soient moins visibles ou accessibles que le type ou le membre en cours de déclaration. |
Méthodes d'interface |
Compilateurs |
Les compilateurs de langages conformes CLS doivent disposer d'une syntaxe dans le cas où un type seul implémenterait deux interfaces et que chacune de ces interfaces nécessiterait la définition d'une méthode portant le même nom et la même signature. Ces méthodes doivent être considérées comme étant distinctes et ne nécessitent pas la même implémentation. |
Clôture |
Tous |
Les membres individuels des interfaces et des classes abstraites conformes CLS doivent être définis comme étant conformes CLS. |
Appel de constructeur |
Tous |
Avant d'accéder à une donnée d'instance héritée, un constructeur doit appeler le constructeur d'une classe de base. |
Références typées |
Tous |
Les références typées ne sont pas conformes CLS. Une référence typée est une construction spéciale qui contient une référence à un objet et une référence à un type. Les références typées permettent au Common Language Runtime d'assurer la prise en charge de style C++ des méthodes qui possèdent un nombre d'arguments variable. |
Membres de types |
|
|
Surcharge |
Tous |
Les propriétés, les méthodes et les constructeurs indexés peuvent être surchargés, tandis que les champs et les événements ne peuvent pas être surchargés. Les propriétés ne doivent pas être surchargées par type (c'est-à-dire par type de retour de leur méthode d'accesseur Get), mais elles peuvent être surchargées avec différents nombres ou types d'index. Les méthodes peuvent uniquement être surchargées en fonction du nombre et des types de leurs paramètres, et dans le cas des méthodes génériques, du nombre de leurs paramètres génériques. La surcharge d'opérateur ne figure pas dans la spécification CLS. La spécification CLS propose toutefois des indications sur l'attribution de noms utiles (tels que Add()) et sur la définition d'un bit dans des métadonnées. Les compilateurs qui choisissent de prendre en charge la surcharge d'opérateur sont censés suivre ces indications, mais ils ne sont pas tenus de le faire. |
Unicité des membres surchargés |
Tous |
Les champs et les types imbriqués doivent être distincts par comparaison d'identificateur seule. Les méthodes, les propriétés et les événements qui portent le même nom (par comparaison d'identificateur) ne doivent pas ne différer que par le type de retour. |
Opérateurs de conversion |
Tous |
Si op_Implicit ou op_Explicit est surchargé sur son type de retour, un autre moyen de conversion doit être proposé. |
Méthodes |
|
|
Accessibilité des méthodes substituées |
Tous |
L'accessibilité ne doit pas être changée lors de la substitution de méthodes héritées, sauf en cas de substitution d'une méthode héritée d'un assembly différent par l'accessibilité FamilyOrAssembly. Dans ce cas, la substitution doit posséder l'accessibilité Family. |
Listes d'arguments |
Tous |
La seule convention d'appel prise en charge par la spécification CLS est la convention d'appel managée standard ; les listes d'arguments de longueur variable ne sont pas autorisées. Utilisez le mot clé ParamArray dans Microsoft Visual Basic et le mot clé params en C# pour la prise en charge d'un nombre d'arguments variable. |
Propriétés |
|
|
Métadonnées d'accesseur |
Compilateurs |
Les méthodes d'accesseur Get et Set qui implémentent les méthodes d'une propriété sont marquées de l'identificateur mdSpecialName dans les métadonnées. |
Modificateurs |
Tous |
La propriété et ses accesseurs doivent tous être static, virtual ou instance. |
Noms d'accesseurs |
Tous |
Les propriétés doivent respecter des modèles d'attribution de noms spécifiques. Pour une propriété appelée Name, la méthode d'accesseur Get, si elle est définie, sera appelée get_Name et la méthode d'accesseur Set, si elle est définie, sera appelée set_Name. |
Type de retour et arguments |
Tous |
Le type de la propriété correspond au type de retour de l'accesseur Get et au type du dernier argument de l'accesseur Set. Les types des paramètres de la propriété correspondent aux types des paramètres de l'accesseur Get et aux types de tous les paramètres de l'accesseur Set, sauf le dernier. Tous ces types doivent être conformes CLS et ne peuvent pas être des pointeurs managés ; ils ne doivent pas être passés par référence. |
Événements |
|
|
Méthodes d'événement |
Tous |
Les méthodes permettant d'ajouter et de supprimer un événement doivent toutes les deux être présentes ou absentes. |
Métadonnées des méthodes d'événement |
Compilateurs |
Les méthodes qui implémentent un événement doivent être marquées de l'identificateur mdSpecialName dans les métadonnées. |
Accessibilité d'accesseur |
Tous |
L'accessibilité des méthodes permettant d'ajouter, de supprimer et de déclencher un événement doit être identique. |
Modificateurs |
Tous |
Les méthodes permettant d'ajouter, de supprimer et de déclencher un événement doivent toutes être static, virtual ou instance. |
Noms des méthodes d'événement |
Tous |
Les événements doivent respecter des modèles d'attribution de noms spécifiques. Pour un événement nommé MyEvent, la méthode add, si elle est définie, sera nommée add_MyEvent, la méthode remove, si elle est définie, sera nommée remove_MyEvent et la méthode raise sera nommée raise_MyEvent. |
Arguments |
Tous |
Les méthodes permettant d'ajouter et de supprimer un événement doivent chacune disposer d'un paramètre dont le type définit le type de l'événement et ce type doit être dérivé de System.Delegate. |
Types pointeur |
|
|
Pointeurs |
Tous |
Les types pointeur et les types pointeur fonction ne sont pas conformes CLS. |
Interfaces |
|
|
Signatures de membre |
Tous |
Les interfaces conformes CLS ne doivent pas nécessiter de définition de méthodes non conformes CLS pour pouvoir les implémenter. |
Modificateurs de membre |
Tous |
Les interfaces conformes CLS ne peuvent pas définir de méthodes statiques, ni de champs. Elles peuvent définir des propriétés, des événements et des méthodes virtuelles. |
Types référence |
|
|
Appel de constructeur |
Tous |
Pour les types référence, les constructeurs d'objet ne sont appelés que dans le cadre de la création d'un objet et les objets ne sont initialisés qu'une fois. |
Types classe |
|
|
Héritage |
Tous |
Une classe conforme CLS doit hériter d'une classe conforme CLS (System.Object est conforme CLS). |
Tableaux1 |
|
|
Types d'élément |
Tous |
Les éléments de tableau doivent être des types conformes CLS. |
Dimensions |
Tous |
Les tableaux doivent avoir un nombre de dimensions fixe supérieur à zéro. |
Limites |
Tous |
Toutes les dimensions d'un tableau doivent avoir une limite inférieure à zéro. |
Énumérations |
|
|
Type sous-jacent |
Tous |
Le type sous-jacent d'une énumération doit être un type entier CLS intégré (Byte, Int16, Int32 ou Int64). |
FlagsAttribute |
Compilateurs |
La présence de l'attribut personnalisé System.FlagsAttribute dans la définition d'une énumération indique que l'énumération doit être traitée en tant qu'ensemble de champs de bits (indicateurs) et l'absence de cet attribut indique que le type doit être affiché sous la forme d'un groupe de constantes énumérées. Il est recommandé que les langages utilisent soit FlagsAttribute soit une syntaxe spécifique au langage pour distinguer ces deux types d'énumérations. |
Membres de champ |
Tous |
Les champs static Literal d'une énumération doivent être du même type que le type de l'énumération elle-même. |
Exceptions |
|
|
Héritage |
Tous |
Les objets qui sont levés doivent être de type System.Exception ou hériter de System.Exception. |
Attributs personnalisés |
|
|
Encodages de valeurs |
Compilateurs |
Des compilateurs conformes CLS sont nécessaires pour traiter uniquement un sous-ensemble d'encodages d'attributs personnalisés (la représentation des attributs personnalisés dans les métadonnées). Les seuls types qui sont autorisés à figurer dans ces encodages sont : System.Type, System.String, System.Char, System.Boolean, System.Byte, System.Int16, System.Int32, System.Int64, System.Single, System.Double et tout type d'énumération reposant sur un type entier de base conforme CLS. |
Métadonnées |
|
|
Conformité CLS |
Tous |
Les types dont la conformité CLS diffère de celle de l'assembly dans lequel ils sont définis doivent être marqués de System.CLSCompliantAttribute. De la même façon, les membres dont la conformité CLS diffère de celle de leur type doivent également être marqués. Si un membre ou un type est marqué comme étant non conforme CLS, une alternative conforme CLS doit alors être proposée. |
Génériques |
||
Noms de types |
Compilateurs |
Le nom d'un type générique doit encoder le nombre de paramètres de type déclarés sur le type. Le nom d'un type générique imbriqué doit encoder le nombre de paramètres de type récemment introduits dans le type. |
Types imbriqués |
Compilateurs |
Les types imbriqués doivent posséder autant de paramètres génériques que le type englobant. Les paramètres génériques d'un type imbriqué ont la même position que les paramètres génériques du type englobant correspondant. |
Contraintes |
Tous |
Un type générique doit déclarer des contraintes suffisantes afin de garantir que les contraintes du type générique répondent à toutes les contraintes du type ou des interfaces de base. |
Types de contraintes |
Tous |
Les types utilisés comme contraintes sur les paramètres génériques doivent eux-mêmes être conformes CLS. |
Signatures de membre |
Tous |
La visibilité et l'accessibilité des membres (y compris des types imbriqués) d'un type générique instancié doivent être définies dans l'instanciation spécifique plutôt que dans la déclaration générale du type générique. |
Méthodes génériques |
Tous |
À chaque méthode générique abstraite ou virtuelle doit correspondre une implémentation concrète (non abstraite) par défaut |
1. Les tableaux en escalier, c'est-à-dire les tableaux de tableaux, sont conformes CLS. Dans la version 1.0 du .NET Framework, le compilateur C# signale par erreur qu'ils ne le sont pas.