Postgresql中yacc语法树冲突解决方法(shift/reduce conflicts)

2022-10-31 10:40:27 浏览数 (1)

处理方法

Postgresql中的gram.y可以独立编译,独立编译可以控制bison的参数来打印具体错误:

PG15

代码语言:javascript复制
cd src/backend/parser

bison -d -o gram.c gram.y -Wno-deprecated

正常执行后会产生gram.c文件,一旦发生冲突,bison会报错,例如:

但没有进一步的信息不好定位问题,这里提供两种方式打印更详细的错误帮助定位:

一、命令行直接输出冲突位置:

代码语言:javascript复制
bison -d -o gram.c gram.y -Wno-deprecated -Wcounterexamples

(如果命令不支持counterexamples请更新bison:https://ftp.gnu.org/gnu/bison/)

结果:

可以看出这是一个reduce/recude冲突,位置也给出了。

二、冲突信息输出到文件:

代码语言:javascript复制
bison --report="cex" -d -o gram.c gram.y

会在当前目录下生成gram.output文件。在文件中搜索conflict on token即可:

yacc的两种冲突

reduce/reduce冲突:两条规则都可以规约当前token

实例:VARCHAR改规约哪个?发生冲突。

shift/reduce冲突:两条规则既可以移进也可以规约token

实例:VARCHAR向右移进 还是 向上规约?发生冲突。

0 人点赞