编译过程中为什么采用中间语言

❶ 什么叫中间语言

中间语言MSIT
在.Net框架中，公共语言基础结构使用公共语言规范来绑定不同的语言。通过要求不同的语言至少要实现公共类型系统（CTS)包含在公共语言规范中的部分，公共语言基础结构允许不同的语言使用.Net框架。因此在.Net框架中，所有的语言（C#，VB.Net，Effil.Net等）最后都被转换为了一种通用语言：微软中间语言（MSIL）。
MSIL是将.Net代码转化为机器语言的一个中间过程。它是一种介于高级语言和基于Intel的汇编语言的伪汇编语言。当用户编译一个.Net程序时，编译器将源代码翻译成一组可以有效地转换为本机代码且独立于CPU 的指令。当执行这些指令时，实时（JIT）编译器将它们转化为CPU特定的代码。由于公共语言运行库支持多种实时编译器，因此同一段MSIL代码可以被不同的编译器实时编译并运行在不同的结构上。从理论上来说，MSIL将消除多年以来业界中不同语言之间的纷争。在.Net的世界中可能出现下面的情况：一部分代码可以用Effil实现，另一部分代码使用C#或VB完成的，但是最后这些代码都将被转换为中间语言。这给程序员提供了极大的灵活性，程序员可以选择自己熟悉的语言，并且再也不用为学习不断推出的新语言而烦恼了。
解密微软中间语言的系列文章将通过一些简单易懂的方式来揭示中间语言的复杂原理。这些原理通过详细的例子来阐述。在一些例子中同时给出了源代码和中间代码，通过比较源代码和中间代码，我们可以更好地理解编译器的局限性，指导我们编写出更好更快的代码。
微软中间语言概述 1．用中间语言编写的一个简单程序
让我们从经典的Hello World例子开始。首先在一个文本编辑器中输入以下的代码，并保存为HelloWorld.il：
.assembly HelloWorldIL {}
.method static void HelloWorld() {
.entrypoint
ldstr "Hello World."
call void [mscorlib]System.Console::WriteLine(class System.String)
ret
}
在一个中间语言程序中，如果某一行以“.”开始，则代表这是一个传输给汇编工具的指令，该指令要求汇编工具执行某些操作，例如生成一个函数或类。而没有以“.”开始的行是中间语言的代码。在中间语言中方法通过汇编命令method来定义，汇编命令后跟方法的返回值、名称和参数。方法体被包含在｛｝中。例子中的ret代表该方法的结束。
一个中间语言文件可以包含很多函数，汇编工具没有办法分辨应该首先执行哪一个方法。在诸如C#或VB这一类高级语言中，程序的入口方法通常都有特定的名称，例如在C#中的public static void Main()。这就是上面的汇编工具发出错误提示的原因。在中间语言中，第一个被执行的方法被称为入口函数（EntryPoint Function）。为了告诉汇编工具HelloWorld是入口函数，我们需要在代码中增加一条汇编命令entrypoint，该命令可以放在方法体中的任何位置。需要注意的是在一个程序集中只能有一个入口函数。
中间语言代码通常被编译成一个模块，该模块隶属于一个程序集。在.Net中模块和程序集的概念非常重要，因此开发人员需要很清楚地了解它们。在后面的文章中我们将详细讨论.Net程序的结构。通过在代码中加入assembly命令，可以告诉汇编工具中间代码隶属于那个程序集。assembly命令的格式如下：
.assembly <程序集名称> {}
需要注意在method命令后加入了static关键字，这是因为每个入口函数必须是静态的，例如在C#中我们将Main方法定义为public static void Main()。
接下来我们需要调用WriteLine方法将HelloWorld字符串输出到屏幕。通过使用call指令（Instruction）我们可以达到这个目的。指令的格式如下：
call <return type> <namespace>.<class name>::<method name>
这里我们可以看到当调用一个方法时，中间语言和其他的编程语言有很大的区别。在中间语言中，如果需要调用一个方法，需要指定方法的全名，包括他的名称域（namespace）、类名、返回值类型和参数的数据类型。这样就保证了汇编工具能够找到正确的方法。
在调用WriteLine方法时需要一个字符串参数。所有传递给方法或函数的参数都被保存在内存的堆栈中。在中间语言中有一个指令ldstr可以从堆栈中加载一个字符串。（堆栈是内存中的一块区域，它被用于将参数传输给方法，在后面我们会详细讨论堆栈的问题）。所有的方法都从堆栈中获取它们的参数，因此ldstr指令是必不可少的。ldstr指令的格式如下所示：
ldstr <parameter string>
我们可以用ILAsm.exe来编译这个程序。在运行ILAsm.exe之前，首先需要确认一下该程序已经包含在了Windows操作系统的Path环境变量中。ILAsm.exe 可在下面的路径中找到：
%windir%\Microsoft.NET\Framework\v1.0.xxxx
其中xxxx是正在使用的.NET框架的内部版本号。例如我使用的版本号是3705，则应该如下设置Path环境变量：
Set Path = %Path%;c:\Windows\Microsoft.NET\Framework\v1.0.3705
然后运行cmd.exe（开始->运行->输入cmd->按下确认键）。在弹出的命令窗口中输入：
J:\Testcode>ilasm HelloWorld.il
汇编代码后运行程序就可以看到Hello World.的输出。
通过上面的例子，我们了解了中间语言的程序结构，一些命令和指令。同时需要提醒大家的是中间语言是区分大小写的。
2．改进的HelloWorld例子
在.Net中的所有语言都是面向对象的语言，但是上面的HelloWorld例子是一个结构化的例子。下面让我们来看一下如何将它转化为面向对象的代码。在面向对象的编程中，我们将操作定义在类中。为了将上面的HelloWorld例子转化为面向对象的代码，可以使用class命令：
.class HelloWorld { }
class命令后紧跟的是类的名称。类的名称在中间语言中是可选的。同时我们还需要为该指令添加一些属性，例如存取控制类在内存中的布局和互用性等。这样代码就变成了：
.assembly HelloWorldIL {}
.class public auto ansi HelloWorld extends [mscorlib]System.Object {
.method public hidebysig static void HelloWorld() cil managed {
.entrypoint
ldstr "Hello World."
call void [mscorlib]System.Console::WriteLine(class System.String)
ret
}
.method public hidebysig specialname rtspecialname instance void .ctor() cil managed {
ldarg.0
call instance void [mscorlib]System.Object::.ctor()
ret
}
}
在代码中用到了三个属性：
· public：public是访问控制属性，它表明了对于访问该类的成员没有限制。
· auto：auto属性表明了当类被加载到内存中时，在内存中的布局是由公共运行库而不是程序决定的。
· ansi：指定ansi属性是为了在没有被管理和被管理的代码之间实现无缝的转化。在.Net中，那些不可直接应用在公共语言基础设施之上的代码被称为没有被管理的代码，例如C、C++和VB6的代码。我们需要一个属性来处理被管理的代码和没有被管理的代码之间的互用性。在被管理的代码中，字符串用双字节的Unicode字符表示，而在被管理的代码中，字符串有可能用单字节的ANSI字符表示。指定了ansi属性就可以在不同的代码间转化字符串了。
我们知道在.Net框架中，所有的类都直接或间接地继承了System.Object类。在代码中我们明确指定了HelloWorld继承了System.Object。
在HelloWorld方法中加入了public、hidebysig、cil managed属性，下面是对这些属性的解释：
· public：在C#或VB.Net中，当我们定义一个方法时，需要指定方法的访问修饰符。访问修饰符可以是public、protected、internal或private 。
· hidebysig：一个类可以继承其他的类，hidebysig属性保证当前类中的方法在作为父类时不会被子类继承。例如如果HelloWorldChild类继承了HelloWorld类，在HelloWorldChild中不会看到HelloWorld方法。
· cil managed：该属性将在后面讨论。
在高级语言中（C#，VB.Net等），每个类必须有构造函数，而且构造函数的第一行需要调用基类的构造函数。如果类中没有构造函数，基类的构造函数将被自动调用。通常这是由编译器自动完成的，现在我们要在的代码中加入构造函数，该构造函数通过.ctor命令调用基类的构造函数。
小结
本文我们从经典的Hello World例子开始，通过实例了解了微软中间语言的基本语法规则以及中间语言与其他开发语言的关系。在下一篇文章中，我们将在此基础上，运用实例程序讲述.net应用程序的格式和结构等内容。

