热门搜索：
硕士/研究生
&&&&&&DOC文档下载
游客快捷下载
会员登录下载
下载资源需要10元
邮箱/手机号：
您支付成功后，系统会自动为您创建此邮箱/手机号的账号，密码跟您输入的邮箱/手机号一致，以方便您下次登录下载和查看订单。注：支付完成后需要自己下载文件，并不会自动发送文件哦！
支付方式：
已注册用户请登录：
当日自动登录&&
&&合作网站一键登录：
1、本站资源不支持迅雷下载，请使用浏览器直接下载(不支持QQ浏览器)；
2、文档下载后都不会有金锄头文库的水印，预览文档经过压缩，下载后原文更清晰；
3、所有的PPT和DOC文档都被视为“模板”，允许上传人保留章节、目录结构的情况下删减部份的内容；下载前须认真查看，确认无误后再购买；
4、所有文档都是可以预览的，金锄头文库作为内容存储提供商，无法对各卖家所售文档的真实性、完整性、准确性以及专业性等问题提供审核和保证，请慎重购买；
5、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确)，网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据；
6、如果您还有什么不清楚的，可以点击右侧栏的客服对话；
下载须知 | 常见问题汇总
语义分析和中间代码产生
第七章语义分析和中间代码产生本章概述上一章我们介绍了属性文法和语法制导翻译，本章我们将把上章所介绍的方法和技术应用于语义分析和中间代码产生中。主要学习内容中间语言的形式后缀式、图表示法、三地址代码，说明语句的语义分析，赋值语句的翻译，布尔表达式的翻译，控制语句的翻译，过程调用的处理，类型检查。学习目标熟悉几种中间语言的描述，掌握各种语句的翻译方法，会给出各种语句的语义规则和语义子程序。学习重点和难点如何把属性文法和语法制导翻译的方法和技术应用于语义分析和中间代码产生中，特别是表达式和控制语句的翻译。71中间语言711中间语言虽然源程序可以直接翻译为目标语言代码。但是许多编译程序都采用了独立于机器的、复杂性介于源语言和机器语言之间的中间语言。常见的中间语言形式包括后缀式，三地址代码（包括三元式，四元式，间接三元式），DAG图表示和抽象语法树等。1后缀式后缀式表示法是波兰逻辑学家卢卡西维奇（LUKASIEWICZ）发明的一种表示表达式的方法，因此又称逆波兰表示法。这种表示法是，把运算量（操作数）写在前面，把算符写在后面（后缀）。例如，把AB写成AB，把AB写成AB。2抽象语法树在语法树中去掉那些对翻译不必要的信息，从而获得更有效的源程序中间表示。这种经变换后的语法树称之为抽象语法树（ABSTRACTSYNTAXTREE）。3DAG与抽象语法树一样，对表达式中的每个子表达式，DAG（DIRECTEDACYCLICGRAPH）中都有一个结点。一个内部结点代表一个操作符，它的孩子代表操作数。两者不同的是，在一个DAG中代表公共子表达式的结点具有多个父结点，而在一棵抽象语法树中公共子表达式被表示为重复的子树。4三地址代码三地址代码是由下面一般形式的语句构成的序列XYOPZ其中X,Y,Z为名字、常数或编译时产生的临时变量，OP代表运算符号如定点运算符、浮点运算符、逻辑运算符等等。每个语句的右边只能有一个运算符。例如，源语言表达式XYZ可以被翻译为如下语句序列T1YZT2XT1其中T1,T2为编译时产生的临时变量。之所以称为三地址代码是因为每条语句通常包含三个地址，两个用来表示操作数，一个用来存放结果。三地址语句类似于汇编语言代码。语句可以带有符号标号，而且存在各种控制流语句。符号标号代表存放中间代码的数组中三地址代码语句的下标。下面是常用的三地址语句的种类1形如XYOPZ的赋值语句，其中OP为二元算术算符或逻辑算符。2形如XOPY的赋值语句，其中OP为一元算符，如一元减UMINUS、逻辑非NOT、移位算符及转换算符（如将定点数转换成浮点数）。3形如XY的复制语句，它将Y的值赋给X。4形如GOTOL的无条件转移语句，即下一条将被执行的语句是带标号L的三地址语句。5形如IFXRELOPYGOTOL或IFAGOTOL的条件转移语句。第一种形式语句施用关系运算符号RELOP（如,等等）于X和Y，若X与Y满足关系RELOP，那么下面就执行带标号L的语句，否则下面就继续执行IF语句之后的语句。第二种形式的语句中，A为布尔变量或常量，若A为真，则执行带标号L的语句，否则执行后一条语句。6用于过程调用的语句PARAMX和CALLP,N，以及返回语句RETURNY。源程序中的过程调用语句PX1,X2,,XN通常产生如下的三地址代码PARAMX1PARAMX2PARAMXNCALLP,N其中N表示实参个数。过程返回语句RETURNY中Y为过程返回的一个值。7形如XYI及XIY的索引赋值。前者把相对于地址Y的后面第I个单元里的值赋给X。后者把Y的值赋给相对于地址X后面的第I个单元。8形如XY,XY和XY的地址和指针赋值。其中第一个赋值语句把Y的地址赋给X。第二个赋值语句XY执行的结果是把Y所指示的地址单元里存放的内容赋给X。第三个赋值语句XY，将把X所指向的对象的右值赋为Y的右值。三地址语句可看成中间代码的一种抽象形式。编译程序中，三地址代码语句的具体实现可以用记录表示，记录中包含表示运算符和操作数的域。通常有三种表示方法四元式、三元式、间接三元式。1四元式一个四元式是一个带有四个域的记录结构，这四个域分别称为OP,ARG1,ARG2及RESULT。域OP包含一个代表运算符的内部码。三地址语句XYOPZ可表示为将Y置于ARG1域，Z置于ARG2域，X置于RESULT域，为算符。带有一元运算符的语句如XY或者XY的表示中不用ARG2。而象PARAM这样的运算符仅使用ARG1域。条件和无条件转移语句将目标标号置于RESULT域中。2三元式为了避免把临时变量填入到符号表，我们可以通过计算这个临时变量值的语句的位置来引用这个临时变量。这样表示三地址代码的记录只需三个域OP、ARG1和ARG2。因为用了三个域，所以称之为三元式。3间接三元式为了便于代码优化处理，有时不直接使用三元式表，而是另设一张指示器（称为间接码表），它将按运算的先后顺序列出有关三元式在三元表中的位置。换句话说就是，我们用一张间接码表辅以三元式表的办法来表示中间代码。这种表示法称为间接三元式。72说明语句721说明语句当考查一个过程或分程序的一系列说明语句时，便可为局部于该过程的名字分配存储空间。对每个局部名字，我们都将在符号表中建立相应的表项，并填入有关的信息如类型、在存储器中的相对地址等。相对地址是指对静态数据区基址或活动记录中局部数据区基址的一个偏移量。当产生中间代码地址时，对目标机一些情况做到心中有数是有好处的。例如，假定在一个以字节编址的目标机上，整数必须存放在4的倍数的地址单元，那么，计算地址时就应以4的倍数增加。在C、PASCAL及FORTRAN等语言的语法中，允许在一个过程中的所有说明语句作为一个组来处理，把它们安排在一所数据区中。从而我们需要一个全程变量如OFFSET来跟踪下一个可用的相对地址的位置。允许嵌套过程的语言，对于每一个过程，其中局部名字的相对地址计算与前述一样。而当遇到一个嵌入的过程说明时，则应当暂停包围此过程的外围过程说明语句的处理。对于记录中的域名同样可以类似地给它建立一张符号表。73赋值语句的翻译731赋值语句的翻译对于简单算术表达式及赋值语句,把它们翻译为三地址代码的翻译模式是比较好理解的,如下所示。S→IDE{PLOOKUPIDNAMEIFP?NILTHENEMITP‘’EPLACEELSEERROR}E→E1E2{EPLACENEWTEMPEMITEPLACE‘’E1PLACE‘’E2PLACE}E→E1E2{EPLACENEWTEMPEMITEPLACE‘’E1PLACE‘’E2PLACE}E→E1{EPLACENEWTEMPEMITEPLACE‘’‘UMINUS’E1PLACE}E→E1{EPLACEE1PLACE}E→ID{PLOOKUPIDNAMEIFP?NILTHENEPLACEPELSEERROR}产生简单算术表达式及赋值语句三地址代码的翻译模式如果表达式和赋值句中包含数组元素的引用，则编译程序要根据数组元素的地址计算公式产生相应的代码。为了便于翻译，我们把包含数组元素引用的表达式和赋值句的产生式改写成如下形式1S→LE2E→EE3E→E4E→L5L→ELIST6L→ID7ELIST→ELIST,E8ELIST→IDE相应的翻译模式如下所示。S→LE{IFLOFFSETNULLTHEN/L是简单变量/EMITLPLACE‘’EPLACEELSEEMITLPLACE‘’LOFFSET‘’‘’EPLACE}E→E1E2{EPLACENEWTEMPEMITEPLACE‘’E1PLACE‘’E2PLACE}E→E1{EPLACEE1PLACE}E→L{IFLOFFSETNULLTHENEPLACELPLACEELSEBEGINEPLACENEWTEMPEMITEPLACE‘’LPLACE‘’LOFFSET‘’END}L→ELIST{LPLACENEWTEMPEMITLPLACE‘’ELISTARRAY‘－’C{C的定义见（77）}LOFFSETNEWTEMPEMITLOFFSET‘’W‘’ELISTPLACE}L→ID{LPLACEIDPLACELOFFSETNULL}ELIST→ELIST1,E{TNEWTEMPMELIST1NDIM1EMITT‘’ELIST1PLACE‘’LIMITELIST1ARRAY,MEMITT‘’T‘’EPLACEELISTARRAYELIST1ARRAYELISTPLACETELISTNDIMM}ELIST→IDE{ELISTPLACEEPLACEELISTNDIM1ELISTARRAYIDPLACE}含数组元素引用的表达式和赋值句的翻译模式74布尔表达式的翻译741布尔表达式的翻译在程序设计语言中，布尔表达式有两个基本的作用一个是用作计算逻辑值；另一个，也是更多地是用作控制流语句如IFTHEN、IFTHENELSE和WHILEDO等之中的条件表达式。作为逻辑求值的布尔表达式的翻译与简单算术表达式的翻译类似，较易理解。重点是作为条件控制的布尔表达式的翻译。出现在条件语句IFETHENS1ELSES2中的布尔表达式E，它的作用仅在于控制对S1和S2的选择。只要能够完成这一使命，E的值就无须最终保留在某个临时单元之中。因此，作为转移条件的布尔式E，我们可以赋予它两种“出口”。一是“真”出口，出向S1；一是“假”出口，出向S2。对于作为转移条件的布尔式，我们可以把它翻译为一串跳转指令。例如，可把语句IFACORBCGOTOL2GOTOL1L1IFBDGOTOL
本文（语义分析和中间代码产生）为本站会员（豆浆）主动上传，金锄头文库仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。
若此文所含内容侵犯了您的版权或隐私，请立即阅读金锄头文库的“”【网址:】，按提示上传提交保证函及证明材料，经审查核实后我们立即给予删除！
温馨提示：如果因为网速或其他原因下载失败请重新下载，重复下载不扣分。
分享当前资源【语义分析和中间代码产生】到朋友圈，您即可以免费下载此资源！
微信扫一扫分享到朋友圈
操作提示：任选上面一个二维码，打开微信，点击“发现”使用“扫一扫”，即可将选择的网页分享到朋友圈
您可能感兴趣的------------------------------------------------------------------------------------------------------
元price_share
&|&川公网安备 12号&|&经营许可证（蜀ICP备号-1）(C) by Sichuan Goldhoe Inc. All Rights Reserved.
&strong>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>一、&/span>&/strong>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>本站提供全自助服务，购买后点击下载按钮可以下载到你电脑或手机（系统不会发送文档到您的邮箱），请注意查看下载存放位置；&/span>&/p>&p>&strong>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>二、&/span>&/strong>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>本站具有防盗链功能，所以不要使用迅雷、旋风、网际快车等第三方辅助下载工具（不支持&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>QQ浏览器&/span>），否则下载下来的文件只是网页或乱码；&/span>&br/>&/p>&p>&strong>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>三、&/span>&/strong>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>由于网络原因、下载知识欠缺、本地电脑&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>或&/span>手机阻止下载等问题无法解决时，需要提供以下&/span>&span style=&font-family: 微软雅黑, &Microsoft YaHei&; color: rgb(255, 0, 0);&>任意一条信息&/span>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>给我们，我们才能更及时地为你服务：&/span>&br/>&/p>&p>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>3.1、如果是注册的会员，请告诉我们你的会员账号；&/span>&/p>&p>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>3.2、如果是游客下载的，请告诉我们你下载时填写的手机或者邮箱；&/span>&/p>&p>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>3.3、如果是微信或QQ快捷登陆的，请告诉我们你的微信或QQ昵称；&/span>&/p>&p>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>3.4、如果这些你仍然无法确定，请告诉我们你的付款单号（我们可以通过单号反过来查询你的账号和下载记录）&/span>&a href=&https://www.jinchutou.com/i-93.html& target=&_blank& style=&text-decoration: color: rgb(255, 192, 0); font-family: 微软雅黑, &Microsoft YaHei&;&>&span style=&color: rgb(255, 192, 0); font-family: 微软雅黑, &Microsoft YaHei&;&>看看什么是单号？&/span>&/a>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>；&/span>&/p>&p>&strong>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>四、&/span>&/strong>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>需要下载哪份文档，请发送文档网址，而不是截图，更不要直接把标题给我们；&/span>&br/>&/p>&p>&strong>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>五、&/span>&/strong>&span style=&font-family: 微软雅黑, &Microsoft YaHei&;&>其它下载常见问题详见：&/span>&a href=&https://www.jinchutou.com/info-0-23-1.html& target=&_blank& style=&font-family: 微软雅黑, &Microsoft YaHei&;&>https://www.jinchutou.com/info-0-23-1.html&/a>&br/>&/p>&p>&br/>&/p>" />
&span id=&_baidu_bookmark_start_2& style=&display: line-height: 0&>?&/span>&span id=&_baidu_bookmark_start_4& style=&display: line-height: 0&>?&/span>&/p>&p>&span style=&font-family: 微软雅黑, Arial, &Times New Roman&; font-size: 14 background-color: rgb(255, 255, 255);&>& & 鉴于本网发布稿件来源广泛、数量较多, 系统审核过程只针对存在明显违法有害内容（如色情、暴力、反动、危害社会治安及公共安全等公安部门明文规定的违法内容）进行处理，难以逐一核准作者身份及核验所发布的内容是否存在侵权事宜, 如果著作权人发现本网已转载或摘编了其拥有著作权的作品或对稿酬有疑议, 请及时与本网联系删除。&/span>&/p>&p>&strong style=&color: rgb(102, 102, 102); font-family: 微软雅黑, Arial, &Times New Roman&; font-size: 14 white-space: background-color: rgb(255, 255, 255);&>& & 侵权处理办法参考版权提示一文：&/strong>&a href=&https://www.jinchutou.com/h-59.html& target=&_blank& textvalue=&https://www.jinchutou.com/h-59.html&>https://www.jinchutou.com/h-59.html&/a>&span style=&color: rgb(102, 102, 102); font-family: 微软雅黑, Arial, &Times New Roman&; font-size: 14 background-color: rgb(255, 255, 255);&>&&/span>&/p>&p>&span style=&color: rgb(102, 102, 102); font-family: 微软雅黑, Arial, &Times New Roman&; font-size: 14 background-color: rgb(255, 255, 255);&>1、如涉及内容过多，需要发送邮箱，请电子邮箱到，我们会及时处理；&/span>&/p>&p>&span style=&color: rgb(102, 102, 102); font-family: 微软雅黑, Arial, &Times New Roman&; font-size: 14 background-color: rgb(255, 255, 255);&>2、系统一旦删除后，文档肯定是不能下载了的，但展示页面缓存需要一段时间才能清空，请耐心等待2-6小时；&/span>&/p>&p>&span style=&color: rgb(102, 102, 102); font-family: 微软雅黑, Arial, &Times New Roman&; font-size: 14 background-color: rgb(255, 255, 255);&>3、请版权所有人（单位）提供最起码的证明（证明版权所有人），以便我们尽快查处上传人；&/span>&/p>&p>&span style=&color: rgb(102, 102, 102); font-family: 微软雅黑, Arial, &Times New Roman&; font-size: 14 background-color: rgb(255, 255, 255);&>4、请文明对话，友好处理；&/span>&/p>&p>&span style=&color: rgb(102, 102, 102); font-family: 微软雅黑, Arial, &Times New Roman&; font-size: 14 background-color: rgb(255, 255, 255);&>5、为了杜绝以前再有类似的侵权事情，可以为我们提供相应的关键字，便于管理人员添加到系统后能有效排除和抵制与您（贵单位）相关版权作品上传；&/span>&/p>&p>&span id=&_baidu_bookmark_end_5& style=&display: line-height: 0&>?&/span>&span id=&_baidu_bookmark_end_3& style=&display: line-height: 0&>?&/span>&/p>" />
&span style=&color: rgb(85, 85, 85); font-family: 微软雅黑; background-color: rgb(255, 255, 255);&>& & 为了维护合法，安定的网络环境，本着开放包容的心态共建共享金锄头文库平台，请各位上传人本着自律和责任心共享发布有价值的文档；本站客服对于上传人服务前，有以下几点可提前参阅：&/span>&/p>&p>&span style=&color: rgb(85, 85, 85); font-family: 微软雅黑; background-color: rgb(255, 255, 255);&>1、本站上传会员收益见：&a href=&https://www.jinchutou.com/h-36.html& target=&_blank&>https://www.jinchutou.com/h-36.html&/a> &/span>&/p>&p>2、本站不会为任何刚注册的上传会员特批解除上传限制，普通会员每天可以上传50份，值班经值会审核其上传内容，请自行观察自己上传的文档哪些在“临时转换中”（审核通过），哪些在审核拒绝中，连续坚持几天都没有任何文档被拒的情况下，根据文档质量和发布分类是否正常等考量合格后值班经理会特批升级会员等级，相应的权益也同时上升。&/p>&p>3、上传人本着友好、合作、共建、共享的原则，请耐心仔细的查看《&a href=&https://www.jinchutou.com/i-143.html& target=&_blank&>违禁作品内容处理规则》；&/a>&a href=&https://www.jinchutou.com/i-143.html& target=&_blank&>https://www.jinchutou.com/i-143.html&/a>&/p>&p>4、上传人可以观注本站公告，查看其它被公示永久封禁的原因&a href=&https://www.jinchutou.com/news-1.html& target=&_blank&>https://www.jinchutou.com/news-1.html&/a>&/p>&p>5、其它问题可以参阅上传常见问题指引：&a href=&https://www.jinchutou.com/info-0-25-1.html& target=&_blank&>https://www.jinchutou.com/info-0-25-1.html&/a>&/p>" />什么是编译程序？
什么是编译程序？
09-07-07 &
在编译程序时，借助参数传递的方法，使用与系统CPU相匹配的gcc参数，编译出的程序就是为系统CPU而进行特定优化过的，因而执行速度和效率都会是最好。 2、注意事项. (1) 经过大量测试发现，在RedHat, CentOS系统中通常只能通过参数传递的方法进行编译 ...
请登录后再发表评论!
编译程序把一个源程序翻译成目标程序的工作过程分为五个阶段：词法分析；语法分析；中间代码生成；代码优化；目标代码生成。主要是进行词法分析和语法分析，又称为源程序分析，分析过程中发现有语法错误，给出提示信息。（1） 词法分析词法分析的任务是对由字符组成的单词进行处理，从左至右逐个字符地对源程序进行扫描，产生一个个的单词符号，把作为字符串的源程序改造成为单词符号串的中间程序。执行词法分析的程序称为词法分析程序或扫描器。源程序中的单词符号经扫描器分析，一般产生二元式：单词种别；单词自身的值。单词种别通常用整数编码，如果一个种别只含一个单词符号，那么对这个单词符号，种别编码就完全代表它自身的值了。若一个种别含有许多个单词符号，那么，对于它的每个单词符号，除了给出种别编码以外，还应给出自身的值。词法分析器一般来说有两种方法构造：手工构造和自动生成。手工构造可使用状态图进行工作，自动生成使用确定的有限自动机来实现。（2） 语法分析编译程序的语法分析器以单词符号作为输入，分析单词符号串是否形成符合语法规则的语法单位，如表达式、赋值、循环等，最后看是否构成一个符合要求的程序，按该语言使用的语法规则分析检查每条语句是否有正确的逻辑结构，程序是最终的一个语法单位。编译程序的语法规则可用上下文无关文法来刻画。语法分析的方法分为两种：自上而下分析法和自下而上分析法。自上而下就是从文法的开始符号出发，向下推导，推出句子。而自下而上分析法采用的是移进归约法，基本思想是：用一个寄存符号的先进后出栈，把输入符号一个一个地移进栈里，当栈顶形成某个产生式的一个候选式时，即把栈顶的这一部分归约成该产生式的左邻符号。（3） 中间代码生成中间代码是源程序的一种内部表示，或称中间语言。中间代码的作用是可使编译程序的结构在逻辑上更为简单明确，特别是可使目标代码的优化比较容易实现。中间代码即为中间语言程序，中间语言的复杂性介于源程序语言和机器语言之间。中间语言有多种形式，常见的有逆波兰记号、四元式、三元式和树。（4） 代码优化代码优化是指对程序进行多种等价变换，使得从变换后的程序出发，能生成更有效的目标代码。所谓等价，是指不改变程序的运行结果。所谓有效，主要指目标代码运行时间较短，以及占用的存储空间较小。这种变换称为优化。有两类优化：一类是对语法分析后的中间代码进行优化，它不依赖于具体的计算机；另一类是在生成目标代码时进行的，它在很大程度上依赖于具体的计算机。对于前一类优化，根据它所涉及的程序范围可分为局部优化、循环优化和全局优化三个不同的级别。（5） 目标代码生成目标代码生成是编译的最后一个阶段。目标代码生成器把语法分析后或优化后的中间代码变换成目标代码。目标代码有三种形式：① 可以立即执行的机器语言代码，所有地址都重定位；② 待装配的机器语言模块，当需要执行时，由连接装入程序把它们和某些运行程序连接起来，转换成能执行的机器语言代码；③ 汇编语言代码，须经过汇编程序汇编后，成为可执行的机器语言代码。目标代码生成阶段应考虑直接影响到目标代码速度的三个问题：一是如何生成较短的目标代码；二是如何充分利用计算机中的寄存器，减少目标代码访问存储单元的次数；三是如何充分利用计算机指令系统的特点，以提高目标代码的质量。
请登录后再发表评论!
　　编译程序 　　compiler 　　把用高级程序设计语言书写的源程序，翻译成等价的计算机汇编语言或机器语言的目标程序的翻译程序。编译程序属于采用生成性实现途径实现的翻译程序。它以高级程序设计语言书写的源程序作为输入，而以汇编语言或机器语言表示的目标程序作为输出。编译出的目标程序通常还要经历运行阶段，以便在运行程序的支持下运行，加工初始数据，算出所需的计算结果。编译程序的实现算法较为复杂。这是因为它所翻译的语句与目标语言的指令不是一一对应关系,而是一多对应关系;同时也因为它要处理递归调用、动态存储分配、多种数据类型，以及语句间的紧密依赖关系。但是，由于高级程序设计语言书写的程序具有易读、易移植和表达能力强等特点，编译程序广泛地用于翻译规模较大、复杂性较高、且需要高效运行的高级语言书写的源程序。 　　功能　编译程序的基本功能是把源程序翻译成目标程序。但是,作为一个具有实际应用价值的编译系统,除了基本功能之外，还应具备语法检查、调试措施、修改手段、覆盖处理、目标程序优化、不同语言合用以及人-机联系等重要功能。①语法检查:检查源程序是否合乎语法。如果不符合语法，编译程序要指出语法错误的部位、性质和有关信息。编译程序应使用户一次上机，能够尽可能多地查出错误。②调试措施：检查源程序是否合乎设计者的意图。为此，要求编译程序在编译出的目标程序中安置一些输出指令，以便在目标程序运行时能输出程序动态执行情况的信息，如变量值的更改、程序执行时所经历的线路等。这些信息有助于用户核实和验证源程序是否表达了算法要求。③修改手段：为用户提供简便的修改源程序的手段。编译程序通常要提供批量修改手段（用于修改数量较大或临时不易修改的错误）和现场修改手段（用于运行时修改数量较少、临时易改的错误）。④覆盖处理：主要是为处理程序长、数据量大的大型问题程序而设置的。基本思想是让一些程序段和数据公用某些存储区，其中只存放当前要用的程序或数据;其余暂时不用的程序和数据,先存放在磁盘等辅助存储器中，待需要时动态地调入。⑤目标程序优化：提高目标程序的质量,即占用的存储空间少,程序的运行时间短。依据优化目标的不同，编译程序可选择实现表达式优化、循环优化或程序全局优化。目标程序优化有的在源程序级上进行，有的在目标程序级上进行。⑥不同语言合用：其功能有助于用户利用多种程序设计语言编写应用程序或套用已有的不同语言书写的程序模块。最为常见的是高级语言和汇编语言的合用。这不但可以弥补高级语言难于表达某些非数值加工操作或直接控制、访问外围设备和硬件寄存器之不足，而且还有利于用汇编语言编写核心部分程序,以提高运行效率。⑦人-机联系：确定编译程序实现方案时达到精心设计的功能。目的是便于用户在编译和运行阶段及时了解内部工作情况，有效地监督、控制系统的运行。 　　早期编译程序的实现方案，是把上述各项功能完全收纳在编译程序之中。然而，习惯做法是在操作系统的支持下，配置调试程序、编辑程序和连接装配程序，用以协助实现程序的调试、修改、覆盖处理，以及不同语言合用功能。但在设计编译程序时，仍须精心考虑如何与这些子系统衔接等问题。 　　工作过程　编译程序必须分析源程序，然后综合成目标程序。首先，检查源程序的正确性，并把它分解成若干基本成分；其次，再根据这些基本成分建立相应等价的目标程序部分。为了完成这些工作，编译程序要在分析阶段建立一些表格,改造源程序为中间语言形式,以便在分析和综合时易于引用和加工（图1）。 　　数据结构 分析和综合时所用的主要数据结构，包括符号表、常数表和中间语言程序。符号表由源程序中所用的标识符连同它们的属性组成，其中属性包括种类（如变量、数组、结构、函数、过程等）、类型（如整型、实型、字符串、复型、标号等），以及目标程序所需的其他信息。常数表由源程序中用的常数组成，其中包括常数的机内表示，以及分配给它们的目标程序地址。中间语言程序是将源程序翻译为目标程序前引入的一种中间形式的程序，其表示形式的选择取决于编译程序以后如何使用和加工它。常用的中间语言形式有波兰表示、三元组、四元组以及间接三元组等。 　　分析部分 源程序的分析是经过词法分析、语法分析和语义分析三个步骤实现的。词法分析由词法分析程序（又称为扫描程序）完成，其任务是识别单词（即标识符、常数、保留字，以及各种运算符、标点符号等）、造符号表和常数表，以及将源程序换码为编译程序易于分析和加工的内部形式。语法分析程序是编译程序的核心部分，其主要任务是根据语言的语法规则，检查源程序是否合乎语法。如不合乎语法，则输出语法出错信息；如合乎语法，则分解源程序的语法结构，构造中间语言形式的内部程序。语法分析的目的是掌握单词是怎样组成语句的，以及语句又是如何组成程序的。语义分析程序是进一步检查合法程序结构的语义正确性，其目的是保证标识符和常数的正确使用，把必要的信息收集和保存到符号表或中间语言程序中，并进行相应的语义处理。 　　综合部分 综合阶段必须根据符号表和中间语言程序产生出目标程序，其主要工作包括代码优化、存储分配和代码生成。代码优化是通过重排和改变程序中的某些操作，以产生更加有效的目标程序。存储分配的任务是为程序和数据分配运行时的存储单元。代码生成的主要任务是产生与中间语言程序符等价的目标程序，顺序加工中间语言程序，并利用符号表和常数表中的信息生成一系列的汇编语言或机器语言指令。 　　结构　编译过程分为分析和综合两个部分，并进一步划分为词法分析、语法分析、 语义分析、 代码优化、存储分配和代码生成等六个相继的逻辑步骤。这六个步骤只表示编译程序各部分之间的逻辑联系，而不是时间关系。编译过程既可以按照这六个逻辑步骤顺序地执行，也可以按照平行互锁方式去执行。在确定编译程序的具体结构时，常常分若干遍实现。对于源程序或中间语言程序，从头到尾扫视一次并实现所规定的工作称作一遍。每一遍可以完成一个或相连几个逻辑步骤的工作。例如，可以把词法分析作为第一遍；语法分析和语义分析作为第二遍；代码优化和存储分配作为第三遍；代码生成作为第四遍。反之，为了适应较小的存储空间或提高目标程序质量，也可以把一个逻辑步骤的工作分为几遍去执行。例如，代码优化可划分为代码优化准备工作和实际代码优化两遍进行。 　　一个编译程序是否分遍,以及如何分遍,根据具体情况而定。其判别标准可以是存储容量的大小、源语言的繁简、解题范围的宽窄，以及设计、编制人员的多少等。分遍的好处是各遍功能独立单纯、相互联系简单、逻辑结构清晰、优化准备工作充分。缺点是各遍之中不可避免地要有些重复的部分，而且遍和遍之间要有交接工作，因之增加了编译程序的长度和编译时间。 　　一遍编译程序是一种极端情况，整个编译程序同时驻留在内存,彼此之间采用调用转接方式连接在一起(图2)。当语法分析程序需要新符号时，它就调用词法分析程序；当它识别出某一语法结构时，它就调用语义分析程序。语义分析程序对识别出的结构进行语义检查，并调用“存储分配”和“代码生成”程序生成相应的目标语言指令。 　　随着程序设计语言在形式化、结构化、直观化和智能化等方面的发展，作为实现相应语言功能的编译程序，也正向自动程序设计的目标发展，以便提供理想的程序设计工具。 　　参考书目 　　陈火旺、钱家骅、孙永强编：《编译原理》，国防工业出版社，北京，1980。 　　A.V.Aho, Principles of Compiler Design,Addison Wes-ley, Reading, Massachusetts, 1977. 　　--------------------------------------------------------------------------------　　编译程序 (compiler) 　　将用高级程序设计语言书写的源程序，翻译成等价的用计算机汇编语言、机器语言或某种中间语言表示的目标程序的翻译程序。用户利用编译程序实现数据处理任务时，先要经历编译阶段，再经历运行阶段。编译阶段以源程序作为输入，以目标程序作为输出，其主要任务是将源程序翻译成目标程序。运行阶段的任务是运行所编译出的目标程序，实现源程序中指定的数据处理任务，其工作通常包括：输入初始数据，对数据或文件进行数据加工，输出必要信息和加工结果等。编译程序的实现算法较为复杂。这是因为它所翻译的语句与目标语言的指令不是一一对应关系，而是一多对应关系；同时因为它要在编译阶段处理递归调用、动态存储分配、多种数据类型 实现 、 代码生成与代码优化等繁杂技术问题；还要在运行阶段提供良好、有效的运行环境。由于高级程序设计语言书写的程序具有易读、易移植和表达能力强等特点，所以编译程序广泛地用于翻译规模较大、复杂性较高、且需要高效运行的高级语言书写的源程序。 　　功能 编译程序的基本功能是把源程序翻译成目标程序。此外，还要具备语法检查、调试措施、修改手段、覆盖处理、目标程序优化、不同语言合用以及人机联系等具有实际应用价值的重要功能。①语法检查。检查源程序是否合乎语法 。②调试措施。检查源程序是否合乎用户的设计意图。③修改手段。为用户提供简便的修改源程序的手段。④覆盖处理。主要为处理程序较长、数据量较大的大型问题程序而设置。基本思想是让一些程序段和数据公用某些存储区，其中只存放当前要用的程序段或数据，其余暂时不用的程序段和数据均存放在磁盘等辅助存储器中，待需要时动态地调入存储区中运行。⑤目标程序优化。提高目标程序的质量，即使编译出的目标程序运行时间短、占用存储少。⑥不同语言合用 。便于用户利用多种程序设计语言编写应用程序或套用已有的不同语言书写的程序模块。最为常见的是高级语言和汇编语言的合用。⑦人机联系。便于用户在编译和运行阶段及时了解系统内部工作情况，有效地监督、控制系统的运行。 　　早期编译程序的实现方案，是把上述各项功能完全收纳在编译程序之中 。后来的习惯方法是在操作系统的支持下，配置编辑程序、调试程序、连接装配程序等实用程序或工具软件，目的是创造一个良好的开发环境和运行环境，便于应用软件的编程、修改、调试、集成以及报表生成、界面设计等工作。但编译程序设计者设计编译方案时，仍需精心考虑上述各项功能，较好地解决目标程序与这些实用程序或软件工具之间的配合与衔接等问题。 　　工作过程 编译程序必须分析源程序，然后综合成目标程序。为达到这个目的，编译程序要在分析阶段建立一些表格，改造源程序为中间语言形式，以便在分析和综合时易于引用和加工。 　　数据结构 分析和综合时所用的主要数据结构，包括符号表、常数表和中间语言程序。符号表由源程序中所用的标识符连同它们的属性组成，其中属性包括种类（如变量、数组、结构、函数、过程等）、类型（如整型、实型、字符串、复型、标号等），以及目标程序所需的其他信息。常数表由源程序中用的常数组成，其中包括常数的机内表示以及分配给它们的目标程序地址。中间语言程序是将源程序翻译成目标程序前引入的一种中间形式的程序，其表示形式的选择取决于编译程序以后如何使用它和如何加工它。常用的中间语言形式有波兰表示、三元组、四元组以及间接三元组等。 　　分析部分 源程序的分析是经过词法分析、语法分析和语义分析三个步骤实现的。词法分析由词法分析程序（又称为扫描程序 ）完成，其任务是识别单词（即标识符 、常数、保留字，以及各种运算符、标点符号等）、造符号表和常数表，以及将源程序换码为编译程序易于分析和加工的内部形式。语法分析程序是编译程序的核心部分，其主要任务是根据语言的语法规则，检查源程序是否合乎语法，并分解源程序。如果不合乎语法，则输出语法出错信息；如果合乎语法，则分解源程 序的语法结构， 构造中间语 言形式的内部程序。语法分析的目的是掌握单词是怎样组成语句的，以及语句又是如何组成程序的。语义分析程序进一步检查合法程序结构的语义正确性，其目的是保证标识符和常数的正确使用，把必要的信息收集和保存到符号表或中间语言程序中，并进行相应的语义处理。 　　综合部分 综合阶段根据符号表和中间语言程序产生出目标程序，其主要工作包括代码优化、存储分配和代码生成。代码优化是通过重排和改变程序中的某些操作，以产生更加有效的目标程序。存储分配是为程序和数据分配运行时的存储单元。 代码生成是产 生与中间语 言程序等价的目标程序，亦即，顺序加工中间语言程序，利用符号表和常数表中的信息生成一系列的汇编语言或机器语言指令。 　　动态 20世纪80年代以后，程序设计语言在形式化、结构化、直观化和智能化等方面有了长足的进步和发展，主要表现在两个方面：①随着程序设计理论和方法的发展，相继推出了一系列新型程序设计语言，如结构化程序设计语言、并发程序设计语言、分布式程序设计语言、函数式程序设计语言、智能化程序设计语言、面向对象程序设计语言等；②基于语法、语义和语用方面的研究成果，从不同的角度和层次上深刻地揭示了程序设计语言的内在规律和外在表现形式。与此相应地，作为实现程序设计语言重要手段之一的编译程序，在体系结构、设计思想、实现技术和处理内容等方面均有不同程度的发展、变化和扩充。另外，编译程序已作为实现编程的重要软件工具，被纳入到软件支援环境的基本层软件工具之中。因此，规划编译程序实现方案时，应从所处的具体软件支援环境出发，既要遵循整个环境的全局性要求和规定，又要精心考虑与其他诸层软件 工具之间的相互支援、配合和衔接关系。
请登录后再发表评论!}