Scala之隐式转换implicit详解

时间:2024-01-12 17:52:38
假设我们有一个表示文本的行数的类LineNumber:
class LineNumber ( val num : Int ) 
我们可以用这个类来表示一本书中每一页的行数:
val lineNumOfPage1 = new LineNumber(112)
val lineNumOfPage2 = new LineNumber(120)

上面的代码分别表示了第一页和第二页的行数。当然,我们也应该可以将它们相加,得到这两页的总行数:

val totalLineNum = lineNumOfPage1 + lineNumOfPage2
这样的话,我们的LineNumber类里就应该有一个 “+” 方法来将两个对象相加:
class LineNumber ( val num : Int ) {

  def + ( that : LineNumber ) = new LineNumber( this.num + that.num )

}

从直观上讲,我们甚至可以直接用整数来和LineNumber相加:

val totalLineNumber = lineNumOfPage1 + 

//或者

val totalLineNumber =  + lineNumOfPage2
写到这里我们发现,LineNumber对象中没有接受整型作为参数的 “+” 方法;而整型中也不会有接受LineNumber作为参数的 “+” 方法。
为了说明问题,我们不在LineNumber类中增加一个整型作为参数的重载方法,而是定义两个隐式转换,一个将Int转换为LineNumber,另一个将LineNumber转换为Int:
object LineNumber{

  implicit def intToLineNumber( i : Int ) = new LineNumber(i)

  implicit def lineNumberToInt( o : LineNumber ) = o.num

}

接下来再让我们尝试用LineNumber和整型相加:

import LineNumber._

val totalLineNumber1 = lineNumOfPage1 + 

val totalLineNumber2 =  + lineNumOfPage2
让我们看看在编译时加入 “-Xprint:typer” 后上面两句的结果:
val totalLineNumber1: LineNumber = lineNumOfPage1.+(LineNumber.intToLineNumber());

val totalLineNumber2: Int = .+(LineNumber.lineNumberToInt(lineNumOfPage2));

到这里已经很清楚了。Scala编译器优先选择了方法的参数作为转换对象,而没有选择调用方法的对象。这是为什么呢?其实,当程序类型检查出现问题的时候,Scala编译器会在两个位置上对出现问题的语句尝试使用隐式转换:

  • 第一个位置是 “可以直接将某个类型转换为期望的类型” 的地方
  • 第二个位置是 “可以将调用方法的对象转换为合适类型” 的地方

第一个位置是那种我们需要A但是传入的却是B的地方。上面的例子正好就是这样的情况,对于totalLineNumber1来说,lineNumOfPage1的 “+” 方法需要的参数类型是LineNumber型,然而我们传入的是Int类型,Scala编译器在这里检测到类型错误后,会寻找将Int转换为LineNumber的隐式转换。因为在代码开始时,我们利用 "import LineNumber._ " 导入了相应的隐式转换,因此Scala编译器使用导入的隐式转换将整型120转换为了LineNumber类型。totalLineNumber2发生的情况是相同的,只不过是将LineNumber类型转换为了Int类型。

       也就是说,Scala编译器在使用隐式转换的时候,首先回去寻找可以直接转换类型的位置,其次才对调用方法的对象。如果我们将我们的隐式转换中intToLineNumber的转换去掉,那么我们得到的totalLineNumber1就会变为一个整型。
转自:http://blog.csdn.net/nethibernate/article/details/5893184