学习Scala的重载方法和隐式转换

方法重载

回到Rational类上来。在最近一次改变之后，你可以在分数上用自然的风格做加法和乘法。但别忘了还有混合运算。例如，你不能把一个分数和一个整数乘在一起，因为‘*’的操作数只能是分数。所以对于分数r你不能写r * 2。而必须写成r * new Rational(2)，看上去不漂亮。为了让Rational用起来更方便，可以在类上增加能够执行分数和整数之间的加法和乘法的新方法。既然已经到这里了，还可以再加上减法和除法。结果展示在代码6.5中：

51CTO编辑推荐：Scala编程语言专题

class Rational(n: Int, d: Int) {  



 require(d != 0)  




 private val g = gcd(n.abs, d.abs)  



 val numer = n / g  


 val denom = d / g  



 def this(n: Int) = this(n, 1)  



 def +(that: Rational): Rational =  



  new Rational(  



   numer * that.denom + that.numer * denom,  


   denom * that.denom  


  )  


 def +(i: Int): Rational =  



  new Rational(numer + i * denom, denom)  



 def -(that: Rational): Rational =  



  new Rational(  



   numer * that.denom - that.numer * denom,  


   denom * that.denom  


  )  


 def -(i: Int): Rational =  



  new Rational(numer - i* denom, denom)  



 def *(that: Rational): Rational =  



  new Rational(numer * that.numer, denom * that.denom)  



 def *(i: Int): Rational =  



  new Rational(numer * i, denom)  



 def /(that: Rational): Rational =  



  new Rational(numer * that.denom, denom * that.numer)  



 def /(i: Int): Rational =  



  new Rational(numer, denom * i)  




 override def toString = numer+"/"+denom  




 private def gcd(a: Int, b: Int): Int =  




  if (b == 0) a else gcd(b, a % b)  



}  

代码 6.5 含有重载方法的Rational

现在每种数学方法都有两个版本了：一个带分数做参数，另一个带整数。或者可以说，这些方法名都被重载：overload了，因为每个名字现在都被多个方法使用。例如，+这个名字被一个带Rational的和另一个带Int的方法使用。方法调用里，编译器会拣出正确地匹配了参数类型的重载方法版本。例如，如果x.+(y)的参数y是Rational，编译器就会拣带有Rational参数的+方法来用。相反如果参数是整数，编译器就会拣带有Int参数的+方法做替代。如果你尝试输入：

scala> val x = new Rational(2, 3)  



x: Rational = 2/3 



scala> x * x  



res37: Rational = 4/9 




scala> x * 2 




res38: Rational = 4/3 

你会看到*方法的调用取决于每个例子里面右侧操作数的类型。

注意

Scala分辨重载方法的过程与Java极为相似。任何情况下，被选中的重载版本都是最符合参数静态类型的那个。有时如果不止一个最符合的版本；这种情况下编译器会给你一个“参考模糊”的错误。

隐式转换

现在你能写r * 2了，或许你想交换操作数，就像2 * r这样。不幸的是这样做还不可以：

scala> 2 * r  



< console>:7: error: overloaded method value * with alternatives  



(Double)Double < and> (Float)Float < and> (Long)Long < and> (Int)Int  


< and> (Char)Int < and> (Short)Int < and> (Byte)Int cannot be  


applied to (Rational)  



  val res2 = 2 * r  



                 ˆ  

这里的问题是2 * r等同于2.*(r)，因此这是在整数2上的方法调用。但Int类没有带Rational参数的乘法――没办法，因为类Rational不是Scala库的标准类。

然而，Scala里有另外一种方法解决这个问题：你可以创建一个在需要的时候能自动把整数转换为分数的隐式转换。试着把这行代码加入到解释器：

scala> implicit def intToRational(x: Int) = new Rational(x)  

这行代码定义了从Int到Rational的转换方法。方法前面的implicit修饰符告诉编译器若干情况下自动调用它。定义了转换之后，你现在可以重试之前失败的例子了：

scala> val r = new Rational(2,3)  



r: Rational = 2/3 




scala> 2 * r  




res0: Rational = 4/3 

请注意隐式转换要起作用，需要定义在作用范围之内。如果你把隐式方法定义放在类Rational之内，它就不在解释器的作用范围。现在，你要在解释器内直接定义它。