GenericParameterAttributes 列挙型

定義

名前空間:

System.Reflection

アセンブリ:

System.Runtime.dll

ジェネリック型またはメソッドのジェネリック型パラメーターに対する制約について説明します。

この列挙体は、メンバー値のビットごとの組み合わせをサポートしています。

C#

[System.Flags]
public enum GenericParameterAttributes

継承

Object

ValueType

Enum

GenericParameterAttributes

属性

FlagsAttribute

フィールド

名前	値	説明
Contravariant	2	ジェネリック型パラメーターは反変です。 反変型パラメーターは、メソッド シグネチャのパラメーター型として使用できます。
Covariant	1	ジェネリック型パラメーターは共変です。 共変型パラメーターは、メソッドの結果型、読み取り専用フィールドの型、宣言された基本型、または実装されたインターフェイスとして使用できます。
DefaultConstructorConstraint	16	型は、パラメーターなしのコンストラクターがある場合にのみ、ジェネリック型パラメーターに置き換えることができます。
None	0	特別なフラグはありません。
NotNullableValueTypeConstraint	8	型は、値型であり null 許容でない場合にのみ、ジェネリック型パラメーターに置き換えることができます。
ReferenceTypeConstraint	4	型は、参照型の場合にのみ、ジェネリック型パラメーターに置き換えることができます。
SpecialConstraintMask	28	すべての特殊制約フラグの組み合わせを選択します。 この値は、論理 OR を使用して、DefaultConstructorConstraint、ReferenceTypeConstraint、および NotNullableValueTypeConstraintのフラグを結合した結果です。
VarianceMask	3	すべての分散フラグの組み合わせを選択します。 この値は、論理 OR を使用して次のフラグを組み合わせた結果です:Contravariant と Covariant。

例

次のコード例では、2 つの型パラメーターを持つジェネリック型 Test を定義します。 2 番目の型パラメーターには、基底クラス制約と参照型制約があります。 プログラムを実行すると、Type.GenericParameterAttributes プロパティと 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
 */

注釈

GenericParameterAttributes 列挙体のメンバーは、分散グループと特殊制約グループの 2 つのグループに分けられます。 分散フラグの GenericParameterAttributes 値をテストするには、まず VarianceMask でビットごとの AND 演算を実行します。 結果が None の場合、分散フラグはありません。 同様に、SpecialConstraintMask を使用して制約フラグをテストします。

適用対象