# 高級運算符
除了之前介紹過的 [基本運算符](./02_Basic_Operators.md),Swift 還提供了數種可以對數值進行復雜運算的高級運算符。它們包含了在 C 和 Objective-C 中已經被大家所熟知的位運算符和移位運算符。
與 C 語言中的算術運算符不同,Swift 中的算術運算符默認是不會溢出的。所有溢出行為都會被捕獲并報告為錯誤。如果想讓系統允許溢出行為,可以選擇使用 Swift 中另一套默認支持溢出的運算符,比如溢出加法運算符(`&+`)。所有的這些溢出運算符都是以 `&` 開頭的。
自定義結構體、類和枚舉時,如果也為它們提供標準 Swift 運算符的實現,將會非常有用。在 Swift 中為這些運算符提供自定義的實現非常簡單,運算符也會針對不同類型使用對應實現。
我們不用被預定義的運算符所限制。在 Swift 中可以自由地定義中綴、前綴、后綴和賦值運算符,它們具有自定義的優先級與關聯值。這些運算符在代碼中可以像預定義的運算符一樣使用,你甚至可以擴展已有的類型以支持自定義運算符。
## 位運算符 {#bitwise-operators}
*位運算符*可以操作數據結構中每個獨立的比特位。它們通常被用在底層開發中,比如圖形編程和創建設備驅動。位運算符在處理外部資源的原始數據時也十分有用,比如對自定義通信協議傳輸的數據進行編碼和解碼。
Swift 支持 C 語言中的全部位運算符,接下來會一一介紹。
### Bitwise NOT Operator(按位取反運算符) {#bitwise-not-operator}
*按位取反運算符(`~`)*對一個數值的全部比特位進行取反:

按位取反運算符是一個前綴運算符,直接放在運算數之前,并且它們之間不能添加任何空格:
```Swift
let initialBits: UInt8 = 0b00001111
let invertedBits = ~initialBits // 等于 0b11110000
```
`UInt8` 類型的整數有 8 個比特位,可以存儲 `0 ~ 255` 之間的任意整數。這個例子初始化了一個 `UInt8` 類型的整數,并賦值為二進制的 `00001111`,它的前 4 位為 `0`,后 4 位為 `1`。這個值等價于十進制的 `15`。
接著使用按位取反運算符創建了一個名為 `invertedBits` 的常量,這個常量的值與全部位取反后的 `initialBits` 相等。即所有的 `0` 都變成了 `1`,同時所有的 `1` 都變成 `0`。`invertedBits` 的二進制值為 `11110000`,等價于無符號十進制數的 `240`。
### Bitwise AND Operator(按位與運算符) {#bitwise-and-operator}
*按位與運算符(`&`)* 對兩個數的比特位進行合并。它返回一個新的數,只有當兩個數的對應位*都*為 `1` 的時候,新數的對應位才為 `1`:

在下面的示例當中,`firstSixBits` 和 `lastSixBits` 中間 4 個位的值都為 `1`。使用按位與運算符之后,得到二進制數值 `00111100`,等價于無符號十進制數的 `60`:
```Swift
let firstSixBits: UInt8 = 0b11111100
let lastSixBits: UInt8 = 0b00111111
let middleFourBits = firstSixBits & lastSixBits // 等于 00111100
```
### Bitwise OR Operator(按位或運算符) {#bitwise-or-operator}
*按位或運算符(`|`)*可以對兩個數的比特位進行比較。它返回一個新的數,只要兩個數的對應位中有*任意一個*為 `1` 時,新數的對應位就為 `1`:

在下面的示例中,`someBits` 和 `moreBits` 存在不同的位被設置為 `1`。使用按位或運算符之后,得到二進制數值 `11111110`,等價于無符號十進制數的 `254`:
```Swift
let someBits: UInt8 = 0b10110010
let moreBits: UInt8 = 0b01011110
let combinedbits = someBits | moreBits // 等于 11111110
```
### Bitwise XOR Operator(按位異或運算符) {#bitwise-xor-operator}
*按位異或運算符*,或稱“排外的或運算符”(`^`),可以對兩個數的比特位進行比較。它返回一個新的數,當兩個數的對應位不相同時,新數的對應位就為 `1`,并且對應位相同時則為 `0`:

