Contract.Ensures是否應在終結器和Dispose方法中使用？

Question

我在這里讀到，不檢查對象終結器或實現Dispose方法的任何方法的不變式，但未說明原因。 我懷疑原因是在處理對象時不變條件可能不再成立，因此有可能使finalizer或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;
        }
    }
}

Answer 1

您可以並且應該在Dispose和finalizer方法中使用“確保”。 這些將應用於您的代碼。 不應用不變式，因為就像您說的那樣，finalizer / Dispose方法通常使對象無效，不再滿足對象不變式。