解读经典-《C#高级编程》第七版-Chapter1-.Net体系结构-Page6-13

01

中间语言（IL）

.Net中间语言（IL）的特性，很大程度上来自于要支持多语言互操作性。要支持多语言互操作性，是因为微软想搞一个大事情，将它的老产品线VB和VC++，VJ++都装入.Net架构中。要支持多语言互操作，就需要实现这些基本功能：

1） 继承：一种语言的类能继承另一种语言编写的类。

2） 组合：一种语言的类可以包含另外一种语言的类的实例。

3） 调用：一个对象能够调用其他语言编写的对象的方法。

4） 传递：值和对象应该能在不同类的方法之间传递（传递数据）。

5） 调试：调试器应能支持跨语言调试。

这里特别说明下：继承和组合。我们在学习所谓的“面向对象”的编程的时候，往往会用力过度，觉得对象化编程关键是“继承”，然后就设计出一堆继承关系。然而你要提醒自己，“组合”才是你应该多用的，因为继承观念虽好，但它有限制且复杂，因为.Net，Java是单一继承，而C++的多继承又特别复杂，概念虽美，但我们的目标是：更高效的写代码。举个例子，当你考虑B类继承A类时，考虑一下：B类包含A类，如何？这例子可以类比为：当你要继承你爸爸时，你考虑下，你包含你爸爸和你妈妈？我觉得后者更合适。因为你还要继承你妈妈，所以单一继承你爸爸不合适，而且你还会有你爸爸没有的技能，所以用包含挺好。

回到话题，上述如此宏伟的规划，.Net实现了。这就需要中间语言要提供强力支持。很显然我们可以想到，中间语言必须有相当程度的“对象化”特性，才能很好的支持这一点。我们来看看它的特征：

1） 面对对象和使用接口

面对对象相当于为不同语言建立了底层的“基本对象”，使不同语言有了相同的底层基础。使用接口使得不同语言可以遵循统一的“契约”（接口即契约）。

2） 区分值类型和引用类型

与其他编程语言一样，中间语言提供了预定义的基本数据类型。它分为值类型和引用类型，值类型存储在堆上，引用类型的实例则存储在堆栈上，堆和堆栈是两种不同的内存区域。

3） 强数据类型化

强数据类型化非常重要，它使得在不同语言间的数据传递变得简单而高效。中间语言通过“通用类型系统（CTS）”来预定义通用类型，通过“公共语言规范（CLS）”来确保语言的互操作性。

强数据类型化也使得中间语言可以实现对象化管理，从而实现了.Net的垃圾回收机制。中间语言通过“托管堆”存储对象，当托管堆满时调用垃圾回收器清理对象。

“应用程序域”也是个.Net的一个重要特性，传统的应用程序通过COM进行组件调用，此时应用程序和组件使用的是同一块内存，这容易因为COM组件的Bug而导致整个应用程序崩溃。而传统的通过比如CGI进程的方式来隔离内存，又存在进程开销比较大，进程间数据交换效率低的问题。而应用程序域很好的解决了这个问题。这依赖于中间语言的“强数据类型化”，强数据类型化隔绝了对内存的跨域访问，以及通过强类型化，使得数据可以以“对象”的方式传输，极大的提高了数据交换性能。当然应用程序域很少被应用，我自己几乎没用到，一般只在做类似开发工具Eclipse之类的插件式应用时才需要考虑。

4） 使用异常来处理错误

因为运行在中间语言之上的高级语言都使用了异常处理机制，所以中间语言需要支持异常的基础结构，使得异常能够在不同语言间传递必要的调试数据信息。

同Java一样，异常在C#中非常重要。因为历史原因，程序员们看到太多的代码都是使用更老旧的语言编写的，比如C，C++等，在这些传统语言中，一般使用方法的返回值来表示错误，比如返回-1表示错误类型1，返回-2表示错误类型2。这在.Net时代已经过时，我看到太多的人在错误的使用异常机制，还在走老旧的错误处理方式。这真是埋没了.Net优秀的异常机制，也是给自己编程挖坑的典范。记住一句话：你压根儿不应该在.Net框架下，考虑用返回值来表示错误！如果你发现在这么想，那么应该立即反省和思考。.Net下的返回值，只需要用于真正要返回的值，如果你的方法没有想要返回的值，那么方法的返回值就应该是void。

5） 使用特性（attribute）

中间语言也支持特性。在传统的C++编写COM时会使用特性，它一般是用于给编译器提供一些额外的信息。中间语言对特性进行了功能的拓展。我们可以自定义特性，可以使用反射来应用特性。这在ASP.Net MVC中体现的非常多，它实现了“面向切面编程”，使得代码能得到更好的复用。

后面将继续讲述“程序集”，“名称空间”等中间语言特性。

我们下回分解。

欢迎关注本人微信公众号，更及时的关注最新文章（每周三篇原创文章，以及多篇专题文章）：

附文：

IL中间语言

探讨DotNET中数据集的强类型化（C#）

上一篇：解读经典-《C#高级编程》第七版-Chapter1-.Net体系结构-Page1-6