Scala：如何组合来自不同对象的解析器组合器

Question

给定一系列实现解析器组合器的对象，我如何组合解析器？由于 Parsers.Parser 是一个内部类，在 Scala 中 内部类绑定到 < em>外部对象，故事变得稍微复杂一些。

下面是一个尝试组合来自不同对象的两个解析器的示例。

import scala.util.parsing.combinator._

class BinaryParser extends JavaTokenParsers {
  def anyrep: Parser[Any] = rep(any)
  def any: Parser[Any] = zero | one
  def zero: Parser[Any] = "0"
  def one: Parser[Any] = "1"
}

object LongChainParser extends BinaryParser {
  def parser1: Parser[Any] = zero~zero~one~one
}

object ShortChainParser extends BinaryParser {
  def parser2: Parser[Any] = zero~zero
}

object ExampleParser extends BinaryParser {
  def parser: Parser[Any] = (LongChainParser.parser1
    ||| ShortChainParser.parser2) ~ anyrep

  def main(args: Array[String]) {
    println(parseAll(parser, args(0) ))
  }
}

这会导致以下错误：

<console>:11: error: type mismatch;
 found   : ShortChainParser.Parser[Any]
 required: LongChainParser.Parser[?]
         def parser: Parser[Any] = (LongChainParser.parser1 
           ||| ShortChainParser.parser2) ~ anyrep

我已经找到了这个问题的解决方案，但是自从它被提出以来 最近在 scala-user ML 上（将一个解析器注入另一个解析器时出现问题），可能也值得将其放在这里。

Answer 1

快速的答案是使用 trait 而不是在 object 中托管解析器：

import scala.util.parsing.combinator._

trait BinaryParser extends JavaTokenParsers {
  def anyrep: Parser[Any] = rep(any)
  def any: Parser[Any] = zero | one
  def zero: Parser[Any] = "0"
  def one: Parser[Any] = "1"
}

trait LongChainParser extends BinaryParser {
  def parser1: Parser[Any] = zero~zero~one~one
}

trait ShortChainParser extends BinaryParser {
  def parser2: Parser[Any] = zero~zero
}

object ExampleParser extends LongChainParser with ShortChainParser  {
  def parser: Parser[Any] = (parser1 ||| parser2) ~ anyrep

  def main(args: Array[String]) {
    println(parseAll(parser, args(0) ))
  }
}

因为像 ~ 和 | 这样的组合运算符 是针对内部类编写的，通过说 BinaryParser#Parser[_] 将解析器引用升级到类级别对您没有任何好处。使用特征可以解决所有内部类问题，因为 LongChainParser 和 ShortChainParser 中的 Parser[Any] 现在都引用 的内部类ExampleParser 对象。