Type.IsGenericType Type.IsGenericType Type.IsGenericType Type.IsGenericType Property

Определение

Возвращает значение, указывающее, является ли текущий тип универсальным.Gets a value indicating whether the current type is a generic type.

public:
 virtual property bool IsGenericType { bool get(); };
public virtual bool IsGenericType { get; }
member this.IsGenericType : bool
Public Overridable ReadOnly Property IsGenericType As Boolean

Значение свойства

true Если текущий тип является универсальным типом; в противном случае false.if the current type is a generic type; otherwise, false.

Примеры

В следующем примере кода отображает значение IsGenericType, IsGenericTypeDefinition, IsGenericParameter, и ContainsGenericParameters свойств для типов, описанных в разделе "Примечания".The following code example displays the value of the IsGenericType, IsGenericTypeDefinition, IsGenericParameter, and ContainsGenericParameters properties for the types described in the Remarks section. Объяснение значения свойств см в "Примечания".For explanations of the property values, see the accompanying table in Remarks.

using namespace System;
using namespace System::Reflection;

generic<typename T, typename U> public ref class Base {};

generic<typename T> public ref class G {};

generic<typename V> public ref class Derived : Base<String^, V>
{
public: 
    G<Derived<V>^>^ F;

    ref class Nested {};
};

void DisplayGenericType(Type^ t, String^ caption)
{
    Console::WriteLine("\n{0}", caption);
    Console::WriteLine("    Type: {0}", t);

    Console::WriteLine("\t            IsGenericType: {0}", 
        t->IsGenericType);
    Console::WriteLine("\t  IsGenericTypeDefinition: {0}", 
        t->IsGenericTypeDefinition);
    Console::WriteLine("\tContainsGenericParameters: {0}", 
        t->ContainsGenericParameters);
    Console::WriteLine("\t       IsGenericParameter: {0}", 
        t->IsGenericParameter);
}

void main()
{
    // Get the generic type definition for Derived, and the base
    // type for Derived.
    //
    Type^ tDerived = Derived::typeid;
    Type^ tDerivedBase = tDerived->BaseType;

    // Declare an array of Derived<int>, and get its type.
    //
    array<Derived<int>^>^ d = gcnew array<Derived<int>^>(0);
    Type^ tDerivedArray = d->GetType();

    // Get a generic type parameter, the type of a field, and a
    // type that is nested in Derived. Notice that in order to
    // get the nested type it is necessary to either (1) specify
    // the generic type definition Derived::typeid, as shown here,
    // or (2) specify a type parameter for Derived.
    //
    Type^ tT = Base::typeid->GetGenericArguments()[0];
    Type^ tF = tDerived->GetField("F")->FieldType;
    Type^ tNested = Derived::Nested::typeid;

    DisplayGenericType(tDerived, "generic<V> Derived");
    DisplayGenericType(tDerivedBase, "Base type of generic<V> Derived");
    DisplayGenericType(tDerivedArray, "Array of Derived<int>");
    DisplayGenericType(tT, "Type parameter T from generic<T> Base");
    DisplayGenericType(tF, "Field type, G<Derived<V>^>^");
    DisplayGenericType(tNested, "Nested type in generic<V> Derived");
}

/* This code example produces the following output:

generic<V> Derived
    Type: Derived`1[V]
                    IsGenericType: True
          IsGenericTypeDefinition: True
        ContainsGenericParameters: True
               IsGenericParameter: False

Base type of generic<V> Derived
    Type: Base`2[System.String,V]
                    IsGenericType: True
          IsGenericTypeDefinition: False
        ContainsGenericParameters: True
               IsGenericParameter: False

Array of Derived<int>
    Type: Derived`1[System.Int32][]
                    IsGenericType: False
          IsGenericTypeDefinition: False
        ContainsGenericParameters: False
               IsGenericParameter: False

Type parameter T from generic<T> Base
    Type: T
                    IsGenericType: False
          IsGenericTypeDefinition: False
        ContainsGenericParameters: True
               IsGenericParameter: True

Field type, G<Derived<V>^>^
    Type: G`1[Derived`1[V]]
                    IsGenericType: True
          IsGenericTypeDefinition: False
        ContainsGenericParameters: True
               IsGenericParameter: False

Nested type in generic<V> Derived
    Type: Derived`1+Nested[V]
                    IsGenericType: True
          IsGenericTypeDefinition: True
        ContainsGenericParameters: True
               IsGenericParameter: False
 */
