Day2 if 语句以及强制解析

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

如果可选类型有值，它将不等于 nil:
<pre>if convertedNumber != nil {
print("convertedNumber contains some integer value.")
}
// 输出 "convertedNumber contains some integer value."</pre>

当你确定可选类型确实包含值之后，你可以在可选的名字后面加一个感叹号( ! )来获取值。这个惊叹
号表示“我知道这个可选有值，请使用它。”这被称为可选值的强制解析(forced unwrapping):
<pre>if convertedNumber != nil {
print("convertedNumber has an integer value of (convertedNumber!).")
}
// 输出 "convertedNumber has an integer value of 123."</pre>
注意:使用 ! 来获取一个不存在的可选值会导致运行时错误。使用 ! 来强制解析值之前，一定要确定可选包
含一 个非 nil 的值。

可选绑定
使用可选绑定(optional binding)来判断可选类型是否包含值，如果包含就把值赋给一个临时常量
或者变量。可选绑定可以用在 if 和 while 语句中，这条语句不仅可以用来判断可选类型中是否有
值，同时可以将可选类型中的值赋给一个常量或者变量。
if 和 while 语句像下面这样在 if 语句中写一个可选绑定:
<pre>if let constantName = someOptional {
statements
}</pre>
你可以像上面这样使用可选绑定来重写 possibleNumber

<pre>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"</pre>
这段代码可以被理解为:
“如果 Int(possibleNumber) 返回的可选 Int 包含一个值，创建一个叫做 actualNumber 的
新常量并将可选包含的值赋给它。”如果转换成功， actualNumber 常量可以在 if 语句的第一个分支中使用。它已经被可选类型包含的值初始化过，所以不需要再使用 ! 后缀来获取它的值。在这个例子中，actualNumber 只被用来输出转换结果。
你可以在可选绑定中使用常量和变量。如果你想在if语句的第一个分支中操作 actualNumber 的值，
你可以改 成 if var actualNumber ，这样可选类型包含的值就会被赋给一个变量而非常量。

你可以包含多个可选绑定或多个布尔条件在一个 if 语句中，只要使用逗号分开就行。只要有任意一个
可选绑定的值为nil，或者任意一个布尔条件为false，则整个if条件判断为false，这时你就需要使
用嵌套 if 条件语句来处理，如下所示:

<pre>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"</pre>

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

隐式解析可选类型

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

有时候在程序架构中，第一次被赋值之后，可以确定一个可选类型总会有值。在这种情况下，每次都判
断和解析可选值是非常低效的，因为可以确定它总会有值。
这种类型的可选状态被定义为隐式解析可选类型(implicitly unwrapped optionals)。把想要用
作可选的类型的后面的问号( String? )改成感叹号( String! )来声明一个隐式解析可选类型。

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

一个隐式解析可选类型其实就是一个普通的可选类型，但是可以被当做非可选类型来使用，并不需要每
次都使用解析来获取可选值。下面的例子展示了可选类型 String 和隐式解析可选类型 String 之间
的区别:
<pre>let possibleString: String? = "An optional string."//可选类型
let forcedString: String = possibleString! // 需要感叹号来获取值
let assumedString: String! = "An implicitly unwrapped optional string."//隐式解析可选类型
let implicitString: String = assumedString // 不需要感叹号</pre>

错误处理
你可以使用 错误处理(error handling) 来应对程序执行中可能会遇到的错误条件。
相对于可选中运用值的存在与缺失来表达函数的成功与失败，错误处理可以推断失败的原因，并传播至程序的其他部分。
当一个函数遇到错误条件，它能报错。调用函数的地方能抛出错误消息并合理处理。

func canThrowAnError() throws {
// 这个函数有可能抛出错误
}

一个函数可以通过在声明中添加关键词来抛出错误消息。当你的函数能抛出错误消息时, 你应该在表达式中前置关键词。
do {
try canThrowAnError() // 没有错误消息抛出
} catch {
// 有一个错误消息抛出
}

断言

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

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

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

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

assert(age >= 0)

何时使用断言
当条件可能为假时使用断言，但是最终一定要保证条件为真，这样你的代码才能继续运行。断言的适用情景:
• 整数类型的下标索引被传入一个自定义下标实现，但是下标索引值可能太小或者太大。
• 需要给函数传入一个值，但是非法的值可能导致函数不能正常执行。
• 一个可选值现在是 nil ，但是后面的代码运行需要一个非 nil 值。