快学Scala第14章----模式匹配和样例类

本章要点

  • match表达式是一个更好的switch，不会有意外掉入到下一个分支的问题。
  • 如果没有模式能够匹配，会抛出MatchError。可以用case _ 模式来避免。
  • 模式可以包含一个随意定义的条件，称作守卫。
  • 你可以对表达式的类型进行匹配；优先选择模式匹配而不是isInstanceOf/asInstanceOf。
  • 你可以匹配数组、元组和样例类的模式，然后将匹配到的不同部分绑定到变量。
  • 在for表达式中，不能匹配的情况会被安静的跳过。
  • 样例类继承层级中的公共超类应该是sealed的。
  • 用Option来存放对于可能存在也可能不存在的值—-这比null更安全。

更好的switch

以下是Scala中C风格switch语句的等效代码：

var sign = ...
val ch: Char = ...

ch match {
  case ‘+‘ => sign = 1
  case ‘-‘ => sign = -1
  case _ => sign = 0
}

在这里，case _ 与 C 语言的 default 相同，可以匹配任意的模式，所以要注意放在最后。C 语言的 switch中的case语句必须使用break才能推出当前的分支，否则会继续执行后面的分支，直到遇到break或者结束； 而Scala的模式匹配只会匹配到一个分支，不需要使用break语句，因为它不会掉入到下一个分支。

match是表达式，与if一样，是有值的：

sign = ch match {
  case ‘+‘ => 1
  case ‘-‘ => -1
  case _ => 0
}

守卫

在C语言中，如果你想用switch判断字符是数字，则必须这么写：

switch(ch) {
  case ‘0‘:
  case ‘1‘:
  case ‘2‘:
  case ‘3‘:
  ...
  case ‘8‘:
  case ‘9‘: do something; break;
  default: ...;
}

你要写10条case语句才可以匹配所有的数字；而在Scala中，你只需要给模式添加守卫：

ch match {
  case ‘+‘ => 1
  case ‘-‘ => -1
  case _ if Character.isDigit(ch) => digit = Character.digit(ch, 10)
  case _ => 0
}

模式匹配中的变量

如果case关键字后面跟着一个变量名，那么匹配的表达式会被赋值给那个变量。

str(i) match {
  case ‘+‘ => 1
  case ‘-‘ => -1
  case ch => digit = Character.digit(ch, 10)
}

// 在守卫中使用变量
str(i) match {
  case ch if Character.isDigit(ch) => digit = Character.digit(ch, 10)
  ...
}

**注意： **Scala是如何在模式匹配中区分模式是常量还是变量表达式： 规则是变量必须是以小写字母开头的。 如果你想使用小写字母开头的常量，则需要将它包在反单引号中。

类型模式

你可以对表达式的类型进行匹配，例如：

obj match {
  case x: Int => x
  case s: String => Integer.parseInt(s)
  case _: BigInt => Int.MaxValue
  case - => 0
}

在Scala中我们会优先选择模式匹配而不是isInstanceOf/asInstanceOf。

注意： 当你在匹配类型的时候，必须给出一个变量名，否则你将会拿对象本身来进行匹配：

obj match {
  case _: BigInt => Int.MaxValue  // 匹配任何类型为BigInt的对象
  case BigInt => -1              // 匹配类型为Class的BigInt对象
}

注意： 匹配发生在运行期，Java虚拟机中泛型的类型信息是被擦掉的。因此，你不能用类型来匹配特定的Map类型。

case m: Map[String, Int] => ...   // error
// 可以匹配一个通用的映射
case m: Map[_, _] => ...   // OK

// 但是数组作为特殊情况，它的类型信息是完好的，可以匹配到Array[Int]
case m: Array[Int] => ...   // OK

匹配数组、列表和元组

要匹配数组的内容，可以在模式中使用Array表达式：

arr match {
  case Array(0) => "0"                  // 任何包含0的数组
  case Array(x, y) => x + " " + y   // 任何只有两个元素的数组，并将两个元素本别绑定到变量x 和 y
  case Array(0, _*) => "0 ..."         // 任何以0开始的数组
  case _ => "Something else"
}

同样也可以应用到List

lst match {
  case 0 :: Nil => "0"
  case x :: y :: Nil => x + " " + y
  case 0 :: tail => "0 ..."
  case _ => "Something else"
}

对于元组：

