Scala 相关特征、抽象类型

Question

我有两个相关的特征。 Dao 将作为一个类使用，DaoHelper 将由 Dao 的伴生对象使用。我希望 Trait Dao 能够使用 DaoHelper 中定义的函数，我能弄清楚如何做到这一点的唯一方法是将伴随特征定义为 val。然而不知何故，companion 期望它的类型是 D.this.T，我认为我已将其定义为 Doa 的子类型。我在这里很困惑。我对这个新手问题表示歉意，我来自动态语言背景。

/test2.scala:14: 重写类型 Test.DaoHelper[D.this.T] 的特征 Dao 中的值同伴； [错误] 伴随值的类型不兼容 [错误] val 同伴 = D

object Test extends App {

  trait Dao {
    type T <: Dao
    val companion: DaoHelper[T]
    def getHelpfulData = companion.help
  }

  trait DaoHelper[Dao] {
    val help = "Some helpful data"
  }

  class D extends Dao {
    val companion = D
  }

  object D extends DaoHelper[D]
}

Answer 1

companion 的类型为 DaoHelper[T]，但 T 未在 D 中的任何位置指定，那么编译器如何知道它应该是 D 类中的 D？您可以通过在 D 中覆盖它来修复它。

class D extends Dao {
  type T = D
  val companion = D
}

Answer 2

我不太明白您想对 class D 做什么，但您收到此错误是因为您将 D 分配给 companion在 class D 中，但 companion 具有 DaoHelper[T] 类型，如 Dao 中定义。由于 D 具有 Dao 类型，并且 Dao 不是 DaoHelper[T] 的子类型，因此这不起作用。