More Effective C# Item5 : 确保泛型类型支持可销毁对象

    泛型中，约束能够为你和用户完成两件事情：1. 约束能将运行时错误转换成编译时错误；2. 约束为用户清楚的给出了实例化类型参数所必须实现的功能。不过约束却没有能够限制类型参数不能够做什么。好在大多数情况下，我们无需关系除了必要功能之外，类型参数还附带了哪些额外功能。

    但是如果泛型的约束中，包含了new约束，那么我们需要查看泛型参数是否实现了IDisposable接口。

    我们来看下面的代码。

public interface IEngine
{
    void DoWork();
}

 public class EngineDriver<T> where T : IEngine, new()
{
    public void GetThingsDone()
    {
        T driver = new T();
        driver.DoWork();
    }
}

    上述代码在执行后，如果T实现了IDisposable接口，那么很可能会造成资源泄漏，因为约束中并没有说明泛型参数需要实现IDisposable接口，因此从编译器的角度来看，是不会调用Dispose()方法的。这样无论何时初始化本地变量后，我们都需要检查T是否实现了IDisposable接口。

    下面是修改后的GetThingsDone()方法。

public void GetThingsDone()
{
    T driver = new T();
    using (driver as IDisposable)
    {
        driver.DoWork();
    }
}

    上述代码在编译时会为driver分配一个本地变量，用来存放将driver强制转换为IDisposable后的结果。如果T没有实现IDisposable接口，那么本地变量就是null，这时编译器是不会调用Dispose()方法的；如果T实现了IDisposable接口，那么编译器将在该代码块的结束位置生成对Dispose()方法的调用。

    当然，针对上面提的问题，我们可以修改泛型类，使其实现IDisposable接口，来看下面的代码。

public class EngineDriver<T> : IDisposable where T : IEngine, new()
{
    private T driver = null;
    public void GetThingsDone()
    {
        if (driver == null)
        {
            driver = new T();
        }
        driver.DoWork();            
    }

    #region IDisposable Members

    public void Dispose()
    {
        IDisposable temp = driver as IDisposable;
        if (temp != null)
        {
            temp.Dispose();
        }
    }

    #endregion
}

    需要注意，上述代码中，并不能保证不会重复调用driver的Dispose()方法，实现IDisposable接口的类，必须支持多次调用Dispose()方法，因为T并没有class约束，因此在离开Dispose()方法之前，并不能将driver设置为null。

 

    总结：有时，你可以通过重构并让泛型类中不再创建实例来解决这个问题。而对于必须要使用到局部变量的时候，则要提供必要的销毁代码。若是泛型类还需要支持对实现IDisposable接口的泛型参数进行延迟创建的话，那么将会带来更多的工作，但是这是不可缺少的。