Exporter (0) Imprimer
Développer tout
Développer Réduire

Type.MakeGenericType, méthode

Substitue les éléments d'un tableau de types aux paramètres de type de la définition du type générique actuel et retourne un objet Type qui représente le type construit résultant.

Espace de noms: System
Assembly : mscorlib (dans mscorlib.dll)

public virtual Type MakeGenericType (
	params Type[] typeArguments
)
public Type MakeGenericType (
	Type[] typeArguments
)
public function MakeGenericType (
	... typeArguments : Type[]
) : Type
Non applicable.

Paramètres

typeArguments

Tableau de types à remplacer pour les paramètres de type du type générique actuel.

Valeur de retour

Type représentant le type construit formé en substituant les éléments de typeArguments pour les paramètres de type du type générique actuel.

Type d'exceptionCondition

InvalidOperationException

Le type actuel ne représente pas une définition de type générique. En d'autres termes, IsGenericTypeDefinition retourne la valeur false.

ArgumentNullException

typeArguments a la valeur référence Null (Nothing en Visual Basic).

– ou –

Tout élément de typeArguments a la valeur référence Null (Nothing en Visual Basic).

ArgumentException

Le nombre d'éléments dans typeArguments n'est pas le même que le nombre de paramètres de type dans la définition du type générique actuel.

– ou –

Tout élément de typeArguments ne satisfait pas les contraintes spécifiées pour le paramètre de type correspondant du type générique actuel.

NotSupportedException

La méthode appelée n'est pas prise en charge dans la classe de base. Les classes dérivées doivent fournir une implémentation.

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

Les types construits avec MakeGenericType peuvent être ouverts. En d'autres termes, 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 de tels 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> { }

Pour générer Derived dans un assembly dynamique, il est nécessaire de construire son type de base. Pour cela, appelez la méthode MakeGenericType sur un objet Type qui représente la classe Base, à l'aide des arguments de type générique Int32 et le paramètre de type V de Derived. Comme les types et les paramètres de type générique sont représentés par des objets Type, un tableau contenant les deux peut être passé à la méthode MakeGenericType.

RemarqueRemarque :

Un type construit tel que Base<int, V> est utile lors de l'émission de code, mais vous ne pouvez pas appeler la méthode MakeGenericType sur ce type, car ce n'est pas une définition de type générique. Pour créer un type construit fermé qui peut être instancié, appelez en premier lieu la méthode GetGenericTypeDefinition pour obtenir un objet Type 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 le Type obtenu en appelant la méthode GetType du type construit résultant, ou la méthode GetType de tout type construit, créé à partir de la même définition de type générique, à l'aide des mêmes arguments de type.

RemarqueRemarque :

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

Pour obtenir la liste des conditions invariables des termes utilisés dans une 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 même vrai si les types imbriqués n'ont pas eux-mêmes de paramètres de type, car les trois langages incluent les paramètres de type de types englobants dans les listes de paramètre de type de types imbriqués. Considérez les classes suivantes :

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

La liste de paramètres de type de la classe Inner imbriquée a deux paramètres de type, T et U, dont le premier est le paramètre de type de sa classe englobante. De la même façon, la liste de paramètres de type de la classe Innermost1 imbriquée a trois paramètres de type, T, U et V, avec T et U issus de ses classes englobantes. La classe Innermost2 imbriquée a deux paramètres de type, T et U, issus de ses classes englobantes.

Si la liste de paramètres du type englobant a plusieurs paramètres de type, tous les paramètres de type en ordre sont inclus dans la liste de 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 MakeGenericType avec le 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 possède des paramètres de type propres. Pour créer une instance de Innermost1, appelez la méthode MakeGenericType avec un tableau contenant trois types, à assigner à T, U et V. Pour créer une instance de Innermost2, appelez la méthode MakeGenericType avec un tableau contenant deux types, à assigner à T et U.

Les langages propagent de cette manière les paramètres de type de types englobants afin que vous puissiez 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 seraient pas dans la portée dans les corps des types imbriqués. Il est possible de définir des types imbriqués sans propager les paramètres de type de types englobants, en émettant le code dans les assemblys dynamiques ou en utilisant l'Assembleur MSIL (Ilasm.exe). Considérez le code suivant pour l'assembleur MSIL :

