「非託管」 泛型參數在IL

Question

約束

當我編譯下面的代碼：

type Class1<'T when 'T : unmanaged> = 
    class end 

type Class2<'T> = 
    class end 

在IL它看起來像這樣：

.class auto ansi serializable nested public Class1`1<T> extends [mscorlib]System.Object 

.class auto ansi serializable nested public Class2`1<T> extends [mscorlib]System.Object 

是什麼地方保存了unmanaged約束？如果是這樣，我可以在哪裏以及如何以編程方式獲得它？

在this question，我看這是什麼地方，在「emdbedded簽名文件」。那是什麼？

Answer 1

這些約束位於存儲在FSharpSignatureData實體數據管理資源。它可以使用F＃元數據讀取器從F# PowerPack瀏覽他們：

public static IList<FSharpGenericParameterConstraint> GetFSharpGenericParameterConstraints(Type genericType, int position) 
{ 
    return GetFSharpGenericParameterConstraints(genericType.GetGenericArguments()[position]); 
} 

public static IList<FSharpGenericParameterConstraint> GetFSharpGenericParameterConstraints(Type genericParameter) 
{ 
    var declMethod = genericParameter.DeclaringMethod; 
    var declType = genericParameter.DeclaringType; 
    var fsAsm = FSharpAssembly.FromAssembly(genericParameter.Assembly); 
    int pos = genericParameter.GenericParameterPosition; 
    var entities = AllEntities(fsAsm.Entities); 
    if(declMethod != null) 
    { 
     var member = entities.SelectMany(e => e.MembersOrValues).First(m => m.ReflectionMemberInfo == declMethod); 
     return member.GenericParameters[pos].Constraints; 
    }else if(declType != null) 
    { 
     var entity = entities.First(e => e.ReflectionType == declType); 
     return entity.GenericParameters[pos].Constraints; 
    } 
    return null; 
} 

private static IEnumerable<FSharpEntity> AllEntities(IEnumerable<FSharpEntity> entities) 
{ 
    return entities.Concat(entities.SelectMany(e => AllEntities(e.NestedEntities))); 
} 

---

bool unmanaged = GetFSharpGenericParameterConstraints(typeof(MyModule.Class1<>), 0).Any(c => c.IsUnmanagedConstraint); 

的（[F＃ 「非託管」 類型的約束行爲]