首页 > 其他 > 详细

Scala视图

时间:2015-06-09 19:26:32      阅读:209      评论:0      收藏:0      [点我收藏+]

视图
隐含参数和方法也可以定义隐式转换,称作视图。由类型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的一个实例,第二个则是传递给<=方法的隐含参数的一部分。

 

扫一扫超人学院微信二维码:技术分享

Scala视图

原文:http://www.cnblogs.com/CRXY/p/4564068.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!