.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 dans la classe Innermost, car ces paramètres de type ne sont pas dans la portée. Le code assembleur suivant définit les classes imbriquées qui se comportent comme si elles étaient définis 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 MSIL Disassembler (Ildasm.exe) pour examiner les classes imbriquées définies dans les langages de niveau supérieur et observer ce schéma d'affectation de noms.

L'exemple suivant utilise la méthode MakeGenericType pour créer un type construit à partir de la définition de type générique pour le type Dictionary. Le type construit représente un Dictionary d'objets Test avec des clés de type chaîne.

using System;
using System.Reflection;
using System.Collections.Generic;

public class Test
{
    public static void Main()
    {
        Console.WriteLine("\r\n--- Create a constructed type from the generic Dictionary type.");

        // Create a type object representing the generic Dictionary 
        // type, by omitting the type arguments (but keeping the 
        // comma that separates them, so the compiler can infer the
        // number of type parameters).      
        Type generic = typeof(Dictionary<,>);
        DisplayTypeInfo(generic);

        // Create an array of types to substitute for the type
        // parameters of Dictionary. The key is of type string, and
        // the type to be contained in the Dictionary is Test.
        Type[] typeArgs = { typeof(string), typeof(Test) };

        // Create a Type object representing the constructed generic
        // type.
        Type constructed = generic.MakeGenericType(typeArgs);
        DisplayTypeInfo(constructed);

        // Compare the type objects obtained above to type objects
        // obtained using typeof() and GetGenericTypeDefinition().
        Console.WriteLine("\r\n--- Compare types obtained by different methods:");

        Type t = typeof(Dictionary<String, Test>);
        Console.WriteLine("\tAre the constructed types equal? {0}", t == constructed);
        Console.WriteLine("\tAre the generic types equal? {0}", 
            t.GetGenericTypeDefinition() == generic);
    }

    private static void DisplayTypeInfo(Type t)
    {
        Console.WriteLine("\r\n{0}", t);

        Console.WriteLine("\tIs this a generic type definition? {0}", 
            t.IsGenericTypeDefinition);

        Console.WriteLine("\tIs it a generic type? {0}", 
            t.IsGenericType);

        Type[] typeArguments = t.GetGenericArguments();
        Console.WriteLine("\tList type arguments ({0}):", typeArguments.Length);
        foreach (Type tParam in typeArguments)
        {
            Console.WriteLine("\t\t{0}", tParam);
        }
    }
}

/* This example produces the following output:

--- Create a constructed type from the generic Dictionary type.

System.Collections.Generic.Dictionary`2[TKey,TValue]
        Is this a generic type definition? True
        Is it a generic type? True
        List type arguments (2):
                TKey
                TValue

System.Collections.Generic.Dictionary`2[System.String, Test]
        Is this a generic type definition? False
        Is it a generic type? True
        List type arguments (2):
                System.String
                Test

--- Compare types obtained by different methods:
        Are the constructed types equal? True
        Are the generic types equal? True
 */

Windows 98, Windows Server 2000 SP4, Windows Millennium Edition, Windows Server 2003, Windows XP Édition Media Center, Windows XP Professionnel Édition x64, Windows XP SP2, Windows XP Starter Edition

Microsoft .NET Framework 3.0 est pris en charge sur Windows Vista, Microsoft Windows XP SP2 et Windows Server 2003 SP1.

.NET Framework

Prise en charge dans : 3.0, 2.0

.NET Compact Framework

Prise en charge dans : 2.0

XNA Framework

Prise en charge dans : 1.0

Ajouts de la communauté

AJOUTER
Microsoft réalise une enquête en ligne pour recueillir votre opinion sur le site Web de MSDN. Si vous choisissez d’y participer, cette enquête en ligne vous sera présentée lorsque vous quitterez le site Web de MSDN.

Si vous souhaitez y participer,
Afficher:
© 2014 Microsoft