在对数据结构的研究中,我们常常试图用一种数据结构类型来扮演多重角色,也就是希望这种数据结构类型的值能代表多种不同的数据类型,从而使其能在各种数据结构的场合得以应用。在C#中引用了泛型的概念,类似于C++中的模板。泛型类使用泛型类型,并可以根据需要使用特定的类型来替换泛型类型。这样就保证了类型安全性:如果某个类型不支持泛型类,编译器就会产生错误。通常情况下,我们定义一个值,然后给这个值赋于可以代表很多数据类型的能力,在这里就有了一个全新的概念,那就是:泛化编程(generic programming)。
所谓泛化程序,就是在程序中提供一种名叫“占位符”的数据类型,然后在程序编译时将指定的要使用的数据类型填充到占位符里,占位符通常用两个尖括号<>括起来表示,最简单的例子就是在C#中的数据交换函数:
下面是测试这段泛化程序的代码:
通过上面的实例,我们可以看到泛化编程对于适应多种不同数据类型的便利之处。泛化,不仅仅用于函数定义,我们还可以创建自己的泛型类,创建泛型类,就是要在定义类的时候再类名后加上泛型类型占位符<T>,在类定义中任何引用类名的时候,一定要记得把类型占位符也和类名一起写出来提供。
回到数据结构研究的主题,我们现在定义一个泛型类,来表述数据结构中耳熟能详的结点node类:
如果现在我们有一个数据类型为字符串的数据结构,要使用上面的结点类node可以用如下代码:
所以,我们研究C#表述的数据结构时,可以将这个结点类应用于任意类型的数据结构!与此同时,强大的.NET类库已经为我们提供了泛型数据结构的类库,这些数据结构可以在System.Collection.Generic命名空间下找到,我们以后所讨论的所有数据结构,都能在这个namesapce下找到现成的类。
定义一个泛型容器: