Desugar Scala(15) -- unapply和unapplySeq方法

实在想不到什么动词可以当做脱衣服来讲了,所以从现在开始这系列博文就叫做Desugar Scala了。除非哪天才思泉涌,又想到了新词:)

开始正文。

名字叫做unapply和unapplySeq的方法在Scala里也是有特殊含义的。

我们前面说过case class在做pattern match时很好用,而除case class之外,有unapply或unapplySeq方法的对象在pattern match时也有很好的应用场景。

比如这段代码:

1
2
3
object Square {
def unapply(z: Double): Option[Double] = Some(math.sqrt(z))
}

我们定义了一个unapply方法,用来计算平方根。
我们可以像调用普通方法一样的调用它:

1
2
val number: Double = 36.0
Square.unapply(number)

这样会得到36的平方根:6。实际上返回值是Some(6)。

上面的方式是对unapply的浪费,unapply真正的好处是这样的:

1
2
3
4
5
val number: Double = 36.0
number match {
case Square(n) => println(s"square root of $number is $n")
case _ => println("nothing matched")
}

这样我们无需显式调用unapply方法,而把是它用在pattern match中,让编译器替我们调用它。

当我们写下这段pattern match的代码时,编译器其实替我们做了好几件事:

  1. 调用unapply,传入number
  2. 接收返回值并判断返回值是None,还是Some
  3. 如果是Some,则将其解开,并将其中的值赋值给n(就是case Square(n)中的n)

这段代码反编译出来是这个样子的:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
double number = 36.0D;
double d1 = number;
Option localOption = Square..MODULE$.unapply(d1);
//调用unapply,传入number
BoxedUnit localBoxedUnit;
if (localOption.isEmpty()) {//判断返回值是None
Predef..MODULE$.println("nothing matched");
localBoxedUnit = BoxedUnit.UNIT;
}
else {//判断返回值是Some
double n = BoxesRunTime.unboxToDouble(localOption.get());
//将Some解开,并将其中的值赋值给n
Predef..MODULE$.println(new StringContext(Predef..MODULE$.wrapRefArray((Object[]) new String[] {
"square root of ", " is ", ""
}) ).s(Predef..MODULE$.genericWrapArray(new Object[] {
BoxesRunTime.boxToDouble(number), BoxesRunTime.boxToDouble(n)
})));
localBoxedUnit = BoxedUnit.UNIT;
}

如果没有unapply方法和pattern match语法之间的这种结合,我们自己写代码要写成什么样子呢?

或许会比上面反编译的代码简单一些,但是显式地调用开平方的方法,用if else来判断Option,以及将真正的返回值从Option里面解出来这三件事是免不掉的。

unapplySeq和unapply的作用很是类似,例如这样:

1
2
3
4
5
6
object Names {
def unapplySeq(str: String): Option[Seq[String]] = {
if (str.contains(",")) Some(str.split(","))
else None
}
}

我们定义一个unapplySeq方法,用逗号作为分隔符来把字符串拆开。

然后我们可以这样应用它:

1
2
3
4
5
6
7
8
val namesString = "xiao ming,xiao hong,tom"
namesString match {
case Names(first, second, third) => {
println("the string contains three people's names")
println(s"$first $second $third")
}
case _ => println("nothing matched")
}

与上面的例子很是类似,不过编译器在这里替我们做的事情更多了:

  1. 调用unapplySeq,传入namesString
  2. 接收返回值并判断返回值是None,还是Some
  3. 如果是Some,则将其解开
  4. 判断解开之后得到的sequence中的元素的个数是否是三个
  5. 如果是三个,则把三个元素分别取出,赋值给first,second和third

如果没有unapplySeq方法和pattern match语法之间的这种结合,我们自己写代码来做这五件事会显得很是繁琐。