【正文】 lse begin emit(:=[]) end} 辛明影 58 一個空的 offset表示一個簡單的名字： 6． L→ld （ :=。:=null} 5． L→Elist] ｛ :=newtemp。 emit（ :=－ c) :=newtemp。 emit（ :=w*)} 辛明影 59 應(yīng)用遞歸公式掃描下一個下標表達式 7． Elist→Elist 1,E {t：＝ newtemp。 m： ＝ Elist1． ndim＋ 1； emit（ t = * limit （ ,m）） ； emit（ t = t ＋ ） ； ：＝ Elist1． array。 ： =t。 ：＝ m｝ em1*dm em1*dm+im 辛明影 60 8． Elist→id[E ｛ :=。 :=1： ：＝ } 例 :設(shè) A為一個 10*20的數(shù)組， C=（（ l1*n2）＋ l2） *w =(1*20 ＋ 1） *4＝ 84。 設(shè) w＝ 4， 若數(shù)組第一個元素為 A[1， 1] 。則有， 即 n1=10, n2= 20。 辛明影 61 S L X = E L E ] EList , E A [ E L y L z act61 act62 act41 act63 act7 act5 act43 act42 act1 act8 acc0 M ε 對賦值語句 x： = A[y,z]的帶注釋的分析樹如圖所示。 辛明影 62 Act61 act0 Act62 act41 Act8 Act63 Act42 Act7 Act5 Act43 act1 遍歷后得屬性計算順序： act61 非終結(jié)符的屬性值 x null 四元式表 act62 y null act41 y act8 y 1 A act63 z null act42 z act7 2 t1=y*20 t1=t1+z t1 2 act5 t2=A84 t3=4*t1 t3 act43 t4=t2[t3] t2 act1 act0 t4 x null X=t4 m 6． L→ld （ :=。:=null} 0 M→ ε = = 6． （ .place: 。 .offset: null} 4｛ if ＝ null (E→L ) then :＝ else :=newtemp。 emit(39。:=39。39。[39。]39。) } 8． Elist→id[E ｛ :=。 :=1： ：＝ } 6． L→ld （ .place: 。 .of set: null。} 4．｛ if ＝ null (E→L） then :＝ else . lac := e te ； emit(39。:=39。L. lace39。[39。]39。) } 7 {t：＝ newtemp。 (Elist→Elist1,E ) m： ＝ Elist1． ndim＋ 1； emit（ t39。 ： = 39。 39。*39?！? limit （ ,m））； emit（ t 39。 ： = ’ t 39。 ＋’ .place）； ：＝ Elist1． array。 ： =t。 ：＝ m｝ 5． ｛ :=newtemp。 (L→Elist]) emit（ 39。:=39。39。－ 39。 c) t:=newtemp。 emit（ 39。:=39。w39。*39。)} 4．｛ if .of set＝ null ) then .place:＝ .place else :=newtemp。 emit(39。:=39。39。[ fset39。]39。) } 1｛ S. o fset＝ ull (S→L ：＝ E ) then emit(39。 ：＝ 39。 ) else emit（ 39。[39。39。] ： = 39。 E. Place） } 辛明影 63 該賦值語句在由底向上的分析中被翻譯成如下三地址語句序列： t1： = y*20 t1： = t1＋ z t2： = A84 t3: = 4*t1 t4： = t2[t3] x : = t4 注意： 8 4都是編譯中引入的常量。 辛明影 64 編譯程序內(nèi)部把 p表示為： pointer（ record（ t）） ，域名 info將可以在 t所指向的符號表中查找。 例如：表達式： p↑ ． info＋ 1 變量 P是一個指向某個記錄類型的指針，info 為其中一個算術(shù)型類型的域名。 編譯器將記錄的域的類型和相對地址保存在相應(yīng)域名的符號表表項之中，可以把用在符號表中查找名字的程序同樣用來查找域名。 四、 訪問記錄中的域 辛明影 65 TYPE p link=? node。 node=RECORD info info:integer。 next next:link END。 VAR p:link。 取 L (level, offsetp) 取 L 0(L)