声明语句的翻译教学课件市公开课一等奖百校联赛特等奖课件.pptx

4.44.4申明语句翻译申明语句翻译申明语句翻译申明语句翻译1.变量定义与申明变量定义与申明2.过程定义与申明过程定义与申明1第1页24.4 4.4 申明语句翻译申明语句翻译申明语句翻译申明语句翻译3.作用域信息保留过程作用域与程序块类似，在允许嵌套定义过程程序设计语言中，相同名字能够同时出现在不一样作用域中，所以有必要讨论怎样设计符号表来存放它们。此处讨论过程作用域，一样恪守静态作用域和最近嵌套标准。第2页34.4 4.4 申明语句翻译申明语句翻译申明语句翻译申明语句翻译定义定义4.2(嵌套深度)设主程序(最外层过程)嵌套深度dmain=1，则若过程A直接嵌套定义过程B，则dB=dA+1；变量申明时所在过程嵌套深度，被认为是该变量嵌套深度。与程序块相比，有两点不一样，使得过程申明处理复杂：过程头是一个名字，可象引用变量一样被调用程序块执行与静态一致，而过程不一致。1voidmain()2inta=0,b=0;/B03intb=1;/B14inta=2,c=4,d=5;/B27intb=3;/B31112voidswap(int&x,int&y)inttemp;temp=x;x=y;y=temp;第3页4例4.14快排序Pascal程序：programsort(input,output);vara:array0.10ofinteger;x:integer;procedurereadarray;vari:integer;beginfori:=1to9doread(ai)endreadarray;procedureexchange(i,j:integer);beginx:=ai;ai:=aj;aj:=x;endexchange;procedurequicksort(m,n:integer);vari,v:integer;functionpartition(y,z:integer):integer;vari,j:integer;begin.a.;.v.;.exchange(i,j);.endpartition;beginif(nm)thenbegini:=partition(m,n);quicksort(m,i-1);quicksort(i+1,n)end;endquicksort;begina0:=-9999;a10:=9999;readarray;quicksort(1,9)endsort.过程过程变量变量 深度深度sorta,x1readarrayi2exchange2quicksorti,v2partitioni,j3第4页54.4 4.4 申明语句翻译申明语句翻译申明语句翻译申明语句翻译嵌套关系树形表示F过程定义为节点F节点a是节点b父亲，当且仅当过程b直接嵌套在过程a中过程过程变量变量 深度深度sorta,x1readarrayi2exchange2quicksorti,v2partitioni,j3第5页64.4 4.4 申明语句翻译申明语句翻译申明语句翻译申明语句翻译符号表中作用域信息F过程定义文法(忽略了参数)PD(1)DD;D(2)|id:T(3)|procid;D;S(4)过程是一个申明语句能够申明若干个过程（变量）变量申明，T是type过程定义，S是可执行语句T是类型（整型，实型等）细节忽略S是一个可执行语句（赋值、控制语句等）细节忽略第6页74.4 4.4 申明语句翻译申明语句翻译申明语句翻译申明语句翻译嵌套过程中名字作用域信息，使用有嵌套结构符号表保留。每个过程被认为是一个子符号表，或者是符号表中一个节点。嵌套节点之间用双向链连接，正向链指示过程嵌套关系，逆向链实现按作用域对名字进行访问。快速排序沿着逆向链访问不到名字，作用域不相交第7页84.4 4.4 申明语句翻译申明语句翻译申明语句翻译申明语句翻译F在过程申明时要做工作之一是在（语法）分析过程中逐步生成符号表，并将正确内容填写进符号表对应栏目旧文法：PD(1)DD;D(2)|id:T(3)|procid;D;S(4)修改文法，在定义D之前生成符号表(LR分析)PMD(1)DD;D(2)|id:T(3)|procid;ND;S(4)M(5)N(6)第8页94.4 4.4 申明语句翻译申明语句翻译申明语句翻译申明语句翻译b)全程量、属性与语义函数1.全程量：有序对栈(tblptr,offset)(符号表节点指针,符号表节点所需宽度)2.栈上操作：push(t,o)、pop、top(stack)3.语义函数与过程：函数mktable(previous)：建立一个新符号表，返回指向符号表指针。previous是逆向链，指向前一符号表(外层)。过程enter(table,name,type,offset)：在table指向节点中为名字name建立新条目，包含名字类型和存放位置等。过程addwidth(table,width)：计算table节点中全部条目标累加宽度，并统计在table头部信息中。过程enterproc(table,name,newtable)：为过程name在table指向节点中建立一个新条目。参数newtable是正向链，指向name过程本身符号表节点。第9页104.4 4.4 申明语句翻译申明语句翻译申明语句翻译申明语句翻译c)语义规则(1)PMDaddwidth(top(tblptr),top(offset);pop;(2)Mt:=mktable(null);push(t,0,);(3)DD;D(4)Did:Tenter(top(tblptr),id.name,T.type,top(offset);top(offset):=top(offset)+T.width;(5)Dprocid;ND1;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),id.name,t);(6)Nt:=mktable(top(tblptr);push(t,0);第10页114.4 4.4 申明语句翻译申明语句翻译申明语句翻译申明语句翻译d)语法制导翻译过程procsort;a:array10ofint;x:int;procreadarry;i:int;read(a);readarrayPMD(1)DD;D(2)|id:T(3)|procid;ND;S(4)M(5)N(6)t1t2t3第11页12(1)M1t1:=mktable(null);push(t1,0);nullt1 0t1第12页13(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);nullt1 0t2 0t1t1t2第13页14(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4nullt1 0t2 0t1t1t2第14页15(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40nullt1 0t2 0t1t1t2第15页16(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2，top(offset):=40nullt1 0t2 0aarr,0t1t1t2t2 40第16页17(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4nullt1 0t2 40aarr,0t1t1t2第17页18(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4(7)D2x:T3(x,int,40)填进t2所指节点，top(offset):=44nullt1 0t2 40aarr,0 xInt,40t1t1t2t2 44第18页19(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4(7)D2x:T3(x,int,40)填进t2所指节点，top(offset):=44(8)N2t3:=mktable(top(tblptr);push(t3,0);nullt1 0t2 44t1t2t3t3 0aarr,0 xInt,40t1t2第19页(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4(7)D2x:T3(x,int,40)填进t2所指节点，top(offset):=44(8)N2t3:=mktable(top(tblptr);push(t3,0);(9)T4intT4.type=integer,T4.width=420nullt1 0t2 44t1t2t3t3 0aarr,0 xInt,40t1t2第20页21(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4(7)D2x:T3(x,int,40)填进t2所指节点，top(offset):=44(8)N2t3:=mktable(top(tblptr);push(t3,0);(9)T4intT4.type=integer,T4.width=4(10)D3i:T4(i,int,0)填进t3所指节点，top(offset):=4nullt1 0t2 44aarr,0 xInt,40t1t1t2iint,0t2t3t3 4t3 0第21页22(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4(7)D2x:T3(x,int,40)填进t2所指节点，top(offset):=44(8)N2t3:=mktable(top(tblptr);push(t3,0);(9)T4intT4.type=integer,T4.width=4(10)D3i:T4(i,int,0)填进t3所指节点，top(offset):=4(11)D4procreadarrayN2D3;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),readarray,t);nullt1 0t2 44aarr,0 xInt,40t1t1t24iint,0t2t3t3 4第22页23(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4(7)D2x:T3(x,int,40)填进t2所指节点，top(offset):=44(8)N2t3:=mktable(top(tblptr);push(t3,0);(9)T4intT4.type=integer,T4.width=4(10)D3i:T4(i,int,0)填进t3所指节点，top(offset):=4(11)D4procreadarrayN2D3;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),readarray,t);nullt1 0t2 44aarr,0 xInt,40t1t1t24iint,0t2t3第23页24(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4(7)D2x:T3(x,int,40)填进t2所指节点，top(offset):=44(8)N2t3:=mktable(top(tblptr);push(t3,0);(9)T4intT4.type=integer,T4.width=4(10)D3i:T4(i,int,0)填进t3所指节点，top(offset):=4(11)D4procreadarrayN2D3;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),readarray,t);nullt1 0t2 44aarr,0 xInt,40readarrayt3t1t1t24iint,0t2t3第24页25(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4(7)D2x:T3(x,int,40)填进t2所指节点，top(offset):=44(8)N2t3:=mktable(top(tblptr);push(t3,0);(9)T4intT4.type=integer,T4.width=4(10)D3i:T4(i,int,0)填进t3所指节点，top(offset):=4(11)D4procreadarrayN2D3;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),readarray,t);(14)D7procsortN1D6;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),sort,t);nullt1 0t2 4444aarr,0 xInt,40readarrayt3t1t1t24iint,0t2t3第25页26(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4(7)D2x:T3(x,int,40)填进t2所指节点，top(offset):=44(8)N2t3:=mktable(top(tblptr);push(t3,0);(9)T4intT4.type=integer,T4.width=4(10)D3i:T4(i,int,0)填进t3所指节点，top(offset):=4(11)D4procreadarrayN2D3;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),readarray,t);(14)D7procsortN1D6;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),sort,t);nullt1 044aarr,0 xInt,40readarrayt3t1t1t24iint,0t2t3第26页27(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4(7)D2x:T3(x,int,40)填进t2所指节点，top(offset):=44(8)N2t3:=mktable(top(tblptr);push(t3,0);(9)T4intT4.type=integer,T4.width=4(10)D3i:T4(i,int,0)填进t3所指节点，top(offset):=4(11)D4procreadarrayN2D3;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),readarray,t);(14)D7procsortN1D6;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),sort,t);sortt2nullt1 0t14iint,0t2t344aarr,0 xInt,40readarrayt3t1t2第27页28(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4(7)D2x:T3(x,int,40)填进t2所指节点，top(offset):=44(8)N2t3:=mktable(top(tblptr);push(t3,0);(9)T4intT4.type=integer,T4.width=4(10)D3i:T4(i,int,0)填进t3所指节点，top(offset):=4(11)D4procreadarrayN2D3;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),readarray,t);(14)D7procsortN1D6;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),sort,t);(15)PM1D7addwidth(top(tblptr),top(offset);pop;0sortt2nullt1 0t14iint,0t2t344aarr,0 xInt,40readarrayt3t1t2第28页29(1)M1t1:=mktable(null);push(t1,0);(2)N1t2:=mktable(top(tblptr);push(t2,0);(3)T1intT1.type=integer,T1.width=4(4)T2array10ofT1T2.type=array(10,int),T2.width=40(5)D1a:T2(a,arr,0)填进t2所指节点，top(offset):=40(6)T3intT2.type=integer,T2.width=4(7)D2x:T3(x,int,40)填进t2所指节点，top(offset):=44(8)N2t3:=mktable(top(tblptr);push(t3,0);(9)T4intT4.type=integer,T4.width=4(10)D3i:T4(i,int,0)填进t3所指节点，top(offset):=4(11)D4procreadarrayN2D3;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),readarray,t);(14)D7procsortN1D6;St:=top(tblptr);addwidth(t,top(offset);pop;enterproc(top(tblptr),sort,t);(15)PM1D7addwidth(top(tblptr),top(offset);pop;0sortt2nullt14iint,0t2t344aarr,0 xInt,40readarrayt3t1t2第29页304.5 4.5 简单算术表示式与赋值句简单算术表示式与赋值句简单算术表示式与赋值句简单算术表示式与赋值句 讨论所基于文法：Aid:=EEE+E|E*E|-E|(E)|idF简单变量语法制导翻译简单变量语法制导翻译属性.place：存放E变量名地址(符号表中地址或暂时变量)过程emit()：生成result:=arg1oparg2三地址码。(1)Aid:=Eemit(entry(id.name):=E.place)(2)EE1+E2 E.place:=newtemp；emit(E.place:=E1.place+E2.place)(3)EE1*E2 E.place:=newtemp；emit(E.place:=E1.place*E2.place)(4)E-E1E.place:=newtemp；emit(E.place:=-E1.place)(5)E(E1)E.place:=E1.place(6)EidE.place:=entry(id.name)第30页314.5 4.5 简单算术表示式与赋值句简单算术表示式与赋值句简单算术表示式与赋值句简单算术表示式与赋值句 F变量变量(内部内部)类型转换类型转换强制(coercion)：按照一定标准，将不一样类型变量在内部转换为相同类型，然后进行同类型变量计算。属性.mode：取值int或real表示式EE1opE2类型判定树：运算转换标准赋值转换标准 第31页324.5 4.5 简单算术表示式与赋值句简单算术表示式与赋值句简单算术表示式与赋值句简单算术表示式与赋值句 三地址码：T:=itrE：将E从整型变为实型，结果存放T中T:=rtiE：将E从实型变为整型，结果存放T中语义规则(加入类型转换之后)：Aid:=Etmode:=entry(id.name).mode;iftmode=E.modethenemit(entry(id.name):=E.place);elseT:=newtemp;iftmode=intthenemit(T:=rtiE.place);elseemit(T:=itrE.place);endif;emit(entry(id.name):=T);endif;第32页334.5 4.5 简单算术表示式与赋值句简单算术表示式与赋值句简单算术表示式与赋值句简单算术表示式与赋值句 EE1opE2 T:=newtemp；E.mode:=real;ifE1.mode=intthen ifE2.mode=intthenemit(T:=E1.placeOPiE2.place);E.mode:=int;elseU:=newtemp;emit(U:=itrE1.place);emit(T:=UOPrE2.place);endif;else ifE2.mode=intthenU:=newtemp;emit(U:=itrE2.place);emit(T:=E1.placeOPrU);elseemit(T:=E1.placeOPrE2.place);endif;endif;E.place:=T;其它语义规则看教材197第33页344.5 4.5 简单算术表示式与赋值句简单算术表示式与赋值句简单算术表示式与赋值句简单算术表示式与赋值句 例4.17x:=-a*b+c语法制导翻译，x、a、b是整型数，c是实型数。序号产生式 中间代码(1)E1a(2)E2-E1 t1:=-a(3)E3b(4)E4E2*E3t2:=t1*ib(5)E5c(6)E6E4+E5t4:=itrt2t3:=t4+rc(7)Ax:=E6t5:=rtit3x:=t5.int.int.int.int.int.int.real.real.int(itor.int(itor).real(rtoi).real(rtoi)第34页FP241:4.5,4.735第35页