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

在C语言里,指针是最灵活的数据类型,它具有低级语言的特点,高效快速,不过学会它就不是那么容易了。由于指针是直接面向机器的,也就是它是指向内存的地址,因此使用C来编写嵌入式软件,或者操作系统的软件是比较合适的选择。下面就来看例子里的指针语句,如下:
typedef char * va_list;
上面这句声明了va_list为char的指针类型的别名,那么在LCC里又是怎么样处理它的呢?
先识别typedef出来,接着就调函数decl(dclglobal),然后调用函数specifier来处理。在函数specifier里:
#001 //说明
#002 static Type specifier(int *sclass)
#003 {
#004 int cls, cons, sign, size, type, vol;
#005 Type ty = NULL;
#006
#007 cls = vol = cons = sign = size = type = 0;

#027 case STATIC:
#028 case EXTERN:
#029 case TYPEDEF:
#030 p = &cls;
#031 t = gettok();
#032 break;
#033

在第29行到第32行处理typedef记号,接着获取下一个记号,就是char,它也是在specifier函数里处理,如下:
#061 case VOID:
#062 case CHAR:
#063 case INT:
#064 case FLOAT:
#065 case DOUBLE:
#066 p = &type;
#067 ty = tsym->type;
#068 t = gettok();
#069 break;
由于char是关键字,所以在初始化类型时,已经建立起来,在词法分析里就可以找到它的符号信息tsym,因此在第67行就可以获取它的类型了。
接着下来再取下一个记号,它是’*’,在函数specifier里是没有处理的,直接就跳到下面的语句运行了:
#107 default:
#108 p = NULL;
在第108行里设置p为空,就从跳出了for循环,接着就从specifier里返回了CHAR的类型。
从那里返回后,就调用函数dclr处理,在那里再调用函数dclr1来处理。它的处理代码如下:
#001 static Type dclr1(char **id, Symbol **params, int abstract)
#002 {
#003 Type ty = NULL;
#004

#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;
在第19行里,就是处理指针的类型。
第20行获取下一个记号,在这句语句里就是ID(va_list)。因此在运行第33行的代码,再仔细地看一下第33行代码,它居然还是递归调用本函数dclr1。这就是递归下降的语法分析。由于指针又可以指向指针,这样的语法一定需要递归地分析的。在第二运行dclr1函数里,就运行到ID的处理代码:
#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;
在第10行里就可以返回ID(va_list),并返回空类型给第33行的ty。最后就是调用函数tnode来构造一个指针类型,这样就保存va_list到符号表里,并且声明它是char的指针类型。
在decl函数需要把前面分析出来的基本类型放到这个指针的类型里,它的处理代码如下:
#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;
第4行里返回指针的类型。
在第6行里就用for循环把所有类型添加到一个链表basety里。
在第11行到第13行是调用ptr来添加类型到链表。
在第32行就可以返回这个指针链表的类型,这样就可以给后面判断语法和语义了。

通过上面的代码就实现了指针类型的语法分析。

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