【类型】
解释型:直接执行源程序或源程序的内部形式(词法分析,语法分析,语义分析过程是有的,但是没有中间代码生成,也没有目标机器码代码),其最大的特点是不产生目标程序,每使用一次就要解释一次,运行效率低。
编译型:第一次使用时将可执行语句翻译成对应的机器代码并保存下来,之后直接使用保存的机器码,故运行效率高。
两者区别:在编译方式下,机器上运行的是与源程序等价的目标程序,源程序和编译程序都不再参与目标程序的执行过程;而在解释方式下,解释程序和源程序(或其某种等价表示)要参与到程序的运行过程中,运行程序的控制权在解释器。解释器翻译源程序时不产生独立的目标程序,而编译器则需将源程序翻译成独立的目标程序。编译方式的程序执行效率比解释方式的高,但解释方式的灵活性要比编译方式高。
编译的主要过程
词法分析:从左到右逐字符读入源程序,识别出一个个单词符号;它是根据语言的词法规则(单词结构规则)进行的。
语法分析:在词法分析的基础上将单词符号序列分解成各类,诸如“程序”,“语句”,“表达式”等语法单位。
语义分析:审查源程序有无语义错误,为代码生成阶段收集类型信息。
中间代码生成:在语法和语义分析的基础上,将源程序转变成一种内部表示形式(中间语言,中间代码),它通常易于生成,易于翻译成目标代码。不过,并不是所有的语言都必须经过这一步。中间代码不依赖于具体的机器,使用中间代码可提高编译程序的可移植性,中间代码的形式:逆波兰式,四元式,三元式,间接三元式,树和图等。
代码优化:对前阶段生成的中间代码进行变换或改造,以使生成的目标代码更节约时间和空间。
目标代码生成:将中间代 码变换成特定机器上的绝对指令代码(或可重定位的指令代码,汇编指令代码)。