pyparsing中的上下文解析除全局参数外的操作

Question

我希望能够解析两个（或任意数量）表达式，每个表达式都有自己的一组变量定义或其他上下文。在

似乎没有一种明显的方法可以将上下文与pyparsing.ParseExpression.parseString()的特定调用关联起来。最自然的方法似乎是使用某个类的instancemethod作为解析操作。这种方法的问题是必须为每个解析上下文（例如，在类的__init__）重新定义语法，这似乎非常低效。在

在规则上使用pyparsing.ParseExpression.copy()没有帮助；单个表达式可以正常克隆，但是组成它们的子表达式没有以任何明显的方式更新，因此任何嵌套表达式的解析操作都不会被调用。在

我能想到的获得这种效果的唯一另一种方法是定义一个返回无上下文抽象解析树的语法，然后在第二步中处理它。即使对于简单的语法来说，这似乎也很尴尬：在使用未识别的名称时只引发一个异常是很好的，而且它仍然无法解析像C这样的语言，因为这些语言实际上需要上下文来知道哪条规则匹配。在

有没有另一种方法可以将上下文（当然不使用全局变量）注入到pyparsing表达式的解析操作中？在

Answer 1

像您所说的那样，让解析操作成为instancemethods，但不重新实例化类怎么样？相反，当您想解析另一个翻译单元时，请在同一个解析器对象中重置上下文。在

像这样：

from pyparsing import Keyword, Word, OneOrMore, alphas, nums

class Parser:
    def __init__(self):
        ident = Word(alphas)
        identval = Word(alphas).setParseAction(self.identval_act)
        numlit = Word(nums).setParseAction(self.numlit_act)
        expr = identval | numlit
        letstmt = (Keyword("let") + ident + expr).setParseAction(self.letstmt_act)
        printstmt = (Keyword("print") + expr).setParseAction(self.printstmt_act)
        program = OneOrMore(letstmt | printstmt)

        self.symtab = {}
        self.grammar = program

    def identval_act(self, (ident,)):
        return self.symtab[ident]
    def numlit_act(self, (numlit,)):
        return int(numlit)
    def letstmt_act(self, (_, ident, val)):
        self.symtab[ident] = val
    def printstmt_act(self, (_, expr)):
        print expr

    def reset(self):
        self.symtab = {}

    def parse(self, s):
        self.grammar.parseString(s)

P = Parser()
P.parse("""let foo 10
print foo
let bar foo
print bar
""")

print P.symtab
P.parse("print foo") # context is kept.

P.reset()
P.parse("print foo") # but here it is reset and this fails

在本例中，“symtab”是您的上下文。在

如果您尝试在不同的线程中进行并行解析，这将严重失败，但我不明白如何在共享解析操作中正常工作。在