理想与现实之间

在以前的一篇帖子里我曾提到在C++/CLI中，会自动调用Dispose()方法。但那个时候只是从msdn上的文章中知道这样一个特性，还没有编译器的支持，所以一切也只能是纸上谈兵，很多细节都很不明朗。VC会以什么样的方式来提供这一特性，一直是我常思考的问题。然而甚至到VS.net 2005 beta1发布时，这一特性还没有得到支持。

好在，在最新的Visual C++ 2005 Tool Refresh中的编译器，已经支持了这一特性。那么就让我们来一探究竟吧。

首先，在最新的编译器中，如果一个类定义了析构函数，编译器会自动让类实现IDisposable接口，并把析构函数映射到Dispose()方法上。假如我们定义以下这个类



它最终生成的IL代码是这样的。



我们可以看到它已经实现了IDisposable接口，并且Dispose方法的内容就是析构函数的内容。



其次为了能够确定自动调用Dispose()方法的时机，C++/CLI现在支持一种新的对象实例化语法。


通常为了获得一个类的实例，我们需要这样写：

Test^ t = gcnew Test();

但为了获得自动调用Dispose()方法的好处，我们必须以这样的语法来实例化类：

Test t;

这就仿佛native c++中在栈(Stack)上实例化了一个对象一样。当然这只是一个语法的模仿，真正的对象还是在堆中实例化的。然而以这种方法实例化，就告诉了编译器，但退出对象申明所在的作用域时，希望能自动调用对象的Dispose()方法。

让我们来看一个函数：



观察函数的IL代码，可以发现调用Dispose()方法的代码已经被加入到方法中了。并且为了在抛出异常时，也能调用Dispose()方法，编译器还自动加上了一个try块。



以上的foo()函数，如果用C#来写，会是这样：

void foo()
{
      using (Test t = new Test())
      {
      }
}

然而，大家都知道using有一个最大的缺点，就是一次只能实例化一个对象。而在ado.net的程序中，经常我们会需要一次申明几个对象。这时候using语句就无能为力了。而C++/CLI提供的这一机制，完美地解决了这一问题。你可以一次申明多个对象，当这些对象退出作用域时，就会自动Dispose。

并且，作用域的识别方法和native c++中是一致的。也就是说你可以添加一对大括号来构成一个作用域，而不一定要是一个函数，就像这样：



值得注意的是，虽然在这个post中，我用了“对象退出作用域”这样的词，但是这只是为了判断Dispose方法调用的时机，并不表明对象在退出作用域之后就被回收了，对象内存的回收仍然是GC操控的，就像C#的using语句中那样。

总得来说，C++/CLI在吸收了C#中using语句的经验与教训之后，为显式释放资源提供了一个完美的解决方案。