Antlr4解释器循环内If语句取ID名称而非值的问题

核心原因 #

你的问题本质是变量标识符（ID）的求值逻辑错误：在循环上下文里访问变量时，没有从符号表中取出变量的当前值，而是直接返回了标识符的文本内容（字符串类型），导致表达式i / 2 == 2中出现字符串与数值的运算，触发类型转换异常。循环外正常是因为变量值在全局/外层作用域被正确绑定，而循环内变量值迭代更新的逻辑没有同步到符号表。

具体排查与修复步骤 #

1. 检查visitId方法的实现 #

这是最可能出问题的环节。如果你的visitId直接返回标识符文本而非变量值，就会引发该错误。
错误示例：

@Override
public Object visitId(IdContext ctx) {
    // 错误：直接返回变量名字符串
    return ctx.getText();
}

修复后：

@Override
public Object visitId(IdContext ctx) {
    String varName = ctx.getText();
    // 从当前作用域的符号表中获取变量值
    Object varValue = this.symbolTable.get(varName);
    if (varValue == null) {
        throw new RuntimeException("未定义变量: " + varName);
    }
    return varValue;
}

2. 验证循环节点的变量更新逻辑 #

处理generate循环时，要确保每次迭代都将变量的当前数值更新到符号表中，而非保留旧值或错误存入变量名。
示例修复（假设循环变量为i）：

@Override
public Object visitGenerateLoop(GenerateLoopContext ctx) {
    // 解析循环的起始/结束值
    int startVal = (Integer) visit(ctx.startExpression());
    int endVal = (Integer) visit(ctx.endExpression());
    
    // 迭代更新循环变量值
    for (int current = startVal; current <= endVal; current++) {
        // 将当前数值存入符号表，覆盖原有值
        this.symbolTable.put("i", current);
        // 执行循环体（此时if语句访问i会拿到正确数值）
        visit(ctx.loopBody());
    }
    return null;
}

注意：如果你的解释器使用作用域栈（如函数/块级作用域），要确保循环变量处于正确的作用域层级，避免作用域隔离导致无法获取最新值。

3. 检查表达式求值的类型一致性 #

确保所有表达式节点的访问方法都返回数值类型（而非字符串）。比如处理除法表达式时，要验证左右操作数的类型：

@Override
public Object visitDivExpr(DivExprContext ctx) {
    Object left = visit(ctx.leftExpr());
    Object right = visit(ctx.rightExpr());
    
    // 确保都是数值类型
    if (!(left instanceof Integer && right instanceof Integer)) {
        throw new RuntimeException("除法运算仅支持数值类型");
    }
    return (Integer) left / (Integer) right;
}

4. 调试时输出符号表状态 #

在循环迭代的每一步，打印符号表中目标变量（比如i）的值，确认是否为预期的数值。如果输出是字符串"i"，说明变量更新逻辑没有正确覆盖符号表中的值。

内容的提问来源于stack exchange，提问作者Muhammad Baba Goni