C#泛型学习

泛型类和泛型方法同时具备可重用性、类型安全和效率，这是非泛型类和非泛型方法无法具备的。泛型通常用在集合和在集合上运行的方法中。.NET Framework 2.0 版类库提供一个新的命名空间 System.Collections.Generic，其中包含几个新的基于泛型的集合类。建议面向 2.0 版的所有应用程序都使用新的泛型集合类，而不要使用旧的非泛型集合类，如 ArrayList。有关更多信息，请参见 .NET Framework 类库中的泛型（C# 编程指南）。

当然，也可以创建自定义泛型类型和方法，以提供自己的通用解决方案，设计类型安全的高效模式。下面的代码示例演示一个用于演示用途的简单泛型链接列表类。（大多数情况下，建议使用 .NET Framework 类库提供的 List<T> 类，而不要自行创建类。）在通常使用具体类型来指示列表中所存储项的类型时，可使用类型参数 T。其使用方法如下：

在 AddHead 方法中作为方法参数的类型。

在 Node 嵌套类中作为公共方法 GetNext 和 Data 属性的返回类型。

在嵌套类中作为私有成员数据的类型。

注意，T 可用于 Node 嵌套类。如果使用具体类型实例化 GenericList<T>（例如，作为 GenericList<int>），则所有的 T 都将被替换为 int。

 1// type parameter T in angle brackets
 2public class GenericList<T>
 3{
 4    // The nested class is also generic on T
 5    private class Node
 6    {
 7        // T used in non-generic constructor
 8        public Node(T t)
 9        {
10            next = null;
11            data = t;
12        }
13
14        private Node next;
15        public Node Next
16        {
17            get { return next; }
18            set { next = value; }
19        }
20       
21        // T as private member data type
22        private T data;
23
24        // T as return type of property
25        public T Data 
26        {
27            get { return data; }
28            set { data = value; }
29        }
30    }
31
32    private Node head;
33   
34    // constructor
35    public GenericList()
36    {
37        head = null;
38    }
39
40    // T as method parameter type:
41    public void AddHead(T t)
42    {
43        Node n = new Node(t);
44        n.Next = head;
45        head = n;
46    }
47
48    public IEnumerator<T> GetEnumerator()
49    {
50        Node current = head;
51
52        while (current != null)
53        {
54            yield return current.Data;
55            current = current.Next;
56        }
57    }
58}
59
60
下面的代码示例演示客户端代码如何使用泛型 GenericList<T> 类来创建整数列表。只需更改类型参数，即可方便地修改下面的代码示例，创建字符串或任何其他自定义类型的列表：

 1class TestGenericList
 2{
 3    static void Main()
 4    {
 5        // int is the type argument
 6        GenericList<int> list = new GenericList<int>();
 7
 8        for (int x = 0; x < 10; x++)
 9        {
10            list.AddHead(x);
11        }
12
13        foreach (int i in list)
14        {
15            System.Console.Write(i + " ");
16        }
17        System.Console.WriteLine("\nDone");
18    }
19}
20
21
泛型的优点

在公共语言运行库和 C# 语言的早期版本中，通用化是通过在类型与通用基类型 Object 之间进行强制转换来实现的，泛型提供了针对这种限制的解决方案。通过创建泛型类，您可以创建一个在编译时类型安全的集合。

使用非泛型集合类的限制可以通过编写一小段程序来演示，该程序利用 .NET Framework 基类库中的 ArrayList 集合类。ArrayList 是一个使用起来非常方便的集合类，无需进行修改即可用来存储任何引用或值类型。

System.Collections.ArrayList list1 = new System.Collections.ArrayList();
list1.Add(3);
list1.Add(105);

System.Collections.ArrayList list2 = new System.Collections.ArrayList();
list2.Add("It is raining in Redmond.");
list2.Add("It is snowing in the mountains.");
但这种方便是需要付出代价的。添加到 ArrayList 中的任何引用或值类型都将隐式地向上强制转换为 Object。如果项是值类型，则必须在将其添加到列表中时进行装箱操作，在检索时进行取消装箱操作。强制转换以及装箱和取消装箱操作都会降低性能；在必须对大型集合进行循环访问的情况下，装箱和取消装箱的影响非常明显。

另一个限制是缺少编译时类型检查；因为 ArrayList 将把所有项都强制转换为Object，所以在编译时无法防止客户端代码执行以下操作：

System.Collections.ArrayList list = new System.Collections.ArrayList();
// Add an integer to the list.
list.Add(3);
// Add a string to the list. This will compile, but may cause an error later.
list.Add("It is raining in Redmond.");
int t = 0;
// This causes an InvalidCastException to be returned.
foreach (int x in list)
{
t += x;
}

 尽管将字符串和 ints 组合在一个 ArrayList 中的做法在创建异类集合时是完全合法的，有时是有意图的，但这种做法更可能产生编程错误，并且直到运行时才能检测到此错误。

在 C#语言的 1.0 和 1.1 版本中，只能通过编写自己的特定于类型的集合来避免 .NET Framework 基类库集合类中的通用代码的危险。当然，由于此类不可对多个数据类型重用，因此将丧失通用化的优点，并且您必须对要存储的每个类型重新编写该类。

ArrayList 和其他相似类真正需要的是：客户端代码基于每个实例指定这些类要使用的具体数据类型的方式。这样将不再需要向上强制转换为 T:System.Object，同时，也使得编译器可以进行类型检查。换句话说，ArrayList 需要一个 type parameter。这正是泛型所能提供的。在 N:System.Collections.Generic 命名空间的泛型 List<T> 集合中，向该集合添加项的操作类似于以下形式：

// The .NET Framework 2.0 way to create a list
List<int> list1 = new List<int>();
// No boxing, no casting:
list1.Add(3);
// Compile-time error:
// list1.Add("It is raining in Redmond.");对于客户端代码，与 ArrayList 相比，使用 List<T> 时添加的唯一语法是声明和实例化中的类型参数。