简介

VisualC#2.0的一个最受期待的(或许也是最让人畏惧)的一个特性就是对于泛型的支持。这篇文章将告诉你泛型用来解决什么样的问题，以及如何使用它们来提高你的代码质量，还有你不必恐惧泛型的原因。

泛型是什么？

很多人觉得泛型很难理解。我相信这是因为他们通常在了解泛型是用来解决什么问题之前，就被灌输了大量的理论和范例。结果就是你有了一个解决方案，但是却没有需要使用这个解决方案的问题。

这篇文章将尝试着改变这种学习流程，我们将以一个简单的问题作为开始：泛型是用来做什么的？答案是：没有泛型，将会很难创建类型安全的集合。

C#是一个类型安全的语言，类型安全允许编译器(可信赖地)捕获潜在的错误，而不是在程序运行时才发现(不可信赖地，往往发生在你将产品出售了以后！)。因此，在C#中，所有的变量都有一个定义了的类型；当你将一个对象赋值给那个变量的时候，编译器检查这个赋值是否正确，如果有问题，将会给出错误信息。

在.Net1.1版本()中，当你在使用集合时，这种类型安全就失效了。由.Net类库提供的所有关于集合的类全是用来存储基类型(Object)的，而.Net中所有的一切都是由Object基类继承下来的，因此所有类型都可以放到一个集合中。于是，相当于根本就没有了类型检测。

更糟的是，每一次你从集合中取出一个Object，你都必须将它强制转换成正确的类型，这一转换将对性能造成影响，并且产生冗长的代码(如果你忘了进行转换，将会抛出异常)。更进一步地讲，如果你给集合中添加一个值类型(比如，一个整型变量)，这个整型变量就被隐式地装箱了(再一次降低了性能)，而当你从集合中取出它的时候，又会进行一次显式地拆箱(又一次性能的降低和类型转换)。

关于装箱、拆箱的更多内容，请访问陷阱4，警惕隐式的装箱、拆箱。

创建一个简单的线性链表

为了生动地感受一下这些问题，我们将创建一个尽可能简单的线性链表。对于阅读本文的那些从未创建过线性链表的人。你可以将线性链表想像成有一条链子栓在一起的盒子(称作一个结点)，每个盒子里包含着一些数据和链接到这个链子上的下一个盒子的引用(当然，除了最后一个盒子，这个盒子对于下一个盒子的引用被设置成NULL)。

为了创建我们的简单线性链表，我们需要下面三个类：

1、Node类，包含数据以及下一个Node的引用。

2、LinkedList类，包含链表中的第一个Node，以及关于链表的任何附加信息。

3、测试程序，用于测试LinkedList类。

为了查看链接表如何运作，我们添加Objects的两种类型到链表中：整型和Employee类型。你可以将Employee类型想象成一个包含关于公司中某一个员工所有信息的类。出于演示的目的，Employee类非常的简单。

publicclassEmployee{privatestringname; 　　publicEmployee(stringname){ 　　 　　this.name=name; 　　} 　　publicoverridestringToString(){ 　　　returnthis.name; 　　}}

这个类仅包含一个表示员工名字的字符串类型，一个设置员工名字的构造函数，一个返回Employee名字的ToString()方法。

链接表本身是由很多的Node构成，这些Note，如上面所说，必须包含数据(整型和Employee)和链表中下一个Node的引用。

publicclassNode{Objectdata;Nodenext;publicNode(Objectdata){this.data=data;this.next=null;}publicObjectData{get{returnthis.data;}set{data=value;}}publicNodeNext{get{returnthis.next;}set{this.next=value;}}}

注意构造函数将私有的数据成员设置成传递进来的对象，并且将next字段设置成null。

这个类还包括一个方法，Append，这个方法接受一个Node类型的参数，我们将把传递进来的Node添加到列表中的最后位置。这过程是这样的：首先检测当前Node的next字段，看它是不是null。如果是，那么当前Node就是最后一个Node，我们将当前Node的next属性指向传递进来的新结点，这样，我们就把新Node插入到了链表的尾部。

