5.9说明语句的翻译 ● 说明语句的作用是指明被说明的量的一些 具体属性，如类型、种属、存储分配特点及 其它属性等等。 。￥ 编译程序对说明语句进行处理的主要任务 是把有关属性填入符号表相应登记项中。 说明语句主要有变量定义（也称美型说明）语 句、数组说明语句及类型定义语句等
5.9 说明语句的翻译 • 说明语句的作用是指明被说明的量的一些 具体属性,如类型、种属、存储分配特点及 其它属性等等。 • 编译程序对说明语句进行处理的主要任务 是把有关属性填入符号表相应登记项中。 • 说明语句主要有变量定义(也称类型说明)语 句、数组说明语句及类型定义语句等
5.9.1美型说明语句的翻译 美型说明语句的常见形式为 <类型名><变量名表> 其中，类型名可以是程序设计语言提供的简单数据类型 名（如integer、.real、boolean等）或是程序员自 己定义的数据类型（如结构、联合类型等）的名字。 变量名表是以逗号隔开的变量或数组名。为了叙述方便， 我们假定简单类型名只有int、real、boolean三种 (其它简单类型的处理与其类似)，而自定义数据类型名 的处理将在5.9.2节中讨论。 我们假定数组名具有形式name[l:u1,l22,…3 nun],其中，，山(=1,2，.，n)为整型常数，且满足I <Uj
5.9.1 类型说明语句的翻译 类型说明语句的常见形式为 <类型名> <变量名表> 其中，类型名可以是程序设计语言提供的简单数据类型 名（如integer、real、boolean等）或是程序员自 己定义的数据类型（如结构、联合类型等）的名字。 变量名表是以逗号隔开的变量或数组名。为了叙述方便， 我们假定简单类型名只有int、real、boolean三种 (其它简单类型的处理与其类似),而自定义数据类型名 的处理将在5.9.2节中讨论。 我们假定数组名具有形式 name[l1 ..u1 , l2 ..u2 , … , ln ..un] ,其中， l i ,ui (i=1,2,…,n)为整型常数，且满足l i < ui
类型说明的属性翻译 文法 ·为了区分一般变量与指针，我们在符号表 中引入一个标志域IsPointer,当其为真 (=1)时表示该变量为指针，否则（=0〉 为一般变量。另外，我们假定指针变量的 定义形式与C语言相同
类型说明的属性翻译 文法 • 为了区分一般变量与指针，我们在符号表 中引入一个标志域IsPointer，当其为真 （=1）时表示该变量为指针，否则（=0） 为一般变量。另外，我们假定指针变量的 定义形式与C语言相同
Varable-iden {$$=Entry($1):/*变量在符号表中序号*/ VarList[$$].CAT=SimVar:/*种属为简单变量*/ VarList[$$].IsPointer:=0:/*指针标志*/ VarList[$$].ADDR=NULL;/*尚未分配内存空间，下同 */} |*?iden/*指针*/ {$$=Entry($1)/*变量在符号表中序号*/ VarList[$$].CAT=SimVar;/*种属为简单变量*/ VarList[$$].IsPointer=1;/*指针标志*/ VarList[$$].ADDR=NULL; } ArrayVar$=$1;}
Varable → iden {$$=Entry($1);/*变量在符号表中序号*/ VarList[$$].CAT=SimVar;/*种属为简单变量*/ VarList[$$].IsPointer=0;/*指针标志*/ VarList[$$].ADDR=NULL；/*尚未分配内存空间,下同 */} | ‘*’ iden /*指针*/ {$$=Entry($1);/*变量在符号表中序号*/ VarList[$$].CAT=SimVar;/*种属为简单变量*/ VarList[$$].IsPointer=1;/*指针标志*/ VarList[$$].ADDR=NULL; } | ArrayVar{$$=$1;}
ArrayMSG-iden number..number $$=Entry($1):VarList[$$].CAT=Arrayi/*种属为数组*/ VarLIst[$$].IsPointer=0;VarList[$$].ADDR->DIM=1;/* 记录维数；下面为内情向量申请空间，并填入第一维下标信息，其中，前两 个单元（下标为[0]和[1]）用来存放a、C之值（此时暂不填写），n值可 由DIM保存，因此不必另存。*/ VarList[$$].ADDR->Vector=malloc(5*sizeof(int)); VarList[$$].ADDR->Vector[2]=$3;/*第一维下界*/ VarList[$$].ADDR->Vector[3]=$5;/*第一维上界*/ VarList[$$].ADDR->Vector[4]=$5-$3+1/*第一维界差*/
ArrayMSG → iden [ number .. number { $$=Entry($1); VarList[$$].CAT=Array;/*种属为数组*/ VarLIst[$$].IsPointer=0; VarList[$$].ADDR->DIM=1; /* 记录维数;下面为内情向量申请空间，并填入第一维下标信息，其中，前两 个单元（下标为[0]和[1]）用来存放a、C之值 （此时暂不填写），n值可 由DIM保存，因此不必另存。*/ VarList[$$].ADDR->Vector=malloc(5*sizeof(int)); VarList[$$].ADDR->Vector[2]=$3;/*第一维下界*/ VarList[$$].ADDR->Vector[3]=$5;/*第一维上界*/ VarList[$$].ADDR->Vector[4]=$5-$3+1/*第一维界差*/ }