Scala系列之隱式轉換和隱式參數

Scala系列之隱式轉換和隱式參數
5.1. 概念
隱式轉換和隱式參數是Scala中兩個非常強大的功能，利用隱式轉換和隱式參數，你可以提供優雅的類庫，對類庫的使用者隱匿掉那些枯燥乏味的細節。

5.2. 作用
隱式的對類的方法進行增強，豐富現有類庫的功能

object ImplicitDemo extends App{
//定義隱式類，可以把File轉換成定義的隱式類RichFile
implicit class RichFile(from:File){
def read:String = Source.fromFile(from.getPath).mkString
}
//使用隱式類做已有類的動能的擴展
val contents = new File("src/test1.txt").read
println(contents)

}

5.5. 隱式類
創建隱式類時，只需要在對應的類前加上implicit關鍵字。比如：

object Helpers {
implicit class IntWithTimes(x: Int) {
def times[A](f: => A): Unit = {
def loop(current: Int): Unit =
if(current > 0) {
f
loop(current - 1)
}
loop(x)
}
}
}

這個例子創建了一個名為IntWithTimes的隱式類。這個類包含一個int值和一個名為times的方法。要使用這個類，只需將其導入作用域內并調用times方法。比如：

scala> import Helpers.
import Helpers.
scala> 5 times println("HI")
HI
HI
HI
HI
HI

使用隱式類時，類名必須在當前作用域內可見且無歧義，這一要求與隱式值等其他隱式類型轉換方式類似。

只能在別的trait/類/對象內部定義。

object Helpers {
   implicit class RichInt(x: Int) // 正確！
}
implicit class RichDouble(x: Double) // 錯誤！

構造函數只能攜帶一個非隱式參數。

implicit class RichDate(date: java.util.Date) // 正確！
implicit class Indexer[T](collecton: Seq[T], index: Int) // 錯誤！
implicit class Indexer[T](collecton: Seq[T])(implicit index: Index) // 正確！

雖然我們可以創建帶有多個非隱式參數的隱式類，但這些類無法用于隱式轉換。

在同一作用域內，不能有任何方法、成員或對象與隱式類同名。

object Bar
implicit class Bar(x: Int) // 錯誤！

val x = 5
implicit class x(y: Int) // 錯誤！

implicit case class Baz(x: Int) // 錯誤！

5.6. 隱式轉換函數
是指那種以implicit關鍵字聲明的帶有單個參數的函數，這種函數將被自動引用，將值從一種類型轉換成另一種類型。

使用隱含轉換將變量轉換成預期的類型是編譯器最先使用 implicit 的地方。這個規則非常簡單，當編譯器看到類型X而卻需要類型Y，它就在當前作用域查找是否定義了從類型X到類型Y的隱式定義。

比如，通常情況下，雙精度實數不能直接當整數使用，因為會損失精度：

scala> val i:Int = 3.5
<console>:7: error: type mismatch;
found : Double(3.5)
required: Int
val i:Int = 3.5
^

當然你可以直接調用 3.5.toInt。

這里我們定義一個從 Double 到 Int 的隱含類型轉換的定義，然后再把 3.5 賦值給整數，就不會報錯。

scala> implicit def doubleToInt(x:Double) = x toInt
doubleToInt: (x: Double)Int
scala> val i:Int = 3.5
i: Int = 3

此時編譯器看到一個浮點數 3.5，而當前賦值語句需要一個整數，此時按照一般情況，編譯器會報錯，但在報錯之前，編譯器會搜尋是否定義了從 Double 到 Int 的隱含類型轉換，本例，它找到了一個 doubleToInt。 因此編譯器將把

val i:Int = 3.5

轉換成

val i:Int = doubleToInt(3.5)

這就是一個隱含轉換的例子，但是從浮點數自動轉換成整數并不是一個好的例子，因為會損失精度。 Scala 在需要時會自動把整數轉換成雙精度實數，這是因為在 Scala.Predef 對象中定義了一個

implicit def int2double(x:Int) :Double = x.toDouble

而 Scala.Predef 是自動引入到當前作用域的，因此編譯器在需要時會自動把整數轉換成 Double 類型。

5.7. 隱式參數
object Test{
trait Adder[T] {
def add(x:T,y:T):T
}

implicit val a = new Adder[Int] {
  override def add(x: Int, y: Int): Int = x+y
}

def addTest(x:Int,y:Int)(implicit adder: Adder[Int]) = {
  adder.add(x,y)
}

addTest(1,2) // 正確, = 3
addTest(1,2)(a) // 正確, = 3
addTest(1,2)(new Adder[Int] {
override def add(x: Int, y: Int): Int = x-y
}) // 同樣正確, = -1
}