2

我正在尝试为 Jison 中的编程语言创建语法，但遇到了调用问题。我的语言中的函数使用以下语法调用：

functionName arg1 arg2 arg3

为了执行不仅仅是简单表达式的参数，它们需要用括号括起来，如下所示：

functionName (1 + 2) (3 + 3) (otherFunction 5)

但是，我的语法中有一个错误导致我的解析器解释functionName arg1 arg2 arg3为functionName(arg1(arg2(arg3)))而不是functionName(arg1, arg2, arg3).

我的 jison 语法文件的相关部分如下所示：

expr:
  | constantExpr         { $$ = $1; }
  | binaryExpr           { $$ = $1; }
  | callExpr             { $$ = $1; }
  | tupleExpr            { $$ = $1; }
  | parenExpr            { $$ = $1; }
  | identExpr            { $$ = $1; }
  | blockExpr            { $$ = $1; }
  ;

callArgs:
  | callArgs expr { $$ = $1.concat($2); }
  | expr                     { $$ = [$1]; }
  ;

callExpr:
  | path callArgs { $$ = ast.Expr.Call($1, $2); }
  ;

identExpr:
  | path                 { $$ = ast.Expr.Ident($1); }
  ;

我怎样才能让 Jison 更喜欢 thecallArgs而不是expr？

4

2 回答 2

1

您可能可以通过玩具有优先关系的游戏来做到这一点，但我认为最直接的解决方案是明确。

你想说的是callArgs不能直接包含一个callExpr. 就像在您的示例中一样，如果您想将 acallExpr作为参数传递，则需要将其括在括号中，在这种情况下，它将匹配其他一些产生式（大概是parenExpr）。

所以你可以直接写：

callArgExpr
  : constantExpr
  | binaryExpr
  | tupleExpr
  | parenExpr
  | identExpr
  | blockExpr
  ;

expr
  : callArgExpr
  | callExpr
  ;

callArgs
  : callArgs callArgExpr   { $$ = $1.concat($2); }
  | callArgExpr            { $$ = [$1]; }
  ;

callExpr
  : path callArgs          { $$ = ast.Expr.Call($1, $2); }
  ;

事实上，您可能想callArgs进一步限制，因为（如果我理解正确的话）func a + b并不意味着“适用a+b于func”，它本来应该写成func (a + b). 因此，您可能还想从中删除binaryExpr，callArgExpr可能还有其他一些。我希望上面的模型显示了如何做到这一点。

顺便说一句，我删除了所有空的产生式，假设它们是无意的（除非jison该语法有一些例外；我不是真正的jison专家）。我删除了{ $$ = $1; }，我认为这jison在经典的 yacc/bison/etc. 中是不必要的，因为它是默认操作。

于 2015-01-19T15:07:22.167 回答
0

复习语法的其他部分以给出准确的答案很重要。我不知道我的想法是否正确，但是根据我在您的代码中看到的内容，您可以按照您想要的顺序为参数显式创建一个规则，而无需将一个嵌套在另一个中：

args:
    |    "(" simple_expression ")" args { /*Do something with $2*/ }
    |    "\n"
    ;

我希望这对您有所帮助。问候。

于 2015-01-19T12:47:33.653 回答