Maison > Article > développement back-end > Introduction graphique et textuelle détaillée aux contraintes génériques C#
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 RefSampleb32f285eaba7a6752dff0bc229700674 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 RefSample8742468051c85b06f0a0af9e3e506b5c, la valeur entrante doit être un type référence, mais RefSample est toujours un type valeur
Contraintes de type valeur
class ValSample8742468051c85b06f0a0af9e3e506b5c où T:struct
est un type de référence, car int, char et autres types sont tous struct
ValSamplebd43222e33876353aff11e13a7dc75f6
3. Contrainte de type constructeur
public T CreateInstance<T>() where T:new() { return new T(); }
le type T spécifié doit avoir un constructeur, CreateInstancebd43222e33876353aff11e13a7dc75f6 et CreateInstance273238ce9338fbb04bee6997e5552b95 Mais CreateInstance8ac337f12ac35ec97e8dd89560472ecc 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 Sample8742468051c85b06f0a0af9e3e506b5c où T:Stream
est valide : Sample7deb1b66c2439bfe6895a394cbb2197a 🎜> n'est pas valide :Samplef7e83be87db5cd2d9a8a0b8117b38cd4 É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 Sample8742468051c85b06f0a0af9e3e506b5c Il est précisé que T doit être un type référence de type IDisposable
Valide : Sampleee3398fcc71686d89f0818db05b7a88f Conversion de référenceInvalide : Sample66631937a557270cbf0605de1ac49062 Analyse : Pourquoi SqlConnection peut-il fonctionner mais pas StringBuilder ? Ce sont tous des types de référence1. 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 Sample8742468051c85b06f0a0af9e3e506b5c où T:IComparable8742468051c85b06f0a0af9e3e506b5c
Parce que IComparable8742468051c85b06f0a0af9e3e506b5c 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(IComparable8742468051c85b06f0a0af9e3e506b5c).IsValueType Résultat Représenté comme faux comme type de référenceValide : Samplebd43222e33876353aff11e13a7dc75f6 (conversion de boxe) Invalide : Sampled0869186ef29f1614dd65eb5411320d5
Plusieurs contraintes peuvent également être spécifiées : échantillon de classe8742468051c85b06f0a0af9e3e506b5c où T : flux, IEnumerable98c455a79ddfebb79781bff588e7b37e,IComparablebd43222e33876353aff11e13a7dc75f6classe Samplea62d1d8805a91a8900e4e7c7c3ba59db où T:U
Valide : Sample8ef407ed57caac12483dcecdcac4eb46Invalide : Sample6f72722a2a297c03396b6f57d1a9f381
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 Sample8742468051c85b06f0a0af9e3e506b5c >class Samplea62d1d8805a91a8900e4e7c7c3ba59db où T : Stream où U:IDispsable
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 Sample8742468051c85b06f0a0af9e3e506b5c (new() doit être placé à la fin)
class doit être placé devant l'interface, donc n'est pas valide)
class Sample8742468051c85b06f0a0af9e3e506b5c 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 Samplec619abd6b5b072b4427165f6c9e6f6e4 où T:Stream ,U:IDisposableSyntaxe erreur
Voyant qu'il y a cette version en ligne égalementValide
Je ne comprends pas :classe Exemple8742468051c85b06f0a0af9e3e506b5c où T : struct,IDisapsable IDisapsable est un type valeur ?
class Samplea62d1d8805a91a8900e4e7c7c3ba59db 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) !