1. 前缀运算,后缀运算和中缀运算
Scala中的表达式,是由运算符(operator)和操作数(operand)组成的。
运算符(operator)实际上是方法调用(method call)的语法糖,
REPL中,在表达式的末尾输入//print
,然后按tab
键,
scala> 1+2//print
(1).+(2) // : Int(3)
可以看到,1+2
实际上是(1).+(2)
的语法糖。
1.1 prefix operation
前缀运算(prefix operation),指的是形如op;e
的表达式,
其中,op
是一个前缀运算符(prefix operator)。
前缀运算符,在Scala中只有4个,+
,-
,!
,~
。
前缀运算符op
,可以看做对方法unary_op
进行调用,例如,
scala> -a//print
a.`unary_-` // : <error>
scala> !a//print
a.`unary_!` // : <error>
1.2 postfix operation
后缀运算(postfix operation),形如e;op
,将被解释为e.op
。
1.3 infix operation
中缀运算(infix operation),形如e0;op1;e1;op2…opn;en
,
具体的解释方式,需要考虑运算符的优先级和结合性。
2. 运算符的优先级和结合性
2.1 优先级
Scala使用了以下表格来确定运算符的优先级,越向下优先级越高,
并且,运算符的优先级,只与它的首字符在表中的位置有关。
(all letters)
|
^
&
= !
< >
:
+ -
* / %
(all other special characters)
因此,我们看到*
的优先级,确实比+
的优先级高。
注:
考虑运算符优先级的时候,只有一个例外,
那就是对于赋值运算符来说,它的优先级和=
的优先级相同,例如,*=
。
2.2 结合性
相同优先级的运算符之间,需要考虑结合性,
运算符的结合性,只与它的尾字符有关。
如果运算符以冒号:
结尾,则表示它是右结合的,
否则,它就是左结合的。
2.3 一些限制
运算符的优先级和结合性,决定了一个表达式是如何分组的。
(1)后缀运算符,总是比中缀运算符具有更低的优先级,
因此,e1;op1;e2;op2
,会被解释为(e1;op1;e2);op2
。
(2)左结合的运算符右边,可以是一个参数列表,
例如,e;op;(e1,…,en)
,将被解释为e.op(e1,…,en)
。
(3)左结合的二元运算e1;op;e2
,将被解释为e1.op(e2)
。
否则,如果op
是右结合的,则会被解释为{ val xx=e1; e2.op(xx) }
。
(4)如果表达式由一系列运算符连接而成,e0;op1;e1;op2…opn;en
,
并且,所有运算符都是具有相同优先级的,
那么,这些运算符必须要么都是左结合的,要么都是右结合的。
如果这些运算符都是左结合的,则会被解释为,(…(e0;op1;e1);op2…);opn;en
,
否则,会被解释为,e0;op1;(e1;op2;(…opn;en)…)
。
3. 动机
在看Programming in Scala 第14章的时候,看到了以下用法,
...
class ElementSpec extends FlatSpec with ShouldMatchers {
"A UniformElement" should "have a width equal to the passed value" in {
val ele = elem('x', 2, 3)
ele.width should be(2) // <- 这里
}
...
}
...
object ElementSpecification extends Specification {
"A UniformElement" should {
"have a width equal to the passed value" in {
val ele = elem('x', 2, 3)
ele.width must be_==(2) // <- 这里
}
...
}
}
对于ele.width should be(2)
和ele.width must be_==(2)
不知道怎么解释,
因此,查阅了Scala规范,并使用REPL进行验证。
scala> ele.width should be (2)//print
ele.width.should(be(2)) // : <error>
scala> ele.height must be_==(3)//print
ele.height.must(`be_==`(3)) // : <error>
其中,`be_==`
用来表示标识符be_==
,
Scala规定,由反引号`
包含的,除反引号之外的一段任意字符,都可以作为一个合法标识符。
参考
Scala Language Specification - 6.12 Prefix, Infix, and Postfix Operations
Programming in Scala - P124