Scala 类型边界

Question

下面的代码有什么问题？我在指示的行上收到来自编译器的以下投诉:类型参数 [Asset] 不符合 trait Worker 的类型参数范围 [T <: br.可行]

怎么会这样？ Worker 期望 Doable 的子类型，而 asset 扩展 Doable。

trait Doable

trait Worker[T<:Doable] {
  def hey():String
}

case class Asset() extends Doable

case class Hey[Asset] extends Worker[Asset] { // << error here
  def hey() = "You!"
}

Answer 1

当你声明case class Hey[Asset]时，你绑定(bind)了一个新的类型变量Asset，你没有引用case class Asset() extends Doable (您正在隐藏 Asset 类型变量)。您的代码相当于:

  case class Hey[A] extends Worker[A] {
    ...
  }

这显然行不通。