Scala隐式转换范围问题

时间:2011-08-02 02:45:16

标签: scala implicit implicit-conversion

拿这段代码:

  class Register(var value:Int = 0) {
      def getZeroFlag() : Boolean = (value & 0x80) != 0
  }

  object Register {
      implicit def reg2int(r:Register):Int = r.value
      implicit def bool2int(b:Boolean):Int = if (b) 1 else 0
  }

我想这样使用它:

val x = register.getZeroFlag + 10

但是我受到了欢迎:

type mismatch; found : Boolean required: Int

怎么回事?我是否需要定义一个隐式的函数来返回一个bool?

1 个答案:

答案 0 :(得分:14)

以下是演示如何使用隐含的示例:

object Test {
  val register = new Register(42)
  val x = 1 + register // implicitly calling reg2int from companion object
  val y = register - 1 // same
  // val z = register + 1 // doesn't work because "+" means string concatenation

  // need to bring bool2int implicit into scope before it can be used
  import Register._
  val w = register.getZeroFlag() + 2 // this works now
  val z2 = register + 1 // works because in-scope implicits have higher priority 
}

这里有两个可能不明显的事情:

  • 当寻求与Register类型的对象进行隐式转换时,编译器将查找伴随对象Register。这就是为什么我们不需要将reg2int明确地纳入定义xy的范围。但是,转化bool2int确实需要在范围内,因为它未在BooleanInt随播广告对象上定义。
  • 方法+已在所有对象上定义为通过any2stringadd中的隐式scala.Predef表示字符串连接。定义val z是非法的,因为字符串连接的隐含优先于reg2int(在伴随对象中发现的隐含优先级相对较低)。但是,定义val z2有效,因为我们已将reg2int纳入范围,从而赋予其更高的优先级。

有关编译器如何搜索implicits的更多详细信息,请参阅Daniel Sobral的非常好的解释:Where does Scala look for implicits?