解析带可选参数的AgeSQL子句时如何解决归约/归约冲突？

我正在开展为Postgres psql添加Cypher子句支持的项目，目前要优化解析器性能、解决规则间的冲突。我编写了最小复现示例，还原了实现中的常见问题：

子句由命令与可选参数组成，可选参数可出现或省略：

• 执行COMMAND country A "Canada"会触发COMMAND id_opt A str_opt规则；
• 执行COMMAND 1 A "Canada"或COMMAND 1 B "Canada"会触发COMMAND num_opt ab_opt str_opt规则，但前者会因冲突返回语法错误。

由于id_opt、str_opt和num_opt为可空可选参数，解析COMMAND A时两条规则会同时触发，编译时出现警告：

gram.y: warning: 1 reduce/reduce conflict [-Wconflicts-rr]

若将所有选项合并为单一规则可消除警告，但该规则会允许id_opt与num_opt共存——而目标语言中COMMAND 1 name A "Canada"这类子句是非法的，且id_opt仅能与A搭配。现在需要抉择：是合并规则后在后续处理过滤无效组合，还是保留冲突以避免无效选项组合？

注：实际场景为处理AgeSQL仓库cypher.y文件的return_clause规则，该文件规则近千行，以下为最小复现示例：

gram.l 文件 #

%{
#include "gram.tab.h"
%}

%%
[ \t\n]          /* ignore whitespace */
"COMMAND"        { return COMMAND; }
"A"              { return A; }
"B"              { return B; }

[0-9]+ { return NUMBER; }
[a-zA-Z][a-zA-Z0-9_.*]* { return IDENTIFIER; }
("\"")[^"]*("\"")|("'")[^']*("'") { return STRING; }
%%
int yywrap(void) {
    return 1;
}

gram.y 文件 #

%{
#include <stdio.h>
#include <stdlib.h>

int yylex(void);
void yyerror(const char*);

char u;
%}

%token COMMAND A B IDENTIFIER STRING NUMBER

%%

command: 
    COMMAND id_opt A str_opt { printf("Clause A parsed successfully.\n"); }
    | COMMAND num_opt ab_opt str_opt { printf("Clause B parsed successfully.\n"); }
    ;
            
id_opt:
    /* empty */
    | IDENTIFIER;
    ;
     
str_opt:
    /* empty */
    | STRING
    ;

num_opt:
    /* empty */
    | NUMBER
    ;

ab_opt:
    A
    | B
    ;

%%


void yyerror(const char *s) {
    fprintf(stderr, "Parse error: %s\n", s);
    exit(1);
}

int main(void) {
    yyparse();
    printf("Parsed variable: %c\n", u);
    return 0;
}

Makefile #

gram: gram.tab.c lex.yy.c
    gcc -o gram gram.tab.c lex.yy.c

gram.tab.c: gram.y
    bison -d gram.y

lex.yy.c: gram.l
    flex gram.l

分析与建议 #

1. 优先消除语法冲突，避免解析行为不可控
   归约/归约冲突会让Bison在编译时选择默认规则，但这个选择可能不符合语义预期，甚至导致解析结果随机波动。比如COMMAND A的场景，Bison会随机归约到其中一条规则，后续处理极易出现逻辑错误。

2. 合并规则后，在语义分析阶段过滤非法组合
   虽然合并规则会允许id_opt+num_opt这类非法组合，但可以在语法解析完成后的语义检查阶段添加验证逻辑：

   • 检查若同时存在id_opt和num_opt，直接抛出语义错误；
   • 检查id_opt是否仅与A搭配，否则报错。
     这种方式更可控，符合解析器的常规分工：语法解析负责结构正确性，语义分析负责规则合法性。

3. 适配AgeSQL复杂场景的长期维护
   实际的cypher.y有近千行规则，保留冲突会让维护难度指数级上升——后续新增规则时可能引发更多冲突，排查成本极高。合并规则并补充语义检查，能让代码结构更清晰，也方便后续扩展。

另外，也可尝试调整规则优先级或使用Bison的%prec指令解决冲突，但这种方式依赖Bison内部机制，不如语义检查直观可靠。

内容的提问来源于stack exchange，提问作者Carla