编译技术教学课件作者陈文宇02课件幻灯片.pptVIP

抽象语法树 结点类型 设计 建立抽象语法树 * typedef struct _ast ast; typedef struct _ast *past; struct _ast{ int ivalue; char* svalue; char* nodeType; past left; past right; }; 结点类型 结点指针类型 保存整数信息 保存字符串信息 结点类型 指向左子树 指向右子树 与 结点 相关函数设计 past newAstNode() 创建抽象语法树结点 past newNum(int value) 创建数值结点 结点中的ivalue被设置为value past newVarRef(char* name) 创建标识符结点 结点中的svalue被设置为name past newExpr(int oper, past left, past right) 创建一个表达式结点:ivalue表示运算符 left、right分别指向表达式的两个操作数 建立抽象语法树 * 建立了表达式a-4+c的抽象语法树 p1 = newVarRef( pa ); p2 = newNum( 4 ); p3 = newExpr( ‘-’, p1, p2); p4 = newVarRef( pc ); p5 = newExpr( ‘+’, p3, p4); 建立抽象语法树 * pa是指向标识符‘a’的指针 pc是指向标识符‘c’的指针 a或c是什么类型？ 局部变量？全局变量？ 建立语法树时需要填表 符号表的作用 登记符号属性值 查找符号的属性、检查其合法性 作为目标代码生成阶段地址分配的依据 符号（标识符）有哪些属性 变量：变量名、类型、值 函数：函数名、参数个数、参数类型，返回类型 “数据类型”对程序设计语言至关重要 语义分析 * “int a;” 意味着什么？ 数据类型 是“数据”的抽象 定义了一组值和一组操作 为什么需要“数据类型” 实现“数据抽象” 不用关心存储单元中二进制位串的意义 * 语义分析 之 数据类型 C语言实现“分数”运算？ 假如语言只支持位运算 “整数”运算如何进行？ 语义分析 之 基本类型 * 基本数据类型 不用其它类型来定义的数据类型 int, float, char, string, bool 整数 支持不同长度的整数类型 java中4种有符号整数 byte, short, int, long 大多数计算机中 负整数是如何表示的？ 二进制补码，为什么？ 0的二进制反码有几种？ 语义分析 之 基本类型 * 浮点数 实数的模拟，保持“近似值” 语言支持 两种浮点类型:float 和 double float：四个字节 double：八个字节 表示为小数和指数 大多数计算机中 浮点数是如何表示的？ IEEE 浮点标准754格式 语义分析 之 基本类型 * 布尔类型 只有“真”和“假”两个值 C, Java, C#, C++ 中的布尔类型？ 数值表达式是否可以当作布尔类型？ 布尔类型如何表示？（占几位？） C99，C++允许 Java, C#不允许 通常为一个字节。为什么？ 因为很多计算机 不能有效访问单个二进制位 语义分析 之 基本类型 * 总结：内部类型有以下优点 基本表示（二进制表示）的不可见 编译时类型检查 运算无二义检查 精度控制 对数据对象 类型和使用的操作 是否匹配的一致性检查 静态检查和动态检查 ①静态：编译时；使程序正确、有效 ②动态：运行时；影响可靠性、效率低 编程方便 * 语义分析 之 类型检查 语言按类型分类 无类型 没有类型定义 弱类型 所有类型检查在编译时完成 强类型 全部或部分类型检查在运行时完成 * 语义分析 之 类型检查 某种类型的值转换为另一种类型的值 语言应该提供类型转换机制 隐式(自动)转换 显式(强制)转换 * 语义分析 之 类型转换 混合运算 表达式给变量值赋 实参向函数形参传值 函数返回值 语义分析 之 类型转换 FORTRAN 类型转换的要求和规则都是隐式的 ADA 类型转换的要求和规则都是显式的 C 类型转换的要求和规则有隐式、显式 * 两种转换方式 ①拓展（扩大）:转换