using System;
using System.Reflection;

public class Base<T, U> {}

public class Derived<V> : Base<string, V>
{
    public G<Derived <V>> F;

    public class Nested {}
}

public class G<T> {}

class Example
{
    public static void Main()
    {
        // Get the generic type definition for Derived, and the base
        // type for Derived.
        //
        Type tDerived = typeof(Derived<>);
        Type tDerivedBase = tDerived.BaseType;

        // Declare an array of Derived<int>, and get its type.
        //
        Derived<int>[] d = new Derived<int>[0];
        Type tDerivedArray = d.GetType();

        // Get a generic type parameter, the type of a field, and a
        // type that is nested in Derived. Notice that in order to
        // get the nested type it is necessary to either (1) specify
        // the generic type definition Derived<>, as shown here,
        // or (2) specify a type parameter for Derived.
        //
        Type tT = typeof(Base<,>).GetGenericArguments()[0];
        Type tF = tDerived.GetField("F").FieldType;
        Type tNested = typeof(Derived<>.Nested);

        DisplayGenericType(tDerived, "Derived<V>");
        DisplayGenericType(tDerivedBase, "Base type of Derived<V>");
        DisplayGenericType(tDerivedArray, "Array of Derived<int>");
        DisplayGenericType(tT, "Type parameter T from Base<T>");
        DisplayGenericType(tF, "Field type, G<Derived<V>>");
        DisplayGenericType(tNested, "Nested type in Derived<V>");
    }

    public static void DisplayGenericType(Type t, string caption)
    {
        Console.WriteLine("\n{0}", caption);
        Console.WriteLine("    Type: {0}", t);

        Console.WriteLine("\t            IsGenericType: {0}", 
            t.IsGenericType);
        Console.WriteLine("\t  IsGenericTypeDefinition: {0}", 
            t.IsGenericTypeDefinition);
        Console.WriteLine("\tContainsGenericParameters: {0}", 
            t.ContainsGenericParameters);
        Console.WriteLine("\t       IsGenericParameter: {0}", 
            t.IsGenericParameter);
    }
}

/* This code example produces the following output:

Derived<V>
    Type: Derived`1[V]
                    IsGenericType: True
          IsGenericTypeDefinition: True
        ContainsGenericParameters: True
               IsGenericParameter: False

Base type of Derived<V>
    Type: Base`2[System.String,V]
                    IsGenericType: True
          IsGenericTypeDefinition: False
        ContainsGenericParameters: True
               IsGenericParameter: False

Array of Derived<int>
    Type: Derived`1[System.Int32][]
                    IsGenericType: False
          IsGenericTypeDefinition: False
        ContainsGenericParameters: False
               IsGenericParameter: False

Type parameter T from Base<T>
    Type: T
                    IsGenericType: False
          IsGenericTypeDefinition: False
        ContainsGenericParameters: True
               IsGenericParameter: True

Field type, G<Derived<V>>
    Type: G`1[Derived`1[V]]
                    IsGenericType: True
          IsGenericTypeDefinition: False
        ContainsGenericParameters: True
               IsGenericParameter: False

Nested type in Derived<V>
    Type: Derived`1+Nested[V]
                    IsGenericType: True
          IsGenericTypeDefinition: True
        ContainsGenericParameters: True
               IsGenericParameter: False
 */
Imports System
Imports System.Reflection

' 
Public Class Base(Of T, U)
End Class

Public Class Derived(Of V) 
    Inherits Base(Of String, V)

    Public F As G(Of Derived(Of V))

    Public Class Nested
    End Class
