Type.IsGenericType Properti

Definisi

Ruang nama:

System

Rakitan:

System.Runtime.dll

Sumber:

Type.cs

Mendapatkan nilai yang menunjukkan apakah jenis saat ini adalah jenis generik.

public:
 virtual property bool IsGenericType { bool get(); };

public virtual bool IsGenericType { get; }

member this.IsGenericType : bool

Public Overridable ReadOnly Property IsGenericType As Boolean

Nilai Properti

Boolean

true jika jenis saat ini adalah jenis generik; jika tidak, false.

Contoh

Contoh kode berikut menampilkan nilai IsGenericTypeproperti , , IsGenericTypeDefinitionIsGenericParameter, dan ContainsGenericParameters untuk jenis yang dijelaskan di bagian Keterangan. Untuk penjelasan tentang nilai properti, lihat tabel yang menyertainya di Keterangan.

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

open System

type Base<'T, 'U>() = class end

type G<'T>() = class end

type Derived<'V>() =
    inherit Base<string, 'V>()
    
    [<DefaultValue>]
    val mutable public F : G<Derived<'V>>

let displayGenericType (t: Type) caption =
    printfn $"\n{caption}"
    printfn $"    Type: {t}"

    printfn $"\t            IsGenericType: {t.IsGenericType}" 
    printfn $"\t  IsGenericTypeDefinition: {t.IsGenericTypeDefinition}" 
    printfn $"\tContainsGenericParameters: {t.ContainsGenericParameters}"
    printfn $"\t       IsGenericParameter: {t.IsGenericParameter}"

// Get the generic type definition for Derived, and the base
// type for Derived.
let tDerived = typeof<Derived<_>>.GetGenericTypeDefinition()
let tDerivedBase = tDerived.BaseType

// Declare an array of Derived<int>, and get its type.
let d = Array.zeroCreate<Derived<int>> 0
let 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.
let tT = typeof<Base<_,_>>.GetGenericTypeDefinition().GetGenericArguments()[0]
let tF = tDerived.GetField("F").FieldType

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>>"

(* 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
 *)

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

Keterangan

IsGenericType Gunakan properti untuk menentukan apakah Type objek mewakili jenis generik. ContainsGenericParameters Gunakan properti untuk menentukan apakah Type objek mewakili jenis yang dibangun terbuka atau jenis konstruksi tertutup.

Catatan

Properti IsGenericType mengembalikan false jika jenis langsung tidak generik. Misalnya, array yang elemennya berjenis A<int> (A(Of Integer) di Visual Basic) bukan merupakan jenis generik.

Tabel berikut ini meringkas kondisi invarian untuk istilah umum yang digunakan dalam refleksi generik.

Istilah	Invarian
definisi jenis generik	Properti IsGenericTypeDefinition adalah true. Mendefinisikan jenis generik. Jenis yang dibuat dibuat dengan memanggil MakeGenericType metode pada Type objek yang mewakili definisi jenis generik dan menentukan array argumen jenis. MakeGenericType hanya dapat dipanggil pada definisi jenis generik. Definisi jenis generik apa pun adalah jenis generik ( IsGenericType propertinya adalah true), tetapi sebaliknya tidak benar.
jenis generik	Properti IsGenericType adalah true. Dapat berupa definisi jenis generik, jenis yang dibangun secara terbuka, atau jenis konstruksi tertutup. Perhatikan bahwa jenis array yang jenis elemennya generik bukan merupakan jenis generik. Hal yang sama berlaku untuk objek yang Type mewakili penunjuk ke jenis generik.
jenis open constructed	Properti ContainsGenericParameters adalah true. Contohnya adalah jenis generik yang memiliki parameter jenis yang tidak ditetapkan, jenis yang ditumpuk dalam definisi jenis generik atau dalam jenis yang dibangun terbuka, atau jenis generik yang memiliki argumen jenis yang ContainsGenericParameters propertinya adalah true. tidak dimungkinkan untuk membuat instans dari jenis yang dibangun secara terbuka. Perhatikan bahwa tidak semua jenis yang dibangun terbuka bersifat generik. Misalnya, array yang jenis elemennya adalah definisi jenis generik tidak umum, dan penunjuk ke jenis yang dibangun terbuka tidak umum.
jenis konstruksi tertutup	Properti ContainsGenericParameters adalah false. Ketika diperiksa secara rekursif, jenis tidak memiliki parameter generik yang tidak ditetapkan.
parameter jenis generik	Properti IsGenericParameter adalah true. Properti ContainsGenericParameters adalah true. Dalam definisi jenis generik, tempat penampung untuk jenis yang akan ditetapkan nanti.
argumen jenis generik	Dapat berupa jenis apa pun, termasuk parameter jenis generik. Argumen jenis ditentukan sebagai array Type objek yang diteruskan ke MakeGenericType metode saat membuat jenis generik yang dibangun. Jika instans dari jenis yang dihasilkan akan dibuat, ContainsGenericParameters properti harus false untuk semua argumen jenis.

