lv4-const-n-var/var-n-assign

[giscus[bot]]

lv4-const-n-var/var-n-assign

北京大学编译实践课程在线文档

https://pku-minic.github.io/online-doc/

[issenxiao]

新加的VarDecl可能会造成shift/reduce冲突

CompUnitItem ::= FuncDef | Decl
Decl ::= ConstDecl | VarDecl

具体的冲突发生在解析类似 int x 这样的代码时：

• FuncDef路径: int x() → 可能是一个函数定义的开始
• VarDecl路径: int x; → 可能是一个变量声明

[anfsity]

解决应该也不难，只需要把 FuncDef 里面的 FuncType 删掉，统一用 Btype 来管理就行？

BType         ::= "int"| "void";
FuncDef       ::= Btype IDENT "(" ")" Block;
VarDecl       ::= BType VarDef {"," VarDef} ";";

虽然这样会引入 void a = 10; 这种语句，但是可以在 ast 生成阶段拦截他。