为什么scala类需要显式扩展AnyRef

Question

我从库中看到了一些代码:

trait A extends scala.AnyRef
trait B extends scala.AnyRef with A

为什么A需要明确扩展AnyRef？是不是AnyRef已经隐式派生出所有类？

为什么B需要扩展AnyRef即使A已经这样做了？将上述代码更改为以下内容有何不同:

trait A
trait B extends A

Answer 1

我说没有任何区别.

来自scala文档

用户定义的类默认定义引用类型; 即他们总是(间接)子类scala.AnyRef.

进一步证明这一点

scala> trait A
defined trait A

scala> trait B extends A
defined trait B

scala> val a = new A { }
a: A = $anon$1@2d6d8735

scala> val b = new B { }
b: B = $anon$1@47f37ef1

scala> a.isInstanceOf[AnyRef]
res4: Boolean = true

scala> b.isInstanceOf[AnyRef]
res7: Boolean = true