理解Scala中的Extractor
引言
最近抱着《Programming in Scala》(英文第二版)在死啃Scala。在阅读第26章Extractor时,偶然在Stack Overflow上搜到一个帖子《Scala pattern matching variable binding》。其中Daniel C. Sobral的回答,让我产生了一系列的思考,深感其一语道破天机、顿觉醍醐灌顶,故得此文。
问题
Zapadlo问道:为什么这样会在第一行case出错:IsUpperCase错误的参数数量?
object IsUpperCase {
def unapply(s: String): Option[String] = {
if (s.toUpperCase() == s) {
Some(s)
} else {
None
}
}
}
val s = "DuDu@qwadasd.ru"
s match {
case u @ IsUpperCase() => println("gotcha!")
case _ =>
}
而换成这样却又可以?
case IsUpperCase(u) => println("gotcha!")
答案
Daniel回答道:
A pattern match works the opposite of a function call. Where X(a, b) pass parameter "a" and "b" to "X" outside a pattern match, in a pattern match "a" and "b" are returned from "X".
意思指:
运用模式匹配的过程,其实是函数调用的逆过程。函数调用的过程,是给定参数a和b,然后得到x;而模式匹配,则是根据x,逆向得到a和b的过程。
并由此给出修改意见:在使用变量绑定方式进行模式匹配时,给IsUpperCase()
一个占位符用作其参数
case u @ IsUpperCase(_) => println("gotcha!")
思考
回想书中关于Extractor中apply()
与unapply()
的关系:『前者是注入器,利用给定参数得到某个设定集合里的一个元素;后者则是把给定的元素分解为若干个组成部分。』于是,将Daniel答复中的function call换成apply,将pattern match用unapply代替之,也是可行的。
那么,apply的输入参数将是unapply的输出,反之亦然。Extractor的实质,就是利用unapply去还原可能的apply的参数。所以在模式匹配时,我们需要用变量名或者占位符_
去绑定解析的结果,为匹配结果留出相应的坑。
反观上例,unapply()
的输出是Option[String]
,那说明对应的必定是apply(s:String)
,所以在模式匹配时,我们需要给IsUpperCase()
一个变量来接收匹配的结果。这就是为什么Zapadlo采取第二种方式可行的原因。
再来想想为什么采用『变量绑定』的方式时,需要使用占位符_
?这是因为变量绑定,可以说是Scala为模式匹配中标准的变量匹配模式提供的一个语法糖。u @ IsUpperCase(_)
这样的写法,相当于先匹配@后面的部分,然后把匹配的结果赋值给变量u
。而从前面的分析得出,IsUpperCase需要至少一个参数,所以我们用占位符代替了这个参数。
最后,再想想为什么把Extractor中unapply的返回值改为Boolean
后又可以了呢?这是因为,这时候apply是纯粹多余的、没有意义的,Extractor并不需要承担构造的任务,不需要绑定到某个或者某些变量上,它只是做个简单的判断。所以,在书中的第636页专门描述了这种情形,这也是Scala语言规范的一部分:
It’s also possible that an extractor pattern does not bind any variables. In that case the corresponding unapply method returns a boolean—true for success and false for failure.
这种情况下,类似这样的Extractor是没有办法象下面这个Email一样,利用匹配进行对象还原的。从另一个角度,其实我们也想得通,IsUpperCase.apply(true)
能得到某个特定的字符串吗?
Email.unapply(obj) match {
case Some(user, domain) => Email.apply(user, domain)
}
理解了这些,理解Extractor多个变量时就会感觉容易多了,不外乎解析得到类似列表或者String*
这样未知参数个数的结果了。
结语
Scala是一门夹杂了函数式编程的面向对象编程语言。在学习的过程中,val、equals与==、eq与ne,还有著名的akka框架等等等等,无一不让我心潮澎湃,让我隐约感受到了应用Scala实践DDD时将获得的那种顺畅感。希望能尽早完成基础语法的学习,再小试牛刀,哈哈。
理解Scala中的Extractor的更多相关文章
- Scala中的Extractor
Scala中使用unapply方法可以实现三种extractor(另外使用unapplySeq也可以实现extractor) def unapply(object: S): Option[(T1, . ...
- 转载:理解scala中的Symbol
相信很多人和我一样,在刚接触Scala时,会觉得Symbol类型很奇怪,既然Scala中字符串都是不可变的,那么Symbol类型到底有什么作用呢? 简单来说,相比较于String类型,Symbol类型 ...
- Scala中的协变,逆变,上界,下界等
Scala中的协变,逆变,上界,下界等 目录 [−] Java中的协变和逆变 Scala的协变 Scala的逆变 下界lower bounds 上界upper bounds 综合协变,逆变,上界,下界 ...
- Scala 中的函数式编程基础(一)
主要来自 Scala 语言发明人 Martin Odersky 教授的 Coursera 课程 <Functional Programming Principles in Scala>. ...
- scala调用java的方法,返回了一个对象链表List<Student>,在scala中遍历该链表获取指定Student的名字name
假设Student类如下: class Student { private int no; private String name; public int getNo() { return no; } ...
- scala中常用但其他语言不常见的符号含义
本文旨在介绍Scala在其他语言中不太常见的符号含义,帮助理解Scala Code. 随着我对Scala学习的深入,我会不断增加该篇博文的内容. 修改记录 ----2016.11.23 新增scal ...
- Scala中的override
Scala中的override override是覆盖的意思,在很多语言中都有,在scala中,override是非常常见的,在类继承方面,它和java不一样,不是可写可不写的了,而是必须写的.如果不 ...
- Programming In Scala笔记-第七章、Scala中的控制结构
所谓的内建控制结构是指编程语言中可以使用的一些代码控制语法,如Scala中的if, while, for, try, match, 以及函数调用等.需要注意的是,Scala几乎所有的内建控制结构都会返 ...
- Programming In Scala笔记-第五章、Scala中的变量类型和操作
这一章的一些基础性的东西,主要包括Scala中的基本变量类型,以及相关的一些操作符. 一.简单类型 下表中列出Scala语言中的基本类型,以及其字节长度,其中Byte, Short, Int, Lon ...
随机推荐
- Mac系统安装MyEclipse
参考链接 http://blog.csdn.net/jin_kwok/article/details/51925523
- Jquery 复制功能
使用clipboardjs插件实现鼠标点击复制功能: 官网:https://clipboardjs.com/ 使用示例: 1.引入 <script type="text/javascr ...
- iOS开发进阶 - 富文本正则替换表情
移动端访问不佳,请访问我的个人博客 最近写项目需要用到富文本解析字符串显示表情,下面是我使用正则替换实现富文本的方式,希望能帮助到大家 先上效果图和demo地址 实现过程中需要用到的知识点 NSReg ...
- NAT模式下远程连接centos6虚拟机与虚拟机网络配置
最近装了centos,但是没有网络,也无法远程连接.关键是虚拟机中没有ip地址. 网上方法很多,但是每个人情况不一样,所以不尽适用. 1.解决这个问题,首先保证你的vmware的dhcp服务和net服 ...
- webservice的SOAP代理设置
我们的服务器是可以访问的 设置的代理同样也可以访问 接下来设置代理 接着打开TCP窗口 最后来看数据
- 学习webpack3.x过程中遇到的问题:webpack-dev-server
这篇博客主要记录的是本人在学习webpack3.x的过程中遇到的问题(虽然这几天4.0刚出来,但是我还是先学一下3.x吧) 1.配置文件可以用webpack启服务和热更新,步骤如下: ① 先下载:we ...
- sprites.png雪碧图
长时间不用把精灵图怎么用给忘了... 一.PC端 给所用到精灵图的元素设置background:url(sprites.png路径); background-position: -x -y; 其中: ...
- less文件的运行
例:在任意处创建一个.less文件,比如在桌面2017.06.28文件中创建了一个main.less文件,然后通过命令行编译main.less,步骤: win+R,cmd打开命令面板,切换到main. ...
- poi解析Excel文件版本问题
poi解析Excel文件时有两种格式: HSSFWorkbook格式用来解析Excel2003(xls)的文件 XSSFWorkbook格式用来解析Excel2007(xlsx)的文件 如果用HSSF ...
- phalcon: 解决php7/phalcon3.2以上版本,不支持oracle数据库的方法
解决php7/phalcon3.2以上版本,不支持oracle数据库的方法 phalcon3.2(3.0以上)版本不支持oracle的方法. https://github.com/phalcon/in ...