Swift学习笔记 (三) 基础部分(下)

可选类型

使⽤可选类型(optionals)来处理值可能缺失的情况。可选类型表示两种可能: 或者有值， 你可以解析可选类型访问这个值， 或者

根本没有值。

注意

C 和 Objective-C 中并没有可选类型这个概念。最接近的是 Objective-C 中的一个特性，一个⽅法要不返回一个对象要不返回nil 

， nil 表示“缺少一个合法的对象”。然而，这只对对象起作⽤——对于结构体，基本的 C 类型或者枚举类型不起作用。对于这些

类型，Objective-C ⽅法一般会返回一个特殊值(比如 NSNotFound )来暗示值缺失。这种方法假设方法的调用者知道并记得对特

殊值进⾏判断。然而，Swift 的可选类型可以让你暗示任意类型的值缺失，并不需要一个特殊值。

来看一个例子。Swift 的 Int 类型有一种构造器，作⽤是将一个 String 值转换成一个 Int 值。然而，并不是所有的字符串都可以转

换成一个整数。字符串 "123" 可以被转换成数字 123 ，但是字符串 "hello, world" 不行。

下⾯的例子使用这种构造器来尝试将一个 String 转换成 Int :

let possibleNumber = "123"
let convertedNumber = Int(possibleNumber)
// convertedNumber 被推测为类型 "Int?"， 或者类型 "optional Int"

因为该构造器可能会失败，所以它返回一个可选类型(optional) Int ，⽽不是一个 Int 。一个可选的 Int 被写作Int? ⽽不

是 Int 。问号暗示包含的值是可选类型，也就是说可能包含 Int 值也可能不包含值。(不能包含其他任何值比如 Bool 值或者 

String 值。只能是 Int 或者什么都没有。)

 

nil

你可以给可选变量赋值为 nil 来表示它没有值:

var serverResponseCode: Int? = 404           // serverResponseCode 包含一个可选的 Int 值 404

serverResponseCode = nil                            // serverResponseCode 现在不包含值

注意

nil 不能⽤于非可选的常量和变量。如果你的代码中有常量或者变量需要处理值缺失的情况，请把它们声明成对应的可选类型。

如果你声明一个可选常量或者变量但是没有赋值，它们会⾃动被设置为 nil :

var surveyAnswer: String?                   // surveyAnswer 被自动设置为 nil

注意

Swift 的 nil 和 Objective-C 中的 nil 并不一样。在 Objective-C 中， nil 是一个指向不存在对象的指针。在 Swift 中， nil 不是

指针——它是一个确定的值，⽤来表示值缺失。任何类型的可选状态都可以被设置为 nil ，不只是对象类型。

 

if 语句以及强制解析

你可以使用 if 语句和 nil 比较来判断一个可选值是否包含值。你可以使用“相等”( == )或“不等”( != )来执行⽐较。

如果可选类型有值，它将不等于 nil :

if convertedNumber != nil {

            print("convertedNumber contains some integer value.")

}

// 输出“convertedNumber contains some integer value.”

当你确定可选类型确实包含值之后，你可以在可选的名字后面加一个感叹号( ! )来获取值。这个惊叹号表示“我知道这个可选有

值，请使用它。”这被称为可选值的强制解析(forced unwrapping):

if convertedNumber != nil {

            print("convertedNumber has an integer value of \(convertedNumber!).")

}

// 输出“convertedNumber has an integer value of 123.”

注意

使用 ! 来获取一个不存在的可选值会导致运行时错误。使用 ! 来强制解析值之前，一定要确定可选包含一个非 nil 的值。

 

可选绑定

使⽤可选绑定(optional binding)来判断可选类型是否包含值，如果包含就把值赋给一个临时常量或者变量。可选绑定可以用在 if 

和 while 语句中，这条语句不仅可以用来判断可选类型中是否有值，同时可以将可选类型中的值赋给一个常量或者变量。

像下面这样在 if 语句中写一个可选绑定:

if let constantName = someOptional {

        statements

}

你可以像上面这样使用可选绑定来重写在可选类型举出的 possibleNumber 例子:

if let actualNumber = Int(possibleNumber) {

       print("\'\(possibleNumber)\' has an integer value of \(actualNumber)")

} else {

        print("\'\(possibleNumber)\' could not be converted to an integer")

}

// 输出“'123' has an integer value of 123”

这段代码可以被理解为:

“如果 Int(possibleNumber) 返回的可选 Int 包含一个值，创建一个叫做 actualNumber 的新常量并将可选包含的值赋给它。”如果

转换成功， actualNumber 常量可以在 if 语句的第一个分支中使用。它已经被可选类型包含的值初始化过，所以不需要再使用 ! 

后缀来获取它的值。在这个例子中， actualNumber 只被用来输出转换结果。

