快学Scala第11章----操作符

本章要点

• 标识符由字母、数字或运算符构成。
• 一元和二元操作符其实是方法调用
• 操作符优先级取决于第一个字符，而结合性取决于最后一个字符
• apply 和 update方法在对expr(args)表达式求值时被调用。
• 提取器从输入中提取元组或值的序列。

---

标识符

变量、函数、类等名称统一称为标识符；虽然在Scala中有更多的选择，可以由字母、数字和各种运算符构成，但是如果语义不够明确，还是不要随意使用（个人觉得还是使用C++或Java的规定:标识符由字母、数字和下划线构成，数字不能作为开始，这样会比较统一，也没有莫名的语义），例如你的标识符为：！#%&* 虽然没有语法错误，但是很难理解它代表了什么。

* 注意：* 反引号有比较特质的用途，例如：

val 'val' = 42   // 这样就可以使用Scala的关键字了，但是尽量不要这么使用
// 特殊的使用情况，Java的Thread中有yield方法，而Scala中yield是保留字：
Thread.'yield'()   //使用反引号

---

中置操作符

中置操作符是二元的，它有两个参数

a 标识符 b
// 例如
1 to 10
//实际上是
1.to(10)

你也可以重定义和重载操作符，这和C++或Java是一样的。

---

一元操作符

一元操作符只有一个参数。

a 标识符
// 例如
1 toString
// 实际上是
1.toString()

---

赋值操作符

a 操作符= b
// 等同于
a = a 操作符 b
// 例如 
a += b

技术细节：
- <= 、 >=和 != 是判断标识符，不是赋值操作符
- 以=开头的操作符不是赋值操作符，（==， ===, =/=）
- 如果a重写了名为=的操作符，该方法会被直接调用

---

优先级

Scala的中操作符优先级和C++、Java中的一样，不过它是由操作符的首字符决定的。

* / %  ---> + -  ---> : ---> < > ---> != ---> & ---> ^ ---> | ---> 非操作符 ---> 赋值操作符

---

结合性

在Scala中，所有操作符都是左结合的，出了：
- 以冒号(:)结尾的操作符
- 赋值操作符
例如：

1 :: 2 :: Nil   // 这是右结合的
1 :: (2 :: Nil)  // 等同于

---

apply 和 update 方法

Scala允许你将如下的函数调用方法：

 f(arg1, arg2, ...)
// 如果f不是函数，这个表达式就等同于：
f.apply(arg1, arg2, ...)

f(arg1, arg2, ...) = value
f.update(arg1, arg2, ..., value)  //等同于

这在前面的map映射时已经提到过。

val scores = new scala.collection.mutable.HashMap[String, Int]
scores("Bob") = 100  // 调用了scores.update("Bob", 100)
val bobsScore = scores("Bob")  // 调用了scores.apply("Bob")

在前面的伴生对象中，apply方法用来构造对象而不用显示的使用new。这在比较复杂的表达式中比较有用:

class Fraction(n: Int, d: Int) {
  ...
}

object Fraction {
  def apply(n: Int, d: Int) = new Fraction(n, d)
}

val  result = Fraction(3, 4) * Fraction(2, 5)  //省去了new

---

提取器

提取其就是一个带unapply方法的对象，它和伴生对象的apply方法正好相反。apply接受构造参数，然后将它们构造成对象；而unapply方法接受一个对象，然后从中取值—通常这些值就是当初用来构造该对象的值。

object Fraction {
  def apply(n: Int, d: Int) = new Fraction(n, d)

  def unapply(input: Fraction) = {
    if (input.den == 0) None else Some((input.num, input.den))
  }
}

var Fraction(a, b) = Fraction(3, 4) * Fraction(2, 5)  // a 被初始化成3*2， b被初始化成 4*5

你可以用提取器从任何类型的对中提取信息：

// Name对象是针对String对象的一个提取器，所有不需要Name 类
object Name {
  def unapply(input: String) = {
    val pos = input.indexOf(" ")
    if (pos == -1) None
    else Some((input.substring(0, pos), input.substring(pos + 1)))
  }
}

val  author = "Cay Horstmann"
val Name(first, last) = author

---

带单个参数或无参数的提取器

在Scala中，并没有只带一个组件的元组，如果unapply方法要提取单值，则它应该返回一个目标类型的Option ：

object Number {
  def unapply(input: String): Option[Int] = {
    try {
      Some(Integer.parseInt(input.trim))
    } catch {
      case ex: NumberFormatException => None
    }
  }
}

val Number(n) = "1729"

无参数的提取器：只是测试其输入而不真的提取出来，这样unapply方法返回Boolean

object IsCompound {
  def unapply(input: String) = input.contains(" ")
}

// 用该提取器给模式增加一个测试：
author match {
  case Name(first, last @ IsCompound()) => ...
  case Name(first, last) => ...
}

---

unapplySeq方法

要提前任意长度的值的序列，应该使用unapplySeq方法:

object Name {
  def unapplySeq(input: String): Option[Seq[String]] = {
    if (input.trim == "") None
    else Some(input.trim.split("\\s+"))
  }
}

// 这样可以匹配任意数量的变量
author math {
  case Name(first, last) => ...
  case Name(first, middle, last) => ...
  case Name(first, "van", "der", last) => ...
  ...
}