如果当前Node的next字段不是null，说明当前node不是链表中的最后一个node。因为next字段的类型也是node，所以我们调用next字段的Append方法(注：递归调用)，再一次传递Node参数，这样继续下去，直到找到最后一个Node为止。

publicvoidAppend(NodenewNode){if(this.next==null){this.next=newNode;}else{next.Append(newNode);}}

Node类中的ToString()方法也被覆盖了，用于输出data中的值，并且调用下一个Node的ToString()方法(译注：再一次递归调用)。

publicoverridestringToString(){stringoutput=data.ToString();if(next!=null){output+=,+next.ToString();}returnoutput;}

这样，当你调用第一个Node的ToString()方法时，将打印出所有链表上Node的值。

LinkedList类本身只包含对一个Node的引用，这个Node称作HeadNode，是链表中的第一个Node，初始化为null。

publicclassLinkedList{NodeheadNode=null;}

LinkedList类不需要构造函数(使用编译器创建的默认构造函数)，但是我们需要创建一个公共方法，Add()，这个方法把data存储到线性链表中。这个方法首先检查headNode是不是null，如果是，它将使用data创建结点，并将这个结点作为headNode，如果不是null，它将创建一个新的包含data的结点，并调用headNode的Append方法，如下面的代码所示：

publicvoidAdd(Objectdata){if(headNode==null){headNode=newNode(data);}else{headNode.Append(newNode(data));}}

为了提供一点集合的感觉，我们为线性链表创建一个索引器。

publicobjectthis[intindex]{get{intctr=0;Nodenode=headNode;while(node!=nullctr=index){if(ctr==index){returnnode.Data;}else{node=node.Next;}ctr++;}returnnull;}}

最后，ToString()方法再一次被覆盖，用以调用headNode的ToString()方法。

publicoverridestringToString(){if(this.headNode!=null){returnthis.headNode.ToString();}else{returnstring.Empty;}}

测试线性链表

我们可以添加一些整型值到链表中进行测试：

publicvoidRun(){LinkedListll=newLinkedList();for(inti=0;i10;i++){ll.Add(i);}Console.WriteLine(ll);Console.WriteLine(Done.Addingemployees...);}

如果你对这段代码进行测试，它会如预计的那样工作：

0,1,2,3,4,5,6,7,8,9Done.Addingemployees...

然而，因为这是一个Object类型的集合，所以你同样可以将Employee类型添加到集合中。

ll.Add(newEmployee(John));ll.Add(newEmployee(Paul));ll.Add(newEmployee(George));ll.Add(newEmployee(Ringo));Console.WriteLine(ll);Console.WriteLine(Done.);

输出的结果证实了，整型值和Employee类型都被存储在了同一个集合中。

0,1,2,3,4,5,6,7,8,9Done.Addingemployees...0,1,2,3,4,5,6,7,8,9,John,Paul,George,RingoDone.

虽然看上去这样很方便，但是负面影响是，你失去了所有类型安全的特性。因为线性链表需要的是一个Object类型，每一个添加到集合中的整型值都被隐式装箱了，如同IL代码所示：

IL_c:box[mscorlib]System.Int32IL_:callvirtinstancevoidObjectLinkedList.LinkedList::Add(object)

同样，如果上面所说，当你从你的列表中取出项目的时候，这些整型必须被显式地拆箱(强制转换成整型)，Employee类型必须被强制转换成Employee类型。

Console.WriteLine(Thefourthintegeris+Convert.ToInt32(ll[3]));Employeed=(Employee)ll[11];Console.WriteLine(ThesecondEmployeeis+d);

这些问题的解决方案是创建一个类型安全的集合。一个Employee线性链表将不能接受Object类型；它只接受Employee类的实例(或者继承自Employee类的实例)。这样将会是类型安全的，并且不再需要类型转换。一个整型的线性链表，这个链表将不再需要装箱和拆箱的操作(因为它只能接受整型值)。