你可以在可选绑定中使用常量和变量。如果你想在 if 语句的第一个分支中操作 actualNumber 的值，你可以改成if var

actualNumber ，这样可选类型包含的值就会被赋给一个变量而非常量。

你可以包含多个可选绑定或多个布尔条件在一个 if 语句中，只要使⽤逗号分开就⾏。只要有任意一个可选绑定的值为nil ，或者

任意一个布尔条件为 false ，则整个 if 条件判断为 false ，这时你就需要使用嵌套 if 条件语句来处理，如下所示:

if let firstNumber = Int("4"), let secondNumber = Int("42"), firstNumber < secondNumber && secondNumber < 100 {

          print("\(firstNumber) < \(secondNumber) < 100")

}

// 输出“4 < 42 < 100”

if let firstNumber = Int("4") {

     if let secondNumber = Int("42") {

          if firstNumber < secondNumber && secondNumber < 100 {

             print("\(firstNumber) < \(secondNumber) < 100")

         }

   }

}

// 输出“4 < 42 < 100”

注意

在 if 条件语句中使用常量和变量来创建一个可选绑定，仅在 if 语句的句中( body )中才能获取到值。相反，在guard 语句中使用

常量和变量来创建一个可选绑定，仅在 guard 语句外且在语句后才能获取到值，这就是提前退出。

 

隐式解析可选类型

如上所述，可选类型暗示了常量或者变量可以“没有值”。可选类型可以通过 if 语句来判断是否有值，如果有值的话可以通过可选

绑定来解析值。

有时候在程序架构中，第一次被赋值之后，可以确定一个可选类型总会有值。在这种情况下，每次都要判断和解析可选值是非常

低效的，因为可以确定它总会有值。

这种类型的可选状态被定义为隐式解析可选类型(implicitly unwrapped optionals)。把想要用作可选的类型的后面的问号( String? 

)改成感叹号( String! )来声明一个隐式解析可选类型。

当可选类型被第一次赋值之后就可以确定之后一直有值的时候，隐式解析可选类型非常有用。隐式解析可选类型主要被⽤在

Swift 中类的构造过程中 。

一个隐式解析可选类型其实就是一个普通的可选类型，但是可以被当做非可选类型来使用，并不需要每次都使用解析来获取可选

值。下面的例⼦展示了可选类型 String 和隐式解析可选类型 String 之间的区别:

let possibleString: String? = "An optional string."

let forcedString: String = possibleString! // 需要感叹号来获取值

let assumedString: String! = "An implicitly unwrapped optional string."

let implicitString: String = assumedString // 不需要感叹号

你可以把隐式解析可选类型当做一个可以自动解析的可选类型。你要做的只是声明的时候把感叹号放到类型的结尾，而不是每次

取值的可选名字的结尾。

注意

如果你在隐式解析可选类型没有值的时候尝试取值，会触发运⾏时错误。和你在没有值的普通可选类型后⾯加一个惊叹号一样。

你仍然可以把隐式解析可选类型当做普通可选类型来判断它是否包含值:

if assumedString != nil {

     print(assumedString!)

}

// 输出“An implicitly unwrapped optional string.”

你也可以在可选绑定中使用隐式解析可选类型来检查并解析它的值:

if let definiteString = assumedString {

        print(definiteString)

}

// 输出“An implicitly unwrapped optional string.”

注意

如果一个变量之后可能变成 nil 的话请不要使用隐式解析可选类型。如果你需要在变量的⽣命周期中判断是否是 nil 的 话，请使

用普通可选类型。

 

错误处理

你可以使用错误处理(error handling) 来应对程序执⾏中可能会遇到的可以恢复的或者可预期的错误。

相对于可选中运⽤值的存在与缺失来表达函数的成功与失败，错误处理可以推断失败的原因，并传播至程序的其他部分。 当一个

函数遇到错误条件，它能报错。调用函数的地方能抛出错误消息并合理处理。

func canThrowAnError() throws {

//这个函数有可能抛出错误

}

一个函数可以通过在声明中添加 throws 关键词来抛出错误消息。当你的函数能抛出错误消息时，你应该在表达式中前置 try 关

键字。

do {

try canThrowAnError()

         // 没有错误消息抛出

} catch {
         // 有一个错误消息抛出

}

一个 do 语句创建了一个新的包含作⽤域，使得错误能被传播到一个或多个 catch 从句。 这里有一个错误处理如何用来应对不同

错误条件的例子。

func makeASandwich() throws {

       // ...

}

do {  

       try makeASandwich()

        eatASandwich()

} catch SandwichError.outOfCleanDishes {

         washDishes()

} catch SandwichError.missingIngredients(let ingredients) {

         buyGroceries(ingredients)

}

在此例中， makeASandwich() (做一个三明治)函数会抛出一个错误消息如果没有⼲净的盘⼦或者某个原料缺失。因为

