Bison如何解析含类型/变量歧义的(int)+b类表达式？

你遇到的是支持类型别名的语言中非常经典的移进/规约冲突，核心问题在于解析到(a)+b结构时，分析器无法仅通过词法内容判断括号内的标识符属于类型还是普通变量，Bison的主流解决方式有三种：

1. 词法语法联动的动态token标记 #

这是工业级编译器最常用的方案，依赖词法分析器和符号表的交互实现：

• 词法分析阶段扫描到标识符时，会查询当前作用域的符号表：如果该标识符被注册为类型（包括原生类型、自定义类型别名），就返回TYPE_NAME类型的token；如果是普通变量/函数名，返回IDENTIFIER类型的token
• 语法规则里直接针对两种token写分支，从根源上避免冲突，示例规则如下：

// 强制类型转换分支，仅匹配括号内为类型名的场景
cast_expression
  : '(' TYPE_NAME ')' unary_expression
  | primary_expression
  ;

// 普通括号表达式分支，匹配括号内为普通表达式的场景
primary_expression
  : '(' expression ')'
  | IDENTIFIER
  | /* 其他基础表达式规则 */
  ;

对应你给出的示例：(int)里的int会被识别为TYPE_NAME，直接走强制类型转换分支；(a)则根据符号表判定a的类型，自动匹配对应分支，不会产生歧义。

2. 手动指定规则优先级兜底 #

如果不想引入符号表联动的逻辑，也可以通过手动设置优先级消解冲突：

• 给强制类型转换规则设置比二元加法更高的优先级，Bison遇到歧义时会优先匹配高优先级的规则
• 示例配置：

// 定义CAST优先级高于加法
%precedence CAST
%left '+'

%%
cast_expression
  : '(' TYPE_NAME ')' unary_expression %prec CAST
  | /* 其他分支 */
  ;

3. GLR模式延迟判定 #

如果语法复杂度较高，无法在词法阶段提前确定标识符类型，可以开启Bison的GLR分析模式：分析器遇到歧义时会同时维护多条解析分支，直到解析到足够的上下文信息、确定某条分支非法后，再自动砍掉错误分支，不需要提前区分标识符的 token 类型。

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