LCC编译器的源程序分析(14)结构类型的声明
来源:互联网 发布:黑客免杀攻防python 编辑:程序博客网 时间:2024/05/04 14:11
以前都是简单类型的识别和语法分析,现在来分析结构的声明,它是比较复杂的一种数据类型,但结构在编写程序中使用是非常多的。由于程序的方程式就是:
数据结构+算法=程序
现在面向对象的方程式是:
数据结构+算法=对象
对象+对象=程序
由上面的公式,就可以看出程序中的数据结构是非常重要的,无论是面向对象的编程,还是面向过程的编程,有什么样的数据结构,就需要有什么样算法。而在C语言里,使用结构类型来描述现实中需要的抽象模型。例子里的结构声明如下:
struct _iobuf {
char *_ptr;
int _cnt;
char *_base;
int _flag;
int _file;
int _charbuf;
int _bufsiz;
char *_tmpfname;
};
typedef struct _iobuf FILE;
这是声明一个文件对象结构。现在就来分析一下LCC编译器是怎么样进行结构的语法分析的。先用调函数decl(dclglobal),然后调用函数specifier,在函数specifier就会处理结构的声明,它的代码如下:
#001 static void decl(Symbol (*dcl)(int, char *, Type, Coordinate *))
#002 {
#003 int sclass;
#004 Type ty, ty1;
…
#074 case STRUCT:
#075 case UNION:
#076 p = &type;
#077 ty = structdcl(t);
#078 break;
上面结构定义和联合的识别,这也是比较复杂的类型,所以也调用structdcl来进一步处理结构体。为了仔细地了解结构的语法分析,就需要分析函数structdcl的代码,如下:
#001 //结构声明处理。
#002 static Type structdcl(int op)
#003 {
#004 char *tag;
#005 Type ty;
#006 Symbol p;
#007 Coordinate pos;
#008
#009 t = gettok();
#010 pos = src;
#011 if (t == ID)
#012 {
#013 tag = token;
#014 t = gettok();
#015 }
#016 else
#017 tag = "";
#018
#019 //结构的定义开始。
#020 if (t == '{')
#021 {
#022 static char stop[] = { IF, ',', 0 };
#023 ty = newstruct(op, tag);
#024 ty->u.sym->src = pos;
#025 ty->u.sym->defined = 1;
#026
#027 t = gettok();
#028 if (istypename(t, tsym))
#029 {
#030 //结构成员定义。
#031 fields(ty);
#032 }
#033 else
#034 {
#035 error("invalid %k field declarations/n", op);
#036 }
#037
#038 test('}', stop);
#039 }
#040 else if (*tag && (p = lookup(tag, types)) != NULL
#041 && p->type->op == op)
#042 {
#043 ty = p->type;
#044 if (t == ';' && p->scope < level)
#045 ty = newstruct(op, tag);
#046 }
#047 else
#048 {
#049 if (*tag == 0)
#050 error("missing %k tag/n", op);
#051 ty = newstruct(op, tag);
#052 }
#053
#054 if (*tag && xref)
#055 use(ty->u.sym, pos);
#056
#057 return ty;
#058 }
处理struct之后,接着就要处理结构的名称,在这个例子里是_iobuf,它是在第9行里获取到这个记号,然后在第11行里保存_iobuf到变量tag里。tag也有可能是空的情况,比如像下面的语法:
typedef struct { int a; } A;
上面的语法就是在第17行里处理这种情况的。
在第20行到39行里,主要处理结构字段定义。像结构_iobuf中的定义,就是处理下面的语句:
{
char *_ptr;
int _cnt;
char *_base;
int _flag;
int _file;
int _charbuf;
int _bufsiz;
char *_tmpfname;
}
在第23行里创建结构的类型ty,然后在第28行里判断语句是否类型开始的记号,如果不是就是出错的定义。如果是类型,比如像例子里的char,就需要调用函数fields(ty)来处理所有的字段定义。
接着下来就需要去分析fields的代码,下一次再带你去分析它吧。
- LCC编译器的源程序分析(14)结构类型的声明
- [转载]LCC编译器的源程序分析(14)结构类型的声明
- LCC编译器的源程序分析(12)自定义类型的声明
- LCC编译器的源程序分析(13)指针类型的声明
- LCC编译器的源程序分析(10)声明类型
- [转载]LCC编译器的源程序分析(10)声明类型
- LCC编译器的源程序分析(15)结构类型成员的声明
- [转载]LCC编译器的源程序分析(15)结构类型成员的声明
- LCC编译器的源程序分析(9)声明分析
- [转载]LCC编译器的源程序分析(9)声明分析
- LCC编译器的源程序分析(14)(15)
- [转载]LCC编译器的源程序分析(12)自定义类型的声明
- [转载] LCC编译器的源程序分析(13)指针类型的声明
- LCC编译器的源程序分析(16)函数的声明
- LCC编译器的源程序分析(17)参数变量的声明
- LCC编译器的源程序分析(21)局部变量的声明
- [转载]LCC编译器的源程序分析(16)函数的声明
- LCC编译器的源程序分析(11)声明与符号表
- WinForm中刷新其他页面的方法
- 人生的100句至理名言
- XML的简单读取与写入
- N种方案
- 人未老先衰的心理行为表现有十种
- LCC编译器的源程序分析(14)结构类型的声明
- Joe Canadian
- 扭曲的空间和扭曲的能量场
- linux下软件安装与卸载(一)
- 小而强大的视频工具AsfTools
- 什么是XML
- J2EE学习
- hibernate简单分页
- 一个古老的面试题给我们的思考