makeASandwich() 抛出错误，函数调用被包裹在 try 表达式中。将函数包裹在一个 do 语句中，任何被抛出的错误会被传播到提

供的 catch 从句中。

如果没有错误被抛出， eatASandwich() 函数会被调用。如果一个匹配 SandwichError.outOfCleanDishes 的错误被抛出， 

washDishes() 函数会被调用。如果一个匹配 SandwichError.missingIngredients 的错误被抛出， buyGroceries(_:) 函数会被调

用，并且使用 catch 所捕捉到的关联值 [String] 作为参数。

 

断⾔和先决条件

断言和先决条件是在运行时所做的检查。你可以用他们来检查在执⾏后续代码之前是否一个必要的条件已经被满⾜了。如果断言

或者先决条件中的布尔条件评估的结果为 true(真)，则代码像往常一样继续执⾏。如果布尔条件评估结果为 false(假)，程序的当

前状态是无效的，则代码执行结束，应用程序中止。

你使用断言和先决条件来表达你所做的假设和你在编码时候的期望。你可以将这些包含在你的代码中。断言帮助你在开发阶段找

到错误和不正确的假设，先决条件帮助你在生产环境中探测到存在的问题。

除了在运⾏时验证你的期望值，断言和先决条件也变成了一个在你的代码中的有用的⽂档形式。和在上面讨论过的错误处理不

同，断⾔和先决条件并不是用来处理可以恢复的或者可预期的错误。因为一个断言失败表明了程序正处于一个无效的状态，没有

办法去捕获一个失败的断⾔。

使用断⾔和先决条件不是一个能够避免程序出现无效状态的编码方法。然而，如果一个无效状态程序产⽣了，断⾔和先决条件可

以强制检查你的数据和程序状态，使得你的程序可预测的中止(译者:不是系统强制的，被动的中止)，并帮助使这个问题更容易调

试。一旦探测到无效的状态，执行则被中止，防止无效的状态导致的进一步对于系统的伤害。

断言和先决条件的不同点是，他们什么时候进行状态检测:断言仅在调试环境运⾏，而先决条件则在调试环境和生产环境中运⾏。

在生产环境中，断⾔的条件将不会进行评估。这个意味着你可以使用很多断言在你的开发阶段，但是这些断言在生产环境中不会

产生任何影响。

 

使用断言进行调试

你可以调用 Swift 标准库的 assert(_:_:file:line:) 函数来写一个断言。向这个函数传入一个结果为 true 或者false 的表达式以及一

条信息，当表达式的结果为 false 的时候这条信息会被显示:

let age = -3

assert(age >= 0, "A person's age cannot be less than zero")

// 因为 age < 0，所以断⾔言会触发

在这个例子中，只有 age >= 0 为 true 时，即 age 的值非负的时候，代码才会继续执⾏。如果 age 的值是负数，就像代码中那

样， age>= 0 为 false ，断言被触发，终止应用。

如果不需要断言信息，可以就像这样忽略掉:

assert(age >= 0)

如果代码已经检查了条件，你可以使用 assertionFailure(_:file:line:) 函数来表明断言失败了，例如:

if age > 10 {

      print("You can ride the roller-coaster or the ferris wheel.")

} else if age > 0 {

      print("You can ride the ferris wheel.")

} else {

      assertionFailure("A person's age can't be less than zero.")

}

 

强制执行先决条件

当一个条件可能为假，但是继续执行代码要求条件必须为真的时候，需要使用先决条件。例如使用先决条件来检查是否下标越

界，或者来检查是否将一个正确的参数传给函数。

你可以使用全局 precondition(_:_:file:line:) 函数来写一个先决条件。向这个函数传入一个结果为 true 或者false 的表达式以及一

条信息，当表达式的结果为 false 的时候这条信息会被显示:

// 在⼀一个下标的实现里...
precondition(index > 0, "Index must be greater than zero.")

你可以调用 preconditionFailure(_:file:line:) 方法来表明出现了一个错误，例如，switch 进入了 default 分支，但是所有的有效

值应该被任意一个其他分⽀(非 default 分支)处理。

注意

如果你使用 unchecked 模式(-Ounchecked)编译代码，先决条件将不会进行检查。编译器假设所有的先决条件总是为

true(真)，他将优化你的代码。然而， fatalError(_:file:line:) 函数总是中断执⾏，无论你怎么进⾏优化设定。

你能使用 fatalError(_:file:line:) 函数在设计原型和早期开发阶段，这个阶段只有方法的声明，但是没有具体实现，你可以在方法

体中写上fatalError("Unimplemented")作为具体实现。因为 fatalError 不会像断言和先决条件那样被优化掉，所以你可以确保当代

码执行到一个没有被实现的方法时，程序会被中断。