设置 IDisposable 属性时调用 Dispose？

Question

我今天更改了 FxCop 规则，将任何未处理的 IDisposables 指出为错误，希望它可以帮助我追踪一些 GDI 泄漏。有趣的是，它向我指出了一个我不太确定如何处理的例子：

public class CustomGoRectangle : GoRectangle
{
   public void DoStuff()
   {
      Pen p = new Pen(Color.Red, 4.0f);
      this.Pen = p;
   }

   public void DoOtherStuff()
   {
      Pen p = new Pen(Color.Blue, 4.0f);
      this.Pen = p;
   }

   public void Test()
   {
      this.Pen = Pens.Green;
      DoStuff();
      DoOtherStuff();
   }
}

快速解释。 GoRectangle 位于第 3 方库中，并具有 Pen 属性，它不是 IDisposable。

我把笔放在了很多地方，就像上面的例子一样。这里说明的问题是，调用 DoStuff() 我创建了一支新笔，它从未被释放。现在，如果在分配新值之前 this.Pen 不为 null，我可以调用 dispose，但正如 Test() 所示，如果已设置系统笔，这只会导致进一步的问题。处理这种情况的实际模式是什么？

Answer 1

您可以在重新分配之前手动调用 this.Pen.Dispose()。

Answer 2

不，您不能处置所有笔，因为如果您尝试处置它们，系统笔将抛出ArgumentException（我刚刚使用反射器进行了检查）。

但是，您可以使用反射来获取 Pen 中私有字段 immutable 的值。如果为false，您可以安全地处理笔。 （我不知道单声道是否以同样的方式工作）

这里有一个扩展方法可以帮助您：

public static void DisposeIfPossible(this Pen pen)
{
    var field = pen.GetType().GetField("immutable", BindingFlags.Instance|BindingFlags.NonPublic);
    if ((bool)field.GetValue(pen) == false)
        pen.Dispose();
}

在分配新笔之前调用它。

Answer 3

我通常处理此类事情的方式如下：

1）向图书馆提供者投诉。

2) 创建一个处置包装类，允许控制在处置包装器时是否实际处置其包装实例。例如（忽略 Dispose(bool) 噪音）：

public class DispositionWrapper<T> : IDisposable
    where T : IDisposable
{
    private readonly T _instance;
    private bool _allowDisposition;

    public DispositionWrapper(T instance, bool allowDisposition)
    {
        if (instance == null)
        {
            throw new ArgumentNullException("instance");
        }

        this._instance = instance;
        this._allowDisposition = allowDisposition;
    }

    public T Instance
    {
        get
        {
            return this._instance;
        }
    }

    public void Dispose()
    {
        if (this._allowDisposition)
        {
            this._instance.Dispose();
        }
    }
}

3) 使用处置包装器来允许及早清理已知允许处置的实例。例如：

public class CustomGoRectangle : GoRectangle, IDisposable
{
    private DispositionWrapper<Pen> _ownedPen;

    public override Pen Pen
    {
        get
        {
            return this._ownedPen.Instance;
        }

        set
        {
            if (value == null)
            {
                this.OwnedPen = null;
            }
            else
            {
                this.OwnedPen = new DispositionWrapper<Pen>(value, false);
            }
        }
    }

    private DispositionWrapper<Pen> OwnedPen
    {
        get
        {
            return this._ownedPen;
        }

        set
        {
            if (this._ownedPen != null)
            {
                this._ownedPen.Dispose();
            }

            this._ownedPen = value;
        }
    }


    public void DoStuff()
    {
        this.OwnedPen = new DispositionWrapper<Pen>(new Pen(Color.Red, 4.0f), true);
    }

    public void DoOtherStuff()
    {
        this.OwnedPen = new DispositionWrapper<Pen>(new Pen(Color.Blue, 4.0f), true);
    }

    public void Test()
    {
        this.OwnedPen = new DispositionWrapper<Pen>(Pens.Green, false);
        this.DoStuff();
        this.DoOtherStuff();
    }

    public void Dispose()
    {
        if (this.OwnedPen != null)
        {
            this.OwnedPen.Dispose();
        }
    }
}

不幸的是，这意味着通过 Pen 属性分配的 Pen 实例在完成之前不会被清理。如果您担心这一点，您可能需要考虑扩展处置包装器，以检测是否可以通过反射读取其不可变字段的值来清理 Pen，如 jgauffin 的答案所述。

Answer 4

对于需要 IDisposable 对象来使用另一个对象的情况，理想的方法是使用一个参数来指示被赋予 IDisposable 对象引用的对象是否应该拥有该对象的所有权。坚持获取传入的 IDisposable 所有权的对象（例如 StreamReader）可能与从不接受所有权的对象一样烦人。鉴于 GoRectangle 不接受所有权，因此无论谁创建与 GoRectangle 一起使用的笔，都将负责处置它。假设应处置任何非不可变画笔的方法是危险的，因为无法保证被放弃的 GoRectangle 使用的任何画笔不会被仍在范围内的其他对象共享。

Answer 5

任何 Disposable 对象都应该在不需要时手动处理，而不是依赖 GC。

在您的情况下，您可以采用 2 种策略：

1. 在 CustomGoRectangle 外部创建 2 支笔（redPen 和 bluePen），或者使它们成为单独的成员，然后根据您的流程将其分配给 Pen 成员变量。
2. 当你需要时创建一支笔来完成工作并处理掉它；并删除 Pen 成员变量。