设为首页收藏本站

小牛社区-大数据学习交流社区|大数据免费学习资源

 找回密码
 立即注册!

QQ登录

只需一步,快速开始

扫一扫,访问微社区

查看: 866|回复: 0

Scala视图

[复制链接]

3203

主题

3533

帖子

1万

积分

管理员

Rank: 18Rank: 18Rank: 18Rank: 18Rank: 18

积分
14297
发表于 2016-6-12 12:55:02 | 显示全部楼层 |阅读模式
视图
隐含参数和方法也可以定义隐式转换,称作视图。由类型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的一个实例,第二个则是传递给<=方法的隐含参数的一部分。

扫一扫超人学院微信二维码:
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册!

本版积分规则

快速回复 返回顶部 返回列表