给定一系列实现解析器组合器的对象,我如何组合解析器?由于Parsers.Parser
是一个内部类,并且在 Scala 中,内部类绑定到外部对象,所以故事变得稍微复杂一些。
这是一个尝试组合来自不同对象的两个解析器的示例。
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 上提出的(将一个解析器注入另一个解析器时出现问题),因此可能也值得将它放在这里。