引言

最近抱着《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的更多相关文章

  1. Scala中的Extractor

    Scala中使用unapply方法可以实现三种extractor(另外使用unapplySeq也可以实现extractor) def unapply(object: S): Option[(T1, . ...

  2. 转载:理解scala中的Symbol

    相信很多人和我一样,在刚接触Scala时,会觉得Symbol类型很奇怪,既然Scala中字符串都是不可变的,那么Symbol类型到底有什么作用呢? 简单来说,相比较于String类型,Symbol类型 ...

  3. Scala中的协变,逆变,上界,下界等

    Scala中的协变,逆变,上界,下界等 目录 [−] Java中的协变和逆变 Scala的协变 Scala的逆变 下界lower bounds 上界upper bounds 综合协变,逆变,上界,下界 ...

  4. Scala 中的函数式编程基础(一)

    主要来自 Scala 语言发明人 Martin Odersky 教授的 Coursera 课程 <Functional Programming Principles in Scala>. ...

  5. scala调用java的方法,返回了一个对象链表List<Student>,在scala中遍历该链表获取指定Student的名字name

    假设Student类如下: class Student { private int no; private String name; public int getNo() { return no; } ...

  6. scala中常用但其他语言不常见的符号含义

    本文旨在介绍Scala在其他语言中不太常见的符号含义,帮助理解Scala Code. 随着我对Scala学习的深入,我会不断增加该篇博文的内容. 修改记录 ----2016.11.23  新增scal ...

  7. Scala中的override

    Scala中的override override是覆盖的意思,在很多语言中都有,在scala中,override是非常常见的,在类继承方面,它和java不一样,不是可写可不写的了,而是必须写的.如果不 ...

  8. Programming In Scala笔记-第七章、Scala中的控制结构

    所谓的内建控制结构是指编程语言中可以使用的一些代码控制语法,如Scala中的if, while, for, try, match, 以及函数调用等.需要注意的是,Scala几乎所有的内建控制结构都会返 ...

  9. Programming In Scala笔记-第五章、Scala中的变量类型和操作

    这一章的一些基础性的东西,主要包括Scala中的基本变量类型,以及相关的一些操作符. 一.简单类型 下表中列出Scala语言中的基本类型,以及其字节长度,其中Byte, Short, Int, Lon ...

随机推荐

  1. Mac系统安装MyEclipse

    参考链接 http://blog.csdn.net/jin_kwok/article/details/51925523

  2. Jquery 复制功能

    使用clipboardjs插件实现鼠标点击复制功能: 官网:https://clipboardjs.com/ 使用示例: 1.引入 <script type="text/javascr ...

  3. iOS开发进阶 - 富文本正则替换表情

    移动端访问不佳,请访问我的个人博客 最近写项目需要用到富文本解析字符串显示表情,下面是我使用正则替换实现富文本的方式,希望能帮助到大家 先上效果图和demo地址 实现过程中需要用到的知识点 NSReg ...

  4. NAT模式下远程连接centos6虚拟机与虚拟机网络配置

    最近装了centos,但是没有网络,也无法远程连接.关键是虚拟机中没有ip地址. 网上方法很多,但是每个人情况不一样,所以不尽适用. 1.解决这个问题,首先保证你的vmware的dhcp服务和net服 ...

  5. webservice的SOAP代理设置

    我们的服务器是可以访问的 设置的代理同样也可以访问 接下来设置代理 接着打开TCP窗口 最后来看数据

  6. 学习webpack3.x过程中遇到的问题:webpack-dev-server

    这篇博客主要记录的是本人在学习webpack3.x的过程中遇到的问题(虽然这几天4.0刚出来,但是我还是先学一下3.x吧) 1.配置文件可以用webpack启服务和热更新,步骤如下: ① 先下载:we ...

  7. sprites.png雪碧图

    长时间不用把精灵图怎么用给忘了... 一.PC端 给所用到精灵图的元素设置background:url(sprites.png路径);  background-position: -x -y; 其中: ...

  8. less文件的运行

    例:在任意处创建一个.less文件,比如在桌面2017.06.28文件中创建了一个main.less文件,然后通过命令行编译main.less,步骤: win+R,cmd打开命令面板,切换到main. ...

  9. poi解析Excel文件版本问题

    poi解析Excel文件时有两种格式: HSSFWorkbook格式用来解析Excel2003(xls)的文件 XSSFWorkbook格式用来解析Excel2007(xlsx)的文件 如果用HSSF ...

  10. phalcon: 解决php7/phalcon3.2以上版本,不支持oracle数据库的方法

    解决php7/phalcon3.2以上版本,不支持oracle数据库的方法 phalcon3.2(3.0以上)版本不支持oracle的方法. https://github.com/phalcon/in ...