pair match {
  case (0, _) => "0, ..."
  case (y, 0) => y + " 0"
  case _ => "neither is 0"
}

提取器

在上面的模式是如何匹配数组、列表、元组的呢？Scala是使用了提取器机制—-带有从对象中提取值的unapply 或 unapplySeq方法的对象。其中， unapply方法用于提取固定数量的对象；而unapplySeq提取的是一个序列，可长可短。

arr match {
  case Array(0, x) => ...  // 匹配有两个元素的数组，其中第一个元素是0，第二个绑定给x
}

Array伴生对象就是一个提取器—-它定义了一个unapplySeq方法。该方法执行时为：Array.unapplySeq(arr) 产出一个序列的值。第一个值于0进行比较，第二个赋值给x。

正则表达式也可以用于提取器的场景。如果正则表达式有分组，可以用模式提取器来匹配每个分组：

val pattern = "([0-9]+) ([a-z]+)".r
"99 bottles" match {
  case pattern(num, item) => ...   // 将num设为99， item设为"bottles"
}

注意： 在这里提取器并不是一个伴生对象，而是一个正则表达式对象。

变量声明中的模式

在变量声明中也可以使用变量的模式匹配：

val (x, y) = (1, 2)  // 把x定义为1， 把y定义为2.
val (q, r) = BigInt(10) /% 3   // 匹配返回对偶的函数

// 匹配任何带有变量的模式
val Array(first, second, _*)  = arr

for表达式中的模式

你可以在for推导式中使用带变量的模式。

import scala.collection.JavaConversions.propertiesAsScalaMap
for ((k, v) <- system.getProperties()) {
  println(k + " -> " + v)
}

在for推导式中，失败的匹配将被安静的忽略。例如：

// 只匹配值为空的情况
for ((k, "") <- system.getProperties()) {
  println(k)
}

// 也可以使用守卫
for ((k, v) <- system.getProperties() if v == "") {
  println(k)
}

样例类

样例类是一种特殊的类，它们经过优化以被用于模式匹配。

abstract class Amount
case class Dollar(value; Double) extends Amount
case class Currency(value: Double, unit: String) extends Amount

// 针对单例的样例对象
case object Nothing extends Amount

// 将Amount类型的对象用模式匹配来匹配到它的类型，并将属性值绑定到变量：
amt match {
  case Dollar(v) => "$" + v
  case Currency(_, u) => "Oh noes, I got " + u
  case Nothing => ""
}

当你声明样例类时，如下事情会自动发生：

- 构造器中每一个参数都成为val—-除非它被显示的声明为var（不建议这样做）

- 在伴生对象中提供apply方法让你不用new关键字就能够构造出相应的对象，例如Dollar(2)或Currency(34, “EUR”)

- 提供unapply方法让模式匹配可以工作

- 将生成toString、equals、hashCode和copy方法—-除非你显示的给出这些方法的定义。

copy方法和带名参数

样例类的copy方法创建一个与现有对象值相同的新对象。例如：

val amt = Currency(29.95, "EUR")
val price = amy.copy()    // Currency(29.95, "EUR")
val price2 = amt.copy(value = 19.95)  // Currency(19.95, "EUR")
val price3 = amt.copy(unit = "CHF")    // Currency(29.95, "CHF")

case语句中的中置表示法

如果unapply方法产出一个对偶，则可以在case语句中使用中置表示法。尤其是对于两个参数的样例类，你可以使用中置表示法来表示它。

amt match { case a Currency u => ... }  // 等同于 case Currency(a, u)

这个特性的本意是要匹配序列。例如：每个List对象要么是Nil，要么是样例类::， 定义如下：

case class ::[E](head: E, tail: List[E]) extends List[E]
// 因此你可以这么写
lst match {
  case h :: t => ...   // 等同于 case ::(h, t)， 将调用::.unapply(lst)
}

匹配嵌套结构

样例类经常被用于嵌套结构。例如：商店售卖的商品：

abstract class Item
case class Article(description: String, price: Double) extends Item
case class Bundle(description: String, discount: Double, items: Item*) extends Item

// 产生嵌套对象
Bundle("Father‘s day special", 20.0, Article("Scala for the Impatient", 39.95),
  Bundle("Anchor Distillery Sampler", 10.0, Article("Old Potrero Straight Rye Whisky", 79.95),
    Article("Junipero Gin", 32.95)))