Contoh kode dan tabel berikut mengilustrasikan beberapa istilah dan invarian ini. Kelas Derived ini menarik karena jenis dasarnya adalah jenis yang dibangun yang memiliki campuran jenis dan parameter jenis dalam daftar argumen jenisnya.

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> {}

type Base<'T, 'U>() = class end

type G<'T>() = class end

type Derived<'V>() =
    inherit Base<string, 'V>()
    
    [<DefaultValue>]
    val mutable public F : G<Derived<'V>>

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

Tabel berikut menunjukkan contoh yang menggunakan dan membangun pada kelas Base, , Deriveddan G. Ketika kode C++ dan C# sama, hanya satu entri yang ditampilkan.

Contoh	Invarian
Derived(Of V) Derived<V>	Untuk jenis ini: IsGenericTypeadalah true. IsGenericTypeDefinitionadalah true. ContainsGenericParametersadalah true.
Base(Of String, V) Base<String,V> Base<String^,V>	Untuk jenis ini: IsGenericTypeadalah true. IsGenericTypeDefinitionadalah false. ContainsGenericParametersadalah true.
Dim d() As Derived(Of Integer) Derived<int>[] d; array<Derived<int>^>^ d;	Untuk jenis variabel d: IsGenericType adalah false karena d merupakan array. IsGenericTypeDefinitionadalah false. ContainsGenericParametersadalah false.
T, U, dan V (di mana pun mereka muncul)	IsGenericParameteradalah true. IsGenericType adalah false karena tidak ada cara untuk membatasi parameter jenis ke jenis generik. IsGenericTypeDefinitionadalah false. ContainsGenericParameters adalah true karena T, U, dan V merupakan parameter jenis generik sendiri. Ini tidak menyiratkan apa pun tentang argumen jenis yang ditetapkan untuk mereka nanti.
Jenis bidang F	IsGenericTypeadalah true. IsGenericTypeDefinition adalah false karena jenis telah ditetapkan ke parameter Gjenis . Perhatikan bahwa ini setara dengan yang disebut MakeGenericType metode . ContainsGenericParameters adalah true karena tipe bidang F memiliki argumen tipe yang merupakan jenis yang dibangun terbuka. Jenis yang dibangun terbuka karena argumen jenisnya (yaitu, Base) adalah definisi jenis generik. Ini menggambarkan sifat IsGenericType rekursif properti.
Kelas berlapis Nested	IsGenericType adalah true, meskipun Nested kelas tidak memiliki parameter jenis generik sendiri, karena ditumpuk dalam jenis generik. IsGenericTypeDefinitionadalah true. Artinya, Anda dapat memanggil MakeGenericType metode dan menyediakan parameter jenis dari jenis penutup, Derived. ContainsGenericParameters adalah true karena jenis penutup, Derived, memiliki parameter jenis generik. Ini menggambarkan sifat ContainsGenericParameters rekursif properti.

Lihat juga

• ContainsGenericParameters
• IsGenericTypeDefinition
• Refleksi dan Jenis Generik
• Cara: Memeriksa dan Membuat Instans Jenis Generik dengan Refleksi