Parse::RecDescent :解析嵌套的算术表达式

Question

目前我用它来解析算术表达式：

expr  : '(' expr ')' 
      | number op expr 
      | variable op expr 
      | number
      | variable
      | <error>

它适用于简单表达式，但不能处理嵌套括号表达式。知道如何扩展/修改它，以便它可以处理嵌套表达式。

例如，这有效：

5 + 12
33 - $var
13 + 2 * $v
( 44 + 98 )

但这不起作用：

( 44 + 98 ) / 2
( 44 + 98 ) / ( 5 + $var2 )
( 11 + 5 ) * ( 3 + ( $v * 2 ) )

Answer 1

您的优先级链有问题。 1 + (2 + 3)可以解析为number op expr，右边的expr是'(' expr ')'，但(1 + 2) + 3不能，因为expr不能出现在op的左边。当然，您不能直接将其添加到那里，因为禁止左递归。您需要做的是将其分解为：

expr: term '+' expr
    | term '-' expr
    | term
term: factor '*' term
      | factor '/' term
      | factor
factor: '(' expr ')'
    | number
    | variable
    | <error>

是的，括号一直

到链的末端，这可能看起来很奇怪，但它所说的是括号表达式可以出现在因子可以出现的任何地方，并且在它冒泡之前会被评估。现在很容易看出，由于一切都是指factor，括号表达式可以出现在任何需要的地方。

Answer 2

添加一个规则，以使用中缀运算符将一个带括号的表达式与另一个表达式组合在一起：

| '(' expr ')' op expr

顺便说一句，原始语法不会遭受 wrt 嵌套表达式，而是中缀以括号中的术语开头的表达式。

通常，用户 hobbs 的解决方案是使用不同偏好的中缀运算符处理表达式的标准方法。它还有一个额外的优点，即正确的子表达式求值顺序由语法本身处理，不需要由额外的代码处理。

仅当您不需要成熟的表达式评估器时，才继续使用我的解决方案(您肯定会发现您需要一个......