Maison  >  Article  >  développement back-end  >  Introduction graphique et textuelle détaillée aux contraintes génériques C#

Introduction graphique et textuelle détaillée aux contraintes génériques C#

黄舟
黄舟original
2017-03-07 10:59:151576parcourir

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érence

Invalide : Sample66631937a557270cbf0605de1ac49062

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 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érence

Valide : Samplebd43222e33876353aff11e13a7dc75f6 (conversion de boxe) Invalide : Sampled0869186ef29f1614dd65eb5411320d5

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

échantillon de classe8742468051c85b06f0a0af9e3e506b5c où T : flux, IEnumerable98c455a79ddfebb79781bff588e7b37e,IComparablebd43222e33876353aff11e13a7dc75f6

classe 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

Invalide :

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

class Sample8742468051c85b06f0a0af9e3e506b5c 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 Sample8742468051c85b06f0a0af9e3e506b5c (
new() doit être placé à la fin)

class Sample8742468051c85b06f0a0af9e3e506b5c où T : IDisposable, Stream (

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:IDisposable

Syntaxe erreur

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

Valide

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) !


Déclaration:
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn