GenericParameterAttributes 列舉

定義

描述泛型型別或方法之泛型型別參數的條件約束。

此列舉支援其成員值的位元組合。

[System.Flags]
public enum GenericParameterAttributes
繼承
GenericParameterAttributes
屬性

欄位

AllowByRefLike 32

泛型型別參數可以 ByRefLike

Contravariant 2

泛型類型參數為反變數。 反變數類型參數可以在方法簽章中顯示為參數類型。

Covariant 1

泛型類型參數為covariant。 covariant 類型參數可以顯示為方法的結果類型、只讀欄位的類型、宣告的基底類型或實作的介面。

DefaultConstructorConstraint 16

只有在具有無參數建構函式時,才能取代泛型型別參數。

None 0

沒有特殊旗標。

NotNullableValueTypeConstraint 8

只有在類型是實值型別且不可為 Null 時,才能取代泛型型別參數。

ReferenceTypeConstraint 4

只有在類型是參考型別時,才能取代泛型型別參數。

SpecialConstraintMask 28

選取所有特殊條件約束旗標的組合。 這個值是使用邏輯 OR 來結合下列旗標的結果:DefaultConstructorConstraintReferenceTypeConstraintNotNullableValueTypeConstraint

VarianceMask 3

選取所有變異數旗標的組合。 這個值是使用邏輯 OR 來結合下列旗標的結果:ContravariantCovariant

範例

下列程式代碼範例會定義具有兩個型別參數的泛型型別 Test。 第二個類型參數具有基類條件約束和參考型別條件約束。 當程式執行時,會使用 Type.GenericParameterAttributes 屬性和 Type.GetGenericParameterConstraints 方法檢查條件約束。

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
 */

備註

GenericParameterAttributes 列舉的成員分成兩個群組、變異數群組和特殊條件約束群組。 若要測試變異數旗標的 GenericParameterAttributes 值,請先使用 VarianceMask 執行位 AND 作業。 如果結果為 None,則沒有任何變異數旗標。 同樣地,使用SpecialConstraintMask來測試條件約束旗標。

適用於

產品 版本
.NET Core 1.0, Core 1.1, Core 2.0, Core 2.1, Core 2.2, Core 3.0, Core 3.1, 5, 6, 7, 8, 9
.NET Framework 2.0, 3.0, 3.5, 4.0, 4.5, 4.5.1, 4.5.2, 4.6, 4.6.1, 4.6.2, 4.7, 4.7.1, 4.7.2, 4.8, 4.8.1
.NET Standard 1.0, 1.1, 1.2, 1.3, 1.4, 1.6, 2.0, 2.1
UWP 10.0