为什么我不能指定特征的子类？

Question

scala> class A
defined class A

scala> trait T extends A { val t = 1 }
defined trait T

//why can I do this?
scala> class B extends T
defined class B

scala> new B
res0: B = B@2e9c76

scala> res0.t
res1: Int = 1

我认为当您编写trait T extends A时，它使得您只能将trait T放在作为A子类的类上>。那为什么我可以把它放在B上呢？这只是当你混合它的时候吗？为什么在声明类时这是不可能的？

Answer 1

“它使得你只能输入特征
T 属于 A 的子类”

您想要的功能是自我类型注释。另请参阅 Daniel Sobral 对这个问题的回答：自我类型和特质子类之间有什么区别？ --> 查找链接依赖注入和蛋糕模式。

trait A { def t: Int }
trait B {
  this: A => // requires that a concrete implementation mixes in from A
  def t2: Int = t // ...and therefore we can safely access t from A
}

// strangely this doesn't work (why??)
def test(b: B): Int = b.t

// however this does
def test2(b: B): Int = b.t2

// this doesn't work (as expected)
class C extends B

// and this conforms to the self-type
class D extends B with A { def t = 1 }

Answer 2

你不能做的是：

scala> class A2
defined class A2

scala> class B extends A2 with T
<console>:8: error: illegal inheritance; superclass A2
 is not a subclass of the superclass A
 of the mixin trait T
       class B extends A2 with T
                               ^

实际上，编写class B extends T与编写class B extends A with T是一样的。

Answer 3

你只是对特质是什么感到困惑。说class B extends T只是意味着您将特征的功能“混合”到B的类定义中。因此，T或其父类和特征中定义的所有内容都可以在B.

Answer 4

您可以指定特征的子类，尽管它是多余的。
考虑到此代码

object TraitPulling {
  class A {
    val a = 0
    println("I am constructor of A")
  }
  trait T extends A { val t = 1 }
  class B extends T
  class C extends A with T    // though no T with A
  List(new T {}, new B(), new C()).foreach { e =>
    println(s"t: ${e.t}, a: ${e.a}")
  }
}

TraitPulling

给出了以下输出，

I am constructor of A
I am constructor of A
I am constructor of A
t: 1, a: 0
t: 1, a: 0
t: 1, a: 0

我们可以推断，由于类 A 的内容被实例化，因为它是隐含的（通过trait T extends A），因此这三种形式在语义上是等效的。