Scala视图

最新推荐文章于 2021-11-29 22:33:45 发布

weixin_34389926

最新推荐文章于 2021-11-29 22:33:45 发布

阅读量102

点赞数

文章标签： scala

原文链接：https://my.oschina.net/crxy/blog/464689

版权

为什么80%的码农都做不了架构师？>>>

视图
隐含参数和方法也可以定义隐式转换，称作视图。由类型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))