scala – 为什么val和def在不同的时间实现抽象方法？

trait Foo { val a: String }
trait Foo2 extends Foo { val a = "foo" }
trait Bar extends Foo { val b = a + "-bar" }
object Bar2 extends Bar with Foo2

我预计Bar2.b将是“foo-bar”,但它最终会成为“null-bar”.如预期的那样,Bar2.a是“foo”.

如果我从val更改为def来定义’a’,如下所示：

trait Foo { def a: String }
trait Foo2 extends Foo { val a = "foo" }
trait Bar extends Foo { val b = a + "-bar" }
object Bar2 extends Bar with Foo2

Bar2.b实际上是“foo-bar”.

在示例2中,在评估val’b’之前,来自Foo2的def’a’在Foo中实现抽象的def’a’被置于Bar2的定义中.在示例1中,在Bar / Bar2中定义val’b’之后,来自Foo2的val’a’覆盖来自Foo的val’a’.

为什么会这样？为什么val和def在不同的时间实现抽象方法？