Swift 資料型別
在我們使用任何程式語言程式設計時,需要使用各種資料型別來儲存不同的資訊。
變數的資料型別決定了如何將代表這些值的位儲存到計算機的記憶體中。在宣告變數時也可指定它的資料型別。
所有變數都具有資料型別,以決定能夠儲存哪種資料。
內建資料型別
Swift 提供了非常豐富的資料型別,以下列出了常用了幾種資料型別:
Int
一般來說,你不需要專門指定整數的長度。Swift 提供了一個特殊的整數型別Int
,長度與當前平臺的原生字長相同:
- 在32位平臺上,
Int
和Int32
長度相同。 - 在64位平臺上,
Int
和Int64
長度相同。
除非你需要特定長度的整數,一般來說使用Int
就夠了。這可以提高程式碼一致性和可複用性。即使是在32位平臺上,Int
可以儲存的整數範圍也可以達到-2,147,483,648
~2,147,483,647
,大多數時候這已經足夠大了。
UInt
Swift 也提供了一個特殊的無符號型別UInt
,長度與當前平臺的原生字長相同:
- 在32位平臺上,
UInt
和UInt32
長度相同。 - 在64位平臺上,
UInt
和UInt64
長度相同。
注意: 儘量不要使用
UInt
,除非你真的需要儲存一個和當前平臺原生字長相同的無符號整數。除了這種情況,最好使用Int
,即使你要儲存的值已知是非負的。統一使用Int
可以提高程式碼的可複用性,避免不同型別數字之間的轉換,並且匹配數字的型別推斷。
整數型別需要注意以下幾點:
在 32 位系統上, Int 和 Int32 長度相同。
在 64 位系統上, Int 和 Int64 長度相同。
在 32 位系統上, UInt 和 UInt32 長度相同。
在 64 位系統上, UInt 和 UInt64 長度相同。
Int8, Int16, Int32, Int64 分別表示 8 位, 16 位, 32 位, 和 64 位的有符號整數形式。
UInt8, UInt16, UInt32, UInt64 分別表示 8 位, 16 位, 32 位 和 64 位的無符號整數形式。
浮點數:Float、Double
浮點數是有小數部分的數字,比如 3.14159
,0.1
和 -273.15
。
浮點型別比整數型別表示的範圍更大,可以儲存比 Int
型別更大或者更小的數字。Swift 提供了兩種有符號浮點數型別:
- Double 表示64位浮點數。當你需要儲存很大或者很高精度的浮點數時請使用此型別。
- Float 表示32位浮點數。精度要求不高的話可以使用此型別。
注意:
Double
精確度很高,至少有15位數字,而Float
最少只有6位數字。選擇哪個型別取決於你的程式碼需要處理的值的範圍。
布林值:Bool
Swift 有一個基本的布林(Boolean)型別,叫做 Bool。布林值指邏輯上的值,因為它們只能是真或者假。Swift 有兩個布林常量,true 和 false。
字串:String
字串是字元的序列集合,例如:
"Hello, World!"
字元:Character
字元指的是單個字母,例如:
"C"
可選型別:Optional
使用可選型別來處理值可能缺失的情況。可選型別表示有值或沒有值。數值範圍
下表顯示了不同變數型別記憶體的儲存空間,及變數型別的最大最小值:
型別 | 大小(位元組) | 區間值 |
---|---|---|
Int8 | 1 位元組 | -128 到 127 |
UInt8 | 1 位元組 | 0 到 255 |
Int32 | 4 位元組 | -2147483648 到 2147483647 |
UInt32 | 4 位元組 | 0 到 4294967295 |
Int64 | 8 位元組 | -9223372036854775808 到 9223372036854775807 |
UInt64 | 8 位元組 | 0 到 18446744073709551615 |
Float | 4 位元組 | 1.2E-38 到 3.4E+38 (~6 digits) |
Double | 8 位元組 | 2.3E-308 到 1.7E+308 (~15 digits) |
類型別名
類型別名對當前的型別定義了另一個名字,類型別名通過使用 typealias 關鍵字來定義。語法格式如下:
typealias newname = type
例如以下定義了 Int 的類型別名為 Feet:
typealias Feet = Int
現在,我們可以通過別名來定義變數:
import Cocoa typealias Feet = Int var distance: Feet = 100 print(distance)
我們使用 playground 執行以上程式,輸出結果為:
100
型別安全
Swift 是一個型別安全(type safe)的語言。
由於 Swift 是型別安全的,所以它會在編譯你的程式碼時進行型別檢查(type checks),並把不匹配的型別標記為錯誤。這可以讓你在開發的時候儘早發現並修復錯誤。
import Cocoa var varA = 42 varA = "This is hello" print(varA)
以上程式,會在 Xcode 中報錯:
error: cannot assign value of type 'String' to type 'Int' varA = "This is hello"
意思為不能將 'String' 字串賦值給 'Int' 變數。
型別推斷
當你要處理不同型別的值時,型別檢查可以幫你避免錯誤。然而,這並不是說你每次宣告常量和變數的時候都需要顯式指定型別。
如果你沒有顯式指定型別,Swift 會使用型別推斷(type inference)來選擇合適的型別。
例如,如果你給一個新常量賦值42並且沒有標明型別,Swift 可以推斷出常量型別是Int,因為你給它賦的初始值看起來像一個整數:
let meaningOfLife = 42 // meaningOfLife 會被推測為 Int 型別
同理,如果你沒有給浮點字面量標明型別,Swift 會推斷你想要的是Double:
let pi = 3.14159 // pi 會被推測為 Double 型別
當推斷浮點數的型別時,Swift 總是會選擇Double而不是Float。
如果表示式中同時出現了整數和浮點數,會被推斷為Double型別:
let anotherPi = 3 + 0.14159 // anotherPi 會被推測為 Double 型別
原始值3沒有顯式宣告型別,而表示式中出現了一個浮點字面量,所以表示式會被推斷為Double型別。
例項
import Cocoa // varA 會被推測為 Int 型別 var varA = 42 print(varA) // varB 會被推測為 Double 型別 var varB = 3.14159 print(varB) // varC 也會被推測為 Double 型別 var varC = 3 + 0.14159 print(varC)
執行以上程式碼,輸出結果為:
42 3.14159 3.14159