如何在proper语法分析中进行适当的递归？

Question

我目前正在解析一种自定义编程语言，当创建用于解析的“表达式”规则时，我很难找到一种不让递归慢得令人痛苦的方法。我的问题是函数调用可以在表达式中，表达式可以在函数调用(参数)中。因此，我最后得到的是一个基于Forward()的糟糕的系统，在func1(var1+1) + 1上花费秒，在func1(func1(var1+1)+1) + 1上花费几分钟，这肯定是不可接受的。下面是我目前的糟糕做法：

    expression = Forward()
    functionCall = Forward()
    value = literal ^ identifier ^ Group(functionCall)
    expression << Group(infixNotation(value, [
        (memberOP, 2, opAssoc.LEFT),
        ...
    ]))
    arguments = ZeroOrMore(delimitedList(expression))

    ...

    functionCall << identifier + Literal("(").suppress() + Group(arguments) + Literal(")").suppress()

Answer 1

PyParsing可以记住以前的解析结果，并使用Packrat优化来重用它们。这为递归语法提供了性能好处，通常情况下，如果一个元素可以应用于不同的上下文中。

必须手动启用Packrat，因为它可能与具有副作用的解析器(例如修改全局状态的解析操作)发生冲突。

import pyparsing
pyparsing.ParserElement.enablePackrat()