End Class

Public Class G(Of T)
End Class 

Module Example

    Sub Main

        ' Get the generic type definition for Derived, and the base
        ' type for Derived.
        '
        Dim tDerived As Type = GetType(Derived(Of ))
        Dim tDerivedBase As Type = tDerived.BaseType

        ' Declare an array of Derived(Of Integer), and get its type.
        '
        Dim d(0) As Derived(Of Integer)
        Dim tDerivedArray As Type = d.GetType()

        ' Get a generic type parameter, the type of a field, and a
        ' type that is nested in Derived. Notice that in order to
        ' get the nested type it is necessary to either (1) specify
        ' the generic type definition Derived(Of ), as shown here,
        ' or (2) specify a type parameter for Derived.
        '
        Dim tT As Type = GetType(Base(Of ,)).GetGenericArguments()(0)
        Dim tF As Type = tDerived.GetField("F").FieldType
        Dim tNested As Type = GetType(Derived(Of ).Nested)

        DisplayGenericType(tDerived, "Derived(Of V)")
        DisplayGenericType(tDerivedBase, "Base type of Derived(Of V)")
        DisplayGenericType(tDerivedArray, "Array of Derived(Of Integer)")
        DisplayGenericType(tT, "Type parameter T from Base(Of T)")
        DisplayGenericType(tF, "Field type, G(Of Derived(Of V))")
        DisplayGenericType(tNested, "Nested type in Derived(Of V)")

    End Sub

    Sub DisplayGenericType(ByVal t As Type, ByVal caption As String)

        Console.WriteLine(vbLf & caption)
        Console.WriteLine("    Type: {0}", t)

        Console.WriteLine(vbTab & "            IsGenericType: {0}", _
            t.IsGenericType)
        Console.WriteLine(vbTab & "  IsGenericTypeDefinition: {0}", _
            t.IsGenericTypeDefinition)
        Console.WriteLine(vbTab & "ContainsGenericParameters: {0}", _
            t.ContainsGenericParameters)
        Console.WriteLine(vbTab & "       IsGenericParameter: {0}", _
            t.IsGenericParameter)

    End Sub

End Module

' This code example produces the following output:
'
'Derived(Of V)
'    Type: Derived`1[V]
'                    IsGenericType: True
'          IsGenericTypeDefinition: True
'        ContainsGenericParameters: True
'               IsGenericParameter: False
'
'Base type of Derived(Of V)
'    Type: Base`2[System.String,V]
'                    IsGenericType: True
'          IsGenericTypeDefinition: False
'        ContainsGenericParameters: True
'               IsGenericParameter: False
'
'Array of Derived(Of Integer)
'    Type: Derived`1[System.Int32][]
'                    IsGenericType: False
'          IsGenericTypeDefinition: False
'        ContainsGenericParameters: False
'               IsGenericParameter: False
'
'Type parameter T from Base(Of T)
'    Type: T
'                    IsGenericType: False
'          IsGenericTypeDefinition: False
'        ContainsGenericParameters: True
'               IsGenericParameter: True
'
'Field type, G(Of Derived(Of V))
'    Type: G`1[Derived`1[V]]
'                    IsGenericType: True
'          IsGenericTypeDefinition: False
'        ContainsGenericParameters: True
'               IsGenericParameter: False
'
'Nested type in Derived(Of V)
'    Type: Derived`1+Nested[V]
'                    IsGenericType: True
'          IsGenericTypeDefinition: True
'        ContainsGenericParameters: True
'               IsGenericParameter: False

Комментарии

Используйте IsGenericType свойства, чтобы определить ли Type объект представляет универсальный тип.Use the IsGenericType property to determine whether a Type object represents a generic type. Используйте ContainsGenericParameters свойства, чтобы определить ли Type представляет объект в открытом сконструированном типе или закрытым сконструированным типом.Use the ContainsGenericParameters property to determine whether a Type object represents an open constructed type or a closed constructed type.

Примечание

