GenericParameterAttributes Énumération

Définition

Espace de noms:

System.Reflection

Assembly:

System.Runtime.dll

Décrit les contraintes sur un paramètre de type générique d’un type ou d’une méthode générique.

Cette énumération prend en charge une combinaison au niveau du bit de ses valeurs membres.

C#

[System.Flags]
public enum GenericParameterAttributes

Héritage

Object

ValueType

Enum

GenericParameterAttributes

Attributs

FlagsAttribute

Champs

Nom	Valeur	Description
Contravariant	2	Le paramètre de type générique est contravariant. Un paramètre de type contravariant peut apparaître en tant que type de paramètre dans les signatures de méthode.
Covariant	1	Le paramètre de type générique est covariant. Un paramètre de type covariant peut apparaître comme le type de résultat d’une méthode, le type d’un champ en lecture seule, un type de base déclaré ou une interface implémentée.
DefaultConstructorConstraint	16	Un type peut être remplacé par le paramètre de type générique uniquement s’il a un constructeur sans paramètre.
None	0	Il n’y a pas de drapeaux spéciaux.
NotNullableValueTypeConstraint	8	Un type peut être substitué au paramètre de type générique uniquement s’il s’agit d’un type valeur et n’est pas nullable.
ReferenceTypeConstraint	4	Un type peut être remplacé par le paramètre de type générique uniquement s’il s’agit d’un type référence.
SpecialConstraintMask	28	Sélectionne la combinaison de tous les indicateurs de contrainte spéciaux. Cette valeur est le résultat de l’utilisation de l’or logique pour combiner les indicateurs suivants : DefaultConstructorConstraint, ReferenceTypeConstraintet NotNullableValueTypeConstraint.
VarianceMask	3	Sélectionne la combinaison de tous les indicateurs de variance. Cette valeur est le résultat de l’utilisation de l’or logique pour combiner les indicateurs suivants : Contravariant et Covariant.

Exemples

L’exemple de code suivant définit un type générique Test avec deux paramètres de type. Le deuxième paramètre de type a une contrainte de classe de base et une contrainte de type référence. Lorsque le programme s’exécute, les contraintes sont examinées à l’aide de la propriété Type.GenericParameterAttributes et de la méthode Type.GetGenericParameterConstraints.

C#

using System;
using System.Reflection;

// Define a sample interface to use as an interface constraint.
public interface ITest {}

// Define a base type to use as a base class constraint.
public class Base {}

// Define the generic type to examine. The first generic type parameter,
// T, derives from the class Base and implements ITest. This demonstrates
// a base class constraint and an interface constraint. The second generic 
// type parameter, U, must be a reference type (class) and must have a 
// default constructor (new()). This demonstrates special constraints.
//
public class Test<T,U> 
    where T : Base, ITest 
    where U : class, new() {}

// Define a type that derives from Base and implements ITest. This type
// satisfies the constraints on T in class Test.
public class Derived : Base, ITest {}

public class Example
{
    public static void Main()
    {
        // To get the generic type definition, omit the type
        // arguments but retain the comma to indicate the number
        // of type arguments. 
        //
        Type def = typeof(Test<,>);
        Console.WriteLine("\r\nExamining generic type {0}", def);

        // Get the type parameters of the generic type definition,
        // and display them.
        //
        Type[] defparams = def.GetGenericArguments();
        foreach (Type tp in defparams)
        {
            Console.WriteLine("\r\nType parameter: {0}", tp.Name);
            Console.WriteLine("\t{0}", 
                ListGenericParameterAttributes(tp));

            // List the base class and interface constraints. The
            // constraints are returned in no particular order. If 
            // there are no class or interface constraints, an empty
            // array is returned.
            //
            Type[] tpConstraints = tp.GetGenericParameterConstraints();
            foreach (Type tpc in tpConstraints)
            {
                Console.WriteLine("\t{0}", tpc);
            }
        }
    }

    // List the variance and special constraint flags. 
    //
    private static string ListGenericParameterAttributes(Type t)
    {
        string retval;
        GenericParameterAttributes gpa = t.GenericParameterAttributes;
        GenericParameterAttributes variance = gpa & 
            GenericParameterAttributes.VarianceMask;

        // Select the variance flags.
        if (variance == GenericParameterAttributes.None)
        {
            retval = "No variance flag;";
        }
        else
        {
            if ((variance & GenericParameterAttributes.Covariant) != 0)
                retval = "Covariant;";
            else
                retval = "Contravariant;";
        }

        // Select 
        GenericParameterAttributes constraints = gpa & 
            GenericParameterAttributes.SpecialConstraintMask;

        if (constraints == GenericParameterAttributes.None)
        {
            retval += " No special constraints";
        }
        else
        {
            if ((constraints & GenericParameterAttributes.ReferenceTypeConstraint) != 0)
                retval += " ReferenceTypeConstraint";
            if ((constraints & GenericParameterAttributes.NotNullableValueTypeConstraint) != 0)
                retval += " NotNullableValueTypeConstraint";
            if ((constraints & GenericParameterAttributes.DefaultConstructorConstraint) != 0)
                retval += " DefaultConstructorConstraint";
        }

        return retval;
    }
}
/* This example produces the following output:

Examining generic type Test`2[T,U]

Type parameter: T
        No variance flag; no special constraints.
        Base
        ITest

Type parameter: U
        No variance flag; ReferenceTypeConstraint DefaultConstructorConstraint
 */

Remarques

Les membres de l’énumération GenericParameterAttributes sont divisés en deux groupes, le groupe de variance et le groupe de contraintes spéciales. Pour tester une valeur GenericParameterAttributes pour les indicateurs de variance, effectuez d’abord une opération AND au niveau du bit avec VarianceMask. Si le résultat est None, il n’existe aucun indicateur de variance. De même, utilisez SpecialConstraintMask pour tester les indicateurs de contrainte.

S’applique à