// 模式匹配到特定的嵌套，比如：
case Bundle(_, _, Article(descr, _), _*) => ...

上述代码将descr绑定到Bundle的第一个Article的描述。你也可以@表示法将嵌套的值绑定到变量：

case Bundle(_, _, art @ Article(_, _), rest @ _*) => ...

这样，art就是Bundle中的第一个Article， 而rest则是剩余Item的序列。 _*代表剩余的Item。

该特性实际应用：

def price(it: Item): Double = it match {
  case Article(_, p) => p
  case Bundle(_, disc, its @ _*) => its.map(price _).sum - disc
}

样例类是邪恶的吗

样例类适用于那种标记了不会改变的结构。例如Scala的List就是用样例类实现的。

abstract class List
case object Nil extends List
case class ::(head: Any, tail: List) extends List

当用在合适的地方时，样例类是十分便捷的，原因如下：

- 模式匹配通常比继承更容易把我们引向更精简的代码。

- 构造时不需要用new的符合对象更加易读

- 你将免费获得toString、equals、hashCode和copy方法。

对于样例类：

case class Currency(value: Double, unit: String)

一个Currency(10, “EUR”)和任何其他Currency(10, “EUR”)都是等效的，这也是equals和hashCode方法实现的依据。这样的类通常都是不可变的。对于那些带有可变字段的样例类，我们总是从那些不会改变的字段来计算和得出其哈希值，比如用ID字段。

密封类

密封类是指用sealed修饰的类。密封类的所有子类都必须在与该密封类相同的文件中定义。这样做的好处是：当你用样例类来做模式匹配时，你可以让编译器确保你已经列出了所有可能的选择，编译器可以检查模式语句的完整性。

sealed abstract class Amount
case class Dollar(value: Double) extends Amount
case class Currency(value: Double, unit: String) extends Amunt

上述的样例类必须与Amount类在一个文件中。

模拟枚举

sealed abstract class TrafficLightColor
case object Red extends TrafficLightColor
case object Yellow extends TrafficLightColor
case object Green extends TrafficLightColor

color match {
  case Red => "stop"
  case Yellow => "hurry up"
  case Green => "go"
}

Option类型

标准库中的Option类型用样例类来表示那种可能存在、也可能不存在的值。样例子类Some包装了某个值，例如： Some(“Fred”). 而样例对象None表示没有值。这比使用空字符串的意图更加清晰，比使用null来表示缺少的值的做法更安全。

Option支持泛型，例如：Some(“Fred”) 的类型是Option[String]。

Map的get方法返回一个Option。如果对于给定的键没有对应的值，则get返回None，如果有值，就会将该值包在Some中返回。

scores.get("Alice") match {
  case Some(score) => println(score)
  case None => println("No score")
}

//  可以使用isEmpty 和 get 替代上面代码
val aliceScore = scores.get("Alice")
if (aliceScore.isEmpty) println("No score")
else println(aliceScore.get)

// 使用更简便的 getOrElse方法
println(aliceScore.getOrElse("No score"))

偏函数

被包在花括号内的一组case语句是一个偏函数—-一个并非对所有输入值都有定义的函数。它是PartialFunction[A, B]类的一个实例。其中A是参数类型，B是返回类型。该类有两个方法：apply从匹配到的模式计算函数值， 而isDefinedAt方法在输入至少匹配其中一个模式时返回true。

val f: PartialFunction[Char, Int] = { case ‘+‘ => 1; case ‘-‘ => -1 }
f(‘-‘)   // 调用 f.apply(‘-‘)， 返回-1
f.isDefinedAt(‘0‘)  // fase
f(‘0‘)  // 抛出MatchError

有一些方法接受PartialFunction作为参数。例如 GenTraversable特质的collect方法将一个偏函数应用到所有该偏函数有定义的元素，并返回包含这些结果的序列：

"-3+4".collect {case ‘+‘ => 1;  case ‘-‘ => -1 }  // Vector(-1, 1)

时间： 2024-10-13 10:23:25

快学Scala第14章----模式匹配和样例类的相关文章

【Scala篇】--Scala中Trait、模式匹配、样例类、Actor模型

