.NET服務器垃圾收集和對象生命週期

Question

我自己和一位同事在.NET中垃圾收集對象時有不同的看法。看看下面的代碼：

Stream stream=getStream(); 
using(var request=new Request(stream)) 
{ 
    Stream copy=request.Stream; 

    // From here on can "request" be garbage collected? 

    DoStuff1(); 
    DoStuff2(copy); 
} 

我的同事聲稱，在發佈版本中使用服務器垃圾收集器，它是有效的request對象是調用request.Stream後垃圾回收運行。他斷言這隻會發生在服務器垃圾收集器上，而不會發生在工作站垃圾收集器上。

之所以這樣，是因爲Request類有一個終結器正在關閉給予請求的Stream。因此，當DoStuff2去使用流時，它得到了「對象處置」異常。由於終結器只能由垃圾收集器運行，所以我的同事說垃圾收集必須發生在finally塊的末尾之前，但是在最後一次使用後request

但是，我相信自從上述代碼只是速記是這樣的：

Stream stream=getStream(); 
Request request=null; 

try 
{ 
    Stream copy=request.Stream; 

    // From here on can "request" be garbage collected? 

    DoStuff1(); 
    DoStuff2(copy); 
} 
finally 
{ 
    if(request!=null) 
     request.Dispose(); 
} 

然後request不能被垃圾調用request.Stream後收集它仍然是來自finally塊到達。

另外，如果垃圾回收器有可能收集對象，則finally塊可能會顯示未定義的行爲，因爲Dispose將在GC對象上調用，這是沒有意義的。同樣，也無法優化掉finally塊作爲異常可以在try/using塊任何垃圾回收已經發生之前，這將需要finally塊執行中被拋出。

忽略終結器中關閉流的問題是否有可能垃圾收集器在finally塊的末尾之前收集對象，實際上優化finally塊中的邏輯？

Answer 1

這個問題有很多，所以我會先解決總體問題。

1. 在using聲明中聲明的變量不會被垃圾塊結束之前收集的正是你所指示的原因 - 一個參考，以便調用Dispose()在隱finally塊舉行。

2. 如果您發現自己在C＃中編寫終結器，那麼您可能是在做錯某些事情。如果你在C＃中的終結器調用Stream.Dispose()，你肯定是做錯了什麼。在.NET本身的實現之外，我看到了數百個被濫用的終結器，以及實際需要的exactly 1 finalizer。有關更多信息，請參閱DG Update: Dispose, Finalization, and Resource Management。

3. ObjectDisposedException與最終確定無關。當代碼在對象上調用Dispose()（不是finalize）時，通常會發生此異常，然後稍後調用該對象執行某些操作。

   有時代碼處置Stream時並不明顯。一個讓我感到意外的例子是使用StreamContent作爲使用HttpClient發送HTTP請求的一部分。實現在發送請求後調用Stream.Dispose()，所以我必須編寫一個包裝Stream類DelegatingStream，以便在從HttpWebRequest到HttpClient轉換期間保留我們庫的原始行爲。

一種情況，你可以看到一個ObjectDisposedException是，如果getStream()方法將緩存Stream實例，並返回其多個未來的呼叫。如果Request.Dispose()處置該流，或者如果DoStuff2(Stream)處置該流，則下次您嘗試使用該流時，將獲得ObjectDisposedException。

Answer 2

根據language specification的第3.9節「如果對象或其任何部分無法通過任何可能的繼續執行來訪問，除了運行析構函數之外，該對象被認爲不再使用，並且它有資格銷燬。「 using介紹了一個finally塊Dispose調用（第8.13節），這是其他東西比運行析構函數，並且除了在情況必須時執行甚至finally塊不執行（該規範並沒有涵蓋，而且通常只發生無論如何，當你的整個AppDomain到達墳墓場時）。

在using塊一個目的是不符合GC。在你的榜樣，request不符合銷燬條件，直到using語句之後，不論它是在塊的其餘部分使用。唯一的角落案例（如其他人的評論中所述）是當您的Dispose實施不使用其參數this時。在這種情況下，Dispose不會阻止對象是符合銷燬條件 - 但如果這種情況發生，當可以收集它的問題是沒有實際意義（因爲它應該是 - 垃圾收集，正確的實施，應該沒有對正確實施的計劃有可觀察的影響）。