IsGenericType Возвращает false Если непосредственного типа не является универсальным.The IsGenericType property returns false if the immediate type is not generic. Например, массив, элементы которого имеют тип A<int> (A(Of Integer) в Visual Basic) сама по себе не универсального типа.For example, an array whose elements are of type A<int> (A(Of Integer) in Visual Basic) is not itself a generic type.

В следующей таблице перечислены неизменяемых условий для общих терминов, используемых в отражении универсальных типов.The following table summarizes the invariant conditions for common terms used in generic reflection.

ТерминTerm ИнвариантInvariant
определение универсального типаgeneric type definition Значение свойства IsGenericTypeDefinitiontrue.The IsGenericTypeDefinition property is true.

Определяет универсальный тип.Defines a generic type. Сконструированный тип создается путем вызова MakeGenericType метод Type объект, представляющий определение универсального типа и указав массив аргументов типа.A constructed type is created by calling the MakeGenericType method on a Type object that represents a generic type definition and specifying an array of type arguments.

MakeGenericType может вызываться только для определений универсальных типов.can be called only on generic type definitions.

Любое определение универсального типа является универсальным типом ( IsGenericType свойство true), но обратное неверно.Any generic type definition is a generic type (the IsGenericType property is true), but the converse is not true.
универсальный типgeneric type Значение свойства IsGenericTypetrue.The IsGenericType property is true.

Может быть определением универсального типа, открытом сконструированном типе или закрытым сконструированным типом.Can be a generic type definition, an open constructed type, or a closed constructed type.

Обратите внимание, что тип массива, тип элементов которого является универсальным сама по себе не универсального типа.Note that an array type whose element type is generic is not itself a generic type. То же самое относится и к Type объект, представляющий указатель к универсальному типу.The same is true of a Type object representing a pointer to a generic type.
открытый сконструированный типopen constructed type Значение свойства ContainsGenericParameterstrue.The ContainsGenericParameters property is true.

Примерами являются универсальный тип, который неназначенные параметры типа, тип, который вложен в определении универсального типа или в открытом сконструированном типе или универсальный тип, который имеет аргумент типа, для которого ContainsGenericParameters свойство true.Examples are a generic type that has unassigned type parameters, a type that is nested in a generic type definition or in an open constructed type, or a generic type that has a type argument for which the ContainsGenericParameters property is true.

Не поддерживается для создания экземпляра открытого сконструированного типа.It is not possible to create an instance of an open constructed type.

Обратите внимание на то, что не все открытые сконструированные типы являются универсальными.Note that not all open constructed types are generic. Например массив, тип элементов которого является определением универсального типа не является универсальным, и указатель на открытый сконструированный тип не является универсальным.For example, an array whose element type is a generic type definition is not generic, and a pointer to an open constructed type is not generic.
закрытым сконструированным типомclosed constructed type Значение свойства ContainsGenericParametersfalse.The ContainsGenericParameters property is false.

При рекурсивном тип не имеет неназначенные универсальных параметров.When examined recursively, the type has no unassigned generic parameters.
параметр универсального типаgeneric type parameter Значение свойства IsGenericParametertrue.The IsGenericParameter property is true.

Значение свойства ContainsGenericParameterstrue.The ContainsGenericParameters property is true.

В определении универсального типа это заполнитель для типа, который будет назначен более поздней версии.In a generic type definition, a placeholder for a type that will be assigned later.
аргумент универсального типаgeneric type argument Может быть любого типа, включая параметр универсального типа.Can be any type, including a generic type parameter.

Аргументы типа указаны как массив Type объекты передавать MakeGenericType при создании сконструированному универсальному типу.Type arguments are specified as an array of Type objects passed to the MakeGenericType method when creating a constructed generic type. Если экземпляры для результирующего типа создаваемой ContainsGenericParameters свойство должно быть false для всех аргументов типа.If instances of the resulting type are to be created, the ContainsGenericParameters property must be false for all the type arguments.

