来自父特征的 Scala 隐式转换

Question

以下代码无法编译:

import scala.language.implicitConversions

trait Base {
  class Wrp[+T](val v: T) // wrapper / internal representation
}

trait BooleanOps extends Base {
  // implicit conversion
  implicit def lift2BooleanOpsCls(x: Boolean): BooleanOpsCls =
    new BooleanOpsCls(new Wrp[Boolean](x))
  class BooleanOpsCls(wx: Wrp[Boolean]) {
    def ||(wy: =>Wrp[Boolean]): Wrp[Boolean] = new Wrp[Boolean](wx.v || wy.v)
  }
}

trait MyExample extends BooleanOps {
  // test method
  def foo(): Wrp[Boolean] = {
    val ret: Wrp[Boolean] = false || new Wrp[Boolean](true)
    ret
  }
}

输出:

MyExample.scala:18: error: type mismatch;
 found   : MyExample.this.Wrp[Boolean]
 required: Boolean
        val ret: Wrp[Boolean] = false || new Wrp[Boolean](true)
                                         ^

但如果我:

1) 把 class Wrp基地外

或者

2)移动 BooleanOps的主体至 MyExample
一切都编译。

为什么原始示例不起作用？如果您对这种行为有一些了解，我们将不胜感激。谢谢你。

Answer 1

一个问题是 def ||(wy: =>Wrp[Boolean]) 中参数的按名称调用性质。
如果你把它改写为 def ||(wy: Wrp[Boolean])有用

但我同意，如果您在 Wrp 或 BooleanOpsCls 周围移动它会起作用，这很奇怪!隐式解析的意图或错误？