Swift编程语言学习1.6——可选值

可选值

使用可选（optionals）来处理值可能缺失的情况。可选表示：

有值，等于 x   或者没有值

注意：

C 和 Objective-C 中并没有可选这个概念。最接近的是 Objective-C 中的一个特性，一个方法要不返回一个对象要不返回nil，nil表示“缺少一个合法的对象”。

然而，这仅仅对对象起作用——对于结构体。主要的 C 类型或者枚举类型不起作用。

对于这些类型，Objective-C 方法通常会返回一个特殊值（比方NSNotFound）来暗示值缺失。这样的方法假设方法的调用者知道并记得对特殊值进行推断。然而，Swift 的可选能够让你暗示随意类型的值缺失。并不须要一个特殊值。

来看一个样例。

Swift 的String类型有一个叫做toInt的方法。作用是将一个String值转换成一个Int值。然而，并非全部的字符串都能够转换成一个整数。字符串"123"能够被转换成数字123。可是字符串"hello, world"不行。

以下的样例使用toInt方法来尝试将一个String转换成Int：

let possibleNumber = "123"
let convertedNumber = possibleNumber.toInt()
// convertedNumber 被猜測为类型"Int?"，或者类型 "optional Int"

由于toInt方法可能会失败，所以它返回一个可选的（optional）Int，而不是一个Int。一个可选的Int被写作Int?

而不是Int。

问号暗示包括的值是可选，也就是说可能包括Int值也可能不包括值。

（不能包括其它不论什么值比方Bool值或者String值。

仅仅能是Int或者什么都没有。）

if 语句以及强制解析

你能够使用if语句来推断一个可选是否包括值。

假设可选有值，结果是true；假设没有值。结果是false。

当你确定可选包确实含值之后，你能够在可选的名字后面加一个感叹号(!)来获取值。这个惊叹号表示“我知道这个可选有值，请使用它。”这被称为可选值的强制解析（forced unwrapping）：

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

很多其它关于if语句的内容，请參考控制流。

注意：

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

可选绑定

使用可选绑定（optional binding）来推断可选是否包括值，假设包括就把值赋给一个暂时常量或者变量。可选绑定能够用在if和while语句中来对可选的值进行推断并把值赋给一个常量或者变量。if和while语句，请參考控制流。

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

if let constantName = someOptional {
   statements
}

你能够像上面这样使用可选绑定来重写possibleNumber这个样例：

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

这段代码能够被理解为：

“假设possibleNumber.toInt返回的可选Int包括一个值，创建一个叫做actualNumber的新常量并将可选包括的值赋给它。”

假设转换成功，actualNumber常量能够在if语句的第一个分支中使用。

它已经被可选包括的值初始化过。所以不须要再使用!后缀来获取它的值。在这个样例中，actualNumber仅仅被用来输出转换结果。

你能够在可选绑定中使用常量和变量。假设你想在if语句的第一个分支中操作actualNumber的值，你能够改成if var actualNumber，这样可选包括的值就会被赋给一个变量而很量。

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语句来推断是否有值。假设有值的话能够通过可选绑定来解析值。

有时候在程序架构中，第一次被赋值之后，能够确定一个可选总会有值。在这样的情况下，每次都要推断和解析可选值是很低效的。由于能够确定它总会有值。

这样的类型的可选被定义为隐式解析可选（implicitly unwrapped optionals）。

把想要用作可选的类型的后面的问号（String?）改成感叹号（String!）来声明一个隐式解析可选。

当可选被第一次赋值之后就能够确定之后一直有值的时候，隐式解析可选很实用。隐式解析可选主要被用在 Swift 中类的构造过程中。请參考类实例之间的循环强引用。

一个隐式解析可选事实上就是一个普通的可选，可是能够被当做非可选来使用，并不须要每次都使用解析来获取可选值。以下的样例展示了可选String和隐式解析可选String之间的差别：

let possibleString: String? = "Anoptional string."
println(possibleString!) // 须要惊叹号来获取值
// 输出 "An optionalstring."
let assumedString: String! = "Animplicitly unwrapped optional string."
println(assumedString)  // 不须要感叹号
// 输出 "Animplicitly unwrapped optional string."

你能够把隐式解析可选当做一个能够自己主动解析的可选。你要做的仅仅是声明的时候把感叹号放到类型的结尾，而不是每次取值的可选名字的结尾。

注意：

假设你在隐式解析可选没有值的时候尝试取值。会触发执行时错误。和你在没有值的普通可选后面加一个惊叹号一样。

你仍然能够把隐式解析可选当做普通可选来推断它是否包括值：

<pre name="code" class="java">if assumedString {
   println(assumedString)
}
// 输出 "Animplicitly unwrapped optional string."

你也能够在可选绑定中使用隐式解析可选来检查并解析它的值：

if let definiteString = assumedString {
   println(definiteString)
}
// 输出 "Animplicitly unwrapped optional string."

注意：

 

假设一个变量之后可能变成nil的话请不要使用隐式解析可选。假设你须要在变量的生命周期中推断是否是nil的话，请使用普通可选类型。