在下面的示例當中,`firstBits` 和 `otherBits` 都有一個自己為 `1`,而對方為 `0` 的位。按位異或運算符將新數的這兩個位都設置為 `1`。在其余的位上 `firstBits` 和 `otherBits` 是相同的,所以設置為 `0`:
```Swift
let firstBits: UInt8 = 0b00010100
let otherBits: UInt8 = 0b00000101
let outputBits = firstBits ^ otherBits // 等于 00010001
```
### Bitwise Left and Right Shift Operators(按位左移、右移運算符) {#bitwise-left-and-right-shift-operators}
*按位左移運算符(`<<`)* 和 *按位右移運算符(`>>`)*可以對一個數的所有位進行指定位數的左移和右移,但是需要遵守下面定義的規則。
對一個數進行按位左移或按位右移,相當于對這個數進行乘以 2 或除以 2 的運算。將一個整數左移一位,等價于將這個數乘以 2,同樣地,將一個整數右移一位,等價于將這個數除以 2。
#### 無符號整數的移位運算 {#shifting-behavior-for-unsigned-integers}
對無符號整數進行移位的規則如下:
1. 已存在的位按指定的位數進行左移和右移。
2. 任何因移動而超出整型存儲范圍的位都會被丟棄。
3. 用 `0` 來填充移位后產生的空白位。
這種方法稱為*邏輯移位*。
以下這張圖展示了 `11111111 << 1`(即把 `11111111` 向左移動 `1` 位),和 `11111111 >> 1`(即把 `11111111` 向右移動 `1` 位)的結果。藍色的數字是被移位的,灰色的數字是被拋棄的,橙色的 `0` 則是被填充進來的:

下面的代碼演示了 Swift 中的移位運算:
```Swift
let shiftBits: UInt8 = 4 // 即二進制的 00000100
shiftBits << 1 // 00001000
shiftBits << 2 // 00010000
shiftBits << 5 // 10000000
shiftBits << 6 // 00000000
shiftBits >> 2 // 00000001
```
可以使用移位運算對其他的數據類型進行編碼和解碼:
```Swift
let pink: UInt32 = 0xCC6699
let redComponent = (pink & 0xFF0000) >> 16 // redComponent 是 0xCC,即 204
let greenComponent = (pink & 0x00FF00) >> 8 // greenComponent 是 0x66, 即 102
let blueComponent = pink & 0x0000FF // blueComponent 是 0x99,即 153
```
這個示例使用了一個命名為 `pink` 的 `UInt32` 型常量來存儲 Cascading Style Sheets(CSS)中粉色的顏色值。該 CSS 的顏色值 `#CC6699`,在 Swift 中表示為十六進制的 `0xCC6699`。然后利用按位與運算符(`&`)和按位右移運算符(`>>`)從這個顏色值中分解出紅(`CC`)、綠(`66`)以及藍(`99`)三個部分。
紅色部分是通過對 `0xCC6699` 和 `0xFF0000` 進行按位與運算后得到的。`0xFF0000` 中的 `0` 部分“掩蓋”了 `OxCC6699` 中的第二、第三個字節,使得數值中的 `6699` 被忽略,只留下 `0xCC0000`。
然后,將這個數向右移動 16 位(`>> 16`)。十六進制中每兩個字符占用 8 個比特位,所以移動 16 位后 `0xCC0000` 就變為 `0x0000CC`。這個數和 `0xCC` 是等同的,也就是十進制數值的 `204`。
同樣的,綠色部分通過對 `0xCC6699` 和 `0x00FF00` 進行按位與運算得到 `0x006600`。然后將這個數向右移動 8 位,得到 `0x66`,也就是十進制數值的 `102`。
最后,藍色部分通過對 `0xCC6699` 和 `0x0000FF` 進行按位與運算得到 `0x000099`。這里不需要再向右移位,而 `0x000099` 也就是 `0x99` ,也就是十進制數值的 `153`。
#### 有符號整數的移位運算 {#shifting-behavior-for-signed-integers}
對比無符號整數,有符號整數的移位運算相對復雜得多,這種復雜性源于有符號整數的二進制表現形式。(為了簡單起見,以下的示例都是基于 8 比特的有符號整數,但是其中的原理對任何位數的有符號整數都是通用的。)
有符號整數使用第 1 個比特位(通常被稱為*符號位*)來表示這個數的正負。符號位為 `0` 代表正數,為 `1` 代表負數。
其余的比特位(通常被稱為*數值位*)存儲了實際的值。有符號正整數和無符號數的存儲方式是一樣的,都是從 `0` 開始算起。這是值為 `4` 的 `Int8` 型整數的二進制位表現形式:

