scala高级内容(二) - Implicit

一. Implicit关键字

class RichFile(val f:File){
def read = Source.fromFile(f).mkString
}
implicit def file2richFile(f:File) = new RichFile(f)   //隐士转换函数
val result: String = new File("/home/lj/chrome.sh").read
println(result)

(a) 隐士转换优先转换参数，后去尝试转换调用方法的对象
(b) 隐士转换不能同时使用多个转换。eg:convert1(convert2(a))
(c) 二义性错误：如果2个隐士转换函数都能用到参数转换，则编译器报错

class Delimeters(val left:String,val right:String){}
def quote(value:String)(implicit delimeters: Delimeters)=println(delimeters.left+value+delimeters.right)
quote("spark")(new Delimeters("<",">"))     //显示调用
implicit val deli = new Delimeters("<<",">>")
quote("hadoop")       // 自动推断

//Predef中含有大量的T->Ordered[T]的隐士转换函数
def getBigger[T](a:T,b:T)(implicit ord : T=>Ordered[T])={  //ord是一个隐士转换函数，用implicit修饰后，成为隐士参数。scala要根据前文查找是否有这样一个函数
if(a>b) a else b
}
println(getBigger(2,3))

object Test extends App{
// 隐士参数
def max[T](a:T,b:T)(implicit cp:Ordering[T])={
if (cp.compare(a,b)>0) a else b
}
println(max(1,3))

// 上下文界定精简隐士参数,表示的语义还是要有Ordering[T]类型的隐士参数
def max2[T:Ordering](a:T,b:T)={
// 1.内部函数使用隐士参数
def innermax(implicit op:Ordering[T]) = {
if (op.compare(a,b)>0) a else b
}
innermax
}
println(max2(3,6))

// 2. implicify还原隐士参数
def max3[T:Ordering](a:T,b:T)={
val op = implicitly[Ordering[T]]
if (op.compare(a,b)>0) a else b
}
println(max3(23,1))
}

//firstlast方法，会在调用时确定2个类型。C：函数的参数类型。A是iterable里的类型(List中的元素类型)。
def firstLast[A,C](it:C)(implicit demonstrate: C<:<Iterable[A]) = {  // 如果没有类型证明参数demonstrate，定义函数时，无法确定C是什么类型。也就无法调用参数的方法
(it.head,it.last)
}
println(firstLast(List(1,2,5)))                    // scala推断出泛型[Int,List[Int]]
println(firstLast[Int,List[Int]](List(1,2,5)))     // 手动指定泛型[Int,List[Int]]

二. @implicitNotFound注解

@implicitNotFound(msg = "Cannot prove that ${From} <:< ${To}.")
sealed abstract class <:<[-From, +To] extends (From => To) with Serializable

// Manifest和typetag存储被擦出泛型信息
class Foo{class Bar}
def m(f: Foo)(b: f.Bar)(implicit ev: TypeTag[f.Bar]) = ev   // TypeTag解决Manifest的依赖路径问题
val f1 = new Foo;val b1 = new f1.Bar
val f2 = new Foo;val b2 = new f2.Bar
val ev1 = m(f1)(b1)
val ev2 = m(f2)(b2)
println(ev1==ev2)    // false。 使用manifest的结果是true