Desugar Scala(16) -- Lower Bound
欢迎关注我的新博客地址:http://cuipengfei.me/
Lower bound,不知道这个词的确切中文翻译是怎样的。我们直接看例子吧。
1 |
|
我们定义一个叫做Pair的类,其中可以包含两个元素,元素类型为泛型的T。
Pair类中有一个replaceFirst方法,用来把第二个元素和一个新的元素结合起来组成一个新的Pair。新的元素的类型是泛型的R。新组成的Pair的类型是Pair[R]。
到这里我们就要想了,一个T和一个R,它们俩怎么组成新的Pair呢?新的Pair的类型怎么能是Pair[R]呢?
replaceFirst的签名给我们说明了这一点。[R >: T]。这种标记的含义是说R是T的基类。那么一个T和一个R自然可以组合成一个R的Pair了。
单是这样干说,有点不好理解,我们看一个例子:
1 |
|
汽车和坦克都是机动车。
然后我们可以这样使用它们:
1 |
|
首先我们用两辆汽车组成一个Pair,其类型为Pair[Car]。
然后我们用一辆坦克替代原来的Pair中的第一个元素,让坦克和第二辆车组成一个新的Pair。新的Pari的类型是Pair[Vehicle]。
这里有一点tricky。我们调用replaceFirst的时候传递的参数的类型是Tank,这是否意味着在这里R就是Tank呢?
不是的,因为很明显Tank不是Car的基类,然而Tank是一个(is a)Vehicle,Vehicle同时也是Car的基类。于是此处的R就是Vehicle。得到的新的Pair自然就是Pair[Vehicle]。
也就是说R会被什么具体类型替换呢?这取决于T和newFirst的类型。
如果newFirst的类型刚好是T的基类,那太好了,R就直接是newFirst的类型。如果newFirst的类型不是T的基类,那R就会是T和newFirst的类型的共同基类。
这个东西挺麻烦的,它有啥用呢?
保证类型安全,Java没有提供给我们的类型安全。
还是刚才的那段代码:
1 |
|
其中的第二行,Scala可以很聪明的推断出replaceFirst的返回值类型是Pair[Vehicle]。实际上,如果我们试图把tankAndCar声明为Pair[Tank]的话,会看到编译时错误。
而类似的代码在Java里则没有这么幸运了:
1 |
|
为了标明区别,我们这次称之为PairJ。到这里忍不住要小小的黑Java一下,21行代码,和Scala的3行是等价的:)
我们重点看一下replaceFirst在这里的声明,其中声明了一个泛型参数R,但是R和T是没有任何关系的。实际上,在Java中,我们无法表达方法的泛型参数和类型的泛型参数之间的关系。(其原因请参看这里)
我们写出如下的代码:
1 |
|
先创建两辆车的Pair,然后把第一辆车替换成坦克。再把新组成的Pair里面的第二个元素(其类型是车)取出来,赋值给一个类型为坦克的变量。
如果我们编译这段代码,Java编译器会允许其通过。但是运行起来就会跑出类型转换异常。原因很明显,Car不能转换成Tank。
这个,就是刚才所说的类型安全性上的差异。
等等,脱衣服的部分呢?
之前的每一篇博客都会把Scala代码编译出的bytecode反编译成Java,来探索其语言特性是如何实现的。
而这一次颇为不同。之前的语言特性虽说Scala写起来比Java会简便一些,但是还没有超出Java的能力范围。多费点劲,用Java还是能做到。
而这一次,这种编译时类型安全检验的严格性,实在是在Java中无法表达的。这全靠了Scala编译器的功劳。
这就意味着,上面所定义的Pair这个类,如果你在Java中使用它,就会失去这种类型安全性。
Scala,这次算你牛,没扒掉你。
Desugar Scala(16) -- Lower Bound的更多相关文章
- Desugar Scala(15) -- unapply和unapplySeq方法
欢迎关注我的新博客地址:http://cuipengfei.me/ 实在想不到什么动词可以当做脱衣服来讲了,所以从现在开始这系列博文就叫做Desugar Scala了.除非哪天才思泉涌,又想到了新词: ...
- Scala - 语言专家 - Desugar Scala code
https://mp.weixin.qq.com/s/zwrG1MfUzXwtik7jotpQsA 介绍Intellij IDEA中的一个去除Scala语法糖的功能. 1. 去除 ...
- 二分查找里的upper bound与lower bound的实现与分析
1. 问题引入 最近参选了学堂在线的课程数据结构(2015秋).课程由清华大学的邓俊辉老师主讲,在完成课后作业时,遇到了这样一个题目范围查询.在这个题目中,我需要解决这样一个子问题:给定了一组已经排好 ...
- ELBO surgery: yet another way to carve up the variational evidence lower bound
目录 概 主要内容 Evidence minus posterior KL Average negative energy plus entropy Average term-by-term reco ...
- Desugar Scala(17) -- Option和for,以及脑子里发生的事情
欢迎关注我的新博客地址:http://cuipengfei.me/blog/2014/08/30/options-for/ Scala里的forkeyword是个非常有趣的东西. 能够用来把多层嵌套f ...
- [Bayes] KL Divergence & Evidence Lower Bound
L lower是什么? L lower, 既然大于,那么多出来的这部分是什么?如下推导: 得出了KL的概念,同时也自然地引出了latent variable q.
- 关于upper、lower bound 的探讨
lower_bound(A, A+n, x) - A 返回第一个大于等于x的数的下标 lower_bound(A, A+n, x) - A - 1 返回最后一个小于x的数的下标 upper_boun ...
- my understanding of (lower bound,upper bound) binary search, in C++, thanks to two post 分类: leetcode 2015-08-01 14:35 113人阅读 评论(0) 收藏
If you understand the comments below, never will you make mistakes with binary search! thanks to A s ...
- Beginning Scala study note(8) Scala Type System
1. Unified Type System Scala has a unified type system, enclosed by the type Any at the top of the h ...
随机推荐
- windows linux 下安装mysql 报1045 等错误
曾经在windows 下安装mysql 没怎么出现过问题.而在linux下安装的时候出现了一些问题,昨天在windows 安装的时候也出现了1045 错误.就个人经历来看这个问题就是 root用户pa ...
- ScriptableObject 对象化的运用
http://www.cnblogs.com/oldman/articles/2409554.html using UnityEngine; using UnityEditor; using Syst ...
- javascript 闭包 通俗解释
代码段 function foo(){ var a = 2; function bar(){ console.log(a); } return bar; } var baz = foo(); baz( ...
- ubuntu——更新、编译、启动内核
步骤如下: 1.make mrproper Linux下面去编译项目之前,一般常会用make mrproper去先删除之前编译所生成的文件和配置文件,备份文件等,其中,mrproper和distcle ...
- ubuntu 14.04为/检查磁盘时发生严重错误的解决方法
http://jingyan.baidu.com/article/0aa22375bbffbe88cc0d6419.html
- spring mvc 返回json的配置
转载自:http://my.oschina.net/haopeng/blog/324934 springMVC-servlet.xml 配置 1 2 3 4 5 6 7 8 9 10 11 12 13 ...
- 【Redis】redis 五种数据结构详解(string,list,set,zset,hash)
redis 五种数据结构详解(string,list,set,zset,hash) Redis不仅仅支持简单的key-value类型的数据,同时还提供list,set,zset,hash等数据结构的存 ...
- 乱码字符引起的JSON转换失败
这种问题有两个解决办法,使用后不管你是什么特殊字符还是什么西欧字体还是什么稀奇古怪的内容都可以完美解决! 1.要把即将转换为json的内容先转换为unicode编码,json转换无误后,使 ...
- JS字符编码函数区别分析
http://www.jb51.net/article/14657.htm js对文字编码有3个函数: escape,encodeURI,encodeURIComponent, 对应的解码函数:une ...
- 搭建coreseek(sphinx+mmseg3)详细安装配置+php之sphinx扩展安装+php调用示例(转)
一个文档包含了安装.增量备份.扩展.api调用示例,省去了查找大量文章的时间. 搭建coreseek(sphinx+mmseg3)安装 [第一步] 先安装mmseg3 cd /var/install ...