parsing - 在为类似 Lua 的语言编写解析器时，如何判断函数调用是表达式还是语句

Question

我正在尝试使用 lex 和 yacc 为类似 Lua 的语言编写解析器。它是一种没有强制语句终止符（分号）的语言，这个特性让我无法分辨函数调用是语句还是表达式。
例如，下面的函数：

function foo()  
  return { x = 5 }  
end

将返回一个表。以下是一些用法：

foo()  -- this is a statement
t = foo()  -- foo is an expression
a = foo().x  -- foo() is a prefix-expression
print(foo())  -- foo() is an expression

我无法编写无冲突的 yacc 代码，因为简单的函数调用可以是表达式、前缀表达式或语句。
如何实现此功能？引入强制语句终止符是唯一的方法吗？

非常感谢。

score 1 · Accepted Answer

在实现 T-SQL 解析器时，我有一个类似的任务要解决。我最终在语法中包含了;好像它是强制性的一样，并且在语法错误时我会插入一个虚拟;标记来终止当前语句，然后让解析器重试减少。

对于我的用例，这确实很好用，也许它也适用于您的用例。

1 回答 1