Scala 似乎对最大可能的表达式应用隐式类转换,如下例所示:
scala> class B { def b = { println("bb"); true } }
defined class B
scala> class A { def a = { println("aa"); new B } }
defined class A
scala> (new A).a.b
aa
bb
res16: Boolean = true
scala> class XXX(b: => Boolean) { def xxx = 42 }
defined class XXX
scala> implicit def toXXX(b: => Boolean) = new XXX(b)
toXXX: (b: => Boolean)XXX
scala> (new A).a.b.xxx
res18: Int = 42
我对这一事实感到非常高兴,但我的问题是 SLS 的哪一部分指定了这种行为?例如,为什么它不首先将 (new A).a.b
评估为 true
,而只是对该值应用转换?
最佳答案
包含隐式转换的行
(new A).a.b.xxx
由编译器(即在编译时)转换为
toXXX((new A).a.b).xxx
如果您在启动 Scala 时使用 -Xprint:typer
选项,我们可以看到这一点。
private[this] val res3: Int = $line5.$read.$iw.$iw.toXXX(new $line2.$read.$iw.$iw.A().a.b).xxx;
由于这种转换发生在编译时而不是运行时,Scala 不可能在应用转换。因此,您获得的行为与您刚刚编写 toXXX((new A).a.b).xxx
完全相同。
关于scala - Scala隐式类转换的作用域,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/10727508/