Scala的implicit

1. 隐式转换函数

我们在scala repl里定义一个方法foo，接受一个string的参数，打印出message。

当我们传入字符串参数"2"的时候，输出2。

但是当传入的类型是int而不是string的时候，出现类型不匹配异常。

如果我们想支持隐式转换，将int转化为string，可以定义一个隐式函数，def implicit intToString( i : Int) = i.toString。

这里注意一下这个隐式函数的输入参数和返回值。

输入参数：接受隐式转换输入参数为int类型；

返回值：返回结果是string。

eg. 

scala> def foo(msg : String) = println(msg)

    foo: (msg: String)Unit      

scala> foo("2")   

    2      

scala> foo(3)   

    error

scala> implicit def intToString(i:Int) = i.toString   

scala> foo(3)   

    3

隐式函数是在一个scope下面，给定一种输入参数类型，自动转换为返回值类型的函数，和函数名，参数名无关。  

这里intToString隐式函数是作用于一个scope的，这个scope在当前是一个scala repl，超出这个作用域，将不会起到隐式转换的效果。  

如果再定义一个相同的输入类型为int，和返回值类型为string的隐式函数名为int2str的函数，将会出错。

因为2个隐式函数都是可以处理int转为String，所以编译器不知道选择哪个。

so：

（1）同一个scope中不能存在参数和返回值完全相同的2个implicit函数。

（2）隐式转换函数只在意 输入类型，返回类型。

（3）隐式转换是scala的语法灵活和简洁的重要组成部分。

2. 隐式参数

当我们在定义方法时，可以把最后一个参数列表标记为implicit，表示该组参数是隐式参数。

一个方法只会有一个隐式参数列表，置于方法的最后一个参数列表。

如果方法有多个隐式参数，只需一个implicit修饰即可。

当调用包含隐式参数的方法时，如果当前上下文中有合适的隐式值，则编译器会自动为改组参数填充合适的值。如果没有编译器会抛出异常。

当然，标记为隐式参数的我们也可以手动为该参数添加默认值。eg. def foo(n: Int)(implicit t1: String, t2: Double = 3.14)

3. 隐式调用函数

隐式调用函数可以转换调用方法的对象，比如当编译器看到X.method，而类型 X 没有定义method（包括基类)方法，那么编译器就查找作用域内定义的从 X 到其它对象的类型转换，比如 Y，而类型Y定义了method 方法，编译器就首先使用隐含类型转换把 X 转换成 Y，然后调用 Y 的 method。

eg.

class SwingType{   

def  wantLearned(sw : String) = println("兔子已经学会了"+sw) 

} 

object swimming{   

implicit def learningType(s : AminalType) = new SwingType 

} 

class AminalType 

object AminalType extends  App{   

import com.mobin.scala.Scalaimplicit.swimming._   

val rabbit = new AminalType     

rabbit.wantLearned("breaststroke")

} 

上例中编译器在rabbit对象调用时发现对象上并没有wantLearning方法，此时编译器就会在作用域范围内查找能使其编译通过的隐式视图，找到learningType方法后，编译器通过隐式转换将对象转换成具有这个方法的对象，之后调用wantLearning方法。

可以看出implicit的应用，它可以为现有的类库增加功能。