정보
요청한 주제가 아래에 표시됩니다. 그러나 이 주제는 이 라이브러리에 포함되지 않습니다.

GenericParameterAttributes 열거형

2013-12-13

제네릭 형식 또는 메서드의 제네릭 형식 매개 변수에 대한 제약 조건을 설명합니다.

이 열거형에는 멤버 값을 비트로 조합할 수 있는 FlagsAttribute 특성이 있습니다.

Namespace:  System.Reflection
어셈블리:  mscorlib(mscorlib.dll)

[FlagsAttribute]
public enum GenericParameterAttributes

멤버 이름설명
Contravariant제네릭 형식 매개 변수가 반공변입니다. 반공변 형식 매개 변수는 메서드 서명에서 매개 변수 형식으로 나타날 수 있습니다.
Covariant제네릭 형식 매개 변수가 공변입니다. 공변 형식 매개 변수는 메서드의 결과 형식, 읽기 전용 필드의 형식, 선언된 기본 형식 또는 구현된 인터페이스로 나타날 수 있습니다.
DefaultConstructorConstraint제네릭 형식 매개 변수에 매개 변수 없는 생성자가 있는 경우에만 제네릭 형식 매개 변수의 형식을 대체할 수 있습니다.
None특수 플래그가 없습니다.
NotNullableValueTypeConstraint제네릭 형식 매개 변수가 값 형식이고 null을 허용하지 않는 경우에만 제네릭 형식 매개 변수의 형식을 대체할 수 있습니다.
ReferenceTypeConstraint제네릭 형식 매개 변수가 참조 형식인 경우에만 제네릭 형식 매개 변수의 형식을 대체할 수 있습니다.
SpecialConstraintMask모든 특수 제약 조건 플래그의 조합을 선택합니다. 이 값은 논리 OR 연산을 사용하여 다음 플래그를 결합한 결과입니다. DefaultConstructorConstraint, ReferenceTypeConstraintNotNullableValueTypeConstraint.
VarianceMask모든 가변성 플래그의 조합을 선택합니다. 이 값은 논리 OR 연산을 사용하여 다음 플래그를 결합한 결과입니다. ContravariantCovariant.

GenericParameterAttributes 열거형의 멤버는 가변성 그룹과 특수 제약 조건 그룹으로 나뉩니다. 가변성 플래그의 GenericParameterAttributes 값을 테스트하려면 먼저 VarianceMask를 사용하여 비트 AND 연산을 수행합니다. 결과가 None이면 가변성 플래그가 없는 것입니다. 마찬가지로, 제약 조건 플래그를 테스트하려면 SpecialConstraintMask를 사용합니다.

다음 코드 예제에서는 두 개의 형식 매개 변수가 있는 제네릭 형식 Test를 정의합니다. 두 번째 형식 매개 변수에는 기본 클래스 제약 조건과 참조 형식 제약 조건이 있습니다. 프로그램이 실행되면 Type.GenericParameterAttributes 속성 및 Type.GetGenericParameterConstraints 메서드를 사용하여 이 제약 조건이 검사됩니다.

참고참고:

이 예제를 실행하려면 Windows Phone용 정적 TextBlock 컨트롤이 있는 예제 빌드를 참조하세요.


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 Demo(System.Windows.Controls.TextBlock outputBlock)
   {
      // 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<,>);
      outputBlock.Text += String.Format("\r\nExamining generic type {0}", def) + "\n";

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

         // 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)
         {
            outputBlock.Text += String.Format("\t{0}", tpc) + "\n";
         }
      }
   }

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


Windows Phone OS

지원되는 버전: 8.0, 7.1, 7.0

Windows Phone

표시: