Vue d'ensemble de la réflexion et des génériques

Article
08/21/2008

Mise à jour : novembre 2007

Pour comprendre comment la réflexion gère des méthodes et des types génériques, il faut savoir ce qui suit :

Les paramètres de type des définitions de type générique et des définitions de méthode générique sont représentés par des instances de la classe Type.

Remarque :
De nombreuses propriétés et méthodes de Type ont un comportement différent lorsqu'un objet Type représente un paramètre de type générique. Ces différences sont documentées dans les rubriques des propriétés et méthodes. Par exemple, consultez IsAutoClass et DeclaringType. De plus, certains membres sont valides uniquement lorsqu'un objet Type représente un paramètre de type générique. Par exemple, consultez GetGenericTypeDefinition.

De nombreuses propriétés et méthodes de Type ont un comportement différent lorsqu'un objet Type représente un paramètre de type générique. Ces différences sont documentées dans les rubriques des propriétés et méthodes. Par exemple, consultez IsAutoClass et DeclaringType. De plus, certains membres sont valides uniquement lorsqu'un objet Type représente un paramètre de type générique. Par exemple, consultez GetGenericTypeDefinition.

Si une instance de Type représente un type générique, elle inclut un tableau de types qui représentent les paramètres de type (pour les définitions de type générique) ou les arguments de type (pour les types construits). C'est vrai aussi pour une instance de la classe MethodInfo qui représente une méthode générique.

La réflexion fournit des méthodes de Type et MethodInfo qui permettent d'accéder au tableau des paramètres de type et de déterminer si une instance de Type représente un paramètre de type ou un type réel.

Pour obtenir un exemple de code illustrant les méthodes présentées ici, consultez Comment : examiner et instancier des types génériques avec la réflexion.

Pour comprendre ce qui suit, vous devez être familiarisé avec la terminologie des génériques et connaître par exemple la différence entre des paramètres et des arguments de type et des types construits ouverts ou fermés. Pour plus d'informations, consultez Vue d'ensemble des génériques dans le .NET Framework.

Identification d'un type ou d'une méthode générique

Lorsque vous utilisez la réflexion pour examiner un type inconnu, représenté par une instance de Type, utilisez la propriété IsGenericType pour déterminer si le type inconnu est générique. Il retourne true si le type est générique. De la même façon, lorsque vous examinez une méthode inconnue, représentée par une instance de la classe MethodInfo, utilisez la propriété IsGenericMethod pour déterminer si la méthode est générique.

Identification d'une définition de type ou méthode générique

Utilisez la propriété IsGenericTypeDefinition pour déterminer si un objet Type représente une définition de type générique, et utilisez la méthode IsGenericMethodDefinition pour déterminer si un objet MethodInfo représente une définition de méthode générique.

Les définitions de type et de méthode génériques représentent les modèles à partir desquels vous créez des types qu'il est possible d'instancier. Les types génériques de la bibliothèque de classes du .NET Framework, par exemple Dictionary<TKey, TValue>, sont des définitions de type génériques.

Identification d'une méthode ou d'un type ouvert ou fermé

Une méthode ou un type générique est fermé si des types instanciables ont été substitués à tous ses paramètres de type, y compris tous les paramètres de type de tous les types englobants. Vous pouvez créer une instance d'un type générique uniquement s'il est fermé. La propriété Type.ContainsGenericParameters retourne true si un type est ouvert. En ce qui concerne les méthodes, la méthode MethodInfo.ContainsGenericParameters exécute la même fonction.

Génération de types génériques fermés

Lorsque vous avez une définition de type ou de méthode générique, utilisez la méthode MakeGenericType pour créer un type générique fermé ou la méthode MakeGenericMethod pour créer un MethodInfo pour une méthode générique fermée.

Obtention de la définition de type ou de méthode générique

Si vous avez une méthode ou un type générique ouvert qui n'est pas une définition de méthode ou de type générique, vous ne pouvez pas créer d'instances de celui-ci, pas plus que vous ne pouvez fournir les paramètres de type manquants. Vous devez avoir une définition de type ou de méthode générique. Utilisez la méthode GetGenericTypeDefinition pour obtenir la définition de type générique ou la méthode GetGenericMethodDefinition pour obtenir la définition de méthode générique.

