第5章 语义分析

7/114
常量名 类型名 变量名 函数名 过程名 域名 类型声明： TYPE idKind=( consKind, typeKind, varKind, funcKind，procKind, fieldKind ) 或 typedef enum {consKind, typeKind, varKind, funcKind，procKind, fieldKind } idKind;
在C语言中标识符可表示如下对象： 常量名 const int a=100; 类型名 typedef int b; 变量名 int c; 函数名 float d(int x) { … } 过程名 void e(char * y) { … } 域名 struct test{ float f; int g; };
一、类型的等价性和相容性 1.类型的等价性——按名等价、按结构等价 （1）按名等价
例如，假设有变量声明： int x, y; typedef int AA; AA z;
27/114
（2）按结构等价
例如，假设有变量声明： var a : array [1..10] of integer; b : array [1..10] of integer; 则将它视为如下的声明（a,b按结构等价）： type tp1 = array [1..10] of integer; tp2 = array [1..10] of integer; var a : tp1; b : tp2; 但如果写成下面形式，则认为a,b是按名等价： type tp = array [1..10] of integer; var a : tp; b : tp;
生同样的目标代码，而不需要区别对待。
19/114
例，假设有变量声明：
VAR x : ( a, b )
设被定义的枚举类型的内部表示是由tpPtr指向的。 a : AttributeIR( tpPtr, consKind( 0 ) ) b : AttributeIR( tpPtr, consKind( 1 ) ) x : AttributeIR( tpPtr, variKind( dir, Level, Off ) )
1
10 100 intPtr
100
rtPtr: 1001
arrayTy 1 recordTy realPtr 0 atPtr unionTy atPtr 1
x a
utPtr: 1001
^
s
u
rtPtr ^
17/114
四、运行时值的内部表示
表达式值或函数值
1.值的类型： 非结构类型（整数，布尔，字符，枚举, 实数，指针）
void CreateTable( ) { New(Table); Level=Level+1; Scope[Level]=Table;
Off=initOff;
} 例 void main() { int i=30; printf("1:%d\n",i); { int i=100; printf("2:%d\n",i); } printf("3:%d\n",i); }
intSize boolSize charSize realSize
realSize
intTy boolTy charTy realTy
voidTy
设intsize=boolsize=charsize=realsize=1
14/114
②非标准类型(Size属性) 枚举enum 数组array 记录record
例：RECORD j : integer ; r : RECORD END END j : integer; b: char
或
struct test1{ int j; char b; }; struct test2{ int j; struct test1 r ; };
10/114
假设有声明部分： CONST pai = 3.14； TYPE vector= ARRAY [1 .. 10] OF integer ； VARx , y：real; r , s：vector；
15/114
FieldType pointerTy
指针pointer
PointSize
例：at = ARRAY[1..10] OF ARRAY[1..100] OF integer; rt= RECORD x : real; a : at; END ut=union s:at; u:rt; end
第五章 语义分析
5.1 5.2 5.3 5.4 语义分析基础 符号表 类型表达式 声明的语义分析
5.5 执行体Body的语义分析
1/114
§5.1 语义分析基础
一、语义分析内容 1.静态语义、动态语义
动态语义：通过程序的执行才能检查的语义。 例如, int x, y, z; int a[5]; y=0; 类型是最重要的静态语义 cin>>x; z=z/y+z/x+a[5];
2/114
静态语义：在编译阶段(从程序文本上)可以检查的语义。
2.常见类型检查和语义检查
类型检查主要有以下几种:
各种条件表达式的类型是不是boolean型?
运算符的分量的类型是否相容?
赋值语句的左右部的类型是否相容?
形参和实参的类型是否相容? 下标表达式的类型是否为有序类型? 函数定义中的函数类型和返回值的类型是否相容?
23/114
■ 撤消符号表 ( DestroyTable ) 功能：层数减1，并撤消当前符号表。 void DestroyTable( )
{ Level=Level-1;
}
24/114
■ 登记符号表 ( Enter ) 功能：将给定id和属性Attrib登记到符号表中。在登记 时应检查在本层中是否有重复声明错误，为此引进了 变参Present，如果已有id项，则该变参返回true值。 void Enter( id, Attrib, Entry, Present ) ; ■ 设置属性 ( SetAttribField ) 功能：如果给定表项地址Entry、AttributeIR的一个域名 FieldName和相应域值FieldValue，则将Entry表项属性 的Field域置为FieldValue。
3/114
语义检查:
V[E]中的V是不是变量，而且是数组类型？ V.i中的V是不是变量，而且是记录类型(结构或联合)? i是不是 该记录类型中的域名? V-->中的V是不是指针或文件变量？ y+f(....)中的f是不是函数名?形参和实参是否一致（个数、类型、 类别）? p(....)语句中的p是不是过程名?形参和实参是否一致? 每个使用性标识符是否都有相应的声明?在同层内有无标识符 被声明多次? 标号是否有声明?有无重复声明和重复定位错误?有无非法转入 错误？ 子界类型中的下界和上界类型是否相容?下界是否小于等于上 4/114 界？
atPtr:
rtPtr:
utPtr:
16/114
例：at = ARRAY[1..10] OF ARRAY[1..100] OF integer; rt= RECORD x : real; a : at; END ut=union s:at; u:rt; end
atPtr: 1000 arrayTy
过函标识符(实在过函/形参过函) actual/formal
TypePtr routKind Level Parm Class Code？ Size？
Forward
TypePtr
routKind
Level
Parm
Class
Off
9/114
3.域名标识符——不登记在SymbTable表中，而 是登记在记录类型的内部表示中。
18/114
函数ord（）——返回每个常量值的相应序号
■ 整数常量: ord(N)=N；
■ 布尔常量: ord(false)=0，ord(true)=1；
■ 字符常量: ord(C)=ASCII码(C)； ■ 枚举常量: 设有枚举类型(D,A, B)，则有 ord(D)=0,ord(A)=1,ord(B)=2； 在生成有序类型值的关系运算等操作代码时，可产
3.语义分析的输入输出
标识符名表 (NameList)地址
标识符 输入TOKEN:（$id，idAddr）
输出NEW TOKEN：($id，Entry)
符号表 标识符的内部表示 4.语义分析的内容： 类型的内部表示 (SymbTable)地址
类型分析 值的内部表示 建立标识符相关信息 检查语义错误 构造标识符属性表（符号表）
20/114
§5.2 符号表
符号表 SymbTable 标识符名 符号表的主要操作：
符号表的建立与查找 符号表的局部化 符号表的界面
属性
21/114
符号表界面
•创建空符号表 •撤消符号表 •登 创建空符号表 ( CreateTable ) 功能: 建立一个空符号表Table，层数加1，并将所建符号 表地址压入Scope栈。
void FindEntry( id, Flag, Entry, Present );
■ 查询属性 ( FindAttrib )
功能：如果给定表项地址，则求出其属性值，并将其返回 给参数Attrib中。
void FindAttrib ( Entry, Attrib ）;
26/114
§5.3 类型表达式
pai vector x y r s
11/114
假设有声明部分： CONST pai = 3.14； TYPE vector= ARRAY [1 .. 10] OF integer ； VARx ,y：real; r ,s：vector；