操作符關(guān)聯(lián)性 是指操作符是等式左側(cè)還是右側(cè)的方法。Scala 對(duì)空格的使用不同于大多數(shù)其他語(yǔ)言，因?yàn)榛旧先魏?Scala 方法都可以充當(dāng)操作符。例如，表達(dá)式 x + y 實(shí)際上就是方法調(diào)用 x.+(y)，如清單 4 中 Scala REPL（解釋器）會(huì)話中所示：

清單4.Scala中的空格化

scala> val sum1 = x.+(y) 
sum1:Int = 22 
 
scala> val sum2 = (12).+(10) 
sum2:Int = 22 

清單4中可以看到，空格轉(zhuǎn)化也適用于常量。愿意的話，您可以將 Scala 中的所有方法都看作操作符。例如，String 類具有一個(gè) indexOf() 方法，它返回被作為參數(shù)傳遞的字符串中的索引位置。在 Scala 中，您可以用傳統(tǒng)方式通過 s.indexOf('a') 調(diào)用過它，或者作為操作符 — 像 s indexOf 'a' 中一樣。（這個(gè)具體的方法很有趣，因?yàn)樗幸粋€(gè)已重載的版本，接受一個(gè)額外的參數(shù)來指定搜索開始處的索引位置。您仍然可以使用操作符表示法調(diào)用它，但是必須將參數(shù)放置在括號(hào)中，就像 s indexOf('a', 3) 中一樣。）

Groovy 遵循 Java 關(guān)聯(lián)性約定，所以特定操作符的規(guī)則由語(yǔ)言定義。Clojure 根本不關(guān)注關(guān)聯(lián)性；它的 Lisp 語(yǔ)法不依賴于關(guān)聯(lián)性，因?yàn)樗姓Z(yǔ)句都是意義明確的。

由于 Scala 的目標(biāo)之一就是允許開發(fā)人員可以將任何東西都用作操作符，所以它不能依賴于任何關(guān)聯(lián)性規(guī)則。該語(yǔ)言如何才能允許特殊的操作符卻仍然建立規(guī)則？Scala 以一種支持開發(fā)人員最大自由度的創(chuàng)新方式解決了這個(gè)問題 — 使用操作符命名約定。默認(rèn)情況下，Scala 中操作符是左關(guān)聯(lián)的：表達(dá)式分解為一個(gè)對(duì)左操作數(shù)的方法調(diào)用，例如，這意味著表達(dá)式 x + y 分解為 x.+(y)。然而，如果方法名稱以 : 結(jié)尾，則操作符是右關(guān)聯(lián)的。例如，i +: j 調(diào)用轉(zhuǎn)化成 j.+:(i)。

關(guān)聯(lián)性解釋了為什么 清單3中的測(cè)試無法得到正確的結(jié)果。清單2中的 Scala Complex 定義中，我實(shí)現(xiàn)了 + 和 - 操作符的版本，它們既接受 Complex，也接受 Int 參數(shù)類型。這種類型的靈活性允許復(fù)數(shù)與一般整數(shù)（即實(shí)部為零的復(fù)數(shù)）相互操作。清單5說明了單元測(cè)試中的互操作性：

清單5.混合類型的測(cè)試

test("mixed addition from Complex") { 
  val c1 = new Complex(1, 3) 
  assert(new Complex(7, 3) == c1 + 6) 
} 
 
test("mixed subtraction from Complex") { 
  val c1 = new Complex(10, 3) 
  assert(new Complex(5, 3) == c1 - 5) 
} 

清單5中的兩個(gè)測(cè)試都能通過，沒有問題 — 操作符方法的 Int 版本開始了。然而，如果我嘗試以下測(cè)試，它則會(huì)失敗：

test("mixed subtraction from Int") { 
  val c1 = new Complex(10, 3) 
  assert(new Complex(15, 3) == 5 + c1) 
}   

兩個(gè)測(cè)試之間的細(xì)微差別就在于關(guān)聯(lián)性上。記住，在本例中，Scala 調(diào)用左操作符的方法，這意味著它試圖開始一個(gè)為 Int 定義的方法（它知道如何處理復(fù)數(shù)）。

為了解決這個(gè)問題，我在 Int 和 Complex 之間定義了一個(gè)隱式強(qiáng)制類型轉(zhuǎn)換。有多種方式展示這種轉(zhuǎn)換，我將在以后幾期文章中更加詳細(xì)地介紹。在本例中，我創(chuàng)建了一個(gè)伴生對(duì)象，即 Complex，這是一個(gè)用于放置 Java 語(yǔ)言中聲明為 static 的方法的地方：

test("mixed addition from Complex") { 
  val c1 = new Complex(1, 3) 
  assert(new Complex(7, 3) == c1 + 6) 
} 

該定義包含單個(gè)方法，此方法接受一個(gè) Int 并將之返回為 Complex。將這個(gè)聲明作為 Complex 類放置在相同的源文件中，然后我通過 import nealford.javaNext.complexnumbers.Complex.intToComplex 命令在我的測(cè)試案例中導(dǎo)入該方法，可以支持隱式轉(zhuǎn)換。有了轉(zhuǎn)換之后，測(cè)試案例成功通過，因?yàn)闇y(cè)試知道如何處理通過操作符發(fā)出的方法調(diào)用。

優(yōu)先級(jí)

操作符優(yōu)先級(jí)（或者操作順序）是指規(guī)定潛在存在歧義的情況下操作發(fā)生順序的語(yǔ)言規(guī)則。對(duì)于公共操作符，Groovy 依賴于 Java 優(yōu)先級(jí)規(guī)則；對(duì)于自己的定制操作符，它定義自己的規(guī)則。Clojure 不具有或不需要優(yōu)先級(jí)規(guī)則；因?yàn)樗写a都以括號(hào)形式編寫，不再會(huì)出現(xiàn)中綴表示法中固有的歧義性。

Scala 使用操作符名稱的第一個(gè)字符來確定操作順序，優(yōu)先層次是：

• 所有其他特殊符號(hào)
• * / %
• + -
• :
• = !
• < >
• &
• ^
• |
• 所有字母
• 所有分配操作符

以較高級(jí)別字符開始的操作符具有較高的優(yōu)先級(jí)。例如，表達(dá)式 x *** y ||| z 將分解為 (x.***(y)).|||(z)。該規(guī)則惟一的例外是分配語(yǔ)句，或者任何以等號(hào) (=) 結(jié)尾的操作符，它們自動(dòng)具有最低優(yōu)先級(jí)。

結(jié)束語(yǔ)

Java 下一代語(yǔ)言的一個(gè)共同目標(biāo)是，簡(jiǎn)化那些影響著 Java 語(yǔ)言的繁瑣限制。操作符重載是每種語(yǔ)言解決這個(gè)問題的一個(gè)重要途徑。所有三種語(yǔ)言都允許操作符重載，只是實(shí)現(xiàn)的方式有所不同。處理關(guān)聯(lián)性和優(yōu)先級(jí)這類問題的方式的細(xì)微差別表明了，各個(gè)語(yǔ)言部分是如何緊密聯(lián)系的。Clojure 的有趣方面之一是它的語(yǔ)法 — 因?yàn)槊總€(gè)表達(dá)式都是括號(hào)形式的 — 消除了優(yōu)先級(jí)和關(guān)聯(lián)性中的歧義。

在下一期文章中，我將探究 “一切都是對(duì)象” 這一說法在 Java 下一代語(yǔ)言中的深層含義。