使用 Kotlin 创建的简单算术解析器和更好的解析失败

Question

赏金将在 5 天后到期。 此问题的答案有资格获得+500声望赏金。 typeduke想提请更多人关注这个问题。

请查看我在 Kotlin 中使用解析器组合器库better-parse实现的以下解析器。 它解析——应该解析，更确切地说——简单的算术表达式：

object CalcGrammar: Grammar<Int>() {
    val num by regexToken("""\d+""")
    val pls by literalToken("+")
    val min by literalToken("-")
    val mul by literalToken("*")
    val div by literalToken("/")
    val lpr by literalToken("(")
    val rpr by literalToken(")")
    val wsp by regexToken("\\s+", ignore = true)

    // expr ::= term + expr | term - expr | term
    // term ::= fact * term | fact / term | fact
    // fact ::= (expr) | -fact | int

    val fact: Parser<Int> by
        skip(lpr) and parser(::expr) and skip(rpr) or
        (skip(min) and parser(::fact) map { -it }) or
        (num map { it.text.toInt() })
    val term by
        leftAssociative(fact, mul) { a, _, b -> a * b } or
        leftAssociative(fact, div) { a, _, b -> a / b } or
        fact
    val expr by
        leftAssociative(term, pls) { a, _, b -> a + b } or
        leftAssociative(term, min) { a, _, b -> a - b } or
        term

    override val rootParser by expr
}

但是，当我解析-2 + 4 - 5 + 6时，我得到了这个ParseException ：

Could not parse input: UnparsedRemainder(startsWith=min@8 for "-" at 7 (1:8))

起初，我认为问题是我没有在expr产生式中编写自递归，即代码没有准确地表示语法：

// Reference to `expr` is missing on the right-hand side...
val expr = ... leftAssociative(term, min) ...

// ...although the corresponding production defines it.
// expr ::= ... term - expr ...

但后来我注意到，作为库文档的一部分提供的算术解析器的官方示例（事实证明与 afaict 几乎相同）也忽略了这一点。

如果不是这个，我做错了什么？ 我怎样才能让它发挥作用？

Answer 1

问题似乎是 expr 解析器没有正确处理表达式以负号开头的情况（例如 -2 + 4 - 5 + 6）。 事实解析器正确处理单个数字的否定，而不是整个表达式的否定。 要处理此问题，您可以修改 expr 解析器以先解析否定表达式，然后再将其评估为项的加法或减法。

更新代码：

object CalcGrammar: Grammar<Int>() {
    val num by regexToken("""\d+""")
    val pls by literalToken("+")
    val min by literalToken("-")
    val mul by literalToken("*")
    val div by literalToken("/")
    val lpr by literalToken("(")
    val rpr by literalToken(")")
    val wsp by regexToken("\\s+", ignore = true)

    val fact: Parser<Int> by
        skip(lpr) and parser(::expr) and skip(rpr) or
        (num map { it.text.toInt() })
    val term by
        leftAssociative(fact, mul) { a, _, b -> a * b } or
        leftAssociative(fact, div) { a, _, b -> a / b } or
        fact
    val expr by
        (skip(min) and parser(::expr) map { -it }) or
        leftAssociative(term, pls) { a, _, b -> a + b } or
        leftAssociative(term, min) { a, _, b -> a - b } or
        term

    override val rootParser by expr
}

expr 解析器现在首先使用 skip(min) 和 parser(::expr) map { -it } 在评估项的加法或减法之前评估否定表达式。 事实解析器也已更新为不再处理否定，因为它现在在 expr 解析器中处理。