本章要點(diǎn)
- 標(biāo)識(shí)符由字母揖庄、數(shù)字或運(yùn)算符構(gòu)成。
- 一元和二元操作符其實(shí)是方法調(diào)用
- 操作符優(yōu)先級(jí)取決于第一個(gè)字符媳纬,而結(jié)合性取決于最后一個(gè)字符
- apply 和 update方法在對(duì)expr(args)表達(dá)式求值時(shí)被調(diào)用。
- 提取器從輸入中提取元組或值的序列。
標(biāo)識(shí)符
變量钦听、函數(shù)洒试、類(lèi)等名稱(chēng)統(tǒng)一稱(chēng)為標(biāo)識(shí)符;雖然在Scala中有更多的選擇朴上,可以由字母垒棋、數(shù)字和各種運(yùn)算符構(gòu)成,但是如果語(yǔ)義不夠明確痪宰,還是不要隨意使用(個(gè)人覺(jué)得還是使用C++或Java的規(guī)定:標(biāo)識(shí)符由字母叼架、數(shù)字和下劃線(xiàn)構(gòu)成,數(shù)字不能作為開(kāi)始衣撬,這樣會(huì)比較統(tǒng)一碉碉,也沒(méi)有莫名的語(yǔ)義),例如你的標(biāo)識(shí)符為:淮韭!#%&* 雖然沒(méi)有語(yǔ)法錯(cuò)誤垢粮,但是很難理解它代表了什么。
** 注意:** 反引號(hào)有比較特質(zhì)的用途靠粪,例如:
val 'val' = 42 // 這樣就可以使用Scala的關(guān)鍵字了蜡吧,但是盡量不要這么使用
// 特殊的使用情況,Java的Thread中有yield方法占键,而Scala中yield是保留字:
Thread.'yield'() //使用反引號(hào)
中置操作符
中置操作符是二元的昔善,它有兩個(gè)參數(shù)
a 標(biāo)識(shí)符 b
// 例如
1 to 10
//實(shí)際上是
1.to(10)
你也可以重定義和重載操作符,這和C++或Java是一樣的畔乙。
一元操作符
一元操作符只有一個(gè)參數(shù)君仆。
a 標(biāo)識(shí)符
// 例如
1 toString
// 實(shí)際上是
1.toString()
賦值操作符
a 操作符= b
// 等同于
a = a 操作符 b
// 例如
a += b
技術(shù)細(xì)節(jié):
- <= 、 >=和 != 是判斷標(biāo)識(shí)符牲距,不是賦值操作符
- 以=開(kāi)頭的操作符不是賦值操作符返咱,(==, ===, =/=)
- 如果a重寫(xiě)了名為=的操作符牍鞠,該方法會(huì)被直接調(diào)用
優(yōu)先級(jí)
Scala的中操作符優(yōu)先級(jí)和C++咖摹、Java中的一樣,不過(guò)它是由操作符的首字符決定的难述。
* / % ---> + - ---> : ---> < > ---> != ---> & ---> ^ ---> | ---> 非操作符 ---> 賦值操作符
結(jié)合性
在Scala中萤晴,所有操作符都是左結(jié)合的,出了:
- 以冒號(hào)(:)結(jié)尾的操作符
- 賦值操作符
例如:
1 :: 2 :: Nil // 這是右結(jié)合的
1 :: (2 :: Nil) // 等同于
apply 和 update 方法
Scala允許你將如下的函數(shù)調(diào)用方法:
f(arg1, arg2, ...)
// 如果f不是函數(shù)胁后,這個(gè)表達(dá)式就等同于:
f.apply(arg1, arg2, ...)
f(arg1, arg2, ...) = value
f.update(arg1, arg2, ..., value) //等同于
···
這在前面的map映射時(shí)已經(jīng)提到過(guò)店读。
``` scala
val scores = new scala.collection.mutable.HashMap[String, Int]
scores("Bob") = 100 // 調(diào)用了scores.update("Bob", 100)
val bobsScore = scores("Bob") // 調(diào)用了scores.apply("Bob")
在前面的伴生對(duì)象中,apply方法用來(lái)構(gòu)造對(duì)象而不用顯示的使用new攀芯。這在比較復(fù)雜的表達(dá)式中比較有用:
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
提取器
提取其就是一個(gè)帶unapply方法的對(duì)象屯断,它和伴生對(duì)象的apply方法正好相反。apply接受構(gòu)造參數(shù),然后將它們構(gòu)造成對(duì)象裹纳;而unapply方法接受一個(gè)對(duì)象,然后從中取值---通常這些值就是當(dāng)初用來(lái)構(gòu)造該對(duì)象的值紧武。
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
你可以用提取器從任何類(lèi)型的對(duì)中提取信息:
// Name對(duì)象是針對(duì)String對(duì)象的一個(gè)提取器,所有不需要Name 類(lèi)
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
帶單個(gè)參數(shù)或無(wú)參數(shù)的提取器
在Scala中阻星,并沒(méi)有只帶一個(gè)組件的元組朋鞍,如果unapply方法要提取單值,則它應(yīng)該返回一個(gè)目標(biāo)類(lèi)型的Option :
object Number {
def unapply(input: String): Option[Int] = {
try {
Some(Integer.parseInt(input.trim))
} catch {
case ex: NumberFormatException => None
}
}
}
val Number(n) = "1729"
無(wú)參數(shù)的提取器:只是測(cè)試其輸入而不真的提取出來(lái)妥箕,這樣unapply方法返回Boolean
object IsCompound {
def unapply(input: String) = input.contains(" ")
}
// 用該提取器給模式增加一個(gè)測(cè)試:
author match {
case Name(first, last @ IsCompound()) => ...
case Name(first, last) => ...
}
unapplySeq方法
要提前任意長(zhǎng)度的值的序列滥酥,應(yīng)該使用unapplySeq方法:
object Name {
def unapplySeq(input: String): Option[Seq[String]] = {
if (input.trim == "") None
else Some(input.trim.split("\\s+"))
}
}
// 這樣可以匹配任意數(shù)量的變量
author math {
case Name(first, last) => ...
case Name(first, middle, last) => ...
case Name(first, "van", "der", last) => ...
...
}