哪个类“拥有”非托管资源（并且实现了 IDisposable）？

Question

我正在研究 an OSS project 以使流行的 MediaInfo library 在 .NET 中更易于使用，但这个问题是可以推广的。

如果派生类D在调用其基类DB的构造函数时总是实例化一个对象O。 DB 将其值设置为发送给其构造函数的值，但该值本身在 DB 的基类 B 中声明：

1. 谁“拥有”O（下面代码中的又名 mediaInfo）？
2. 对于 .NET 应用程序，哪些应实现 IDisposable？ 注意：O 是非托管的，或者至少是包裹在非托管库中的托管对象的实例化，但确实需要以“MediaInfo.Close(); 的形式进行清理>”。我不确定这是否算作“非托管”。

为了帮助澄清，让我使用实际代码：

D 派生自 DB：

// MediaFile is "D" 
public sealed class MediaFile : GeneralStream
{
    public MediaFile(string filePath)
        : base(new MediaInfo(), 0) {
        // mediaInfo is "O"
        mediaInfo.Open(filePath);
    }
}

DB设置其继承的O，派生自B：

// GeneralStream is "DB"
public abstract class GeneralStream : StreamBaseClass
{
    public GeneralStream(MediaInfo mediaInfo, int id) {
        this.mediaInfo = mediaInfo; // declared in StreamBaseClass
        // ...
    }
}

B 声明 O：

// StreamBaseClass is "B"
public abstract class StreamBaseClass
{
    protected MediaInfo mediaInfo; // "O" is declared
    // ...
}

Answer 1

拥有对资源的引用的对象拥有它。

StreamBaseClass 具有引用 mediaInfo 并且应该实现 IDisposable。引用和Dispose 方法将自动被派生类继承。

Answer 2

如果一个类 C 拥有一个变量，该变量是一个 非公开实现 IDisposable 的局部变量 V，那么 C 应该是 IDisposable 并且 C 的 IDisposable 应该处置 V。

如果类 D 拥有原生资源 N，则 D 应该是 IDisposable（删除 N）并且还应该有一个可终结的析构函数，它调用自身的 Dispose() 来释放 N。 p>

如果你遵循这个模式，那么如果你有一个 IDisposable，你应该总是在完成后 Dispose() 它，这将删除对象树下的所有内容；但如果有人忘记了你（阅读：同事、你的库的用户等）也不会泄漏任何对象，因为原生资源将被 D 的终结器清理。

Answer 3

IDisposable 的责任属于创建它的对象，除非另有明确约定。在资源的创建者可能不知道消费者的生命周期的情况下，通常使用相反的协议。我建议在许多情况下，当构造函数或工厂方法生成可能是传入IDisposable 的最后一个消费者时，该方法应该接受一个参数，指示它是否应该接受调用Dispose 的责任，否则接受一个回调委托，如果非空，当消费者不再需要该对象时将调用该委托。如果对象的创建者比消费者更长寿，它可以传递 null；如果创建者一旦交付对象就不再使用它，它可以传递对象的Dispose 方法。如果创建者不知道它是否会比消费者更长寿，它可以传递一个方法来确定是否仍然需要该对象，如果不需要，则调用Dispose。

关于您的特定情况，在链式构造函数调用中构造 IDisposable 是资源泄漏的秘诀（因为无法将链式构造函数调用包装在 try-finally 块中）。如果您要以某种方式安全地处理它（例如，使用工厂方法而不是链式构造函数，或者使用[threadstatic] hack），我建议因为对象的创建者（派生类）将知道消费者（基类）的生命周期、所有权和清理责任应该由对象创建者承担。