Swift編程語(yǔ)言中文教程（一）：基礎(chǔ)數(shù)據(jù)類型

雖然Swift是一個(gè)為開(kāi)發(fā)iOS和OS X app設(shè)計(jì)的全新編程語(yǔ)言，但是Swift的很多特性還是跟C和Objective-C相似。

Swift也提供了與C和Objective-C類似的基礎(chǔ)數(shù)據(jù)類型，包括整形Int、浮點(diǎn)數(shù)Double和Float、布爾類型Bool以及字符串類型String。Swift還提供了兩種更強(qiáng)大的基本集合數(shù)據(jù)類型，Array和Dictionary，更詳細(xì)的內(nèi)容可以參考：（中文教程：集合類型）。

跟C語(yǔ)言一樣，Swift使用特定的名稱來(lái)定義和使用變量。同樣，Swift中也可以定義常量，與C語(yǔ)言不同的是，Swift中的常量更加強(qiáng)大，在編程時(shí)使用常量能夠讓代碼看起來(lái)更加安全和簡(jiǎn)潔。

除了常見(jiàn)的數(shù)據(jù)類型之外，Swift還集成了Objective-C中所沒(méi)有的“元組”類型，可以作為一個(gè)整體被傳遞。元組也可以成為一個(gè)函數(shù)的返回值，從而允許函數(shù)一次返回多個(gè)值。

Swift還提供了可選類型，用來(lái)處理一些未知的不存在的值。可選類型的意思是：這個(gè)值要么存在，并且等于x，要么根本不存在。可選類型類似于Objective-C中指針的nil值，但是nil只對(duì)類(class)有用，而可選類型對(duì)所有的類型都可用，并且更安全。可選類型是大部分Swift新特性的核心。

可選性類型只是Swift作為類型安全的編程語(yǔ)言的一個(gè)例子。Swift可以幫助你更快地發(fā)現(xiàn)編碼中的類型錯(cuò)誤。如果你的代碼期望傳遞的參數(shù)類型是String的，那么類型安全就會(huì)防止你錯(cuò)誤地傳遞一個(gè)Int值。這樣就可以讓編程人員在開(kāi)發(fā)期更快地發(fā)現(xiàn)和修復(fù)問(wèn)題。

1、常量和變量

常量和變量由一個(gè)特定名稱來(lái)表示，如maximumNumberOfLoginAttempt 或者 welcomeMessage。常量所指向的是一個(gè)特定類型的值，如數(shù)字10或者字符”hello”。變量的值可以根據(jù)需要不斷修改，而常量的值是不能夠被二次修改的。

常量和變量的聲明

常量和變量在使用前都需要聲明，在Swift中使用let關(guān)鍵詞來(lái)聲明一個(gè)常量，var關(guān)鍵詞聲明一個(gè)變量。如下面例子

let maximumNumberOfLoginAttempts = 10
var currentLoginAttempt = 0

以上代碼可以理解為：

聲明一個(gè)叫maximumNumberOfLoginAttempts的值為10的常量。然后聲明一個(gè)變量currentLoginAttempt初始值為0。

在這個(gè)例子中，最大的登錄嘗試次數(shù)10是不變的，因此聲明為常量。而已經(jīng)登錄的嘗試次數(shù)是可變的，因此定義為變量。也可以在一行中聲明多個(gè)變量或常量，用,號(hào)分隔：

var x = 0.0, y = 0.0, z = 0.0

注意：如果一個(gè)值在之后的代碼中不會(huì)再變化，應(yīng)該用let關(guān)鍵詞將它聲明為常量。變量只用來(lái)存儲(chǔ)會(huì)更改的值。

類型注解

在聲明常量和變量時(shí)，可以使用注解來(lái)注明該變量或常量的類型。使用:號(hào)加空格加類型名在變量或常量名之后就可以完成類型注解。下面的例子就是聲明了一個(gè)變量叫welcomeMessage，注解類型為字符串String：

var welcomeMessage: String

