Méthode System.Type.MakeGenericType

Cet article vous offre des remarques complémentaires à la documentation de référence pour cette API.

La MakeGenericType méthode vous permet d’écrire du code qui affecte des types spécifiques aux paramètres de type d’une définition de type générique, créant ainsi un Type objet qui représente un type construit particulier. Vous pouvez utiliser cet Type objet pour créer des instances d’exécution du type construit.

Les types construits avec MakeGenericType peuvent être ouverts, c’est-à-dire certains de leurs arguments de type peuvent être des paramètres de type de méthodes ou de types génériques englobants. Vous pouvez utiliser ces types construits ouverts lorsque vous émettez des assemblys dynamiques. Par exemple, considérez les classes Base et Derived dans le code suivant.

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

Pour générer Derived dans un assembly dynamique, il est nécessaire de construire son type de base. Pour ce faire, appelez la MakeGenericType méthode sur un Type objet représentant la classe Base, en utilisant les arguments Int32 de type générique et le paramètre V de type de Derived. Étant donné que les types et les paramètres de type générique sont tous deux représentés par Type des objets, un tableau contenant les deux peut être passé à la MakeGenericType méthode.

Remarque

Un type construit tel qu’il Base<int, V> est utile lors de l’émission de code, mais vous ne pouvez pas appeler la MakeGenericType méthode sur ce type, car il ne s’agit pas d’une définition de type générique. Pour créer un type construit fermé qui peut être instancié, appelez d’abord la GetGenericTypeDefinition méthode pour obtenir un Type objet représentant la définition de type générique, puis appelez MakeGenericType avec les arguments de type souhaités.

L’objet Type retourné par MakeGenericType est le même que celui Type obtenu en appelant la GetType méthode du type construit résultant, ou la GetType méthode d’un type construit créé à partir de la même définition de type générique à l’aide des mêmes arguments de type.

Remarque

Un tableau de types génériques n’est pas lui-même un type générique. Vous ne pouvez pas appeler MakeGenericType un type de tableau tel que C<T>[] (Dim ac() As C(Of T) en Visual Basic). Pour construire un type générique fermé à partir de C<T>[], appelez GetElementType pour obtenir la définition C<T>de type générique ; appelez MakeGenericType la définition de type générique pour créer le type construit ; puis appelez la MakeArrayType méthode sur le type construit pour créer le type de tableau. Il en va de même pour les types et ref types de pointeur (ByRef en Visual Basic).

Pour obtenir la liste des conditions indifférentes pour les termes utilisés dans la réflexion générique, consultez les notes sur la propriété IsGenericType.

Types imbriqués

Si un type générique est défini à l’aide de C#, C++ou Visual Basic, ses types imbriqués sont tous génériques. Cela est vrai même si les types imbriqués n’ont aucun paramètre de type propre, car les trois langues incluent les paramètres de type des types englobants dans les listes de paramètres de type des types imbriqués. Tenez compte des classes suivantes :

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

La liste des paramètres de type de la classe Inner imbriquée a deux paramètres de type et TU, le premier étant le paramètre de type de sa classe englobante. De même, la liste des paramètres de type de la classe Innermost1 imbriquée a trois paramètres de type, Tet U, et Vprovient T de U ses classes englobantes. La classe Innermost2 imbriquée a deux paramètres de type et UT , qui proviennent de ses classes englobantes.

Si la liste des paramètres du type englobant a plusieurs paramètres de type, tous les paramètres de type dans l’ordre sont inclus dans la liste des paramètres de type du type imbriqué.

Pour construire un type générique à partir de la définition de type générique pour un type imbriqué, appelez la méthode avec le MakeGenericType tableau formé en concaténant les tableaux d’arguments de type de tous les types englobants, en commençant par le type générique le plus externe et en terminant par le tableau d’arguments de type du type imbriqué lui-même, s’il a des paramètres de type propres. Pour créer une instance de Innermost1, appelez la MakeGenericType méthode avec un tableau contenant trois types, à affecter à T, U et V. Pour créer une instance de Innermost2, appelez la MakeGenericType méthode avec un tableau contenant deux types, à affecter à T et U.

Les langages propagent les paramètres de type des types englobants de cette façon afin de pouvoir utiliser les paramètres de type d’un type englobant pour définir des champs de types imbriqués. Sinon, les paramètres de type ne sont pas dans l’étendue dans les corps des types imbriqués. Il est possible de définir des types imbriqués sans propager les paramètres de type des types englobants, en émettant du code dans des assemblys dynamiques ou à l’aide de l’Ilasm.exe (assembleur IL). Considérez le code suivant pour l’assembleur CIL :

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

Dans cet exemple, il n’est pas possible de définir un champ de type T ou U de classe Innermost, car ces paramètres de type ne sont pas dans l’étendue. Le code assembleur suivant définit les classes imbriquées qui se comportent comme elles le feraient si elles sont définies en C++, Visual Basic et C# :

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

Vous pouvez utiliser le Ildasm.exe (désassembleur IL) pour examiner les classes imbriquées définies dans les langages de haut niveau et observer ce schéma d’affectation de noms.