LCC编译器的源程序分析(12)自定义类型的声明

语法分析是比较复杂的处理,下面再来分析一个例子,它的代码如下:
typedef unsigned short wchar_t;
typedef wchar_t wint_t;
第一句语句在LCC里的处理,前面已经解释清楚,主要生成wchar_t保存符号表里,并且记录这个ID的类型属性。
那么第二句是怎么样通过上面的函数来分析的呢?接下来就去分析C编译器怎么处理它。
与第一句语句一样,先识别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行里识别typedef作为存储类型,那么下一个wchar_t是怎么处理的呢?因为它是作为ID识别的,但它又自己定义的类型。其实奥秘就在词法分析函数gettok()里,现在再来回头去分析一下它,以前已经分析识别ID的代码,在这里就需要使用它了。函数gettok()部份代码如下:
#095 id:
#096 if (limit - rcp < MAXLINE) {
#097 cp = rcp - 1;
#098 fillbuf();
#099 rcp = ++cp;
#100 }
#101 assert(cp == rcp);
#102 token = (char *)rcp - 1;
#103 while (map[*rcp]&(DIGIT|LETTER))
#104 rcp++;
#105 token = stringn(token, (char *)rcp - token);
#106 tsym = lookup(token, identifiers);
#107 cp = rcp;
#108 return ID;
在第96行到第99行是重新填充字符缓冲区,以便识别完整的变量ID出来。
在第102行到第105行里,就获取ID的字符串,并保存到token里。
在第106行里查找这个ID是否已经声明,如果没有声明返回是空指令给tsym。
在第108行里返回ID这个记号来标识当前已经识别出一个ID了。
再仔细地看一下第106行,它通过函数lookup到符号表identifiers查找当前的ID是否已经声明,如果已经声明就返回给tsym保存。由于语句(typedef wchar_t wint_t;
)中的wchar_t在前面已经声明,那么这里的tsym肯定就是返回它了,这样就得到了wchar_t的类型属性了。有了类型属性,在函数specifier的处理代码如下:
#079 case ID:
#080 if (istypename(t, tsym) && type == 0
#081 && sign == 0 && size == 0)
#082 {
#083 use(tsym, src);
#084 ty = tsym->type;
#085
#086 if (isqual(ty) && ty->size != ty->type->size)
#087 {
#088 ty = unqual(ty);
#089
#090 if (isconst(tsym->type))
#091 ty = qual(CONST, ty);
#092
#093 if (isvolatile(tsym->type))
#094 ty = qual(VOLATILE, ty);
#095
#096 tsym->type = ty;
#097 }
#098
#099 p = &type;
#100 t = gettok();
#101 }
#102 else
#103 {
#104 p = NULL;
#105 }
#106 break;
由于在词法分析函数gettok()获取到了tsym,也就是已经声明的类型wchar_t,所以在第80行和第81行判断它是类型,而不是变量ID了,就进入第83行里面处理,并在第84行保存当前的类型ty,也就是wchar_t声明的类型。再获取下一个记号,它是wint_t,接着的处理就跟其它声明处理是一样的了,在specifier返回类型,在decl函数里保存到符号表identifiers。

现在再来总结一下处理语句(typedef wchar_t wint_t;),先识别typedef,接着通过词法分析里查找符号表可以知道wchar_t已经声明为类型,接着就可以保存wint_t到符号表,它的类型就是wchar_t所声明的类型。

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