Scala 相关特征，抽象类型

Question

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

/test2.scala:14: 在 Test.DaoHelper[D.this.T] 类型的 trait 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 做什么，但你收到此错误是因为你在 class D 中将 D 分配给 companion，但 companion 的类型为 @987654326 @ 如Dao 中所定义。由于D 的类型为Dao 并且Dao 不是DaoHelper[T] 的子类型，因此这不起作用。