一.前述 Scala Trait(特征) 相当于 Java 的接口,实际上它比接口还功能强大. 模式匹配机制相当于java中的switch-case. 使用了case关键字的类定义就是样例类(case classes),样例类是种特殊的类. Actor相当于Java中的多线程. 二.具体阐述 trait特性 1.概念理解 Scala Trait(特征) 相当于 Java 的接口,实际上它比接口还功能强大. 与接口不同的是,它还可以定义属性和方法的实现. 一般情况下Scala的类可以继承多个Tra

从零学scala（七）集合、模式匹配和样例类

一:集合 主要的集合特质 scala集合中重要的特质: Trait(Iterable) Trait(Seq) Trait(Set) Trait(Map) Trait(IndexedSeq) Trait(SoredSet) Trait(SoredMap) Seq是一个有先后次序的值的序列,比如数组和列表.IndexSeq允许我们通过下表快速访问元素,ArrayBuffer是带下标的,但是链表不是. Set是一个没有先后次序的值的序列,SortedSet中,元素以排过序的顺序被访问. Map是一组(

好程序员大数据教程分享Scala系列之模式匹配和样例类

好程序员大数据教程分享Scala系列之模式匹配和样例类1.样例类在Scala中样例类是一中特殊的类,样例类是不可变的,可以通过值进行比较,可用于模式匹配.定义一个样例类:1.构造器中每一个参数都是val,除非显示地声明为var 2.伴生对象提供apply ,让你不使用new关键字就能构造出相应的对象case class Point(x: Int, y: Int)创建样例类对象:val point = Point(1, 2)val anotherPoint = Point(1, 2)val yet

模式匹配和样例类

模式匹配是类似switch-case特性,但更加灵活:也类似if-else,但更加简约. 1 def fibonacci(i : Any) : Int = i match { 2 case 0 => 0 3 case 1 => 1 4 case n : Int if (n > 1) => fibonacci(n -1) + fibonacci(n - 2) 5 case _ => 0 6 } 7 8 println(fibonacci(3)) 9 println(fibona

快学scala 第十一章 操作符 读书笔记及习题答案代码

chapter 11 操作符 标签:快学scala 一.笔记 scala种可以在反引号中包含几乎任何字符序列, val 'val' = 42 所有的操作符都是左结合的,除了以冒号(:)结尾的操作符,和赋值操作符.用于构造列表的::操作符是又结合的.1::2::Ni1的意思是1::(2::Ni1),先创建出包含2的列表,这个列表又被作为尾巴拼接到以1作为头部的列表中. 2. 函数调用语法:f(arg1, arg2,...)扩展到可以应用于函数之外的值,如果f不是函数或方法,那么这个表达式等于f.a

【转】Scala学习——模式匹配和样例类

原文链接 http://nerd-is.in/2013-09/scala-learning-pattern-matching-and-case-classes/ 原文发表于:http://nerd-is.in/2013-09/scala-learning-pattern-matching-and-case-classes/ Scala强大的模式匹配机制,可以应用在switch语句.类型检查以及“析构”等场合. 样例类对模式匹配进行了优化. 更好的switch 1 2 3 4 5 6 7 8 va

Scala笔记整理（七）：模式匹配和样例类

[TOC] 可以用到switch语句 1.Scala强大的模式匹配机制,可以应用在switch语句.类型检查以及"析构"等场合. def swithOps: Unit ={ var sign = 0 val ch: Char = '+' ch match { case '+' => sign = 1 case '-' => sign = -1 case _ => sign = 0 } println("sign===> " + sign) }

快学Scala第10章----特质

本章要点 类可以实现任意数量的特质 特质可以要求实现它们的类具备特定的字段.方法或超类 和Java接口不同,Scala特质可以提供方法和字段的实现 当你将多个特质叠加在一起时,顺序很重要--其方法先被执行的特质排在更后面 为什么没有多重继承 Scala和Java一样不允许类从多个超类继承:从多了超类继承可能会导致许多问题,例如两个超类有相同的方法,子类该如何使用和菱形继承.在java 中类只能扩展自一个超类,它可以实现任意数量的接口,但接口只能包含抽象方法,不能包含字段. Scala提供了特质(

快学Scala(14)--模式匹配和样例类

更好的switch def main(args: Array[String]): Unit = { var sign: Int = 0 val ch: Char = '+' val color = Color.BLACK sign = ch match { case '+' => 1 case '-' => -1 case _ => 0 } color match { case Color.RED => ; case Color.BLACK => ; case _ =>