分號(hào):在這的作用就像是在說(shuō)：…是…類型的，因此上述代碼可以理解為：

聲明一個(gè)叫welcomeMessage的變量，它的類型是String

這個(gè)類型注解表明welcomeMessage變量能無(wú)誤地存儲(chǔ)任何字符串類型的值，比如welcomeMessage = “hello”

注：實(shí)際編程中很少需要使用類型注解，定義常量或者變量的時(shí)候Swift已經(jīng)根據(jù)初始化的值確定了類型信息。Swift幾乎都可以隱式的確定變量或常量的類型，詳見(jiàn)： 。而上面的welcomeMessage的例子中，初始化值沒(méi)有被給出，所以更好的辦法是指定welcomeMessage變量的類型而不是讓Swift隱式推導(dǎo)類型。

常量和變量的命名

Swift中可以使用幾乎任何字符來(lái)作為常量和變量名，包括Unicode，比如：

let π = 3.14159
let 你好 = "你好世界"
let = "dogcow"

但是名稱中不能含有數(shù)學(xué)符號(hào)，箭頭，無(wú)效的Unicode，橫線-和制表符，且不能以數(shù)字開(kāi)頭，盡管數(shù)字可以包含在名稱里。一旦完成了聲明，就不能再次聲明相同名稱的變量或常量，或者改變它的類型。變量和常量也不能互換。

