Introduction graphique et textuelle détaillée aux contraintes génériques C#-Tutoriel C#.Net-php.cn

Cet article présentera en détail les contraintes des génériques C# : contraintes de type référence ; contraintes de type valeur ; contraintes de type de conversion et connaissances associées des contraintes de combinaison ; Il a une très bonne valeur de référence, jetons-y un coup d'œil avec l'éditeur ci-dessous

1 Contraintes de type référence

struct RefSample où T:class Le type de référence utilise Class pour représenter les contraintes, et les autres types de référence sont des contraintes spécifiques.

signifie que la contrainte doit être une classe (type référence) et ne peut pas être un type valeur (int, char, datatime, struct), elle peut être une interface

distinction, le tableau est un type référence, car lors de la définition d'un tableau, vous devez créer un objet en utilisant new.

Bien qu'elle soit définie comme RefSample , la valeur entrante doit être un type référence, mais RefSample est toujours un type valeur

Contraintes de type valeur

class ValSample où T:struct

est un type de référence, car int, char et autres types sont tous struct

ValSample

3. Contrainte de type constructeur

public T CreateInstance () where T:new() { return new T(); } Copier après la connexion

le type T spécifié doit avoir un constructeur, CreateInstance et CreateInstance Mais CreateInstance n'a pas de constructeur.

4. Contraintes de type de conversion

Une contrainte vous permet de spécifier un autre type. L'argument de type doit être implicitement convertible par cohérence, référence ou conversion de boxe. Convertir en ce type. . Vous pouvez également spécifier qu'un argument de type doit être convertible en un autre argument de type : c'est ce qu'on appelle une contrainte de paramètre de type.

Signification comprise : interchangeable, c'est-à-dire que tout type que nous pouvons convertir en type cible via la boxe ou le type forcé peut être utilisé pour transmettre des paramètres de type.

class Sample où T:Stream

est valide : Sample 🎜> n'est pas valide :Sample Étant donné que le type String ne peut pas être forcé dans un Stream via une référence ou un boxing et unboxing,

struct Sample Il est précisé que T doit être un type référence de type IDisposable

Valide : Sample Conversion de référence

Invalide : Sample

Analyse : Pourquoi SqlConnection peut-il fonctionner mais pas StringBuilder ? Ce sont tous des types de référence

1. SqlConnection implémente l'interface IDisposable, elle peut donc être covariante

2. StringBuilder implémente uniquement l'interface ISerialisisable et ne peut pas être converti en IDisposable

class Sample où T:IComparable

Parce que IComparable Le type de ;T> peut être jugé par Type.IsValueType. true est le type de valeur et false est le type de référence

typeof(IComparable ).IsValueType

Résultat Représenté comme faux comme type de référence Valide : Sample (conversion de boxe) Invalide : Sample

Plusieurs contraintes peuvent également être spécifiées :

échantillon de classe où T : flux, IEnumerable ,IComparable

classe Sample où T:U

Valide : Sample Invalide : Sample

Résumé : Cela dépend si les paramètres de classe entrants peuvent être convertis, et si les paramètres spécifiés et les paramètres de classe entrants implémentent la même interface. Si c'est le cas, c'est OK, sinon ce n'est pas possible.

ne peut pas être le suivant : System.Object, System.Enum, System.ValueType, System.Delegate, structure ou classe scellée (String)

5. Contraintes de combinaison

Il existe plusieurs contraintes sur les paramètres de type Remarque : il ne peut s'agir que d'un seul type, et les types valeur et les types référence ne peuvent pas exister. en même temps, il n’est pas nécessaire qu’un type soit à la fois un type référence et un type valeur.

Puisque chaque type de valeur a une fonction sans constructeur, il ne peut y avoir aucune contrainte de constructeur par la suite

Valide :

class Sample >class Sample où T : Stream où U:IDispsable

Invalide :

class Sample un type valeur, donc il n'est pas valide)

class Sample où T : Stream, classe ( La contrainte de type référence doit être la première contrainte, placée au début, elle est donc Invalide) Stream contraint uniquement les paramètres entrants à être des types spécifiques à Stream , tandis que la classe est limitée aux types de référence. Je l'ai mal compris au début class Sample ( new() doit être placé à la fin )

class Sample où T : IDisposable, Stream ( class doit être placé devant l'interface, donc n'est pas valide )

class Sample où T : ;T, U> où T : struct où U : Classe, T ( Le paramètre de type "T" a le "struct" contrainte, donc "T" ne peut pas être utilisé comme contrainte de "U", il n'est donc pas valide )

class Sample où T：Stream ,U:IDisposable Syntaxe erreur

Voyant qu'il y a cette version en ligne également Valide

Je ne comprends pas : classe Exemple où T : struct,IDisapsable IDisapsable est un type valeur ?

class Sample où T : classe où U:struct,T T est un type de référence Pourquoi contraindre U avec le type valeur ?

J'espère que vous pourrez me corriger

Ce qui précède est Génériques C# Le contenu des contraintes est présenté en détail avec des images et des textes. Pour plus de contenu connexe, veuillez faire attention au site Web PHP chinois (www.php.cn) !