Lyt
posts - 16,comments - 61,trackbacks - 0

在完成语法分析之后,最近在做树的类型检查,本来以为很简单,还是遇到了以下问题:

1.不明确符号表的作用,于是在没有符号表的情况下进行类型检查

2.没有意识到类型检查包括以下几个方面:

(1)变量是否被重定义

(2)函数是否被重定义

(3)变量是否定以后才使用

3.现在还是不知道到底是先有符号表还是先有类型检查

一方面觉得符号表可以帮助类型检查,另一方面又觉得如果类型检查出错了符号表的存在就没意义了。刚刚试过把当前函数指针一起传进类型检查函数,发现操作过程太冗余了,于是决定重写,先生成符号表再进行类型检查。

4.变量定义跟变量充当表达式到底是一个类还是两个类

 

初步考虑符号表包含变量定义与参数,详细信息包括:

1.标识符:字符串

2.值:字符串

3.类型:const int

4.偏移量:const int,用于虚拟机

posted on 2009-04-01 23:27 Lyt 阅读(531) 评论(0)  编辑 收藏 引用

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理