快学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映射时已经提到过。
``` scala
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) => ...
  ...
}

你可能感兴趣的:(快学Scala第11章----操作符)