C# 泛型實現理解及實例淺析
C# 泛型實現在 .NET 2.0 中，C# 泛型在 IL（中間語言）和 CLR 本身中具有本機支持。在編譯一般 C# 服務器端代碼時，編譯器會將其編譯為 IL，就像其他任何類型一樣。但是，IL 只包含實際特定類型的參數或占位符。此外，一般服務器的元數據包含一般信息。表面上，C# 泛型的語法看起來與 C++ 模板類似，但是編譯器實現和支持它們的方式存在重要差異。正如您將在后文中看到的那樣，這對于泛型的使用方式具有重大意義。
注 在本文中，當提到 C++ 時，指的是傳統(tǒng) C++，而不是帶有托管擴展的 Microsoft C++。
與 C++ 模板相比，C# 泛型可以提供增強的安全性，但是在功能方面也受到某種程度的限制。
在一些 C++ 編譯器中，在您通過特定類型使用模板類之前，編譯器甚至不會編譯模板代碼。當您確實指定了類型時，編譯器會以內聯方式插入代碼，并且將每個出現一般類型參數的地方替換為指定的類型。此外，每當您使用特定類型時，編譯器都會插入特定于該類型的代碼，而不管您是否已經在應用程序中的其他某個位置為模板類指定了該類型。C++ 鏈接器負責解決該問題，并且并不總是有效。這可能會導致代碼膨脹，從而增加加載時間和內存足跡。
客戶端編譯器使用該一般元數據來支持類型安全。當客戶端提供特定類型而不是一般類型參數時，客戶端的編譯器將用指定的類型實參來替換服務器元數據中的一般類型參數。這會向客戶端的編譯器提供類型特定的服務器定義，就好像從未涉及到泛型一樣。這樣，客戶端編譯器就可以確保方法參數的正確性，實施類型安全檢查，甚至執(zhí)行類型特定的 IntelliSense。
有趣的問題是，.NET 如何將服務器的一般 IL 編譯為機器碼。原來，所產生的實際機器碼取決于指定的類型是值類型還是引用類型。如果客戶端指定值類型，則 JIT 編譯器將 IL 中的一般類型參數替換為特定的值類型，并且將其編譯為本機代碼。但是，JIT 編譯器會跟蹤它已經生成的類型特定的服務器代碼。如果請求 JIT 編譯器用它已經編譯為機器碼的值類型編譯一般服務器，則它只是返回對該服務器代碼的引用。因為 JIT 編譯器在以后的所有場合中都將使用相同的值類型特定的服務器代碼，所以不存在代碼膨脹問題。
如果客戶端指定引用類型，則 JIT 編譯器將服務器 IL 中的一般參數替換為 Object，并將其編譯為本機代碼。在以后的任何針對引用類型而不是一般類型參數的請求中，都將使用該代碼。請注意，采用這種方式，JIT 編譯器只會重新使用實際代碼。實例仍然按照它們離開托管堆的大小分配空間，并且沒有強制類型轉換。
泛型的實現實例解析
泛型方法實例
- static void Swap﹤T﹥(ref T a, ref T b)
- { Console.WriteLine("You sent the Swap() method a {0}",
- typeof(T));
- T temp;
- temp = a;
- a = b;
- b = temp;
- }
泛型類、結構實例
- public class Point﹤T﹥
- {
- private T _x;
- private T _y;
- public T X
- { get { return _x; }
- set { _x = value; }}
- public T Y
- { get { return _y; }
- set { _y = value; }}
- public override string ToString()
- { return string.Format("[{0}, {1}]", _x, _y); }
- }
C# 泛型實現的具體內容就向你介紹到這里，希望對你了解和學習C# 泛型實現有所幫助。
【編輯推薦】
