学习Scala的重载方法和隐式转换-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之内，它就不在解释器的作用范围。现在，你要在解释器内直接定义它。

正如你在这个例子中能领略到的，隐式转换是把库变得更灵活和更方便的非常强大的技术。因为他们如此强大，所以也很容易被误用。第二十一章里你将发现隐式转换的更多细节，包括在需要的时候把它们带入作用范围的方式。

【相关阅读】