实现脚本语言时，如何在解析操作中标记错误并处理ID歧义？

问题背景 #

我在开发一门脚本语言，允许纯数字作为合法ID，这就导致了歧义：345既可能是整数常量，也可能是变量ID，原本只能到运行时才能区分。之前的做法是把这类纯数字都当成ID处理，打算运行时再检查变量是否存在，但优化代码时发现一种场景——某些上下文里只允许整数，任何ID都不合法，这种情况在解析阶段直接报错才更合理。

举两个例子：

• 合法代码（这里5是整数，符合要求）：

foreach pick in hero where spell.level? > 5
  pick.activate[]
nexteach

• 解析阶段就该报错的代码（threshold是ID，不符合此处只能用整数的要求）：

foreach pick in hero where spell.level? > threshold
  pick.activate[]
nexteach

我想过把令牌拆成ID和ID_OR_INTEGER，但这要改遍所有用到ID的地方——变量声明、表达式、循环、函数调用等等，改动量太大，不太现实。

解析错误标记的更好方案 #

除了打错误日志加标志位，还有这些更实用的方式：

1. 给语法分析器加上下文感知检查 #

不用改令牌生成逻辑，只在语法分析的特定节点里加检查：比如遇到spell.level? >这种必须跟整数的上下文时，直接看当前令牌：

• 如果是纯数字，就按整数处理；
• 如果是普通标识符（比如threshold），直接抛出解析错误，明确告诉用户“这里只能用整数常量”。
  这种方式改动范围小，只针对特定语法规则，不会影响全局。

2. 自定义带位置信息的错误对象 #

别只打印日志，定义专门的解析错误类型（比如ExpectedIntegerError），里面包含错误的行号、列号、出错位置的代码片段。解析时遇到问题就生成这个错误对象存起来，最后统一输出格式化的错误报告，用户能一眼看到哪里错了，比干巴巴的日志友好得多。

3. 在语法规则里直接约束 #

如果用的是ANTLR、Yacc/Bison这类工具，直接在语法规则里给特定上下文加约束：比如在比较表达式的规则中，当左边是spell.level?这类需要整数比较的节点时，右边只允许匹配integer_literal，而不是通用的identifier。这样语法分析器会自动在解析阶段报错，不用额外写很多检查逻辑。

4. 延迟批量检查 #

保留原来的令牌处理方式，但在解析时把所有“必须用整数”的位置标记下来，解析完成后统一遍历这些标记：如果某个位置的令牌不是纯数字，就抛出解析错误。这种方式把检查逻辑集中在一起，代码结构更清晰，也不会打乱原来的解析流程。

总结 #

优先选语法规则约束或者特定节点的上下文检查，这两种改动最小，还能精准在解析阶段捕获错误，不用大动现有的令牌系统。

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