与view bounds
一样context bounds
(上下文界定)也是隐式参数的语法糖。context bounds
的出现是scala2.8版本才增加的,起因是2.8版本修正了数组类型的设计(关于这个话题后续单独讨论),同时为语法上的方便,引入了”上下文界定”这个概念。
看一个简单的例子,对于比较两个数的大小,采用隐式参数的做法:
scala> def max[T](a:T, b:T) (implicit cp : Comparator[T]) = {
if (cp.compareTo(b) > 0) a else b
}
可以简化为:
scala> def max[T : Comparator] (a:T, b:T) = { … }
上面的类型参数声明 T : Comparator
就表示存在一个 Comparator[T]
类型的隐式值。
等等,原max方法里是要用到 cp 这个隐式参数的,省略后怎么用这个参数呢?有两个途径:
第一种是,在内部定义函数并声明隐式参数
scala> def max[T : Comparator] (a:T, b:T) = {
def inner(implicit c:Comparator[T]) = c.compare(a,b);
if(inner>0) a else b
}
这种做法只是把外部方法的隐式参数隐藏了,放到内部嵌套函数上;还有一个推荐的做法,使用implicitly
方法:
scala> def max2[T : Comparator] (a:T, b:T) = {
val cp = implicitly[Comparator[T]]
if( cp.compare(a,b)>0) a else b
}
implicitly
是在Predef.scala
里定义的,它是一个特殊的方法,编译器会记录当前上下文里的隐式值,而这个方法则可以获得某种类型的隐式值。
如果上下文中存在一个Comparator[Int]类型的隐式值:
scala> implicit val c = new Comparator[Int]{
override def compare(a:Int, b:Int) = a - b
}
那么对max
和max2
都可以对Int型的参数正确执行:
scala> max(1,2)
res4: Int = 2
scala> max2(3,2)
res5: Int = 3