淺析運行庫中的C# 泛型
運行庫中的C# 泛型講的就是將C# 泛型類型或方法編譯為 Microsoft 中間語言 (MSIL) 時，它包含將其標識為具有類型參數的元數據。C# 泛型類型的 MSIL 的使用因所提供的類型參數是值類型還是引用類型而不同。***次用值類型作為參數來構造泛型類型時，運行庫會創建專用泛型類型，將提供的參數代入到 MSIL 中的適當位置。對于每個用作參數的***值類型，都會創建一次專用C# 泛型類型。
C# 泛型應用實例：
例如，假設您的程序代碼聲明了一個由整數構造的堆棧，如下所示：
- Stack<int> stack;
在此位置，運行庫生成 Stack <T> 類的專用版本，并相應地用整數替換其參數。現在，只要程序代碼使用整數堆棧，運行庫就會重用生成的專用 Stack<T> 類。在下面的示例中，創建了整數堆棧的兩個實例，它們共享 Stack<int> 代碼的單個實例：
- Stack<int> stackOne = new Stack<int>();
- Stack<int> stackTwo = new Stack<int>();
但是，如果在程序代碼中的其他位置創建了另一個 Stack<T> 類，這次使用不同的值類型（如 long 或用戶定義的結構）作為其參數，則運行庫會生成泛型類型的另一版本（這次將在 MSIL 中的適當位置代入 long）。由于每個專用泛型類本身就包含值類型，因此不再需要轉換。
對于引用類型，C# 泛型的工作方式略有不同。***次使用任何引用類型構造泛型類型時，運行庫會創建專用泛型類型，用對象引用替換 MSIL 中的參數。然后，每次使用引用類型作為參數來實例化構造類型時，無論引用類型的具體類型是什么，運行庫都會重用以前創建的泛型類型的專用版本。之所以可以這樣，是因為所有引用的大小相同。
例如，假設您有兩個引用類型：一個 Customer 類和一個 Order 類，并且進一步假設您創建了一個 Customer 類型的堆棧：
- class Customer { }
- class Order { }
- Stack<Customer> customers;
在此情況下，運行庫生成 Stack<T> 類的一個專用版本，該版本不是存儲數據，而是存儲稍后將填寫的對象引用。假設下一行代碼創建另一個引用類型的堆棧，稱為 Order：
- Stack<Order> orders = new Stack<Order>();
不同于值類型，對于 Order 類型不創建 Stack<T> 類的另一個專用版本。而是創建 Stack<T> 類的一個專用版本實例，并將 orders 變量設置為引用它。假設接下來您遇到一行創建 Customer 類型堆棧：
C# 泛型代碼：
- customers = new Stack<Customer>();
與前面使用 Order 類型創建的 Stack<T> 類一樣，創建了專用 Stack<T> 類的另一個實例，并且其中所包含的指針被設置為引用 Customer 類型大小的內存區域。因為引用類型的數量會隨程序的不同而大幅變化，C# 泛型實現將編譯器為引用類型的泛型類創建的專用類的數量減小到一個，從而大幅減小代碼量的增加。
此外，使用類型參數實例化泛型 C# 類時，無論它是值類型還是引用類型，可以在運行時使用反射查詢它，并且可以確定它的實際類型和類型參數。
運行庫中的C# 泛型的基本內容就向你介紹到這里，希望對你了解和學習運行庫中的C# 泛型有所幫助。
【編輯推薦】
