奇怪ReSharper的警告上MemberInfo.DeclaringType

Question

ReSharper的告訴我，MemberInfo.DeclaringType不能爲空：

但是在運行該代碼時，文本「頂級成員」被打印出來。我不明白，這裏有什麼問題？

Answer 1

Resharper在這裏根本就是錯誤的。 MemberInfo是abstract類型，它是可能的任意實施返回任何它爲所欲爲包括null

例子：

class EvilMemberInfo : MemberInfo 
{ 
    public override System.Type DeclaringType 
    { 
     get { return null; } 
    } 

    // Rest omitted for brevity 
} 

Answer 2

微軟代碼契約規定，這是從來沒有空。

// System.Reflection.MemberInfo 
public virtual Type DeclaringType 
{ 
    get 
    { 
     Contract.Ensures(Contract.Result<Type>() != null, null, "Contract.Result<Type>() != null"); 
     Type result; 
     return result; 
    } 
} 

因此，ReSharper依賴代碼合同。