scala – 如何使用子特征定义特征,以便他们的方法只采用共享实现

trait Toolbox {
  trait Bolt
  trait Wrench {
    def tighten(b : Bolt) 
  }

  def getWrench : Wrench
  def getBolt : Bolt
}


object MetricToolbox extends Toolbox {
...
}

object EnglishToolbox extends Toolbox {
...
}

当然,公制扳手只能拧紧公制螺栓;同上英文工具箱中的工具.我的问题是,我如何以类型安全的方式表达它,以便以下不会编译：

MetricToolbox.getWrench tighten EnglishToolbox.getBolt

但以下将：

def doTighten(box : Toolbox) = box.getWrench tighten box.getBolt

我知道这是可能的,因为我听说马丁奥德斯基昨晚在斯卡拉聚会上用自己的嘴说出来但是在那一刻,我的妻子打电话给我的牢房,在他解释之前我不得不赶紧离开房间.

编辑didierd指出我的代码是按照书面编写的.他是对的 – 我对细节有点不清楚但确实如此.自然的反向问题是,我怎么不这样做？答案很简单：将这些类放在与主要特征相同的级别.

trait Nail
trait Hammer {
  def pound(n : Nail)
}

trait Toolbox {
  trait Bolt
  trait Wrench {
    def tighten(b : Bolt) 
  }

  def getWrench : Wrench
  def getBolt : Bolt
  def getNail : Nail
  def getHammer : Hammer
}

 MetricToolbox.getHammer pound EnglishToolbox.getNail // this DOES compile