使用Bison语义谓词编译报错stray '#'，寻求问题原因与解决方案

作为经常折腾Bison和GCC组合的开发者，我来帮你拆解这个问题：

问题本质拆解 #

你碰到的stray '#'和line未声明错误，核心原因是Bison生成的.tab.c文件里的#line预处理指令格式异常——当这个指令前面没有换行时，GCC会把它当成普通代码的一部分解析，直接触发语法错误。你手动给#line加换行就能解决，这说明生成的代码确实存在格式缺陷。

三种可能性的逐一排查 #

（1）Bison 3.0.4的Bug是最可能的原因 #

你是按照官方示例写的测试代码，却出现了生成文件格式错误，这大概率是Bison 3.0.4版本的一个小众Bug。旧版本的Bison偶尔会在生成预处理指令（比如#line）时，没有正确处理前面代码的换行逻辑，导致指令和前面的代码连在一起，让GCC无法识别这是合法的预处理指令。

（2）排除语义谓词用法错误 #

既然参考官方示例能复现问题，而且修改换行就能解决，说明你的语义谓词写法本身没问题。如果是用法错误，比如谓词里的逻辑或语法不对，报错应该是语义层面的，而不是预处理指令的格式错误。

（3）GCC版本兼容性的可能性几乎为零 #

GCC 7.1.0对标准C的预处理指令支持非常完善，#line是C标准里的合法指令，只要它单独占一行就不会报错。你手动添加换行后编译正常，也证明了GCC本身没有问题，锅不在编译器这边。

是否应该提交Bison Bug？ #

非常建议你提交这个Bug！因为你在网上没找到相关记录，说明这个问题可能还没被广泛发现或者修复。提交时记得带上这些关键信息：

• 能复现问题的最小Bison语法文件示例
• 你使用的Bison版本（3.0.4）和GCC版本（7.1.0）
• 生成的.tab.c文件里出错的那段代码（重点是#line指令附近的内容）
• 你临时解决问题的方式（给#line前加换行）

这样Bison开发团队能快速定位并修复这个小问题。

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