符號位為 `0`(代表這是一個“正數”),另外 7 位則代表了十進制數值 `4` 的二進制表示。
負數的存儲方式略有不同。它存儲 `2` 的 `n` 次方減去其實際值的絕對值,這里的 `n` 是數值位的位數。一個 8 比特位的數有 7 個比特位是數值位,所以是 `2` 的 `7` 次方,即 `128`。
這是值為 `-4` 的 `Int8` 型整數的二進制表現形式:

這次的符號位為 `1`,說明這是一個負數,另外 7 個位則代表了數值 `124`(即 `128 - 4`)的二進制表示:

負數的表示通常被稱為*二進制補碼*。用這種方法來表示負數乍看起來有點奇怪,但它有幾個優點。
首先,如果想對 `-1` 和 `-4` 進行加法運算,我們只需要對這兩個數的全部 8 個比特位執行標準的二進制相加(包括符號位),并且將計算結果中超出 8 位的數值丟棄:

其次,使用二進制補碼可以使負數的按位左移和右移運算得到跟正數同樣的效果,即每向左移一位就將自身的數值乘以 2,每向右一位就將自身的數值除以 2。要達到此目的,對有符號整數的右移有一個額外的規則:當對有符號整數進行按位右移運算時,遵循與無符號整數相同的規則,但是對于移位產生的空白位使用*符號位*進行填充,而不是用 `0`。

這個行為可以確保有符號整數的符號位不會因為右移運算而改變,這通常被稱為*算術移位*。
由于正數和負數的特殊存儲方式,在對它們進行右移的時候,會使它們越來越接近 `0`。在移位的過程中保持符號位不變,意味著負整數在接近 `0` 的過程中會一直保持為負。
## 溢出運算符 {#overflow-operators}
當向一個整數類型的常量或者變量賦予超過它容量的值時,Swift 默認會報錯,而不是允許生成一個無效的數。這個行為為我們在運算過大或者過小的數時提供了額外的安全性。
例如,`Int16` 型整數能容納的有符號整數范圍是 `-32768` 到 `32767`。當為一個 `Int16` 類型的變量或常量賦予的值超過這個范圍時,系統就會報錯:
```Swift
var potentialOverflow = Int16.max
// potentialOverflow 的值是 32767,這是 Int16 能容納的最大整數
potentialOverflow += 1
// 這里會報錯
```
在賦值時為過大或者過小的情況提供錯誤處理,能讓我們在處理邊界值時更加靈活。
然而,當你希望的時候也可以選擇讓系統在數值溢出的時候采取截斷處理,而非報錯。Swift 提供的三個*溢出運算符*來讓系統支持整數溢出運算。這些運算符都是以 `&` 開頭的:
* 溢出加法 `&+`
* 溢出減法 `&-`
* 溢出乘法 `&*`
### 數值溢出 {#value-overflow}
數值有可能出現上溢或者下溢。
這個示例演示了當我們對一個無符號整數使用溢出加法(`&+`)進行上溢運算時會發生什么:
```Swift
var unsignedOverflow = UInt8.max
// unsignedOverflow 等于 UInt8 所能容納的最大整數 255
unsignedOverflow = unsignedOverflow &+ 1
// 此時 unsignedOverflow 等于 0
```
`unsignedOverflow` 被初始化為 `UInt8` 所能容納的最大整數(`255`,以二進制表示即 `11111111`)。然后使用溢出加法運算符(`&+`)對其進行加 `1` 運算。這使得它的二進制表示正好超出 `UInt8` 所能容納的位數,也就導致了數值的溢出,如下圖所示。數值溢出后,仍然留在 `UInt8` 邊界內的值是 `00000000`,也就是十進制數值的 `0`。

