類型約束的反射

Question

在類和方法定義中，可以添加類型約束，如where T : IFoo。

是否可以通過System.Type或MethodInfo來反映這些限制？到目前爲止我還沒有發現任何東西;任何幫助將不勝感激。

Answer 1

您可以迭代通用參數到類型，並且對於每個參數，您可以要求輸入約束類型。

你做到這一點使用：

• 的TypeType.GetGenericArguments找到通用的參數類型，即。 Type<T>，你會發現T。
• Type.GetGenericParameterConstraints爲您提供了每個這樣的參數都受到限制的基本類型，您可以根據上述方法找到的參數調用此類型。

看看這段代碼，您可以通過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 
{ 
} 

輸出是：

 
T 

Type [] (1 item) 
typeof (Stream)

找到其他限制，如new()，你可以使用.GenericParameterAttributes標誌枚舉，例如：

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() 
{ 
} 

，輸出：

 
T 

Type [] (1 item) 
typeof (Stream) 

DefaultConstructorConstraint

Answer 2

您可以使用GetGenericParameterConstraints()方法來做到這一點。

Answer 3

使用先前發現System.Type可以使用GetGenericParameterConstraints()。

這是關於Generics and Reflection的優秀MSDN文章。

Answer 4

Lasse的answer指出了相關的Type方法。我用它作爲參考，同時創造這種擴展方法：

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(); 
} 

有趣的是，似乎Type.BaseType財產上通用的參數也返回一個類型約束。