到目前为止 完成了词法分析 语法分析 抽象语法生成的全部内容 。
记录以下出现的问题
问题一
书上提到貌似多余的一条规则，书上只是指出了和哪一条规则是相关的
但是并没有进行说明具体是哪一条规则
但是实践中 问题自然的出现了
有以下的文法规则
0 exp -> id[ exp ] of exp
1 exp -> lvalue
2 lvalue -> lvalue [ exp ]
3 lvalue -> id
试想 当读取到一个id 的时候 会有 规约（为lvalue）/移进(exp规则) 冲突
规约为 lvalue 后 后一个字符仍可能是 [
移进为 0 时 后一个字符可以是 [
这里是因为这个id 过早的判断了究竟是lvalue 还是一个 exp 的部分
于是就只要推迟这个判断的时间就行了 通过添加下面的文法规则即可
4 lavlue -> id [ exp ]
添加了这个文法规则以后 虽然 规约 移进冲突仍然会发生，但是yacc 默认选择的是移进
相比之前 选择移进丢失了规约成 lvalue 的可能，这样处理就将判断时刻推迟了许多
这样就就是看似多余的一条文法规则了
问题二
文件的组织，
这里我简单复述一下
词法分析器由 flex 生成
语法分析器由 yacc 生成
具体的生成顺序可见 makefile
语法分析器中声明乐 yylex 作为提取 token 的函数
语义绑定通过 %union 指定一个联合体
yacc 生成的 y.tab.c 中实际上生成了一个结构 这个结构也就是 yylval 的类型
作为绑定 token 的东西
实际上 ID String 的语义值绑定在 词法分析阶段就完成乐
具体的组织见代码
问题三
递归定义和嵌套 （包括函数和类型两种）
这里做了一个假设化的假定 假定只有 相邻的函数或定类型定义会涉及嵌套
问题四
seqexp 的问题
在 let decs in expseq end 文法中的时候
注意首先 这里是 expseq (在说明中明确了这里没有分号)
但是自然意义上的 expseq 是exp 的组合 也就是说一定会有这样一条语法
exp - > ( expseq )
但是给出的 A_LetExp 中接受的是 exp 类型 不是 Explist
这里采用的方法也是 一样使用提前嵌套的方式
问题五
重名文题
给出的辅助头文件有几个名字迷惑性太大
比如 fundc系列的
还有NameTy 系列的
建议或一个图梳理一下具体的关系