Scala视图

视图
隐含参数和方法也可以定义隐式转换，称作视图。由类型S到类型T的视图由一个函数类型为S=>T或(=>S)=>T的隐含值或一个可以转变为该类型的值定义。
视图在两种情况下应用。
1. 如果表达式e类型为T，且T与表达式的期望类型不一致。这种情况下将会搜索一个隐含的v，v可以应用到e且结果类型与pt一致。搜索的形式类似于隐含参数，隐含作用域类似于T => pt。如果找到了这样一个视图，则表达式e变为v(e)。
2. 选择e.m中，e的类型为T，如果选择器m并不表示T的成员。这种情况下会搜索视图v，v可以应用到e且结果包含一个名为m的成员。搜索的形式类似于隐含参数，隐含作用域是T。如果找到了这样一个视图，则选择e.m变为v(e).m。
对于隐含参数，如果有多个可选者，则应用重载解析。
示例7.3.1 类scala.Ordered[A]有一个方法
def <= [B >: A](that: B)(implicit b2ordered: B => Ordered[B]): Boolean
设有类型为List[Int]的两个列表xs和ys，且§7.2中定义的方法list2ordered和int2ordered在作用域中，那么操作
xs <= ys
是合法的，且扩展为
list2ordered(xs)(int2ordered).<=
(ys)
(xs => list2ordered(xs)(int2ordered))

list2ordered的第一个应用将列表xs转变为类Ordered的一个实例，第二个则是传递给<=方法的隐含参数的一部分。

扫一扫超人学院微信二维码：