1、操作符過載

Kotlin 允許我們為自己的型別提供預定義的一組操作符的實現。這些操作符具有固定的符號表示 （如 + 或 *）和固定的優先順序。為實現這樣的操作符，我們為相應的型別（即二元操作符左側的型別和一元操作符的引數型別）提供了一個固定名字的 成員函式或擴充套件函式。
過載操作符的函式需要用 operator 修飾符標記。

另外，我們描述為不同操作符規範操作符過載的約定。

2、一 元操作

2.1 一元字首操作符

這個表是說，當編譯器處理例如表示式 +a 時，它執行以下步驟：

• 確定 a 的型別，令其為 T；
• 為接收者 T 查詢一個帶有 operator 修飾符的無參函式 unaryPlus（），即成員函式或擴充套件函式；
• 如果函式不存在或不明確，則導致編譯錯誤；
• 如果函式存在且其返回型別為 R，那就表示式 +a 具有型別 R；

注意 ： 這些操作以及所有其他操作都針對基本型別做了優化，不會為它們引入函式呼叫的開銷。

以下是如何過載一元減運算子的示例：

data class Point(val x: Int, val y: Int)

operator fun Point.unaryMinus() = Point(-x, -y)

val
 
 point = Point(10, 20)
println(-point)  // 輸出“(-10, -20)”

2.2 遞增與遞減

inc() 和 dec() 函式必須返回一個值，它用於賦值給使用 ++ 或 -- 操作的變數。它們不應該改變在其上呼叫 inc() 或 dec() 的物件。

編譯器執行以下步驟來解析字尾形式的操作符，例如 a++：

• 確定 a 的型別，令其為 T；
• 查詢一個適用於型別為 T 的接收者的、帶有 operator
  修飾符的無引數函式 inc()；
• 檢查函式的返回型別是 T 的子型別。

計算表示式的步驟是：

• 把 a 的初始值儲存到臨時儲存 a0 中；
• 把 a.inc() 結果賦值給 a；
• 把 a0 作為表示式的結果返回。

對於 a–，步驟是完全類似的。

對於字首形式 ++a 和 –a 以相同方式解析，其步驟是：

• 把 a.inc() 結果賦值給 a；
• 把 a 的新值作為表示式結果返回。

3、二元操作

3.1 算術運算子

對於此表中的操作，編譯器只是解析成翻譯為列中的表示式。

請注意，自 Kotlin 1.1 起支援 rem 運算子。Kotlin 1.0 使用 mod 運算子，它在 Kotlin 1.1 中被棄用。

示例：
下面是一個從給定值起始的 Counter 類的示例，它可以使用過載的 + 運算子來增加計數：

data class Counter(val dayIndex: Int) {
    operator fun plus(increment: Int): Counter {
        return Counter(dayIndex + increment)
    }
}

3.2 “In”操作符

對於 in 和 !in，過程是相同的，但是引數的順序是相反的。

3.3 索引訪問操作符

方括號轉換為呼叫帶有適當數量引數的 get 和 set。

3.4 呼叫操作符

圓括號轉換為呼叫帶有適當數量引數的 invoke。

3.5 廣義賦值

對於賦值操作，例如 a += b，編譯器執行以下步驟：

• 如果右列的函式可用
  
  • 如果相應的二元函式（即 plusAssign() 對應於 plus()）也可用，那麼報告錯誤（模糊），
  • 確保其返回型別是 Unit，否則報告錯誤，
  • 生成 a.plusAssign(b) 的程式碼；
• 否則試著生成 a = a + b 的程式碼（這裡包含型別檢查：a + b 的型別必須是 a 的子型別）。

注意：賦值在 Kotlin 中不是表示式。

3.6 相等與不等操作符

注意：=== 和 !==（同一性檢查）不可過載，因此不存在對他們的約定。

這個 == 操作符有些特殊：它被翻譯成一個複雜的表示式，用於篩選 null 值。 null == null 總是 true，對於非空的 x，x == null 總是 false 而不會呼叫 x.equals()。

3.7 比較操作符

所有的比較都轉換為對 compareTo 的呼叫，這個函式需要返回 Int 值

3.8 屬性委託操作符

provideDelegate、 getValue 以及 setValue 操作符函式已在 委託屬性 中描述。

4、 命名函式的中綴呼叫

我們可以通過中綴函式的呼叫 來模擬自定義中綴操作符。