Следующий пример кода и в таблице представлены некоторые из этих условий и инварианты.The following code example and table illustrate some of these terms and invariants. Derived Класс является особый интерес, так как его базовый тип является сконструированный тип, который содержит как типы и параметры типа в списке аргументов.The Derived class is of particular interest because its base type is a constructed type that has a mixture of types and type parameters in its type argument list.

generic<typename T, typename U> public ref class Base {};

generic<typename T> public ref class G {};

generic<typename V> public ref class Derived : Base<String^, V>
{
public:
    G<Derived<V>^>^ F;

    ref class Nested {};
};
public class Base<T, U> {}

public class Derived<V> : Base<string, V>
{
    public G<Derived <V>> F;

    public class Nested {}
}

public class G<T> {}
Public Class Base(Of T, U)
End Class

Public Class Derived(Of V)
    Inherits Base(Of String, V)

    Public F As G(Of Derived(Of V))

    Public Class Nested
    End Class
End Class

Public Class G(Of T)
End Class

В следующей таблице показаны примеры используйте и сборки в классах Base, Derived, и G.The following table shows examples that use and build on the classes Base, Derived, and G. Когда кода C++ и C# является одинаковым, отображается только одна запись.When the C++ and C# code is the same, only one entry is shown.

ПримерExample ИнвариантыInvariants
Derived(Of V)

Derived<V>
Для этого типа:For this type:

IsGenericType true.is true.

IsGenericTypeDefinition true.is true.

ContainsGenericParameters true.is true.
Base(Of String, V)

Base<String,V>

Base<String^,V>
Для этого типа:For this type:

IsGenericType true.is true.

IsGenericTypeDefinition false.is false.

ContainsGenericParameters true.is true.
Dim d() As Derived(Of Integer)

Derived<int>[] d;

array<Derived<int>^>^ d;
Для типа переменной d:For the type of variable d:

IsGenericType false поскольку d является массивом.is false because d is an array.

IsGenericTypeDefinition false.is false.

ContainsGenericParameters false.is false.
T, U, и V (где они отображаются), U, and V (everywhere they appear) IsGenericParameter true.is true.

IsGenericType является false , так как нет способа ограничить параметр типа для универсальных типов.is false because there is no way to constrain a type parameter to generic types.

IsGenericTypeDefinition false.is false.

ContainsGenericParameters true поскольку T, U, и V сами являются параметры универсального типа.is true because T, U, and V are themselves generic type parameters. Это не означает, что-либо аргументы, которые им назначены более поздней версии.This does not imply anything about type arguments that are assigned to them later.
Тип поляThe type of field F IsGenericType true.is true.

IsGenericTypeDefinition false так, как тип был назначен параметр типа G.is false because a type has been assigned to the type parameter of G. Обратите внимание, что это эквивалентно вызову MakeGenericType метод.Note that this is equivalent to having called the MakeGenericType method.

ContainsGenericParameters true так как тип поля F с аргументом типа, который является открытым сконструированным типом.is true because the type of field F has a type argument that is an open constructed type. Сконструированный тип является открытым так как его аргумент типа (то есть Base) является определением универсального типа.The constructed type is open because its type argument (that is, Base) is a generic type definition. Это иллюстрирует рекурсивной природе IsGenericType свойство.This illustrates the recursive nature of the IsGenericType property.
Вложенный классThe nested class Nested IsGenericType true, даже если Nested класс не имеет универсальный тип параметров свои собственные, так как он является вложенным в универсальный тип.is true, even though the Nested class has no generic type parameters of its own, because it is nested in a generic type.

IsGenericTypeDefinition true.is true. То есть можно вызвать MakeGenericType метод и задать параметр типа данного включающего типа Derived.That is, you can call the MakeGenericType method and supply the type parameter of the enclosing type, Derived.

ContainsGenericParameters true поскольку включающий тип, Derived, имеет параметры универсального типа.is true because the enclosing type, Derived, has generic type parameters. Это иллюстрирует рекурсивной природе ContainsGenericParameters свойство.This illustrates the recursive nature of the ContainsGenericParameters property.

Применяется к

Дополнительно