LCC编译器的源程序分析(10)声明类型

上一次把声明的说明符已经分析得很清楚,也就是把C的变量和函数声明都已经了解了。最后还剩下一个问题没有解决,这个问题就是声明后面的ID是变量呢?还是函数?或者是指针?为了识别后面的ID,下面来看一个例子。如下的语句:
typedef unsigned int size_t;
这是第一行处理的代码,它通过函数specifier处理后,已经就把typedef、unsigned、int处理完成,还剩下size_t没有处理。从函数返回specifier后,接着几次递归调用才把它处理完成,现在就来看看分析这句语句的函数调用关系。如下所示:
#001 program
#002 decl(dclglobal)
#003 specifier
#004 dclr
#005 dclr1
程序先调用函数program,接着调用decl函数,紧跟着调用specifier和dclr,最后调用dclr1来分析,才完成这句语句的处理。其实像语句(typedef unsigned int size_t)只要调到specifier就已经差不多了,后面的dclr和dclr1大部分都是处理指针和函数的声明。
通过上面的分析,知道这几个函数的调用关系,心里已经有底了,但还需要更加深入去体会代码,才能真正地理解它。由于在dclr函数第一行就递归调用dclr1,因此需要先分析函数dclr1,再回来分析dclr函数。

#001 static Type dclr1(char **id, Symbol **params, int abstract)
#002 {
#003 Type ty = NULL;
#004
#005 switch (t)
#006 {
#007 case ID:
#008 if (id)
#009 {
#010 *id = token;
#011 }
#012 else
#013 {
#014 error("extraneous identifier ‘%s’\n", token);
#015 }
#016
#017 t = gettok();
#018 break;
第3行是定义返回类型。
第5行是通过识别当前的记号来处理后面的声明变量。比如在上面例子里的t,就已经是size_t,而size_t的记号是ID。因此第7行到18行,就是处理ID情况。
第10行是保存返回的ID字符串。
第14行是出错的提示。
第17行是取下一个记号。

下面的代码都处理更复杂的声明,现在先把它们放下,后面通过例子来解释就更加容易理解了。
#019 case '*':
#020 t = gettok();
#021 if (t == CONST || t == VOLATILE)
#022 {
#023 Type ty1;
#024 ty1 = ty = tnode(t, NULL);
#025
#026 while ((t = gettok()) == CONST || t == VOLATILE)
#027 ty1 = tnode(t, ty1);
#028
#029 ty->type = dclr1(id, params, abstract);
#030 ty = ty1;
#031 }
#032 else
#033 ty = dclr1(id, params, abstract);
#034
#035 ty = tnode(POINTER, ty);
#036 break;
#037 case '(':
#038 t = gettok();
#039 if (abstract
#040 && (t == REGISTER || istypename(t, tsym) || t == ')'))
#041 {
#042 Symbol *args;
#043 ty = tnode(FUNCTION, ty);
#044
#045 enterscope();
#046 if (level > PARAM)
#047 enterscope();
#048
#049 args = parameters(ty);
#050
#051 exitparams(args);
#052 }
#053 else
#054 {
#055 ty = dclr1(id, params, abstract);
#056 expect(')');
#057
#058 if (abstract && ty == NULL
#059 && (id == NULL || *id == NULL))
#060 return tnode(FUNCTION, NULL);
#061 }
#062 break;
#063 case '[': break;
#064 default: return ty;
#065 }
#066
#067 while (t == '(' || t == '[')
#068 {
#069 switch (t)
#070 {
#071 case '(': //函数声明。
#072 t = gettok();
#073 {
#074 Symbol *args;
#075 ty = tnode(FUNCTION, ty);
#076
#077 enterscope();
#078 if (level > PARAM)
#079 enterscope();
#080
#081 //分析参数列表。
#082 args = parameters(ty);
#083
#084 if (params && *params == NULL)
#085 *params = args;
#086 else
#087 exitparams(args);
#088 }
#089 break;
#090 case '[': //数据声明。
#091 t = gettok();
#092 {
#093 int n = 0;
#094 if (kind[t] == ID)
#095 {
#096 n = intexpr(']', 1);
#097 if (n <= 0)
#098 {
#099 error("‘%d’ is an illegal array size\n", n);
#100 n = 1;
#101 }
#102 }
#103 else
#104 expect(']');
#105
#106 ty = tnode(ARRAY, ty);
#107 ty->size = n;
#108 }
#109 break;
#110 default:
#111 assert(0);
#112 }
#113 }
#114 return ty;
#115 }
上面的函数分析例子size_t的ID后,就直在第114行返回类型ty,但ty是空的,因为它没有其它复合的类型在里面。
通过上面函数dclr1的处理,就把ID识别出来,那么这句语句(typedef unsigned int size_t;)已经完全分析完成,也就是完成语法的分析。

接着下来就返回到调用函数dclr,它的代码如下:
#001 //基本声明分析函数。
#002 static Type dclr(Type basety, char **id, Symbol **params, int abstract)
#003 {
#004 Type ty = dclr1(id, params, abstract);
#005
#006 for ( ; ty; ty = ty->type)
#007 {
#008
#009 switch (ty->op)
#010 {
#011 case POINTER:
#012 basety = ptr(basety);
#013 break;
#014 case FUNCTION:
#015 basety = func(basety, ty->u.f.proto,
#016 ty->u.f.oldstyle);
#017 break;
#018 case ARRAY:
#019 basety = array(basety, ty->size, 0);
#020 break;
#021 case CONST: case VOLATILE:
#022 basety = qual(ty->op, basety);
#023 break;
#024 default: assert(0);
#025 }
#026
#027 }
#028
#029 if (Aflag >= 2 && basety->size > 32767)
#030 warning("more than 32767 bytes in ‘%t’\n", basety);
#031
#032 return basety;
#033 }
#034
第4行里从函数dclr1返回来的ty是空的,因此for循环是不会运行的。
第11行到第13行是处理指针类型。
第14行到第17行是处理函数类型声明。
第18行是处理数组类型声明。
第21行是处理常量和不能删除类型声明。
在第32行里把传送入来的类型直接返回了。

通过上面两个函数的分析,肯定是完成了所有声明部份的处理,并且把声明的类型属性保存在basety返回。如果还不理解声明的类型属性,就可以看看前面的文章,已经介绍了类型初始化的类型结构定义,当然初始化的类型都是基本类型,但在这里是会有扩展类型的,主要保存在类型结构的type字段里。
时间又到了,下次再仔细地分析怎么样把分析出来的类型与ID保存到符号表里。

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License