C# 2.0中泛型编程初级入门教程

C# 2.0中泛型编程初级入门教程
添加时间:2007-10-25　
　　在2005年底微软公司正式发布了C# 2.0，与C# 1.x相比，新版本增加了很多新特性，其中最重要的是对泛型的支持。通过泛型，我们可以定义类型安全的数据结构，而无需使用实际的数据类型。这能显著提高性能并得到更高质量的代码。泛型并不是什么新鲜的东西，他在功能上类似于C++的模板，模板多年前就已存在C++上了，并且在C++上有大量成熟应用。 

　　本文讨论泛型使用的一般问题，比如为什么要使用泛型、泛型的编写方法、泛型中数据类型的约束、泛型中静态成员使用要注意的问题、泛型中方法重载的问、泛型方法等，通过这些使我们可以大致了解泛型并掌握泛型的一般应用，编写出更简单、通用、高效的应用系统。 

　　什么是泛型

　　我们在编写程序时，经常遇到两个模块的功能非常相似，只是一个是处理int数据，另一个是处理string数据，或者其他自定义的数据类型，但我们没有办法，只能分别写多个方法处理每个数据类型，因为方法的参数类型不同。有没有一种办法，在方法中传入通用的数据类型，这样不就可以合并代码了吗？泛型的出现就是专门解决这个问题的。读完本篇文章，你会对泛型有更深的了解。

　　为什么要使用泛型

　　为了了解这个问题，我们先看下面的代码，代码省略了一些内容，但功能是实现一个栈，这个栈只能处理int数据类型：


public class Stack
{ 
　private int[] m_item;
　public int Pop(){...} 
　public void Push(int item){...} 
　public Stack(int i)
　{
　　this.m_item = new int[i];
　}
}

　　上面代码运行的很好，但是，当我们需要一个栈来保存string类型时，该怎么办呢？很多人都会想到把上面的代码复制一份，把int改成string不就行了。当然，这样做本身是没有任何问题的，但一个优秀的程序是不会这样做的，因为他想到若以后再需要long、Node类型的栈该怎样做呢？还要再复制吗？优秀的程序员会想到用一个通用的数据类型object来实现这个栈：


public class Stack

{ 
　private object[] m_item;
　public object Pop(){...} 
　public void Push(object item){...} 

　public Stack(int i)
　{
　　this.m_item = new[i];
　} 

}

　　这个栈写的不错，他非常灵活，可以接收任何数据类型，可以说是一劳永逸。但全面地讲，也不是没有缺陷的，主要表现在：

　　当Stack处理值类型时，会出现装箱、折箱操作，这将在托管堆上分配和回收大量的变量，若数据量大，则性能损失非常严重。 
在处理引用类型时，虽然没有装箱和折箱操作，但将用到数据类型的强制转换操作，增加处理器的负担。 

　　在数据类型的强制转换上还有更严重的问题（假设stack是Stack的一个实例）：


Node1 x = new Node1();
stack.Push(x);
Node2 y = (Node2)stack.Pop();

　　上面的代码在编译时是完全没问题的，但由于Push了一个Node1类型的数据，但在Pop时却要求转换为Node2类型，这将出现程序运行时的类型转换异常，但却逃离了编译器的检查。

　　针对object类型栈的问题，我们引入泛型，他可以优雅地解决这些问题。泛型用用一个通过的数据类型T来代替object，在类实例化时指定T的类型，运行时（Runtime）自动编译为本地代码，运行效率和代码质量都有很大提高，并且保证数据类型安全。

　　使用泛型