本章要点
- 标识符由字母、数字或运算符构成。
- 一元和二元操作符其实是方法调用
- 操作符优先级取决于第一个字符,而结合性取决于最后一个字符
- 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) => ...
...
}