实际上Scala没有操作符, 只是以操作符的格式使用方法.
操作符的优先级取决于第一个字符(除了赋值操作符), 而结合性取决于最后一个字符
Scala的操作符命名更加灵活:)
操作符
中置操作符(Infix)
a 操作符 b
上述操作符代表一个带有两个参数的方法(一个隐式参数和一个显示参数)
1 to 10 即 1.to(10) Range
1 -> 10 即 1.->(10) 对偶操作符(1, 10)
在自己的类中定义操作符很简单, 以你自己想要做操作符的标识符来定义一个方法就好了.
class MyOperator(factor1: Int) {
def &@(factor2: Int) = {
new MyOperator(factor2 * factor1)
}
override def toString: String = " " + factor1
}
object TestMyOp extends App {
val multi = new MyOperator(4)
println(multi.&@(2))
}
/*output
8
*/
一元操作符
后置操作符: 操作符出现在参数之后
a 操作符
1 toString 即 1.toString()
前置操作符: 出现在参数之前
+, -, !, ~ 可以作为前置操作符, 它们被转化为名为 unary_ 的操作符的方法调用
如 -a, 即 a.unary_-
赋值操作符
形式为
a 操作符= b 即, a = a 操作符 b
如 a += b 即: a = a + b
技术细节注意一下:
- <=, >=, != 不是赋值操作符
- 以
=开头的操作符不是赋值操作符(==, ===, =/=等) - 如果a有一个名为
操作符=的方法, 那么该方法会被直接调用, 而不是执行赋值操作
操作符优先级
由于Scala可以任意定义操作符, 他需要一套优先级判定方案;
对所有的操作符生效, 同时保留人们熟悉的标准操作符的优先顺序
除了赋值操作符之外, 优先级由操作符的首字符决定, 比方说操作符以*开头优先级高于+开头的;
以下是操作符的首字符的优先级, 从上到下, 优先级依次降低
| 首字符优先级 |
|---|
| * / % |
| + - |
| : |
| < > |
| ! = |
| & |
| ^ |
| | |
| 非以上操作符 |
- 最低优先级的操作符为赋值操作符
- 出现在同一行的字符所产生的操作符有优先级相同, 比如说 + 和 -> 有着相同的优先级
- 后置操作符的优先级低于中置操作符
操作符结合性
当有一系列的相同优先级的操作符时,操作符的结合性决定了它们从左到右求值还是从右到左求值.
在Scala中操作符都是左结合的, 除了:
- 以冒号
:结尾的操作符 - 赋值操作符
右结合的二元操作符是第二个参数的函数
2 :: Nil 即 Nil.::(2)
apply, update方法
f(arg1, arg2, ...)
如果f不是一个函数或者方法, 那么这个表达式等同于调用apply方法, 除非它出现在赋值语句的左侧, 即 f(arg1, arg2, ...) = value, 则调用的是update方法
f.apply(arg1, arg2, ...)
f.update(arg1, arg2, ..., value)
这机制被用于数组和映射, apply方法常用于伴生对象中, 用来构造对象而不用显式的使用 new 关键字
val happy = new scala.collection.mutable.HashMap[String, Int]
happy("smile") = 10 // happy.update("smile", 10)
happy("smile") // happy.apply("smile")
提取器
所谓提取器就是一个带有 unapply 方法的对象, 你可以把unapply 方法当成伴生对象中 apply 方法的反向应用, apply 方法接受构造参数, 然后将他们变成对象; 而unapply接受一个对象, 然后从中提取值---这些值就是当时用来构造对象的值.
每个样例类都自动具备apply和unapply方法
通常而言, 模式匹配可能会失败, 因此采用 Option 类型作为 unapply 返回值
object Name extends App{
val me = "wang bin"
val Name(first, last) = me
println(first + " " + last)
println(first)
def unapply(input: String): Option[(String, String)] = {
val pos = input.indexOf(" ")
if (pos == -1) None
else Some((input.substring(0, pos), input.substring(pos + 1)))
}
}
带单个参数或者无参数的构造器
在 Scala 中没有只有一个元素的元组, 如果 unapply 要提取单值, 则它应该返回一个目标类型的 Option[A], 比如下面的 Option[Int]
object Number extends App {
val Number(digit) = "1111 "
println(digit)
def unapply(input: String): Option[Int] = {
try {
Some(Integer.parseInt(input.trim))
} catch {
case ex: NumberFormatException => None
}
}
}
提取器也可以只是测试其输入而不将值提取出来, 这样的话, unapply 方法应该返回 Boolean. 例如:
object IsCompound extends App{
println(NameRes("wang bin"))
println(NameRes("tom hanks ming"))
def unapply(arg: String):Boolean = arg.contains(" ")
def NameRes(name: String) = name match {
// @ IsCompound() ()不能丢 测试的是 last 是否包含空格
case Name(first, last @ IsCompound()) => first
case Name(first, last ) => last
}
}
/*output
bin
tom
*/
unapplySeq 方法
要提取任意长度的值的序列, 我们应该用 unapplySeq 来命名我们的方法, 它返回值为 Option[Seq[A]], 其中 A 是被提取值的类型. 举例来说 Name 提取器可以产出名字中所有组成部分的序列, 这样一来就可以提取任意数量的变量了
object Name extends App{
val name = "tom li hi"
println(NameSeq("happy smile")) // 输出: happly
println(NameSeq("tom hanks ming toylor")) // 输出 ming
def NameSeq(name: String) = name match {
// @ IsCompound() ()不能丢 测试的是 last 是否包含空格
case Name(first, last) => first
case Name(first, "good", last ) => last
case Name(first, nd, rd, _*) => rd
case _ => "NameSeq"
}
def unapplySeq(input: String): Option[Seq[String]] = {
if (input.trim == "") None else Some(input.split("\\s+"))
}
}