GenericParameterAttributes Wyliczenie

Definicja

Przestrzeń nazw:

System.Reflection

Zestaw:

System.Runtime.dll

Opisuje ograniczenia dotyczące ogólnego parametru typu typu typu lub metody ogólnej.

To wyliczenie obsługuje bitową kombinację jego wartości składowych.

C#

[System.Flags]
public enum GenericParameterAttributes

Dziedziczenie

Object

ValueType

Enum

GenericParameterAttributes

Atrybuty

FlagsAttribute

Pola

Nazwa	Wartość	Opis
Contravariant	2	Parametr typu ogólnego jest kontrawariantny. Kontrawariantny parametr typu może być wyświetlany jako typ parametru w podpisach metody.
Covariant	1	Ogólny parametr typu jest kowariantny. Kowariantny parametr typu może pojawić się jako typ wyniku metody, typ pola tylko do odczytu, zadeklarowany typ podstawowy lub zaimplementowany interfejs.
DefaultConstructorConstraint	16	Typ można zastąpić parametrem typu ogólnego tylko wtedy, gdy ma konstruktor bez parametrów.
None	0	Brak specjalnych flag.
NotNullableValueTypeConstraint	8	Typ może zostać zastąpiony dla parametru typu ogólnego tylko wtedy, gdy jest to typ wartości i nie może mieć wartości null.
ReferenceTypeConstraint	4	Typ można zastąpić parametrem typu ogólnego tylko wtedy, gdy jest to typ odwołania.
SpecialConstraintMask	28	Wybiera kombinację wszystkich specjalnych flag ograniczeń. Ta wartość jest wynikiem użycia wartości logicznej OR w celu połączenia następujących flag: DefaultConstructorConstraint, ReferenceTypeConstrainti NotNullableValueTypeConstraint.
VarianceMask	3	Wybiera kombinację wszystkich flag wariancji. Ta wartość jest wynikiem użycia logicznego OR w celu połączenia następujących flag: Contravariant i Covariant.

Przykłady

Poniższy przykład kodu definiuje typ ogólny Test z dwoma parametrami typu. Drugi parametr typu ma ograniczenie klasy bazowej i ograniczenie typu odwołania. Po wykonaniu programu ograniczenia są badane przy użyciu właściwości Type.GenericParameterAttributes i metody 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
 */

Uwagi

Elementy członkowskie wyliczenia GenericParameterAttributes są podzielone na dwie grupy, grupę wariancji i grupę specjalnych ograniczeń. Aby przetestować GenericParameterAttributes wartość flag wariancji, najpierw wykonaj bitową operację AND z maską wariancji. Jeśli wynik ma wartość Brak, nie ma flag wariancji. Podobnie użyj funkcji SpecialConstraintMask, aby przetestować flagi ograniczeń.

Dotyczy