在終結器中處理一個IDisposables列表

Question

我有一些非託管內存結構用於與C++ dll進行通信。 每個這樣的結構都必須手動釋放，所以我把它包裝在MyUnmanagedStructure中，它實現了IDisposable。

我總是需要這些結構的可變數量在一起，所以我有一個集合MyUnmanagedStructureCollection它也實現了IDisposable。

（見下面的小例子代碼）

只要我的媒體庫的用戶總是調用Dispose（）或包裝與using() {}是沒有問題的集合，但我不能保證。即使用戶不手動處理收集，我也不想泄漏內存。

當MyUnmanagedStructureCollection.Dispose()方法被垃圾回收通過終結器調用時，那麼據我所知我不能確定我的private List<MyUnmanagedStructure>還沒有被垃圾回收，那麼我怎麼能在這種情況下處理每個結構呢？

在我的最終代碼中，我是否應該嘗試迭代列表，希望它尚未被垃圾收集？

在try/catch塊中執行此操作是否是一種很好的做法，捕獲ObjectDisposedException？

或者我應該讓每個非託管結構「爲自己謀生」，依靠單獨的終結器，並且在我的集合的終結器中完全不做任何事情？

public class MyUnmanagedStructureCollection : IDisposable 
{ 
    private List<MyUnmanagedStructure> structures; 
    private bool disposed = false; 

    #region standard IDIsposable pattern 
    public ~MyUnmanagedStructureCollection() 
    { 
     this.Dispose(false); 
    } 

    public void Dispose() 
    { 
     this.Dispose(true); 
     GC.SuppressFinalize(this); 
    } 

    protected virtual void Dispose(bool disposing) 
    { 
     if (!disposed) 
     { 
      // Dispose unmanaged resources 
      // Should not access managed resources, 
      // the garbage collection may have claimed them already! 

      // PROBLEM!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 
      // this.structures is a List<MyUnmanagedStructure>; so is a managed resource!!! 

      foreach (var structure in this.structures) 
       structure.Dispose(disposing) 
      this.removeAllMemoryPressure(); 

      if (disposing) 
      { 
       // Dispose managed resources. 
       this.structures.Clear(); 
       this.structures = null; 
      } 

     } 
     disposed = true; 
    } 
} 


public class MyUnmanagedBuffer : IDisposable 
{ 
... 
} 

Answer 1

的GC的工作方式是：

1. 找到所有到達的對象
2. 排隊了終結所有可達對象到終結隊列
3. 馬克是到達從所有對象定稿隊列爲可達
4. 釋放剩餘的不可觸及對象

從終結器運行的對象引用的對象不能被垃圾回收。

您需要小心的唯一的事情就是未定義完成的順序。所以列表中的元素可能已經完成，但沒有收集。最終確保是單線程的，所以你也需要鎖定。

人們通常會試圖避免這樣的定稿鏈，因爲獨立定稿更簡單。但是如果有些物體需要先於其他物體處理，那麼這樣的構造是不可避免的。

您還應該考慮使用SafeHandle s進行關鍵的最終確定。

---

可達性

之一爲最終確定的準則是，Finalize方法不應該接觸其他對象。人們有時會錯誤地認爲這是因爲那些其他物體已經被收集。然而，正如我已經解釋過的那樣，可升級對象的整個可達圖形被提升。

準則的真正原因是爲了避免接觸可能已經完成的對象。這是因爲定稿是無序的。

Chris Brumme on finalization

Answer 2

既然你MyUnmanagedBuffer類是從點的視圖您MyUnmanagedStructureCollection類的管理資源，我覺得應該把它處理這樣的。這意味着MyUnmanagedStructureCollection.Dispose(bool)方法如下。

protected virtual void Dispose(bool disposing) { 
    if (!disposed) { 
     // Dispose unmanaged resources 
     // Should not access managed resources, 
     // the garbage collection may have claimed them already! 

     if (disposing) { 
      // Dispose managed resources. 
      // This means that we try to dispose all items in the structures collection. 
      if (this.structures != null) { 
       foreach (var structure in this.structures) { 
        structure.Dispose(disposing); 
        this.removeAllMemoryPressure(); // What does this? 
       } 
       this.structures.Clear(); 
       this.structures = null; 
      } 
     } 
    } 

    disposed = true; 
}