Si, par exemple, vous avez un objet Type qui représente Dictionary<int, string> (Dictionary(Of Integer, String) en Visual Basic) et que vous souhaitez créer le type Dictionary<string, MyClass>, vous pouvez utiliser la méthode GetGenericTypeDefinition pour obtenir un objet Type qui représente Dictionary<TKey, TValue> et puis utiliser la méthode MakeGenericType pour créer un objet Type qui représente Dictionary<int, MyClass>.

Pour obtenir un exemple d'un type générique ouvert qui n'est pas un type générique, consultez « Paramètre de type ou argument de type » plus loin dans cette rubrique.

Examen des arguments de type et des paramètres de type

Utilisez la méthode Type.GetGenericArguments pour obtenir un tableau d'objets Type qui représentent les paramètres ou arguments de type d'un type générique et utilisez la méthode MethodInfo.GetGenericArguments pour faire de même lorsqu'il s'agit d'une méthode générique.

Dès que vous avez identifié un objet Type comme étant un paramètre de type, la réflexion vous permet de répondre à de nombreuses autres questions. Vous pouvez déterminer la source du paramètre de type, sa position et ses contraintes.

Paramètre de type ou argument de type

Pour déterminer si un élément particulier du tableau est un paramètre ou un argument de type, utilisez la propriété IsGenericParameter. La propriété IsGenericParameter est true si l'élément est un paramètre de type.

Un type générique peut être ouvert sans être une définition de type générique, auquel cas il comprend un mélange d'arguments et de paramètres de type. Ainsi, dans le code suivant, la classe D dérive d'un type créé en substituant le premier paramètre de type de D au deuxième paramètre de type de B.

class B<T, U> {}
class D<V, W> : B<int, V> {}

Class B(Of T, U)
End Class
Class D(Of V, W)
    Inherits B(Of Integer, V)
End Class

generic<typename T, typename U> ref class B {};
generic<typename V, typename W> ref class D : B<int, V> {};

Si vous obtenez un objet Type qui représente D<V, W> et que vous utilisez la propriété BaseType pour obtenir son type de base, le type B<int, V> résultant est ouvert, mais ne constitue pas une définition de type générique.

Source d'un paramètre générique

Un paramètre de type générique peut provenir du type que vous examinez, d'un type englobant, ou d'une méthode générique. Vous pouvez déterminer la source du paramètre de type générique comme suit :

En premier lieu, utilisez la propriété DeclaringMethod pour déterminer si le paramètre de type vient d'une méthode générique. Si la valeur de la propriété n'est pas une référence null (Nothing en Visual Basic), la source est une méthode générique.
Si la source n'est pas une méthode générique, utilisez la propriété DeclaringType pour déterminer le type générique auquel le paramètre de type générique appartient.

Si le paramètre de type appartient à une méthode générique, la propriété DeclaringType retourne le type qui a déclaré la méthode générique, ce qui est sans importance.

Position d'un paramètre générique

Dans de rares cas, il est nécessaire de déterminer la position d'un paramètre de type dans la liste de paramètres de type de la classe de déclaration. Supposons, par exemple, que vous avez un objet Type qui représente le type B<int, V> de l'exemple précédent. La méthode GetGenericArguments fournit une liste d'arguments de type, et lorsque vous examinez V, vous pouvez utiliser les propriétés DeclaringMethod et DeclaringType pour découvrir son origine. Vous pouvez recourir ensuite à la propriété GenericParameterPosition pour déterminer sa position dans la liste de paramètres de type au sein de laquelle il a été défini. Dans cet exemple, V est en position 0 (zéro) dans la liste de paramètres de type dans laquelle il a été défini.

Contraintes de type de base et d'interface

Utilisez la méthode GetGenericParameterConstraints pour obtenir la contrainte de type de base et les contraintes d'interface d'un paramètre de type. L'ordre des éléments du tableau n'a pas d'importance. Un élément représente une contrainte d'interface s'il s'agit d'un type interface.

Contraintes spéciales

La propriété GenericParameterAttributes obtient une valeur GenericParameterAttributes qui indique les contraintes spéciales. Un paramètre de type peut être soumis à diverses contraintes, par exemple être un type référence, un type valeur non null et avoir un constructeur par défaut.

Invariants

Pour obtenir un tableau des conditions invariantes des termes courants associés à la réflexion pour les types génériques, consultez Type.IsGenericType. Pour obtenir d'autres termes concernant les méthodes génériques, consultez MethodInfo.IsGenericMethod.

Voir aussi

Partager via