编译原理(4)语义_4(数组元素、过程、说明语句的翻译).pptVIP

4.8 说明语句的翻译 4.8.1 变量说明的翻译 说明语句的功能是说明源程序中每一个名字及其性质。 文法1： 文法2： G[D]: D→ int namelist | float namelist namelist → namelist,i | i G[D]: D→ D,i | int i | float i (1) D→ int i {fill(i, int); D.att = int;} 缺点：变量列表先规约成namelist,最后才能确定变量的类型 优点：每扫描一个变量，就可以确定其类型，添加到符号表 语义子程序： (2) D→ float i {fill(i, float); D.att = float;} (3) D→ D(1) ,i {fill(i, D(1).att); D.att = D(1).att;} 4.8 说明语句的翻译 4.8.2 数组说明的翻译 文法： 处理数组说明，需要将数组的信息存储在“内情向量表”中： G[D]: D→ int namelist | float namelist namelist → namelist,V | V V → i[elist] | I elist → elist,E | E E → E+E | (E) | i 符号表 内情向量表 4.8 四元式示例（函数调用） void f(double d){ double x = 3.0; return; } int f(int d){ d = d*d; return d; } double f(int x, double b){ return b; } void main(){ double c,b,d[5]; int x,y,z[3]; c = f(x,b) + z[1]++; } 1: (=, 3.0, _, x ) 2: (Jr, _, _, 3 ) 3: (*, d, d, T1 ) 4: (=, T1, _, d ) 5: (Jr, _, _, 6 ) 6: (Jr, _, _, 7 ) 7: (para, x, _, _ ) 8: (para, b, _, _ ) 9: (call, f, _, T2 ) 10: (=, 1, _, T3 ) 11: (-, z, 0, T4 ) 12: (=[], T4[T3], _, T5 ) 13: (+, T4[T3], 1, T4[T3] ) 14: (+, T2, T5, T6 ) 15: (=, T6, _, c ) 第 12 讲 西北农林科技大学本科教程 主讲教师：赵建邦 第四章 语义分析和中间代码生成 4.1 语义分析概述 4.2 属性文法 4.3 几种常见的中间语言 4.4 表达式及赋值语句的翻译 4.5 控制语句的翻译 4.6 数组元素的翻译 4.7 过程或函数调用语句的翻译 4.8 说明语句的翻译 4.9 递归下降语法制导翻译方法简介 第四章《语义分析和中间代码生成》 4.6 数组元素的翻译 4.7 过程或函数调用语句的翻译 4.8 说明语句的翻译 重点掌握 二维数组赋值语句的翻译 本讲目标 4.6 数组元素的翻译 关于数组 数组是用来存储一批同类型数据的数据结构，数组中的每一个元素具有同样长度的存储空间。 如果在编译时就知道一个数组存储空间的大小，则称其为静态数组，否则为动态数组。 例： int a[3][4]; a[2][1] = 5; void *malloc(unsigned int size); void *calloc(unsigned int num, 　unsigned int size); 我们主要讨论静态数组元素的引用如何翻译。关键问题： 1.数组元素的地址计算方法 2.数组元素的表示 4.6 数组元素的翻译 4.6.1 数组元素的地址计算及中间代码形式 数组元素的地址计算 数组元素的存放方式决定了数组元素的地址计算方法，地址计算方法决定了数组元素四元式的产生形式。 数组元素的存放方式：按行存放和按列存放。 我们主要讨论按行存放的数组元素地址计算方法。 1 2 3 4 5 6 7 8 9 A= 1 2 3 4 5 6 7 8 9 1 4 7 2 5 8 3 6 9 4.6 数组元素的翻译 1(a) 2 3 4 i1 A: l1 u1 关键问题： 的地址是什么？ 4.6 数组元素的翻译 1 2 3 4 5 6 7 8 9 10 11 12 A= A[3,3]的