隐式转换，是否需要导入？

Question

我写

object MyString {
  implicit def stringToMyString(s: String) = new MyString(s)    
}

class MyString(str: String) {
  def camelize = str.split("_").map(_.capitalize).mkString

  override def toString = str
}


object Parse {
  def main(args: Array[String]) {
    val x = "active_record".camelize
    // ...
  }
}

在我的程序中。这会导致编译错误。我插入后

  import MyString.stringToMyString

然后就可以了。

从 Odersky 的 Scala 编程 中，我发现不需要导入源或预期目标类型的伴生对象中的隐式转换。

Answer 1

同伴中的隐式转换
来源或预期的对象
目标类型不需要是
导入。

确实如此。现在，方法 camelize 是在类 MyString 上定义的，并且实际上，在其对象同伴内部存在到 MyString 的隐式转换。但是，代码中没有任何内容告诉编译器 MyString 是预期目标类型。

相反，如果您这样写：

val x = ("active_record": MyString).camelize

那么它就会起作用，因为编译器会知道您期望 "active_record" 是一个 MyString，使得它查找对象MyString内部的隐式转换。

这可能看起来有点限制，但它实际上在很多地方都有效。举例来说，您有：

class Fraction(num: Int, denom: Int) {
    ...
    def +(b: Fraction) = ...
    ...
}

然后您有这样的代码：

val x: Fraction = ...
val y = x + 5

现在，x 确实有一个 + 方法，其预期类型是分数。因此，编译器会在此处查找对象 Fraction 内（以及对象 Int 内）从 Int 到 Fraction 的隐式转换，如果有的话，因为那是源类型）。

Answer 2

在这种情况下，您需要导入，因为编译器不知道您从哪里提取 camelize 方法。如果类型明确，它将在不导入的情况下进行编译：

object Parse {
  def foo(s: MyString) = s.camelize

  def main(args: Array[String]) {
    val x = foo("active_record")
    println(x.toString)
  }
}

请参阅 Pimp 我的库模式 ，基于 Martin 的文章：

请注意，不可能将 def 放在顶层，因此您无法定义具有全局范围的隐式转换。解决办法就是把def放在一个对象里面，然后import它，即

object Implicits {
    implicit def listExtensions[A](xs : List[A]) = new ListExtensions(xs)
}

然后在每个源文件的顶部以及其他导入：

import Implicits._

Answer 3

我尝试了《Scala 编程》一书中的 Rational 类示例，在其伴生对象中放置了一个隐式方法：

object Rational {
  implicit def intToRational(num: Int) = 
    new Rational(num)
}

但代码

2 + new Rational(1, 2)

不起作用。为了发生转换，应用单一标识符规则，即，您需要将显式方法导入到作用域中，即使它是在伴生对象中定义的。