如何使用代碼約定在C＃中使用編譯時斷言？

Question

根據這個答案， C＃現在有“代碼契約”，應該可以使用而不是C ++編譯時斷言。 現在我有了這個神奇的代碼：

IntPtr pointer;
//blahblahblah
pointer = new IntPtr(pointer.ToInt32() + Marshal.SizeOf(typeof(SomeStruct)));

這要求IntPtr與Int32具有相同的大小。 所以我想要一個編譯時斷言 - 就像這個C ++代碼

static_assert(sizeof(IntPtr)==sizeof(Int32))

所以我嘗試了以下方法：

System.Diagnostics.Contracts.Contract.Assert(false); //just to test it
pointer = new IntPtr(pointer.ToInt32() + Marshal.SizeOf(typeof(SomeStruct)));

我將false傳遞給Assert()以便它肯定會失敗，但編譯通過就好了。

那么如何使用代碼契約來編譯時斷言呢？

Answer 1

那是因為代碼契約與編譯時斷言不同。 它們仍然是運行時代碼，但它們還帶有靜態分析規則集，您可以在項目中啟用它來執行您要查找的內容。

看看這個看起來已經很好地回答了這個問題的問題： Contract.Assert不會拋出編譯錯誤