Metode System.Type.MakeGenericType

Nota

Artikel ini menyediakan keterangan tambahan untuk dokumentasi referensi untuk API ini.

Metode MakeGenericType ini memungkinkan Anda menulis kode yang menetapkan jenis tertentu ke parameter jenis definisi jenis generik, dengan demikian menciptakan objek Type yang mewakili jenis tertentu yang dikonstruksi. Anda dapat menggunakan objek ini Type untuk membuat instans runtime dari jenis yang dibangun.

Jenis yang dibangun dengan MakeGenericType dapat terbuka, artinya, beberapa argumen jenisnya dapat berupa parameter jenis dari metode atau jenis generik yang melingkupi. Anda dapat menggunakan jenis konstruksi terbuka seperti itu saat menghasilkan susunan dinamis. Misalnya, pertimbangkan kelas Base dan Derived dalam kode berikut.

public class Base<T, U> { }
public class Derived<V> : Base<int, V> { }

type Base<'T, 'U>() = class end
type Derived<'V>() = inherit Base<int, 'V>()

Public Class Base(Of T, U)
End Class
Public Class Derived(Of V)
    Inherits Base(Of Integer, V)
End Class

Untuk menghasilkan Derived dalam rakitan dinamis, diperlukan untuk menyusun tipe dasarnya. Untuk melakukan ini, panggil MakeGenericType metode pada objek Type yang mewakili kelas Base, menggunakan argumen Int32 jenis generik dan parameter V jenis di Derived. Karena parameter jenis dan jenis generik keduanya diwakili oleh Type objek, array yang berisi keduanya dapat diteruskan ke MakeGenericType metode .

Nota

Jenis yang dibangun seperti Base<int, V> berguna saat memancarkan kode, tetapi Anda tidak dapat memanggil MakeGenericType metode pada jenis ini karena bukan definisi jenis generik. Untuk membuat jenis konstruksi tertutup yang dapat diinstruksikan, pertama-tama panggil GetGenericTypeDefinition metode untuk mendapatkan objek yang Type mewakili definisi jenis generik lalu panggil MakeGenericType dengan argumen jenis yang diinginkan.

Objek Type yang dikembalikan oleh MakeGenericType adalah sama dengan Type yang diperoleh dengan memanggil metode GetType dari jenis yang dikonstruksi yang dihasilkan, atau metode GetType dari jenis yang dikonstruksi mana saja yang dibuat dari definisi jenis generik yang sama menggunakan argumen jenis yang sama.

Nota

Array tipe generik bukanlah tipe generik. Anda tidak dapat memanggil MakeGenericType pada jenis array seperti C<T>[] (Dim ac() As C(Of T) di Visual Basic). Untuk membangun tipe generik tertutup dari C<T>[], panggil GetElementType untuk mendapatkan definisi tipe generik C<T>; panggil MakeGenericType pada definisi tipe generik untuk membuat tipe yang dibangun; dan akhirnya panggil metode MakeArrayType pada tipe yang dibangun untuk membuat tipe array. Hal yang sama berlaku untuk jenis penunjuk dan ref jenis (ByRef dalam Visual Basic).

Untuk daftar ketentuan invarian untuk istilah yang digunakan dalam refleksi generik, lihat IsGenericType keterangan properti.

Jenis berlapis

Jika jenis generik didefinisikan menggunakan C#, C++, atau Visual Basic, maka jenis berlapisnya semuanya umum. Ini berlaku bahkan jika jenis berlapis tidak memiliki parameter jenisnya sendiri, karena ketiga bahasa tersebut mencakup parameter jenis jenis yang diapit dalam daftar parameter jenis berlapis. Pertimbangkan kelas berikut:

public class Outermost<T>
{
    public class Inner<U>
    {
        public class Innermost1<V> {}
        public class Innermost2 {}
    }
}

Public Class Outermost(Of T)
    Public Class Inner(Of U)
        Public Class Innermost1(Of V)
        End Class
        Public Class Innermost2
        End Class
    End Class
End Class

Daftar parameter jenis kelas Inner berlapis memiliki dua parameter jenis, T dan U, yang pertama adalah parameter jenis kelas penutupnya. Demikian pula, daftar parameter jenis kelas Innermost1 berlapis memiliki tiga parameter jenis, T, , Udan V, dengan T dan U berasal dari kelas penutupnya. Kelas berlapis Innermost2 memiliki dua parameter jenis, T dan U, yang berasal dari kelas penutupnya.

Jika daftar parameter jenis penutup memiliki lebih dari satu parameter jenis, semua parameter jenis secara berurutan disertakan dalam daftar parameter jenis jenis jenis berlapis.

Untuk membuat jenis generik dari definisi jenis generik untuk jenis bertingkat, panggil metode MakeGenericType dengan array yang dibentuk dari penggabungan array argumen jenis dari semua jenis pembungkus, dimulai dengan jenis generik terluar, dan diakhiri dengan array argumen jenis dari jenis bertingkat itu sendiri, jika memiliki parameternya sendiri. Untuk membuat instans Innermost1, panggil MakeGenericType metode dengan array yang berisi tiga jenis, untuk ditetapkan ke T, U, dan V. Untuk membuat instans Innermost2, panggil MakeGenericType metode dengan array yang berisi dua jenis, untuk ditetapkan ke T dan U.

Bahasa menyebarluaskan parameter jenis jenis yang diapit dalam mode ini sehingga Anda dapat menggunakan parameter jenis jenis yang diapit untuk menentukan bidang jenis berlapis. Jika tidak, parameter jenis tidak akan berada dalam cakupan dalam badan jenis berlapis. Dimungkinkan untuk menentukan tipe bersarang tanpa menyebarkan parameter tipe dari tipe pembungkus, dengan menghasilkan kode dalam rakitan dinamis atau dengan menggunakan Ilasm.exe (IL Assembler). Pertimbangkan kode berikut untuk perakitan CIL:

.class public Outer<T> {
    .class nested public Inner<U> {
        .class nested public Innermost {
        }
    }
}

Dalam contoh ini, tidak dimungkinkan untuk menentukan bidang jenis T atau U di kelas Innermost, karena parameter jenis tersebut tidak berada dalam cakupan. Kode perakit berikut mendefinisikan kelas berlapis yang bertindak seperti yang mereka lakukan jika didefinisikan dalam C++, Visual Basic, dan C#:

.class public Outer<T> {
    .class nested public Inner<T, U> {
        .class nested public Innermost<T, U, V> {
        }
    }
}

Anda dapat menggunakan Ildasm.exe (IL Disassembler) untuk memeriksa kelas berlapis yang ditentukan dalam bahasa tingkat tinggi dan mengamati skema penamaan ini.