Scala 解析器标记分隔符问题

我正在尝试为下面的命令定义语法。

object ParserWorkshop {
    def main(args: Array[String]) = {
        ChoiceParser("todo link todo to database")
        ChoiceParser("todo link todo to database deadline: next tuesday context: app.model")
    }
}

第二个命令应标记为：

action = todo
message = link todo to database
properties = [deadline: next tuesday, context: app.model]

当我在下面定义的语法上运行此输入时，我收到以下错误消息：

[1.27] parsed: Command(todo,link todo to database,List())
[1.36] failure: string matching regex `\z' expected but `:' found

todo link todo to database deadline: next tuesday context: app.model
                                   ^

据我所知，它失败了，因为匹配消息单词的模式与属性键：值对的键的模式几乎相同，因此解析器无法分辨消息在哪里结束以及属性在哪里开始。我可以通过坚持为每个属性使用启动令牌来解决这个问题，如下所示：

todo link todo to database :deadline: next tuesday :context: app.model

但我更愿意让命令尽可能接近自然语言。 我有两个问题：

错误消息的实际含义是什么？ 我将如何修改现有语法以适用于给定的输入字符串？

import scala.util.parsing.combinator._

case class Command(action: String, message: String, properties: List[Property])
case class Property(name: String, value: String)

object ChoiceParser extends JavaTokenParsers {
    def apply(input: String) = println(parseAll(command, input))

    def command = action~message~properties ^^ {case a~m~p => new Command(a, m, p)}

    def action = ident

    def message = """[\w\d\s\.]+""".r

    def properties = rep(property)

    def property = propertyName~":"~propertyValue ^^ {
        case n~":"~v => new Property(n, v)
    }

    def propertyName: Parser[String] = ident

    def propertyValue: Parser[String] = """[\w\d\s\.]+""".r
}

这真的很简单。当你使用~，您必须了解已成功完成的各个解析器不会回溯。

所以，举例来说，message将冒号之前的所有内容都完成，因为所有这些都是可接受的模式。下一个，properties is a rep of property，这需要propertyName，但它只找到冒号（第一个字符没有被message). So propertyName失败，并且property失败了。现在，properties，如前所述，是一个rep，所以它以 0 次重复成功完成，这使得command成功完成。

那么，回到parseAll. The command解析器成功返回，消耗了冒号之前的所有内容。然后它会问一个问题：我们是否处于输入的末尾（\z）？不，因为旁边有一个冒号。因此，它期望输入结束，但得到了一个冒号。

您必须更改正则表达式，以便它不会消耗冒号之前的最后一个标识符。例如：

def message = """[\w\d\s\.]+(?![:\w])""".r

顺便说一句，当你使用def您强制重新评估表达式。换句话说，每次调用这些定义时，每个定义都会创建一个解析器。每次处理它们所属的解析器时都会实例化正则表达式。如果你把一切都改成val，您将获得更好的性能。

记住，这些事define解析器，他们不run它。这是parseAll它运行一个解析器。