Swift 可空类型

可空类型(optional)是Swift的独特特性，用来指定某个实例可能没有值。可空类型的实例，要么有值且已经可用，要么没有值。没有值，称其为nil。任何类型都可用可空类型来说明一个实例可能是nil。而Objective-C中只允许对象类型是nil。

一、可空类型概念
Swift可空类型让其语言更安全。一个可能为nil的实例应该被声明为可空类型。这意味着如果一个实例没有被声明为可空类型，它就绝对不可能为nil。如此显示声明让代码更具表达能力，也更安全。
（1）声明可空类型
import Cocoa
var errorString: String?
errorString = "404"
print(errorString)
打印errorString的值会显示Optional("404")。如果去掉赋值语句(errorString = "404")，打印的值为nil。实际使用时通常希望知道何时为nil，可增加条件语句。
（2） 增加条件语句
import Cocoa
var errorString: String?
if errorString != nil{
let theError = errorString!
print(theError)
}
errorString!中的！表示强制展开。强制展开会访问可空实例的封装的值，即把“404”取出并赋给常量theError。强制展开，无论是否有值，都会访问封装的值。如果没有值，则会产生运行时错误。
强制展开具有一定的风险。如果可空实例没有值，程序会在运行时触发陷阱。如果省略末尾感叹号，那就只是把可空的String而不是把实际错误码的string值赋给常量。errorString的类型是String?.String?和String不是相同的类型---无法在不展开可空实例的情况下将String?的值赋给string变量。

二、可空实例绑定
以上条件语句略显笨重，可用可控实例绑定简化。
可控实例绑定对于判断可空实例是否有值很有用。如果有值，就将其赋给一个临时常量或变量，并且使这个常量或变量在条件语句的第一个分支代码中可用。
import Cocoa
var errorString: String?
errorString = "404"
if let theError = errorString{
print(theError)
}
嵌套的可空实例绑定
if let theError = errorString {
if let errorCodeInteger = Int(theError){
print(theError:errorCodeInteger)
}
}
展开多个可空实例
if let theError = errorString, let errorCodeInteger = Int(theError){
print("(theError): (errorCodeInteger)")
}
可空实例绑定还可进行额外检查，写法如标准if语句。
if let theError = errorString, let errorCodeInteger = Int(theError), errorCodeInteger == 404 {
print("(theError): (errorCodeInteger)")
}

三、隐式展开可空类型
（1）类型声明
import Cocoa
var errorString: String!
errorString = "404"
print(errorString)
这里的可空类型用！声明，表示是一个隐式可空类型。条件语句被删除，因为使用隐式展开可空类型意味着对其有值比使用普通可空类型更有信心。危险性：如果隐式展开可空类型没有值得话，访问其值会导致运行时错误。因此需慎用。只要某个实例可能是nil，就别用隐式展开可空类型。一般用在类初始化中。

四、可空链式调用
可空链式调用提供了一种对可空实例进行查询以判断其是否包含值得机制。它允许把多个查询串联为一个可空实例的值。如果链式调用中的每个可空实例都包含值，那么每个调用都会成功，整个查询链会返回期望类型的可控实例。如果查询链中的任意可空实例是nil，那么整个链式调用会返回nil。
import Cocoa
var errorCodeString: String?
errorCodeString = "404"
var errordESCRIPTION: String?
if let theError = errorCodeString, let errorCodeInteger = Int(theError), errorCodeInteger == 404 {
errorDescription = "(errorCodeInteger + 200): resource was not found"
}
var upCaseErrorDescription = errorDescription?.uppercased()
errorDescription
errorDescription末尾的问号表示这行代码开始了可空链式调用的过程。如果errorDescription没有值，就没有字符串需要被转化成大写。这样upCaseErrorDescription就是nil。这一点表明可空链式调用会返回可空实例。

五、 nil合并运算符
处理可空类型时的一个常见操作时：要么获取其值(如果可空实例有值)，要么使用某个默认值（如果可空实例是nil）。
...
let description: String
if let errorDescription = errorDescription{
description = errorDescription
}else{
description = "No error"
}
繁琐笨重 ----->
let description = errorDescription ?? "No error"
??的左边必须为可空实例。右边必须是非可空的同类型实例。