C#中的泛型与类型化：编写无重复代码的灵活代码

C#中的泛型与类型化：为什么离不开它们？

想象一下，你在盖房子，但每次需要钉钉子时，你都要专门为这颗钉子打造一把新锤子。荒谬吗？这正是没有泛型的代码所呈现的样子。在C#中，泛型就是那把万能锤子，适用于任何任务，同时又不失精准度。

今天我们将探讨C#中的泛型与类型化如何将你的代码从一堆零散的权宜之计转变为一套严谨、灵活且安全的系统。你将学习如何编写适用于任何数据类型、同时又不牺牲性能的泛型方法和泛型类。我们开始吧！

什么是泛型，为什么需要它们？

泛型是一种机制，允许你创建适用于任何数据类型、同时在编译阶段保持强类型化的类、方法和接口。听起来复杂？实际上很简单。

在C#（2.0版本，2005年）引入泛型之前，开发者使用两种方法：

• 复制粘贴——为每种类型（int、string、double等）创建单独的类。
• object——使用基类型object，这会导致装箱/拆箱并损失性能。

两种方法都不好。第一种浪费时间，第二种牺牲性能。泛型同时解决了这两个问题。

泛型在实际中是什么样子的？

// 没有泛型：为每种类型复制粘贴public class IntList{    private int[] items = new int[10];    public void Add(int item) { /* ... */ }}

public class StringList{    private string[] items = new string[10];    public void Add(string item) { /* ... */ }}

// 使用泛型：一个类适用于所有情况public class GenericList<T>{    private T[] items = new T[10];    public void Add(T item) { /* ... */ }}

// 使用var intList = new GenericList<int>();var stringList = new GenericList<string>();

请注意：GenericList<T>是一个模板。你可以用任何类型（int、string、你自己的类）替换T，编译器会为该类型生成具体的代码版本。没有重复，没有object。

C#中的类型化：静态、强类型、安全

在深入探讨之前，请记住C#是一种静态类型语言。这意味着每个变量的类型在编译阶段就已确定。泛型并没有违反这一规则，反而加强了它。

当你编写List<int>时，编译器确切知道列表内部只有整数。如果你尝试添加一个字符串，你会得到编译错误，而不是运行时异常。这就是类型安全。

泛型 vs object：性能之战

// 使用object的糟糕示例ArrayList badList = new ArrayList();badList.Add(123);           // 装箱 int -> objectint value = (int)badList[0]; // 拆箱 object -> int

// 使用泛型的好示例List<int> goodList = new List<int>();goodList.Add(123);          // 无需装箱int value = goodList[0];    // 无需拆箱

对于值类型（int、double、struct），性能差异可能达到10-20倍。对于引用类型（class），虽然没有装箱，但泛型仍然因无需类型转换而胜出。

泛型方法：无需多余代码的灵活性

泛型不仅适用于类，也适用于方法。假设你需要编写一个交换两个元素的方法。没有泛型，你不得不编写大量重载：

// 没有泛型public void SwapInt(ref int a, ref int b) { int temp = a; a = b; b = temp; }public void SwapString(ref string a, ref string b) { string temp