Scala中类型参数的默认值

时间:2015-04-02 13:24:52

标签: scala generics

我没有弄清楚如何(如果有的话)你可以在Scala中为类型 - 参数设置默认值。
目前我有一个类似的方法:

def getStage[T <: Stage](key: String): T = {
  // Do fancy stuff that returns something
}

但我想要做的是提供getStage的实现,它对T没有任何价值,而是使用默认值。我试图定义另一个方法并重载参数,但它只导致其中一个方法被另一个方法完全覆盖。如果我还不清楚我想要做的是这样的事情:

def getStage[T<:Stage = Stage[_]](key: String): T = {

}

我希望我明白要求的是什么。有谁知道这样的事情是如何实现的?

1 个答案:

答案 0 :(得分:23)

您可以使用类型类以类型安全的方式执行此类操作。例如,假设您已获得此类型类:

trait Default[A] { def apply(): A }

以下类型层次结构:

trait Stage
case class FooStage(foo: String) extends Stage
case class BarStage(bar: Int) extends Stage

还有一些例子:

trait LowPriorityStageInstances {
  implicit object barStageDefault extends Default[BarStage] {
    def apply() = BarStage(13)
  }
}

object Stage extends LowPriorityStageInstances {
  implicit object stageDefault extends Default[Stage] {
    def apply() = FooStage("foo")
  }
}

然后你可以这样编写你的方法:

def getStage[T <: Stage: Default](key: String): T =
  implicitly[Default[T]].apply()

它的工作原理如下:

scala> getStage("")
res0: Stage = FooStage(foo)

scala> getStage[BarStage]("")
res1: BarStage = BarStage(13)

我认为或多或少是你想要的。