浅析托管与非托管C++代码

随着Visual Studio.NET 2003的发布，许多开发者开始考虑使用一项被称为托管代码的新技术。但是对于C++开发者来说，可以会遇到一些麻烦。因为C++是比较特殊的。

什么是托管代码？

托管代码就是Visual Basic.NET和C#编译器编译出来的代码。编译器把代码编译成中间语言(IL)，而不是能直接在你的电脑上运行的机器码。中间语言被封装在一个叫程序集 (assembly)的文件中，程序集中包含了描述你所创建的类，方法和属性(例如安全需求)的所有元数据。这个程序集是.NET世界中的一个一站式购物（译者注：就是程序集具有自描述性）部署单元。你可以拷贝这个程序集到另一台服务器上部署它--通常来说，这个拷贝的动作就是部署流程中唯一的一个操作。

托管代码在公共语言运行库(CLR)中运行。这个运行库给你的运行代码提供各种各样的服务，通常来说，他会加载和验证程序集，以此来保证中间语言的正确性。当某些方法被调用的时候，运行库把具体的方法编译成适合本地计算机运行的机械码，然后会把编译好的机械码缓存起来，以备下次调用。(这就是即时编译)

随着程序集的运行，运行库会持续地提供各种服务，例如安全，内存管理，线程管理等等。这个程序被“托管”在运行库中。

Visual Basic.NET和C#只能产生托管代码。如果你用这类语言写程序，那么所产生的代码就是托管代码。如果你愿意，Visual C++.NET可以生成托管代码。当你创建一个项目的时候，选择名字是以.Managed开头的项目类型。例如.Managed C++ application。

什么是非托管代码？

非托管代码就是在Visual Studio.NET 2002发布之前所创建的代码。例如Visual Basic 6, Visual C++ 6, 最糟糕的是，连那些依然残存在你的硬盘中、拥有超过15年历史的陈旧C编译器所产生的代码都是非托管代码。托管代码直接编译成目标计算机的机械码，这些代码只能运行在编译出它们的计算机上，或者是其它相同处理器或者几乎一样处理器的计算机上。非托管代码不能享受一些运行库所提供的服务，例如安全和内存管理等。如果非托管代码需要进行内存管理等服务，就必须显式地调用操作系统的接口，通常来说，它们会调用Windows SDK所提供的API来实现。就最近的情况来看，非托管程序会通过COM接口来获取操作系统服务。

跟Visual Studio平台的其他编程语言不一样，Visual C++可以创建非托管程序。当你创建一个项目，并且选择名字以MFC，ATL或者Win32开头的项目类型，那么这个项目所产生的就是非托管程序。

这样子会导致一些混淆：当你创建一个托管的C++程序，那么构建出来的是一个中间语言程序集和一个扩展名为.exe的可执行文件。当你创建一个MFC程序，构建出来是一个Windows原生代码的可执行文件，这个文件的扩展名也是.exe。这两个文件的内部结构是完全不一样的。你可以用中间语言反汇编器(ildasm)来查看程序集的内部以及中间语言的元数据。如果尝试用中间语言反汇编器来查看一个非托管可执行文件，那么改反汇编器会告诉你这个可执行文件没有包含一个合法的CLR头，所以不能被反编译。可见，这两个文件虽然有相同的扩展名，但是它们是完全不一样的。

原生代码又是什么呢？

原生代码这个短语可以用在两个不同的上下文中。很多人会把原生代码跟非托管代码看作是同一个意思：用较老的工具构建的代码，故意采用Visual C++并使直接运行在计算机上，而且不运托管在运行库中。这可以是一个完整的程序，或者是一个COM组件，又或者是一个可以被托管代码利用COM Intero或者平台调用(PInvoke)所调用的DLL文件，COM Intero或者平台调用(PInvoke)可以帮助你在迁移到新的技术平台下依然能重用老代码的两个强大工具。我更愿意说是非托管代码，因为这强调的是那些不能利用运行库所提供的服务的代码。例如在托管代码中，代码访问安全服务可以防止在另一个服务器上装载的代码运行特定的操作。如果你的代码运行的是非托管代码，那么你没法利用这样的保护服务。

原生代码的另一个意思是描述即时编译器的输出，那些实际上运行在运行库中的机械码。这些代码是托管代码，但是并不是中间语言，而是机械码。所以不要简单地假设原生就是等同于非托管。

托管代码就意味着托管数据？

对于Visual Basic和C#来说，生活是简单的，因为你没有其它选择。当你在那些语言里面声明一个类，那么这个类的实例会在托管堆中被创建，垃圾收集器(GC)会帮我们管理这些对象的回收。但是在Visual C++中，你有另一个选择。即使你正创建一个托管程序，你可以决定哪些类是托管类型，哪些类是非托管类型的。

这就是非托管类型：

class Foo { private: int x; public: Foo(): x(0){} Foo(int xx): x(xx) {} };

这就是托管类型：

_gc class Bar { private: int x; public: Bar(): x(0){} Bar(int xx): x(xx) {} };

他们唯一的区别就是类Bar的定义中有_gc关键字。这个关键字会给代码带来巨大的区别。

托管类型是可以被垃圾回收器所回收的。他们必须要用关键字new来创建，永远都不会在栈中出现。所以下面这行代码是合法的：

Foo f;

但是这一行代码就是非法的：

Bar b;

如果我在堆中创建一个Foo对象，那么我必须要负责清理这个对象：

Foo *pf = new Foo(2); //... delete pf;

C++编译器实际上会用两个堆，一个托管堆和一个非托管堆，然后通过对new操作符的重载来实现对创建不同类型类的实例，分配不同的内存。

如果我在堆里面创建一个Bar实例，那么我可以忽略它。当没有其他代码在使用它的时候，垃圾回收器会自动清理这个类，释放其占用的资源。

对于托管类型会有一些约束：它们不能实现多重继承，或者继承与非托管类型；它们不能用friend关键字来实现私有访问，它们不能实现拷贝构造函数。所以，你有可能不想把你的类声明为托管类型。但是这并不意味着你不想让你的代码成为托管代码。在Visual C++中，你可以选择。

接下来应该做什么？

继续阅读。如果你复习一下以前专栏的目录，你会发现我的文章包括了托管和非托管主题。我尤其喜欢如果在这两种环境中做同样的事情。有太多的选择会让人觉得无所适从，但这一切说明我喜欢可以有多种选择的权利。在以后的专栏中，我会更多地探讨一下互操作的领域，因为我强烈地认为一个高水平的C++程序员在未来的一段很长的时间里面都会在项目中起到关键的作用。