[Scala] ele.width should be (2)

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_-` // : 

scala> !a//print
   a.`unary_!` // : 

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)) // : 

scala> ele.height must be_==(3)//print
   ele.height.must(`be_==`(3)) // : 

其中，`be_==`用来表示标识符be_==，
Scala规定，由反引号`包含的，除反引号之外的一段任意字符，都可以作为一个合法标识符。

---

参考

Scala Language Specification - 6.12 Prefix, Infix, and Postfix Operations
Programming in Scala - P124