注：如果你想用Swift保留字命名一個(gè)常量或者變量，你可以用 ` 符號(hào)把命名包圍起來(lái)。盡管如此，除非處于特別的意圖，盡量不要使用保留字作為變量/常量名。

可以改變變量的值為它聲明的類型的其它值，如下的例子里，變量friendlyWelcome的值從“Hello!”被修改為”Bonjour!”:

var friendlyWelcome = “hello!”
friendlyWelcome = “Bonjour!”
// friendlyWelcome is now “Bonjour!”

與變量不同的是，常量的值一旦確定就不能修改。如果想嘗試改變一個(gè)常量的值，編譯代碼時(shí)就會(huì)報(bào)錯(cuò)

let languageName = “Swift”
languageName = “Swift++”
 // this is a compile-time error – languageName cannot be changed

輸出常量和變量

Swift使用println來(lái)輸出變量或者常量：

println(friendlyWelcome)
// prints “Bonjour!”

println是一個(gè)全局函數(shù)，用來(lái)輸出一個(gè)值，最后輸出一個(gè)換行。在Xcode中，println輸出在控制臺(tái)中。print函數(shù)也類似，只不過(guò)最后不會(huì)輸出換行。

println函數(shù)一般輸出一個(gè)字符串

println("This is a string")
// prints "This is a string"

println函數(shù)還可以格式化輸出一些日志信息，就像是Cocoa中NSLog函數(shù)的行為一樣，可以包括一些常量和變量本身。Swift在字符串中插入變量名作為占位符，使用反斜杠\和小括號(hào)()來(lái)提示Swift替換變量/常量名為其實(shí)際的值，如：

println(“The current value of friendlyWelcome is (friendlyWelcome)”) // prints “The current value of friendlyWelcome is Bonjour!”

注：關(guān)于格式化字符的詳見(jiàn) 

2、注釋

不參與編譯的語(yǔ)句稱為注釋，注釋可以提示你代碼的意圖。Swift中的注釋和C語(yǔ)言中的一樣，有單行注釋

//this is a comment

多行注釋，使用/和/分隔

/* this is also a comment,
but written over multiple lines */

和C語(yǔ)言不同的是，多行注釋可以嵌套，你需要先開(kāi)始一個(gè)多行注釋，然后開(kāi)始第二個(gè)多行注釋，關(guān)閉注釋的時(shí)候先關(guān)閉第二個(gè)，然后是第一個(gè)。如下

/* this is the start of the first multiline comment
/* this is the second, nested multiline comment */
this is the end of the first multiline comment */

這樣可以方便地在大段已注釋的代碼塊中繼續(xù)添加注釋

3、分號(hào)

和其它一些編程語(yǔ)言不同，Swift不需要使用分號(hào) ; 來(lái)分隔每一個(gè)語(yǔ)句。當(dāng)然你也可以選擇使用分號(hào)，或者你想在一行中書(shū)寫多個(gè)語(yǔ)句。

let cat = ""; println(cat)
// prints ""

4、整數(shù)

整數(shù)就是像42和-23這樣不帶分?jǐn)?shù)的數(shù)字，包括有符號(hào)（正數(shù)，負(fù)數(shù)，0）和無(wú)符號(hào)（正數(shù)，0）。Swift提供了8、16、32和64位的數(shù)字形式，和C語(yǔ)言類似，可以使用8位的無(wú)符號(hào)整數(shù)UInt8，或者32位的整數(shù)Int32.像其他Swift類型一樣，這些類型名的首字母大寫。

整數(shù)邊界

使用min或max值來(lái)獲取該類型的最大最小值，如：

let minValue = UInt8.min // minValue is equal to 0, and is of type UInt8
let maxValue = UInt8.max // maxValue is equal to 255, and is of type UInt8

Int類型

一般來(lái)說(shuō)，編程人員在寫代碼時(shí)不需要選擇整數(shù)的位數(shù)，Swift提供了一種額外的整數(shù)類型Int，是和當(dāng)前機(jī)器環(huán)境的字長(zhǎng)相同的整數(shù)位數(shù)

在32位機(jī)器上，Int和Int32一樣大小

在64位機(jī)器上，Int和Int64一樣大小

除非你確實(shí)需要使用特定字長(zhǎng)的正數(shù)，盡量使用Int類型。這保證了代碼的可移植性。即使在32位的平臺(tái)上，Int也可以存儲(chǔ)-2,147,483,648 到2,147,483,647范圍內(nèi)的值，這對(duì)大部分正數(shù)來(lái)講已經(jīng)足夠了。

UInt類型

Swift還提供了一種無(wú)符號(hào)類型UInt，同理也是和當(dāng)前機(jī)器環(huán)境的字長(zhǎng)相等。

在32位機(jī)器上，UInt和UInt32一樣大小

在64位機(jī)器上，UInt和UInt64一樣大小

注：只有顯式的需要指定一個(gè)長(zhǎng)度跟機(jī)器字長(zhǎng)相等的無(wú)符號(hào)數(shù)的時(shí)候才需要使用UInt，其他的情況，盡量使用Int，即使這個(gè)變量確定是無(wú)符號(hào)的。都使用Int保證了代碼的可移植性，避免了不同數(shù)字類型之間的轉(zhuǎn)換。詳見(jiàn).

5、浮點(diǎn)數(shù)

浮點(diǎn)數(shù)就是像3.14159，0.1，-273.15這樣帶分?jǐn)?shù)的數(shù)字。分為Double和Float兩種，其中Double的精度更高。

6、類型安全和類型推導(dǎo)

Swift是一種類型安全的語(yǔ)言。類型安全就是說(shuō)在編程的時(shí)候需要弄清楚變量的類型。如果您的代碼部分需要一個(gè)字符串，你不能錯(cuò)誤地傳遞一個(gè)整數(shù)類型。
因?yàn)镾wift是類型安全的，它會(huì)執(zhí)行編譯你的代碼和標(biāo)志，任何類型不匹配時(shí)都會(huì)報(bào)錯(cuò)。這使得編程人員能夠盡快捕獲并盡可能早地在開(kāi)發(fā)過(guò)程中修正錯(cuò)誤。
類型檢查可以在使用不同類型的值時(shí)幫助避免錯(cuò)誤。但是，這并不意味著你必須指定每一個(gè)常量和變量所聲明的類型。如果不指定你需要的類型，Swift使用類型推導(dǎo)來(lái)指定出相應(yīng)的類型。類型推斷使編譯器自動(dòng)推斷出特定的表達(dá)式的類型時(shí)，然后編譯你的代碼，只需通過(guò)檢查您提供的值。
因?yàn)轭愋屯茢啵琒wift比起C或Objective-C，不需要過(guò)多的類型聲明語(yǔ)句。常量和變量仍然顯式類型，但大部分指定其類型的工作是Swift為你做的。
 當(dāng)你聲明一個(gè)常量或變量的初始值類型，類型推斷已經(jīng)起了作用。這通常是通過(guò)賦予文本值（或文字）到所聲明的常量或變量完成。 （字面上的值是直接出現(xiàn)在源代碼中的值，如下面的例子42和3.14159 。 ）

例如，如果您指定42到一個(gè)新的常數(shù)變量，不用說(shuō)它是什么類型，Swift推斷出你想要的常量是一個(gè)整數(shù)，因?yàn)槟阋呀?jīng)初始化它為一個(gè)整數(shù)

let meaningOfLife= 42
// meaningOfLife is inferred to be of typeInt

同樣，如果你不指定浮點(diǎn)值的類型，Swift推斷出你想要?jiǎng)?chuàng)建一個(gè)Double：

let pi = 3.14159
// pi is inferred to be of type Double

Swift總是選擇Double（而非Float）當(dāng)它需要浮點(diǎn)數(shù)類型時(shí)。
如果你在一個(gè)表達(dá)式中把整數(shù)和浮點(diǎn)數(shù)相加，會(huì)產(chǎn)生一個(gè)Double類型：

let anotherPi= 3 + 0.14159
// anotherPi is also inferred to be of typeDouble

7、數(shù)值量表達(dá)

整型常量可以寫成：
一個(gè)十進(jìn)制數(shù)，不帶前綴
一個(gè)二進(jìn)制數(shù)，用前綴0b
一個(gè)八進(jìn)制數(shù)，用0o前綴
一個(gè)十六進(jìn)制數(shù)，以0x前綴

用這些整型常量來(lái)表達(dá)十進(jìn)制值的17：

let decimalInteger= 17
let binaryInteger = 0b10001 // 17 in binary notation
let octalInteger = 0o21 // 17 in octal notation
let hexadecimalInteger = 0x11 // 17 inhexadecimal notation

浮點(diǎn)文本可以是十進(jìn)制（不帶前綴）或十六進(jìn)制（以0x前綴）。它們必須始終具有在小數(shù)點(diǎn)的兩側(cè)（或十六進(jìn)制數(shù)）。他們也可以有一個(gè)可選的指數(shù)，由一個(gè)大寫或小寫e表示十進(jìn)制浮點(diǎn)數(shù)表示，或大寫或小寫p表示十六進(jìn)制浮點(diǎn)數(shù)
為十進(jìn)制數(shù)用的exp指數(shù)，基數(shù)乘以10exp：
1.25e2表示1.25×102,或者125.0.
1.25e-2表示1.25×10-2,或者0.0125.
為十六進(jìn)制數(shù)與EXP的指數(shù)，基部數(shù)乘以2EXP：

0xFp2表示15×22,或者60.0.

0xFp-2表示15×2-2,或者3.75.

所有這些浮點(diǎn)常量來(lái)表示十進(jìn)制的12.1875：

let decimalDouble= 12.1875
let exponentDouble= 1.21875e1
let hexadecimalDouble= 0xC.3p0

數(shù)字文本可以包含額外的格式，使它們更容易閱讀。這兩個(gè)整數(shù)和浮點(diǎn)數(shù)可以被額外的零填充，并且可以包含下劃線，以幫助可讀性。無(wú)論類型的格式不影響變量的值：

let paddedDouble= 000123.456
let oneMillion= 1_000_000
let justOverOneMillion= 1_000_000.000_000_1

8、數(shù)據(jù)類型轉(zhuǎn)換

使用Int類型的代碼中的所有通用的整型常量和變量，即使它們是非負(fù)的。在日常生活中使用默認(rèn)的整數(shù)類型是指整型常量和變量是在代碼中直接互操作，并將匹配的類型推斷為整數(shù)值。
整數(shù)轉(zhuǎn)換

可以存儲(chǔ)在一個(gè)整數(shù)常量或變量的范圍根據(jù)每個(gè)數(shù)值類型是不同的。一個(gè)Int8常量或變量可以存儲(chǔ)數(shù)-128到127之間的數(shù)，而一個(gè)UInt8常量或變量可以存儲(chǔ)0到255之間的數(shù)字。錯(cuò)誤的賦值會(huì)讓編譯器報(bào)錯(cuò)：

let cannotBeNegative: UInt8 = -1
// UInt8 cannot store negative numbers, and so this will report an error
let tooBig: Int8 = Int8.max + 1
// Int8 cannot store a number larger thanits maximum value,
// and so this will also report an error

因?yàn)槊總€(gè)數(shù)字類型可以存儲(chǔ)不同范圍的值，你必須選擇加入在逐案基礎(chǔ)上數(shù)值類型的轉(zhuǎn)換。這種選擇適用的做法可以防止隱藏的轉(zhuǎn)換錯(cuò)誤，并幫助作出明確在你的代碼的類型轉(zhuǎn)換意圖。
 要轉(zhuǎn)換一個(gè)特定的數(shù)字類型到另一個(gè)，你初始化與現(xiàn)有值所需類型的新號(hào)碼。在下面的例子中，恒定twoThousand是類型UInt16的的，而常數(shù)1是類型UINT8的。它們不能被一起直接加入的，因?yàn)樗鼈兪窍嗤愋偷牟弧Ｏ喾矗??示例調(diào)用UInt16的（一個(gè)）來(lái)創(chuàng)建一個(gè)變量的值初始化的新UInt16的，并且使用這個(gè)值來(lái)代替原來(lái)的：

let twoThousand: UInt16 = 2_000
let one: UInt8 = 1
let twoThousandAndOne= twoThousand + UInt16(one)

由于增加了雙方都類型UInt16的目前，除了是允許的。輸出常數(shù)（twoThousandAndOne）推斷為類型UInt16的，因?yàn)樗莾蓚€(gè)UInt16的值的總和。
 個(gè)SomeType（ofInitialValue）是默認(rèn)的方式來(lái)調(diào)用雨燕類型的初始化，并傳遞一個(gè)初始值。在幕后，UInt16的有一個(gè)接受UINT8值的初始值設(shè)定項(xiàng)，因此這個(gè)初始化用于從現(xiàn)有UINT8作出新的UInt16的。你不能傳遞任何類型的這里，但是，它必須是一個(gè)類型的UInt16的提供了一個(gè)初始化。擴(kuò)展現(xiàn)有類型，規(guī)定接受新的類型（包括你自己的類型定義）是覆蓋在擴(kuò)展初始化。

整數(shù)和浮點(diǎn)數(shù)轉(zhuǎn)換

let three = 3
let pointOneFourOneFiveNine= 0.14159
let pi = Double(three) +pointOneFourOneFiveNine
// pi equals 3.14159, and is inferred to beof typde Double

這里，常數(shù)3的值被用來(lái)創(chuàng)建Double類型的新值，從而使除了兩側(cè)是相同類型的。如果沒(méi)有這個(gè)轉(zhuǎn)換到位，另外也不會(huì)被允許。
反過(guò)來(lái)也是如此浮點(diǎn)到整數(shù)的轉(zhuǎn)換，在一個(gè)整數(shù)類型可以用double或float值進(jìn)行初始化：

let integerPi= Int(pi)
// integerPi equals 3, and is inferred tobe of type Int

當(dāng)用于以這種方式初始化一個(gè)新的整數(shù)值的浮點(diǎn)值總是被截?cái)唷＿@意味著，4.75變?yōu)?，和-3.9變?yōu)?3。

9、類型別名

類型別名為現(xiàn)有類型定義的替代名稱。您可以使用typealias關(guān)鍵字定義類型別名。當(dāng)你使用的類型名稱更符合上下文時(shí)，可以定義如：

typealias AudioSample = UInt16

一旦你定義了一個(gè)類型別名，你可以在任何會(huì)使用原來(lái)的名稱地方使用別名：

var maxAmplitudeFound= AudioSample.min
// maxAmplitudeFound is now 0

這里，AudioSample被定義為一個(gè)UInt16的別名。因?yàn)樗且粋€(gè)別名，調(diào)用AudioSample.min實(shí)際上是調(diào)用UInt16.min，給maxAmplitudeFound變量賦初始值0。

10、布爾類型
Swift中的布爾類型使用Bool定義，值分別是true和false：

let orangesAreOrange = true
let turnipsAreDelicious = false

跟Int和Double類型一樣，在定義布爾類型的時(shí)候不需要顯式的給出數(shù)據(jù)類型，只需要直接賦值為true或false即可
。布爾類型在條件語(yǔ)句中特別適用，比如在if語(yǔ)句中

if turnipsAreDelicious {
println("Mmm, tasty turnips!")
} else {
println("Eww, turnips are horrible.")
}
// prints "Eww, turnips are horrible."

像if語(yǔ)句這樣的條件語(yǔ)句，我們會(huì)在之后的章節(jié)有詳細(xì)介紹。
Swift的類型安全策略會(huì)防止其他非布爾類型轉(zhuǎn)換為布爾類型使用，比如

let i = 1
if i {
// this example will not compile, and will report an error

就會(huì)報(bào)錯(cuò)，但這在其他編程語(yǔ)言中是可行的。
但是如下的定義是正確的：

let i = 1
if i == 1 {
// this example will compile successfully
}

i == 1的結(jié)果就是一個(gè)布爾類型，所以可以在這里使用。上面的例子也是一個(gè)Swift類型安全的例子。

11、元組類型
元組類型可以將一些不同的數(shù)據(jù)類型組裝成一個(gè)元素，這個(gè)元素可以用來(lái)作為函數(shù)的返回值返回包含多種數(shù)據(jù)類型
的值。
 在下面的例子中，(404, “Not Found”) 是一個(gè)HTTP狀態(tài)碼，表述的是404錯(cuò)誤，具體含義是頁(yè)面未找到

let http404Error = (404, “Not Found”) // http404Error is of type (Int, String), and equals (404, “Not Found”)

這個(gè)元組由一個(gè)Int和一個(gè)字符串String組成，這樣的組合即包含了數(shù)字，也包含了便于人們認(rèn)知的字符串描述。
編程人員可以隨意地創(chuàng)建自己需要的元組類型，比如 (Int, Int, Int), 或者(String, Bool)等。
可以通過(guò)如下方式分別訪問(wèn)一個(gè)元組的值：

let (statusCode, statusMessage) = http404Error
println("The status code is \(statusCode)")
// prints "The status code is 404"
println("The status message is \(statusMessage)")
// prints "The status message is Not Found"

如果僅需要元組中的個(gè)別值，可以使用(_)來(lái)忽略不需要的值

let (justTheStatusCode, _) = http404Error
println("The status code is \(justTheStatusCode)")
// prints "The status code is 404"

另外，也可以使用元素序號(hào)來(lái)選擇元組中的值，注意序號(hào)是從0開(kāi)始的

println("The status code is \(http404Error.0)")
// prints "The status code is 404"
println("The status message is \(http404Error.1)")
// prints "The status message is Not Found"

在創(chuàng)建一個(gè)元組的時(shí)候，也可以直接指定每個(gè)元素的名稱，然后直接使用元組名.元素名訪問(wèn)，如：

let http200Status = (statusCode: 200, description: "OK")
println("The status code is \(http200Status.statusCode)")
// prints "The status code is 200"
println("The status message is \(http200Status.description)")
// prints "The status message is OK"

元組類型在作為函數(shù)返回值的時(shí)候特別適用，可以為函數(shù)返回更多的用戶需要的信息。

12、可選類型
在一個(gè)值可能不存在的時(shí)候，可以使用可選類型。這種類型的定義是：要么存在這個(gè)值，且等于x，要么在這個(gè)值
不存在。
這種類型在C和Objective-C中是不存在的，但是Objective-C中有一個(gè)相似的類型，叫nil，但是僅僅對(duì)對(duì)象有用。
下面給出一個(gè)例子，在Swift中String類型有一個(gè)叫toInt的方法，能夠?qū)⒁粋€(gè)字符串轉(zhuǎn)換為一個(gè)Int類型。但是需
要注意的是，不是所有的字符串都可以轉(zhuǎn)換為證書(shū)。比如字符串”123″可以轉(zhuǎn)換為123，但是”hello, world”就不能
被轉(zhuǎn)換。

let possibleNumber = "123"
let convertedNumber = possibleNumber.toInt()
// convertedNumber is inferred to be of type "Int?", or "optional Int"

由于toInt方法可能會(huì)失敗，因此它會(huì)返回一個(gè)可選的Int類型，而不同于Int類型。一個(gè)可選的Int類型被記為Int?
，不是Int。問(wèn)號(hào)表明它的值是可選的，可能返回的是一個(gè)Int，或者返回的值不存在。
if語(yǔ)句和強(qiáng)制使用
編程人員可以使用if語(yǔ)句來(lái)檢測(cè)一個(gè)可選類型時(shí)候包含一個(gè)特定的值，如果一個(gè)可選類型確實(shí)包含一個(gè)值，在if語(yǔ)
句中它將返回true，否則返回false。如果你已經(jīng)檢測(cè)確認(rèn)該值存在，那么可以使用或者輸出它，在輸出的時(shí)候只
需要在名稱后面加上感嘆號(hào)(!)即可，意思是告訴編譯器：我已經(jīng)檢測(cè)好這個(gè)值了，可以使用它了。如：

if convertedNumber {
println("\(possibleNumber) has an integer value of \(convertedNumber!)")
} else {
println("\(possibleNumber) could not be converted to an integer")
}
// prints "123 has an integer value of 123"

選擇性綁定
使用一個(gè)變量或常量來(lái)綁定一個(gè)可選類型，在if和while語(yǔ)句中，來(lái)檢查該值是否存在，然后再繼續(xù)使用它，綁定
方法如下：

if let constantName = someOptional {
statements
}

那么上一個(gè)例子也可以改寫為：

if let actualNumber = possibleNumber.toInt() {
println("\(possibleNumber) has an integer value of \(actualNumber)")
} else {
println("\(possibleNumber) could not be converted to an integer")
}
// prints "123 has an integer value of 123"

上述代碼理解起來(lái)不難：如果這個(gè)可選Int類型包含一個(gè)值，那么定義一個(gè)常量actualNumber來(lái)等于這個(gè)值，并在
后續(xù)代碼中直接使用。

nil
可以給可選類型指定一個(gè)特殊的值nil：

var serverResponseCode: Int? = 404
// serverResponseCode contains an actual Int value of 404
serverResponseCode = nil
// serverResponseCode now contains no value

如果你定義了一個(gè)可選類型并且沒(méi)有給予初始值的時(shí)候，會(huì)默認(rèn)設(shè)置為nil

var surveyAnswer: String? // surveyAnswer is automatically set to nil

注: Swift 的nil不同于Object-C中的nil. Object-C中，nil是一個(gè)指針指向不存在的對(duì)象。Swift中，nil不是指針而是一個(gè)特定類型的空值。任何類型的可選變量都可以被設(shè)為nil，不光是指針。

隱式強(qiáng)制使用可選類型

在上面的例子中，可選類型表示一個(gè)常量/變量可以沒(méi)有值。可選類型可以被if語(yǔ)句檢測(cè)是否有值，并且可以被可選綁定解包。

但是在一些情況下，可選類型是一直有效的，那么可以通過(guò)定義來(lái)隱式地去掉類型檢查，強(qiáng)制使用可選類型。這些可選類型被成為隱式解包的可選類型。你可以直接在類型后面加! 而不是？來(lái)指定。

隱式解包的可選類型主要用在一個(gè)變量/常量在定義瞬間完成之后值一定會(huì)存在的情況。這主要用在類的初始化過(guò)程中，詳見(jiàn)Unowned References and Implicitly Unwrapped Optional Properties.

隱式解包的可選類型本質(zhì)是可選類型，但是可以被當(dāng)成一般類型來(lái)使用，不需要每次驗(yàn)證值是否存在。如下的例子展示了可選類型和解包可選類型之間的區(qū)別。

let possibleString: String? = "An optional string."
println(possibleString!) // requires an exclamation mark to access its value
// prints "An optional string."

let assumedString: String! = "An implicitly unwrapped optional string."
println(assumedString) // no exclamation mark is needed to access its value
// prints "An implicitly unwrapped optional string."

直接在變量后面加上!，String!，這樣可以確保該值一定存在。
隱式轉(zhuǎn)換同樣也可以使用if語(yǔ)句來(lái)檢測(cè)

if assumedString {
println(assumedString)
}
// prints "An implicitly unwrapped optional string."

或者選擇性綁定

if let definiteString = assumedString {
println(definiteString)
}
// prints "An implicitly unwrapped optional string."

13、使用斷言
可選類型讓編程人員可以檢測(cè)一個(gè)值是否存在，然后使用代碼來(lái)處理不存在的情況。但是有些情況下，如果一個(gè)值
 不存在會(huì)直接影響代碼的執(zhí)行，這個(gè)時(shí)候就需要使用斷言。只有在滿足特定條件的時(shí)候，代碼才會(huì)繼續(xù)執(zhí)行。

使用斷言調(diào)試
斷言是一種實(shí)時(shí)檢測(cè)條件是否為true的方法。如果這個(gè)條件為false，那么代碼將會(huì)中斷執(zhí)行。
在Xcode中，在調(diào)試的時(shí)候如果中斷，可以通過(guò)查看調(diào)試語(yǔ)句來(lái)找出問(wèn)題所在。
使用全局函數(shù)assert來(lái)使用斷言調(diào)試，如：

let age = -3
assert(age >= 0, "A person's age cannot be less than zero")
// this causes the assertion to trigger, because age is not >= 0

當(dāng)前一個(gè)條件返回false的時(shí)候，后面的錯(cuò)誤日志將會(huì)輸出。

在這個(gè)例子中，只有當(dāng)age >= 0的時(shí)候，條件被判定為true，但是age = -3,所以條件判定為false，輸出錯(cuò)誤日志
“A person’s age cannot be less than zero”。
當(dāng)然錯(cuò)誤日志也可以省略，但是這樣不利于調(diào)試，如

assert(age >= 0)

使用斷言的時(shí)間
當(dāng)需要檢測(cè)一個(gè)條件可能是false，但是代碼運(yùn)行必須返回true的時(shí)候使用。下面給出了一些常用場(chǎng)景，可能會(huì)用
到斷言檢測(cè)：
傳遞一個(gè)整數(shù)類型下標(biāo)的時(shí)候，比如作為數(shù)組的Index，這個(gè)值可能太小或者太大，從而造成數(shù)組越界；
傳遞給函數(shù)的參數(shù)，但是一個(gè)無(wú)效的參數(shù)將不能在該函數(shù)中執(zhí)行
一個(gè)可選類型現(xiàn)在是nil，但是在接下來(lái)的代碼中，需要是非nil的值才能夠繼續(xù)運(yùn)行。

本文資源來(lái)自互聯(lián)網(wǎng)，由本網(wǎng)整理編輯，供大家學(xué)習(xí)參考。因?yàn)榧夹g(shù)有限，可能會(huì)有不足及錯(cuò)誤，請(qǐng)大家指正。