下面的代码输出让我感到困惑。
代码
object Test1 {
trait A {
val s: String = "A"
println(s"s = $s")
}
abstract class B extends A with DelayedInit {
override def delayedInit(body: => Unit) = {
println("B " + "1" * 80)
body
println("B " + "2" * 80)
}
}
abstract class C extends A with DelayedInit {
override val s: String = "C"
override def delayedInit(body: => Unit) = {
println("C " + "1" * 80)
body
println("C " + "2" * 80)
}
}
def main {
println("-- new B begin")
new B {
println("new B context")
}
println("-- new B end")
println("-- new C begin")
new C {
println("new C context")
}
println("-- new C end")
}
}
object Test2 {
trait A {
def s: String = "A"
println(s"s = $s")
}
abstract class B extends A with DelayedInit {
override def delayedInit(body: => Unit) = {
println("B " + "1" * 80)
body
println("B " + "2" * 80)
}
}
abstract class C extends A with DelayedInit {
override def s: String = "C"
override def delayedInit(body: => Unit) = {
println("C " + "1" * 80)
body
println("C " + "2" * 80)
}
}
def main {
println("-- new B begin")
new B {
println("new B context")
}
println("-- new B end")
println("-- new C begin")
new C {
println("new C context")
}
println("-- new C end")
}
}
println("Test1")
Test1.main
println("Test2")
Test2.main
输出
Test1
-- new B begin
s = A
B 11111111111111111111111111111111111111111111111111111111111111111111111111111111
new B context
B 22222222222222222222222222222222222222222222222222222222222222222222222222222222
-- new B end
-- new C begin
s = null
C 11111111111111111111111111111111111111111111111111111111111111111111111111111111
C 22222222222222222222222222222222222222222222222222222222222222222222222222222222
C 11111111111111111111111111111111111111111111111111111111111111111111111111111111
new C context
C 22222222222222222222222222222222222222222222222222222222222222222222222222222222
-- new C end
Test2
-- new B begin
s = A
B 11111111111111111111111111111111111111111111111111111111111111111111111111111111
new B context
B 22222222222222222222222222222222222222222222222222222222222222222222222222222222
-- new B end
-- new C begin
s = C
C 11111111111111111111111111111111111111111111111111111111111111111111111111111111
new C context
C 22222222222222222222222222222222222222222222222222222222222222222222222222222222
-- new C end
尝试了scala 2.10.2&2.11.0-M3.
在我的理解中,Test1应该与Test2相同。这里有两个问题:
- 为什么DelayedInit在Test1.C中被调用了两次?在类层次结构中没有其他类继承该特性
- 为什么在Test1.C中使用
s == null
为什么DelayedInit在Test1.C中被调用了两次?没有其他类继承类层次结构中的特性
这看起来像是一个错误,请尝试将其报告给Scala JIRA。
为什么
Test1.C
中有s == null
?
我认为这是因为中的val
override val s: String = "C"
由内部变量支持,并且该变量在CCD_ 5的初始化期间被初始化。并且由于DelayedInit
不捕获trait
s,所以A
的初始化在delayedInit
之前执行,即在C
和val s
被初始化之前。
(如果有人发布了这些类的反编译Java代码,那会很有趣。)