例如，任何我们想要通过using语句所使用的，如一个SqlDataReader，必须实现Idisposable接口。这是因为如下方式使用的using语句:

using(Form f = new Form()){...}

　　就象一个try..finally块一样工作-总是清除新创建的资源。其工作原理很简单，只需要CLR针对在该using语句中创建的对象发出一个到IDisposable.Dispose的调用即可。例如，在上面这一句中，一个新的表单被创建，并且在using语句退出之前即调用Form.Dispose。
要对一个泛型类施加以确保该类实现了接口IDisposable，我们将添加先行词where T:Idisposable。在列表4中的泛型列表上施加约束后，我们将重新修改列表4如下面的列表5所示。

列表5 增加一个约束到泛型类以确保我们的List<T>中的所有的值T实现接口Idisposable。

using System;
using System.Collections;
using System.Text;
namespace Generics{
　public class List<T> : CollectionBase where t : IDisposable{
　　public List(){ }
　　public T this[int index]{
　　　get { return (T)List[index]; }
　　　set { List[index] = value; }
　　}
　　public int Add(T value){return List.Add(value);}
　}
}

　　先行词where的值可以是类，接口，结构，实现一个无参的公共构造器或有一个特定的基类的类。详见有关帮助文档。

八、 总结

泛型的设计是用来减少你重复实现的代码的次数-只需改变数据类型即可。因为抽象数据结构，如队列，栈和列表皆是典型的数据结构，所以存在针对这些东西的泛型类完全可以理解。你可以从.NET中派生大量的值-通过使用现有的泛型类，如在System.Collections.Generic命名空间中的那些。

可以肯定，在一段相当长的时间里，泛型将会象模式和重构等革新一样对开发带来越来越大的价值，而且新的数据结构能被转换成可重用的如泛型等的代码元素。