❷ 什么是中间语言(IL)它的作用

IL是.NET框架中中间语言（Intermediate Language）的缩写。使用.NET框架提供的编译器可以直接将源程序编译为.exe或.dll文件，但此时编译出来的程序代码并不是CPU能直接执行的机器代码，而是一种中间语言IL（Intermedate Language）的代码。
使用中间语言的优点有两点，一是可以实现平台无关性，既与特定CPU无关；二是只要把.NET框架某种语言编译成IL代码，就实现.NET框架中语言之间的交互操作。（《C#程序设计及应用教程》（第2版），马骏 主编）

参考：http://ke..com/view/2278922.htm

❸ 编译程序是不是一定要产生中间代码

是的，中间代码的意义就是微软推出.NET平台的意义
NET是Microsoft面向XMLWeb服务的平台，这种下一代的软件将使用一种统一、个性化的方式将我们的信息、设备和人员紧密联系在一起。

❹ 中间语言的名词解释

中间语言 ，在计算机科学中，是指一种应用于抽象机器 的编程语言，它设计的目的，是用来帮助我们分析计算机程序。这个术语源自于编译器，在编译器将源代码编译为目的码的过程中，会先将源代码转换为一个或多个的中间表述，以方便编译器进行最佳化，并产生出目的机器的机器语言。通常，中间语言的设计与一般的机器语言有三个不同之处：
1、每个指令代表仅有一个基本的操作。举例来说，在微处理器中出现的shift-add寻址模式在中间语言不会出现。
2、指令集内可能不会包含控制流程的资讯。
3、暂存器可用的数量可能会很大，甚至没有限制。