當允許對一個無符號整數進行下溢運算時也會產生類似的情況。這里有一個使用溢出減法運算符(`&-`)的例子:
```Swift
var unsignedOverflow = UInt8.min
// unsignedOverflow 等于 UInt8 所能容納的最小整數 0
unsignedOverflow = unsignedOverflow &- 1
// 此時 unsignedOverflow 等于 255
```
`UInt8` 型整數能容納的最小值是 `0`,以二進制表示即 `00000000`。當使用溢出減法運算符對其進行減 `1` 運算時,數值會產生下溢并被截斷為 `11111111`, 也就是十進制數值的 `255`。

溢出也會發生在有符號整型上。針對有符號整型的所有溢出加法或者減法運算都是按位運算的方式執行的,符號位也需要參與計算,正如 [按位左移、右移運算符](#bitwise-left-and-right-shift-operators) 所描述的。
```Swift
var signedOverflow = Int8.min
// signedOverflow 等于 Int8 所能容納的最小整數 -128
signedOverflow = signedOverflow &- 1
// 此時 signedOverflow 等于 127
```
`Int8` 型整數能容納的最小值是 `-128`,以二進制表示即 `10000000`。當使用溢出減法運算符對其進行減 `1` 運算時,符號位被翻轉,得到二進制數值 `01111111`,也就是十進制數值的 `127`,這個值也是 `Int8` 型整所能容納的最大值。

對于無符號與有符號整型數值來說,當出現上溢時,它們會從數值所能容納的最大數變成最小數。同樣地,當發生下溢時,它們會從所能容納的最小數變成最大數。
## 優先級和結合性 {#precedence-and-associativity}
運算符的*優先級*使得一些運算符優先于其他運算符;它們會先被執行。
*結合性*定義了相同優先級的運算符是如何結合的,也就是說,是與左邊結合為一組,還是與右邊結合為一組。可以將其理解為“它們是與左邊的表達式結合的”,或者“它們是與右邊的表達式結合的”。
當考慮一個復合表達式的計算順序時,運算符的優先級和結合性是非常重要的。舉例來說,運算符優先級解釋了為什么下面這個表達式的運算結果會是 `17`。
```Swift
2 + 3 % 4 * 5
// 結果是 17
```
如果你直接從左到右進行運算,你可能認為運算的過程是這樣的:
- 2 + 3 = 5
- 5 % 4 = 1
- 1 * 5 = 5
但是正確答案是 `17` 而不是 `5`。優先級高的運算符要先于優先級低的運算符進行計算。與 C 語言類似,在 Swift 中,乘法運算符(`*`)與取余運算符(`%`)的優先級高于加法運算符(`+`)。因此,它們的計算順序要先于加法運算。
而乘法運算與取余運算的優先級*相同*。這時為了得到正確的運算順序,還需要考慮結合性。乘法運算與取余運算都是左結合的。可以將這考慮成,從它們的左邊開始為這兩部分表達式都隱式地加上括號:
```Swift
2 + ((3 % 4) * 5)
```
`(3 % 4)` 等于 `3`,所以表達式相當于:
```Swift
2 + (3 * 5)
```
`3 * 5` 等于 `15`,所以表達式相當于:
```Swift
2 + 15
```
因此計算結果為 `17`。
有關 Swift 標準庫提供的操作符信息,包括操作符優先級組和結核性設置的完整列表,請參見 [操作符聲明](https://developer.apple.com/documentation/swift/operator_declarations)。
> 注意
>
> 相對 C 語言和 Objective-C 來說,Swift 的運算符優先級和結合性規則更加簡潔和可預測。但是,這也意味著它們相較于 C 語言及其衍生語言并不是完全一致。在對現有的代碼進行移植的時候,要注意確保運算符的行為仍然符合你的預期。
## 運算符函數 {#operator-functions}
類和結構體可以為現有的運算符提供自定義的實現。這通常被稱為運算符*重載*。
下面的例子展示了如何讓自定義的結構體支持加法運算符(`+`)。算術加法運算符是一個*二元運算符*,因為它是對兩個值進行運算,同時它還可以稱為*中綴*運算符,因為它出現在兩個值中間。
例子中定義了一個名為 `Vector2D` 的結構體用來表示二維坐標向量 `(x, y)`,緊接著定義了一個可以將兩個 `Vector2D` 結構體實例進行相加的*運算符函數*:
```Swift
struct Vector2D {
var x = 0.0, y = 0.0
}
extension Vector2D {
static func + (left: Vector2D, right: Vector2D) -> Vector2D {
return Vector2D(x: left.x + right.x, y: left.y + right.y)
}
}
```
該運算符函數被定義為 `Vector2D` 上的一個類方法,并且函數的名字與它要進行重載的 `+` 名字一致。因為加法運算并不是一個向量必需的功能,所以這個類方法被定義在 `Vector2D` 的一個擴展中,而不是 `Vector2D` 結構體聲明內。而算術加法運算符是二元運算符,所以這個運算符函數接收兩個類型為 `Vector2D` 的參數,同時有一個 `Vector2D` 類型的返回值。
在這個實現中,輸入參數分別被命名為 `left` 和 `right`,代表在 `+` 運算符左邊和右邊的兩個 `Vector2D` 實例。函數返回了一個新的 `Vector2D` 實例,這個實例的 `x` 和 `y` 分別等于作為參數的兩個實例的 `x` 和 `y` 的值之和。
這個類方法可以在任意兩個 `Vector2D` 實例中間作為中綴運算符來使用:
```Swift
let vector = Vector2D(x: 3.0, y: 1.0)
let anotherVector = Vector2D(x: 2.0, y: 4.0)
let combinedVector = vector + anotherVector
// combinedVector 是一個新的 Vector2D 實例,值為 (5.0, 5.0)
```
這個例子實現兩個向量 `(3.0,1.0)` 和 `(2.0,4.0)` 的相加,并得到新的向量 `(5.0,5.0)`。這個過程如下圖示:

### 前綴和后綴運算符 {#prefix-and-postfix-operators}
上個例子演示了一個二元中綴運算符的自定義實現。類與結構體也能提供標準*一元運算符*的實現。一元運算符只運算一個值。當運算符出現在值之前時,它就是*前綴*的(例如 `-a`),而當它出現在值之后時,它就是*后綴*的(例如 `b!`)。
要實現前綴或者后綴運算符,需要在聲明運算符函數的時候在 `func` 關鍵字之前指定 `prefix` 或者 `postfix` 修飾符:
```Swift
extension Vector2D {
static prefix func - (vector: Vector2D) -> Vector2D {
return Vector2D(x: -vector.x, y: -vector.y)
}
}
```
這段代碼為 `Vector2D` 類型實現了一元運算符(`-a`)。由于該運算符是前綴運算符,所以這個函數需要加上 `prefix` 修飾符。
對于簡單數值,一元負號運算符可以對它們的正負性進行改變。對于 `Vector2D` 來說,該運算將其 `x` 和 `y` 屬性的正負性都進行了改變:
```Swift
let positive = Vector2D(x: 3.0, y: 4.0)
let negative = -positive
// negative 是一個值為 (-3.0, -4.0) 的 Vector2D 實例
let alsoPositive = -negative
// alsoPositive 是一個值為 (3.0, 4.0) 的 Vector2D 實例
```
### 復合賦值運算符 {#compound-assignment-operators}
*復合賦值運算符*將賦值運算符(`=`)與其它運算符進行結合。例如,將加法與賦值結合成加法賦值運算符(`+=`)。在實現的時候,需要把運算符的左參數設置成 `inout` 類型,因為這個參數的值會在運算符函數內直接被修改。
在下面的例子中,對 `Vector2D` 實例實現了一個加法賦值運算符函數:
```Swift
extension Vector2D {
static func += (left: inout Vector2D, right: Vector2D) {
left = left + right
}
}
```
因為加法運算在之前已經定義過了,所以在這里無需重新定義。在這里可以直接利用現有的加法運算符函數,用它來對左值和右值進行相加,并再次賦值給左值:
```Swift
var original = Vector2D(x: 1.0, y: 2.0)
let vectorToAdd = Vector2D(x: 3.0, y: 4.0)
original += vectorToAdd
// original 的值現在為 (4.0, 6.0)
```
> 注意
>
> 不能對默認的賦值運算符(`=`)進行重載。只有復合賦值運算符可以被重載。同樣地,也無法對三元條件運算符 (`a ? b : c`) 進行重載。
### 等價運算符 {#equivalence-operators}
通常情況下,自定義的類和結構體沒有對*等價運算符*進行默認實現,等價運算符通常被稱為*相等*運算符(`==`)與*不等*運算符(`!=`)。
為了使用等價運算符對自定義的類型進行判等運算,需要為“相等”運算符提供自定義實現,實現的方法與其它中綴運算符一樣, 并且增加對標準庫 `Equatable` 協議的遵循:
```Swift
extension Vector2D: Equatable {
static func == (left: Vector2D, right: Vector2D) -> Bool {
return (left.x == right.x) && (left.y == right.y)
}
}
```
上述代碼實現了“相等”運算符(`==`)來判斷兩個 `Vector2D` 實例是否相等。對于 `Vector2D` 來說,“相等”意味著“兩個實例的 `x` 和 `y` 都相等”,這也是代碼中用來進行判等的邏輯。如果你已經實現了“相等”運算符,通常情況下你并不需要自己再去實現“不等”運算符(`!=`)。標準庫對于“不等”運算符提供了默認的實現,它簡單地將“相等”運算符的結果進行取反后返回。
現在我們可以使用這兩個運算符來判斷兩個 `Vector2D` 實例是否相等:
```Swift
let twoThree = Vector2D(x: 2.0, y: 3.0)
let anotherTwoThree = Vector2D(x: 2.0, y: 3.0)
if twoThree == anotherTwoThree {
print("These two vectors are equivalent.")
}
// 打印“These two vectors are equivalent.”
```
多數簡單情況下,你可以讓 Swift 合成等價運算符的實現,詳見 [使用合成實現來采納協議](./21_Protocols.md#adopting-a-protocol-using-a-synthesized-implementation)。
## 自定義運算符 {#custom-operators}
除了實現標準運算符,在 Swift 中還可以聲明和實現*自定義運算符*。可以用來自定義運算符的字符列表請參考 [運算符](../03_language_reference/02_Lexical_Structure.md#operators)。
新的運算符要使用 `operator` 關鍵字在全局作用域內進行定義,同時還要指定 `prefix`、`infix` 或者 `postfix` 修飾符:
```Swift
prefix operator +++
```
上面的代碼定義了一個新的名為 `+++` 的前綴運算符。對于這個運算符,在 Swift 中并沒有已知的意義,因此在針對 `Vector2D` 實例的特定上下文中,給予了它自定義的意義。對這個示例來講,`+++` 被實現為“前綴雙自增”運算符。它使用了前面定義的復合加法運算符來讓矩陣與自身進行相加,從而讓 `Vector2D` 實例的 `x` 屬性和 `y` 屬性值翻倍。你可以像下面這樣通過對 `Vector2D` 添加一個 `+++` 類方法,來實現 `+++` 運算符:
```Swift
extension Vector2D {
static prefix func +++ (vector: inout Vector2D) -> Vector2D {
vector += vector
return vector
}
}
var toBeDoubled = Vector2D(x: 1.0, y: 4.0)
let afterDoubling = +++toBeDoubled
// toBeDoubled 現在的值為 (2.0, 8.0)
// afterDoubling 現在的值也為 (2.0, 8.0)
```
### 自定義中綴運算符的優先級 {#precedence-and-associativity-for-custom-infix-operators}
每個自定義中綴運算符都屬于某個優先級組。優先級組指定了這個運算符相對于其他中綴運算符的優先級和結合性。[優先級和結合性](#precedence-and-associativity) 中詳細闡述了這兩個特性是如何對中綴運算符的運算產生影響的。
而沒有明確放入某個優先級組的自定義中綴運算符將會被放到一個默認的優先級組內,其優先級高于三元運算符。
以下例子定義了一個新的自定義中綴運算符 `+-`,此運算符屬于 `AdditionPrecedence` 優先組:
```Swift
infix operator +-: AdditionPrecedence
extension Vector2D {
static func +- (left: Vector2D, right: Vector2D) -> Vector2D {
return Vector2D(x: left.x + right.x, y: left.y - right.y)
}
}
let firstVector = Vector2D(x: 1.0, y: 2.0)
let secondVector = Vector2D(x: 3.0, y: 4.0)
let plusMinusVector = firstVector +- secondVector
// plusMinusVector 是一個 Vector2D 實例,并且它的值為 (4.0, -2.0)
```
這個運算符把兩個向量的 `x` 值相加,同時從第一個向量的 `y` 中減去第二個向量的 `y` 。因為它本質上是屬于“相加型”運算符,所以將它放置在 `+` 和 `-` 等默認中綴“相加型”運算符相同的優先級組中。關于 Swift 標準庫提供的運算符,以及完整的運算符優先級組和結合性設置,請參考 [運算符聲明](https://developer.apple.com/documentation/swift/operator_declarations)。而更多關于優先級組以及自定義操作符和優先級組的語法,請參考 [運算符聲明](../03_language_reference/06_Declarations.md#operator-declaration)。
> 注意
>
> 當定義前綴與后綴運算符的時候,我們并沒有指定優先級。然而,如果對同一個值同時使用前綴與后綴運算符,則后綴運算符會先參與運算。
- 1.關于 Swift
- 2.Swift 初見
- 2-1基礎部分
- 2-2基本運算符
- 2-3字符串和字符
- 2-4集合類型
- 2-5控制流
- 2-6函數
- 2-7閉包
- 2-8枚舉
- 2-9類和結構體
- 2-10屬性
- 2-11方法
- 2-12下標
- 2-13繼承
- 2-14構造過程
- 2-15析構過程
- 2-16可選鏈
- 2-17錯誤處理
- 2-18類型轉換
- 2-19嵌套類型
- 2-20擴展
- 2-21協議
- 2-22泛型
- 2-23不透明類型
- 2-24自動引用計數
- 2-25內存安全
- 2-26訪問控制
- 2-27高級運算符
- 3-1關于語言參考
- 3-2詞法結構
- 3-3類型
- 3-4表達式
- 3-5語句
- 3-6聲明
- 3-7特性
- 3-8模式
- 3-9泛型參數
- 4語法總結