C#2.0泛型

泛型是什么

一种类型占位符，或称之为类型参数。我们知道在一个方法中，一个变量的值可以作为参数，但其实这个变量的类型本身也可以作为参数。泛型允许我们在调用的时候再指定这个类型参数是什么。在.net中，泛型能够给我们带来的两个明显好处是——类型安全和减少装箱、拆箱。

泛型最常见的用途是泛型集合，命名空间System.Collections.Generic 中包含了一些基于泛型的集合类，使用泛型集合类可以提供更高的类型安全性，还有更高的性能，避免了非泛型集合的重复的装箱和拆箱。

很多非泛型集合类都有对应的泛型集合类，我觉得最好还是养成用泛型集合类的好习惯，他不但性能上好而且 功能上要比非泛型类更齐全。下面是常用的非泛型集合类以及对应的泛型集合类：

非泛型集合类	泛型集合类
ArrayList	List<T>
HashTable	DIctionary<T>
Queue	Queue<T>
Stack	Stack<T>
SortedList	SortedList<T>

最显著的一点就是它参数化了类型,把类型作为参数抽象出来,从而使我们在实际的运用当中能够更好的实现代码的重复利用,同时它提供了更强的类型安全,更高的效率,不过在约束方面,它只支持显示的约束,这样在灵活性方面就显得不是那么好了.我觉得它之所以能够提供更高的效率是因为泛型在实例化的时候采用了"on-demand"的模式,即按需实例化,发生在JIT(Just In Time)编译时.
下面来看如何定义一个泛型类,很简单,你只需要意识到一点,在这里,类型已经被参数化了:

using System;
using System.Collections.Generic;
using System.Text;

namespace GenericTest
//如果这样写的话，显然会报找不到类型T,S的错误

//正确的写法应该是

public interface IList<T>
public interface IDictionary<K,V>

// 泛型接口的类型参数要么已实例化
// 要么来源于实现类声明的类型参数
class List<T> : IList<T>, IDictionary<int, T>

在来看一下泛型委托，首先我们定义一个类型参数为T的委托，然后在类中利用委托调用方法：

using System;
using System.Collections.Generic;
using System.Text;

namespace GenericTest
using System;
using System.Collections.Generic;
using System.Text;

namespace GenericTest

最后我们来看一下泛型中的约束：
C#中的泛型只支持显示的约束，因为这样才能保证C#所要求的类型安全，但显示的约束并非时必须的，如果不加约束，泛型类型参数将只能访问System.Object类型中的公有方法。“显式约束”由where子句表达，可以指定“基类约束”，“接口约束”，“构造器约束”，“值类型/引用类型约束”共四种约束。下面的例子来源于李建忠老师的讲座PPT。
1、基类约束：

class C<S,T>
where S: A // S继承自A
where T: B // T继承自B
class Dictionary<K,V>
where K: IComparable<K>
where V: IPrintable, IKeyProvider<K>
class C<T>
where T : new()
C<A> c=new C<A>(); //可以，A有无参构造器
C<B> c=new C<B>(); //错误，B没有无参构造器
4、值/引用类型约束

class C<T>
where T : struct
C<A> c=new C<A>(); //可以，A是一个值类型
C<B> c=new C<B>(); //错误，B是一个引用类型

关于C#泛型入门的知识就这么多了，我也是对着李建忠老师的教学录像来学习的，初学的朋友也可以去下载录像来看：

http://www.microsoft.com/china/msdn/events/webcasts/shared/webcast/episode.aspx?newsID=1242246

学习泛型刚刚开始，希望能有高手指点，谢谢！