❺ 编译过程中,源程序为什么要通过中间代码生成目标程序

源程序是指程序员编写的代码，可以被编译程序编译为目标程序。
如果是c++，那么后缀为.cpp
目标程序是编译程序将源程序编译后的结果，如果是c++，那么后缀是.o
编译程序一般是编译器公司（比如微软
intel他们都生产编译器）做的，它将源代码转化为机器可识别的文件，经过链接，生成可执行程序。
解释程序即解释器，它不需要经过编译阶段即可根据用户源程序执行。
程序语言分编译类和解释类语言。

❻ 编译程序中安排中间代码生成的目的是哪3个

1.中间代码生成是为优化和移植而进行的
2.中间代码表示包含的符号的属性信息
3..

❼ c语言编译的时候会不会先生成中间语言

C语言编译时，会生成中间语言叫做汇编语言，再由汇编生成机器语言！同时，C语言程序编译的过程经过4个阶段：预处理(Preprocessing)、编译(Compilation)、汇编(Assembly)、链接(Linking)。
1）预处理阶段在该阶段主要完成对源代码的预处理工作，主要包括对宏定义指令，头文件包含指令，预定义指令和特殊字符的处理，如对宏定义的替换以及文件头中所包含的文件中预定义代码的替换等，总之这步主要完成一些替换工作，输出是同源文件含义相同但内容不同的文件。
2）编译、优化阶段编译就是将第一阶段处理得到的文件通过词法语法分析等转换为汇编语言。优化包括对中间代码的优化，如删除公共表达式，循环优化等；和对目标代码的生成进行的优化，如如何充分利用机器的寄存器存放有关变量的值，以减少内存访问次数。
3）汇编阶段将汇编语言翻译成机器指令
4）链接阶段链接阶段的主要工作是将有关的目标文件连接起来，即将在一个文件中引用的符号同该符号在另外一个文件中的定义连接起来，使得所有的目标文件成为一个能够被操作系统装入执行的统一整体。
具体详情可以参照：
http://wenku..com/link?url=-

❽ 中间语言有什么用

把编程语言转变为计算机CPU可以识别的底层语言，也即汇编语言。例如C#.net和VB.net经过中间语言的转换都转换成了相同的底层语言。这也就是为什么很多不同的语言编程却能实现相当的效果

❾ C# 为什么要弄成中间代码

1、因为c语言也不能说真正的跨平台，只是这种语言比较低级，各个平台的实现相对一致。
c语言的东西下载时还是会分平台的，比如for linux, for windows, for Mac等，不同平台的编译器对c的解释都有差异，所以只能说跨平台容易一些。
2、按微软的规划，以后的应用程序要从网上付费下载来使用，这样就带来下载软件的安全与否的问题，而C#经编译后形成的是中间代码，不可以在本地机器上直接执行，必须经过CLR转换成本地代码后才能执行。
这样，中间码可以顺利通过防火墙，而且安全性又有CLR来保证。

❿ 使用中间代码表示有哪些优点

1、中间代码是源程序的一种内部表示，或称中间语言。
2、中间代码的作用是可使编译程序的结构在逻辑上更为简单明确，特别是可使目标代码的优化比较容易实现中间代码，即为中间语言程序，中间语言的复杂性介于源程序语言和机器语言之间。
3、中间语言有多种形式，常见的有逆波兰记号、四元式、三元式和树。