【正文】 ch GC operation. Figure . The Garbage Collector not only removes unused memory, but it moves other objects in memory to pact used memory and maximize free space. 10 As you39。s the good news: Because the GC controls memory, certain design idioms are much easier to implement. Circular references, both simple relationships and plex webs of objects, are much easier. The GC39。如果在靜態(tài)構造函數里產生了異常， CLR 將會直接終止你的應用程序。 } } private MySingleton( ) { } // remainder elided } 可以用下面的方法簡單的實現單件模式，實際上你在初始化一個單件模式時可能有更復雜的邏輯 ： public class MySingleton { private static readonly MySingleton _theOneAndOnly。在里 C你可以使用靜態(tài)的預置方法和靜態(tài)構造函數來實現這個目的。你無法試圖在你的類里來捕獲它。初始化器在所有的構造函數之前會執(zhí)行，構造函數會創(chuàng)建第 2個數組列表。而第二個是通過 IL 指令 initobj，這對變量 _MyVal2 會產生裝箱與拆箱操作。系統(tǒng)置 0的初始化是基于底層的 CPU 指令，對整個內存塊設置。同樣重要的是：如果你沒有明確的聲明任何一個構造函數，編譯會默認的給你添加一個，并且把所有的變量初始化過程都添加到這個構造函數里 。最好的確保這樣的事不會發(fā)生的方法就是：在聲明就是的時間就直接初始化，而不是在每個構造函數內進行賦值。在第 2代對象中，一個可以生存上 100 個 GC 循環(huán)直到下一個第 2 代集合 。 分代的目的就是用來區(qū)分臨時變量以及一些應用程序的全局變量。 這用使你相信：那些須要析構的對象在內存至 少多生存一個 GC 回收循環(huán)。首先，它要調用析構函數 ，但析構函數的調用不是在垃圾回收器的同一個線程上運行的。強行 用 C++的風格在 C里使用析構函數不會讓它正常的工作。對 C++來說這是個重大的改變，并且這在設計上有一個重大的分歧。 正如你剛開始了解的，垃圾回收器的全 部責任就是內存管理。在應用程序結束了對 DataSet 的引用后，沒有人可以引用到它的子對象了 (譯注：就是 DataSet 里的對象再也引用不到了 )。 DataRow 包含引用到 DataTable，最后每個對象都包含一個引用到 DataSet。 這有一個好消息：因為 GC管理內存，明確的設計風格可以更容易的實現。極大限度上的討論這個環(huán)境的好處，須要把你對本地化環(huán)境的想法改變?yōu)?.Net CLR。也就意味著要明 1 白 .Net 的垃圾回收器。循環(huán)引用，不管是簡單關系還是復雜的網頁對象，都非常容易。 如果這還不夠復雜，那可以創(chuàng)建一個 DataView，它提供對經 過過濾后的數據表的順序訪問。因此，網頁里還有沒有對象循環(huán)引用 DataSet， DataTables 已經一點也不重要了，因為這些對象在應用程序都已經不能被訪問到了，它們是垃圾了 。但，所有的系統(tǒng)資源都是你自己負責的。有經驗的 C++程序員寫的類總在構造函數內申請內存并且在析構函數中釋放它們 ： // 好的 C++, 壞的 C: class CriticalSection { public: // 構造系統(tǒng)需要的資源 CriticalSection( ) { EnterCriticalSection( )。在 C里，析構函數確實是正確的運行了，但它不是即時運行的。取而代之的是， GC 不得不把對象放置到析構隊列中，讓另一個線程讓執(zhí)行所有的析構函數。但，我是簡化了這些事。第 0代對象很可能是臨時的變量。 結束時，記得一個垃圾回收器負責內存管理的托管環(huán)境的最大好處：內存泄漏，其 它指針的服務問題不在是你的問題。而且你應該使用初始化器語法同時為靜態(tài)的和實例的變量進行初始化 。 初始化器更像是一個到構造函數的方便的快捷方法。你的任何其它置 0的初始化語句是多余的。這很要花一點額外的時間 (參見原則 17)。編譯器產生了這個的一個版本，當然這是你決不會手動寫出來的 。你應該把那些初始化代碼移到構造函數里，這樣你就可以捕獲異常從而保證你的代碼很友好 (參見原則 45)。一個類的靜態(tài)構造函數是一個與眾不同的，它在所 有的方法，變量或者屬性訪問前被執(zhí)行。 static MySingleton( ) { _theOneAndOnly = new MySingleton( )。正因為異常，靜態(tài)構造函數常常代替靜態(tài)預置方法。s Mark and Compact algorithm efficiently detects these relationships and removes unreachable webs of objects in their entirety. The GC determines whether an object is reachable by walking the object tree from the application39。ve just learned, memory management is pletely the responsibility of the Garbage Collector. All other system resources are your responsibility. You can guarantee that you free other system resources by defining a finalizer in your type. Finalizers are called by the system before an object that is garbage is removed from memory. You canand mustuse these methods to release any unmanaged resources that an object owns. The finalizer for an object is called at some time after it bees garbage and before the system reclaims its memory. This nondeterministic finalization means that you cannot control the relationship between when you stop using an object and when its finalizer executes. That is a big change from C++, and it has important ramifications for your designs. Experienced C++ programmers wrote classes that allocated a critical resource in its constructor and released it in its destructor: // Good C++, bad C: class CriticalSection { public: // Constructor acquires the system resource. CriticalSection( ) { EnterCriticalSection( )。t exit the critical section when the function exits. That happens at some unknown time later. You don39。t explicitly define any constructors. Initializers are more than a convenient shortcut for statements in a constructor body. The statements generated by initializers are placed in object code before the body of your constructors. Initializers execute before the base class constructor for your type executes, and they are executed in the order the variables are declared in your class. Using initializers is the simplest way to avoid uninitialized variables in your types, but it39。 } } When you create a new MyClass, specifying the size of the collection, you create two array lists. One is immediately garbage. The variable initializer executes before every constructor. The constructor body creates the second array list. The piler creates this version of MyClass, which you would never code by hand. (For the proper way to handle this situation, see Item 14.) public class MyClass { // declare the collection, and initialize it. private ArrayList _coll。 } } private MySingleton( ) { } // remainder elided } The singleton pattern can just as easily be written this way, in case you have more plicated logic to initialize the singleton: public class MySingleton { private static readonly MySingleton _theOneAndOnly。 } pub