第二章.元组(tuples) & 可选(optionals)

元组（tuples）：把多个值组合成一个复合值。元组内的值可以使任意类型，并不要求是相同类型

下面这个例子中，(404, "Not Found")是一个描述 HTTP 状态码（HTTP status code）的元组。HTTP 状态码是当你请求网页的时候 web 服务器返回的一个特殊值。如果你请求的网页不存在就会返回一个404 Not Found状态码。

1 let http404Error = (404, "Not Found") 
2 // http404Error 的类型是 (Int, String)，值是 (404, "Not Found") 

(404, "Not Found")元组把一个Int值和一个String值组合起来表示 HTTP 状态码的两个部分：一个数字和一个人类可读的描述。这个元组可以被描述为“一个类型为(Int, String)的元组”。

可以把任意顺序的类型组合成一个元组，例如：你可以创建一个类型为(Int, Int, Int)或者(String, Bool)或者其他组合的元组。

元组的内容可以分解（decompose）成单独的常量或变量，如下：

1 let http404Error = (404, "Not Found")
2 let (statusCode, statusMessage) = http404Error 
3 println("The status code is \(statusCode)") 
4 // 输出 "The status code is 404" 
5 println("The status message is \(statusMessage)") 
6 // 输出 "The status message is Not Found"

上面的例子中

statusCode = 404
statusMessage = "Not Found"

如果只需要一部分元组值，分解的时候可以把要忽略的部分用下划线（_）标记：

1 let (justTheStatusCode, _) = http404Error 
2 println("The status code is \(justTheStatusCode)") 
3 // 输出 "The status code is 404" 

还可以通过下标来访问元组中的单个元素，下标和数组一样，从零开始：

1 println("The status code is \(http404Error.0)") 
2 // 输出 "The status code is 404" 
3 println("The status message is \(http404Error.1)") 
4 // 输出 "The status message is Not Found" 

在定义元组的时候给单个元素命名：

1 let http200Status = (statusCode: 200, description: "OK") 

给元组中的元素命名后，就可以通过名字来获取这些元素的值

1 println("The status code is \(http200Status.statusCode)") 
2 // 输出 "The status code is 200" 
3 println("The status message is \(http200Status.description)") 
4 // 输出 "The status message is OK"

注意：元组在临时组织值的时候很有用，但是并不适合创建复杂的数据结构。如果数据结构并不是临时使用，可以使用类或者结构体。

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

• 可选表示有值或者没有值

举个栗子：Swift 的String类型有一个叫做toInt的方法，作用是将一个String值转换成一个Int值。然而，并不是所有的字符串都可以转换成一个整数。字符串"123"可以被转换成数字123，但是字符串"hello, world"不行。

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

因为toInt方法可能会失败，所以它返回一个可选的（optional）Int，而不是一个Int。一个可选的Int被写作 Int? 而不是Int。问号暗示包含的值是可选，也就是说可能包含Int值也可能不包含值。（不能包含其它值，比如Bool值或者String值。只能是Int或者什么都没有）

if 语句以及强制解析

可以使用if语句来判断一个可选是否包含值。如果可选有值，结果是true；如果没有值，结果是false。

可选值的强制解析（forced unwrapping）

在可选值的后面加一个感叹号（！）号来取值，这个感叹号表示“我知道这个可选有值。”

1 if convertedNumber { 
2     println("\(possibleNumber) has an integer value of \(convertedNumber!)") 
3 } else { 
4     println("\(possibleNumber) could not be converted to an integer") 
5 } 
6 // 输出 "123 has an integer value of 123"

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

可选绑定

使用可选绑定（optional binding）来判断可选是否包含值，如果包含就把值赋给一个临时常量或者变量。可选绑定可以用在if和while语句中来对可选的值进行判断并把值赋给一个常量或者变量。

在if语句中写一个可选绑定：

1 if let constantName = someOptional { 
2     statements 
3 } 

使用可选绑定:

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

这段代码可以被理解为：

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

如果转换成功，actualNumber常量可以在if语句的第一个分支中使用。它已经被可选包含的值初始化过，所以不需要再使用!后缀来获取它的值。在这个例子中，actualNumber只被用来输出转换结果。

你可以在可选绑定中使用常量和变量。如果你想在if语句的第一个分支中操作actualNumber的值，你可以改成if var actualNumber，这样可选包含的值就会被赋给一个变量而非常量。

nil

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

1 var serverResponseCode: Int? = 404 
2 // serverResponseCode 包含一个可选的 Int 值 404 
3 serverResponseCode = nil 
4 // serverResponseCode 现在不包含值 

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

在声明一个可选常量或者变量的时候，它们会自动被设置为nil：

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

隐式解析可选

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

一个隐式解析可选其实就是一个普通的可选，但是可以被当做非可选来使用，并不需要每次都使用解析来获取可选值。下面的例子展示了可选String和隐式解析可选String之间的区别：

1 let possibleString: String? = "An optional string." 
2 println(possibleString!) // 需要惊叹号来获取值 
3 // 输出 "An optional string." 
4  
5 let assumedString: String! = "An implicitly unwrapped optional string." 
6 println(assumedString)  // 不需要感叹号 
7 // 输出 "An implicitly unwrapped optional string."

注意：

• 如果在隐式解析可选没有值的时候尝试取值，会触发运行时错误。和在没有值的普通可选后面加一个惊叹号一样。
• 如果一个变量可能变成nil的话请不要使用隐式解析可选。如果需要在变量的生命周期中判断是否是nil，使用普通可选类型。

断言

可选可以让你判断值是否存在，你可以在代码中优雅地处理值缺失的情况。然而，在某些情况下，如果值缺失或者值并不满足特定的条件，你的代码可能并不需要继续执行。这时，你可以在你的代码中触发一个断言（assertion）来结束代码运行并通过调试来找到值缺失的原因。

使用全局assert函数来写一个断言，向assert函数中传入一个结果为true或者false的表达式以及一条信息，当表达式为false的时候这条信息会被显示：：

1 let age = -3 
2 assert(age >= 0, "A person‘s age cannot be less than zero") 
3 // 因为 age < 0，所以断言会触发 

在这个例子中，只有age >= 0为true的时候代码运行才会继续，也就是说，当age的值非负的时候。如果age的值是负数，就像代码中那样，age >= 0为false，断言被触发，结束应用。

断言信息不能使用字符串插值。断言信息可以省略，就像这样：

1 assert(age >= 0) 

什么时候使用断言:

• 当条件可能为假时使用断言，但是最终一定要保证条件为真，这样你的代码才能继续运行。

断言的适用情景:

• 整数的附属脚本索引被传入一个自定义附属脚本实现，但是下标索引值可能太小或者太大。
• 需要给函数传入一个值，但是非法的值可能导致函数不能正常执行。
• 一个可选值现在是nil，但是后面的代码运行需要一个非nil值。

注意：断言可能导致你的应用终止运行

2015-03-16 20:57:17

第二章.元组(tuples) & 可选(optionals)

原文：http://www.cnblogs.com/huangzx/p/4330317.html