作为示例，你将创建一个EmployeeNode，该结点知道它的data的类型是Employee。

publicclassEmployeeNode{Employeeemployeedata;EmployeeNodeemployeeNext;}

Append方法现在接受一个EmployeeNode类型的参数。你同样需要创建一个新的EmployeeLinkedList，这个链表接受一个新的EmployeeNode：

publicclassEmployeeLinkedList{EmployeeNodeheadNode=null;}

EmployeeLinkedList.Add()方法不再接受一个Object，而是接受一个Employee：

publicvoidAdd(Employeedata){if(headNode==null){headNode=newEmployeeNode(data);}else{headNode.Append(newEmployeeNode(data));}}

类似的，索引器必须被修改成接受EmployeeNode类型，等等。这样确实解决了装箱、拆箱的问题，并且加入了类型安全的特性。你现在可以添加Employee(但不是整型)到你新的线性链表中了，并且当你从中取出Employee的时候，不再需要类型转换了。

EmployeeLinkedListemployees=newEmployeeLinkedList();employees.Add(newEmployee(StephenKing));employees.Add(newEmployee(JamesJoyce));employees.Add(newEmployee(WilliamFaulkner));/*employees.Add(5);//trytoaddaninteger-wont 　　　代码通用(对于所有类型只用实现一次)，而当你初始化链表的时候你告诉链表所能接受的类型。这个实现是非常简单的，让我们重新回到Node类：

publicclassNode{Objectdata;...

注意到data的类型是Object，(在EmployeeNode中，它是Employee)。我们将把它变成一个泛型(通常，由一个大写的T代表)。我们同样定义Node类，表示它可以被泛型化，以接受一个T类型。

publicclassNodeT{Tdata;...

读作：T类型的Node。T代表了当Node被初始化时，Node所接受的类型。T可以是Object，也可能是整型或者是Employee。这个在Node被初始化的时候才能确定。

注意：使用T作为标识只是一种约定俗成，你可以使用其他的字母组合来代替，比如这样：

publicclassNodeUnknownType{UnknownTypedata;...

通过使用T作为未知类型，next字段(下一个结点的引用)必须被声明为T类型的Node(意思是说接受一个T类型的泛型化Node)。

NodeTnext;

构造函数接受一个T类型的简单参数：

publicNode(Tdata){this.data=data;this.next=null;}

Node类的其余部分是很简单的，所有你需要使用Object的地方，你现在都需要使用T。LinkedList类现在接受一个T类型的Node，而不是一个简单的Node作为头结点。

publicclassLinkedListT{NodeTheadNode=null;

再来一遍，转换是很直白的。任何地方你需要使用Object的，现在改做T，任何需要使用Node的地方，现在改做NodeT。下面的代码初始化了两个链接表。一个是整型的。

LinkedListintll=newLinkedListint();

另一个是Employee类型的：

LinkedListEmployeeemployees=newLinkedListEmployee();

剩下的代码与第一个版本没有区别，除了没有装箱、拆箱，而且也不可能将错误的类型保存到集合中。

LinkedListintll=newLinkedListint();for(inti=0;i10;i++){ll.Add(i);}Console.WriteLine(ll);Console.WriteLine(Done.);LinkedListEmployeeemployees=newLinkedListEmployee();employees.Add(newEmployee(John));employees.Add(newEmployee(Paul));employees.Add(newEmployee(George));employees.Add(newEmployee(Ringo));Console.WriteLine(employees);Console.WriteLine(Done.);Console.WriteLine(Thefourthintegeris+ll[3]);Employeed=employees[1];Console.WriteLine(ThesecondEmployeeis+d);

泛型允许你不用复制/粘贴冗长的代码就实现类型安全的集合。而且，因为泛型是在运行时才被扩展成特殊类型。JustInTime编译器可以在不同的实例之间共享代码，最后，它显著地减少了你需要编写的代码。