删除流打开的打开文件

Question

在下面的 Dispose 函数中，如果我们是从终结器调用的，我们不会释放我们的流实例。 （是的，我知道这是一个有点复杂的 Dispose 版本，它应该受到虚拟保护，但这是它在我引用的源代码中的编写方式，请参阅下面的 Essential C# 5.0 链接）

class Foo
{
    FileInfo File;
    Stream Stream;

    // yada yada yada more code goes here...    

    public void Dispose(bool disposing)
    {
        if (disposing)
        {
            if (Stream != null)
            {
                Stream.Dispose();
            }
        }

        if (File != null)
        {
            File.Delete();
        }
    }
}

据我了解，这是由于对象的 GC 释放顺序不可预测，包括实例成员。

但是，上面的代码肯定会引发异常（我测试过），如果：

1. 客户端开发者忘记直接调用 Dispose()
2. 调用的终结器 Dispose(false)
3. 尚未处理流

所以 File.Delete() 将失败并抛出 System.IO.IOException 异常。

所以我的问题是， 确保关闭流和删除文件的正确方法是什么？ （即使开发人员忘记手动处置对象） 显然访问 Stream 成员（同时 disposing==false）是不安全的，所以必须有办法。

请注意，FileOptions.DeleteOnClose 不是一个选项。动机如下：我有一个类似于 Open's 和 Close's some file 的类，并且跨方法边界使用该文件（即读取数据），并且我不希望在实际使用结束之前删除该文件。

参考 Essential C# 5.0

谢谢， 关门

Answer 1

你为什么不直接实现一个推荐（微软）模式？

// When implementing Dispose, mark it my implementing 
// IDisposable interface. It make you code more readable,
// allow to put using(...) {...}  etc.
class Foo: IDisposable {
  FileInfo File; // <- class, not struct
  Stream Stream; // <- class, not struct

  ...

  // Just useful thing, esp. while debugging
  public Boolean IsDisposed {
    get;
    private set;
  }

  // Since Foo is not a sealed class be ready that
  // it could be inherited: "protected virtual"
  protected virtual void Dispose(bool disposing) {
    // .Net often let you call Dispose many time, inc. on disposed instances; 
    // The same should do we
    if (IsDisposed)
      return;

    // You can access classes (not structs) in "if (disposing) {...}" only
    if (disposing) {
      if (!Object.ReferenceEquals(null, Stream))
        Stream.Dispose();

      if (!Object.ReferenceEquals(null, File))    
        File.Delete(); 
    }

    IsDisposed = true;
  }

  // MS recommendation
  public void Dispose() {
    Dispose(false);
    GC.SuppressFinalize(this);
  }

  // No finalizer here: finalizer just make you potential error
  // (resourse leak or Access Violation) unstable and so harder
  // to detect and correct.
}

每当开发者想要使用这个类时，他/她就简单地提出来

using (var foo = new Foo(...)) {
  ...
}