Reflexión sobre restricciones de tipo

Question

En las definiciones de clase y método, es posible agregar restricciones de tipo como where T : IFoo.

¿Es posible reflexionar sobre esas limitaciones con System.Type o MethodInfo? No he encontrado nada hasta ahora; cualquier ayuda será apreciada

Answer 1

Puede recorrer los parámetros genéricos con el tipo, y para cada parámetro, puede solicitar los tipos de restricciones.

Esto se hace usando:

• Type.GetGenericArguments de Type para encontrar los argumentos genéricos al tipo, es decir. Type<T>, encontrará T.
• Type.GetGenericParameterConstraints le da los tipos de base que cada parámetro está restringido, llame esto a los argumentos que encuentre en el método anterior.

Echa un vistazo a este código, que se puede ejecutar a través de LINQPad:

void Main() 
{ 
    Type type = typeof(TestClass<>); 
    foreach (var parm in type.GetGenericArguments()) 
    { 
     Debug.WriteLine(parm.Name); 
     parm.GetGenericParameterConstraints().Dump(); 
    } 
} 

public class TestClass<T> 
    where T : Stream 
{ 
} 

La salida es:

 
T 

Type [] (1 item) 
typeof (Stream)

encontrar otras limitaciones, tales como new(), puede utilizar el enum de indicadores .GenericParameterAttributes, ejemplo:

void Main() 
{ 
    Type type = typeof(TestClass<>); 
    foreach (var parm in type.GetGenericArguments()) 
    { 
     Debug.WriteLine(parm.Name); 
     parm.GetGenericParameterConstraints().Dump(); 
     parm.GenericParameterAttributes.Dump(); 
    } 
} 

public class TestClass<T> 
    where T : new() 
{ 
} 

que da salida:

 
T 

Type [] (1 item) 
typeof (Stream) 

DefaultConstructorConstraint

Answer 2

Puede usar el método GetGenericParameterConstraints() para hacerlo.

Answer 3

El uso de un determinado anteriormente System.Type puede utilizar GetGenericParameterConstraints().

Aquí hay un excelente artículo de MSDN en Generics and Reflection.

Answer 4

Lasse answer señala los métodos pertinentes Type. Lo utilicé como referencia, mientras que la creación de este método de extensión:

public static IList<Tuple<Type, Type[], GenericParameterAttributes>> GetTypeConstraints(this Type type) 
{ 
    return type.GetGenericArguments() 
     .Select(t => Tuple.Create(t, t.GetGenericParameterConstraints(), t.GenericParameterAttributes)) 
     .Where(t => t.Item2.Length > 0 || t.Item3 > GenericParameterAttributes.None) 
     .ToList(); 
} 

Curiosamente, parece que la propiedad Type.BaseType en un parámetro genérico también devuelve una única restricción de tipo.