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

Question

给定一个实现解析器组合器的对象家族，如何组合解析器？由于Parsers.Parser是内部类，在Scala inner classes are bound to the outer object中，故事变得稍微复杂。

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

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 

我已经找到了解决这个问题了，但因为自小 最近在斯卡拉用户ML（Problem injecting one parser into another），它是可能值得把它放在这里。

Answer 1

简单的回答是object s到使用trait！而非托管解析器：

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[_]不对你有什么好处。使用特征解决了所有内部类问题，因为Parser[Any]从LongChainParser和ShortChainParser现在指的是ExampleParser对象的内部类。