语义分析时碰到的问题

Question

本帖最后由 kallytin 于 2010-10-06 16:19 编辑

具体如下：

primary_exp        :         ID
                |        CONSTANT
                |        STRING_LITERAL
                |        '(' exp ')'
                ;

postfix_exp :        primary_exp
                |        postfix_exp '[' exp ']'
                |        postfix_exp '(' ')'
                |        postfix_exp '(' arg_exp_list ')'
                |        postfix_exp '.' ID
                |        postfix_exp PTR_OP ID
                |        postfix_exp INC_OP
                |        postfix_exp DEC_OP
                ;

用肉眼看，是很容易将 primary_exp 与 postfix_exp 关联起来的，但如何通过程序实现呢？

例如：

postfix_exp '(' arg_exp_list ')' ， 这个一看就知道是 函数调用 时使用的表达式，而函数的名称可以通过 postfix_exp->primary_exp->ID 获得。但如果是通过程序来实现上述步骤，那该如何实现呢？ 详细一点说，在语义分析的时候，在对 postfix_exp 进行分析时，是需要检查 函数 是否已声明的。但这个函数名是要从 primary_exp 中取的，那该如何获取呢？

注：

我是用yacc进行语法分析的。yacc的语法文件只作语法分析及相关“数据结构”的构建使用。而语义分析是通过另外的 *.c 文件完成（根据语法分析时得到的“数据结构”来进行 语义分析）。

Answer 1

是的，因该会有一个符号表记录

Answer 2

用变量来存储一下已经解析出来的内容不就可以了?推荐hash table来存字符串
如果是一个函数之前无实现无声明,无调用,而规约成了调用,并且在hash table中没有,就做掉它

Answer 3

在识别到一个postfix_exp :        primary_exp的时候， primary_exp的属性都计算完了，primary_exp比如会有个属性表示是ID还是什么，就说是ID吧，那它会有对应的token，根据它查符号表就能知道symbol了，或者直接就存在某个属性中了

对于 postfix_exp: postfix_exp '(' arg_exp_list ')'

类似，postfix_exp是不是primary_exp会有个标志，如果是，那有个字段指向primary_exp的指针

所以当发现一个函数调用的时候，最终能找到这个函数名字，查找符号表（你说的检查是否声明），如果没有出现，就会插入一个声明 int fun();

Answer 4

yacc？突然感觉有点陌生了，我先干点正事，回头再来看看

Answer 5

回复 1# kallytin

先顶一下