在递归下降解析器中区分Lambda参数列表与分组表达式

在递归下降解析器里解决这个歧义，核心靠**超前查看（Lookahead）**结合上下文判断，以下是具体实现思路：

核心判断逻辑 #

Lambda表达式的括号后必然紧跟代码块{}，而分组表达式的括号后是表达式的终止符（分号、换行、运算符等）。所以解析到(时，先预判括号后的第一个非空白token：

• 如果是{，则按Lambda参数列表解析括号内内容
• 否则，按普通分组表达式解析

具体解析步骤 #

1. 预判token：当解析器遇到(时，先不急于解析括号内内容，先跳过空白字符，查看下一个token是否为{。
2. 分支解析：
   • 若预判到{：调用parse_parameter_list()解析括号内的参数（支持带默认值的参数语法，比如param2 = 1），接着解析后续的{}代码块，组合成Lambda表达式节点。
   • 若未预判到{：调用普通的parse_expression()解析括号内的内容，生成分组表达式节点。
3. 处理空白与换行：确保解析器忽略空格、换行等空白字符后再做预判，避免因格式问题误判。

伪代码示例（适配Crafting Interpreters风格） #

Expr parseExpression() {
  if (match(LEFT_PAREN)) {
    // 先做超前查看
    skipWhitespace(); // 忽略空白
    if (peek().type == LEFT_BRACE) {
      // 解析Lambda参数列表
      List<Param> params = parseParameterList();
      consume(RIGHT_PAREN);
      consume(LEFT_BRACE);
      List<Stmt> body = parseStatementList();
      consume(RIGHT_BRACE);
      return new LambdaExpr(params, body);
    } else {
      // 解析分组表达式
      Expr expr = parseExpression();
      consume(RIGHT_PAREN);
      return new GroupingExpr(expr);
    }
  }
  // 其他表达式解析逻辑（赋值、二元运算等）
  // ...
}

List<Param> parseParameterList() {
  List<Param> params = new ArrayList<>();
  if (!check(RIGHT_PAREN)) {
    do {
      Token name = consume(IDENTIFIER);
      Expr defaultValue = null;
      if (match(EQUAL)) {
        defaultValue = parseExpression();
      }
      params.add(new Param(name, defaultValue));
    } while (match(COMMA));
  }
  return params;
}

额外注意事项 #

• 参数列表里的=是参数默认值语法，分组表达式里的=是赋值表达式，由于上下文明确，不会出现歧义。
• 若语法支持Lambda作为表达式的一部分（比如let x = (a) { return a + 1 }(5)），解析器需要支持Lambda表达式作为可调用对象，后续在求值阶段处理调用逻辑。

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