该合同.确保在终结器和Dispose方法中使用

我在这里读到不检查对象终结器或实现Dispose方法的任何方法的不变量，但它没有说明原因。我怀疑其原因是，当对象被处置时，不变条件可能不再成立，从而可能导致终结器或处置方法失败。

如果我的推理是正确的，这是否意味着我不应该在终结器和dispose方法(或任何代码契约)中使用Contract.Ensures() ?

我的具体例子是使用Contract.Ensures()来确保在退出Dispose()方法时IsDisposed属性是true。

public class ExampleClass : IDisposable
{
    public bool IsDisposed { get; set; }
    ~SomeClass()
    {
        Dispose(false);
    }
    public void Dispose()
    {
        Contract.Ensures(IsDisposed);
        Dispose(true);
        GC.SuppressFinalize(this);
    }
    protected virtual void Dispose(bool disposing)
    {
        Contract.Ensures(IsDisposed);
        if (!IsDisposed)
        {
            if (disposing)
            {
                // Other code here
            }
            IsDisposed = true;
        }
    }
}