可空类型(optional)是Swift的独特特性，用来指定某个实例可能没有值。看到可空类型时，表明该实例一定：要么有值且已经可用，要么没有值。如果一个实例没有值，就称其为nil。
任何类型都可以用可空类型来说明一个实例可能是nil。这个特性将Swift和Objective-C区分开来，后者只允许对象是nil。
一、可空类型
Swift的可空类型让这门语言更加安全。一个可能为nil的实例应该被声明为可空类型。这意味着一个实例没有被声明为可空类型，它就不可能是nil。通过这种方式，编译器知道一个实例是否可能为nil。这种显式声明可以让代码更具表达能力，也更安全。
声明可空类型
import Cocoa
var errorCodeString: String?
errorCodeString = "404"
print(errorCodeString)
打印errorCodeString的值会显示Optional("404")。如果没有给errorCodeString赋值，会打印为nil。
var errorCodeString: String?
errorCodeString = "404"
if errorCodeString != nil{
let theError = errorCodeString!
print(theError)
}
在条件体中创建了一个新常量theError来持有errorCodeString的值。要做到这一点，需要在errorCodeString后面增加！。在这里感叹号的作用是强制展开。
强制展开会访问可空实例封装的值，这样就能把“404”取出并赋给常量theError。之所以称为“强制”展开，是因为无论是否有值，都会访问封装的值。也就是说，！假设有这样一个值；如果没有，这样展开会产生运行时错误。
强制展开具有一定的危险性。如果可空实例没有值，程序会在运行时触发陷阱。建议谨慎使用强制展开。
如果省略errorCodeString末尾的感叹号，那就只是把可空的String而不是把实际错误码的String值赋给常量。事实上，errorCodeString的类型时String!。String！和string不是相同的类型-----如果有一个String变量，就无法在不展开可空实例的情况下将String？的值赋给这个变量。
二、可空实例绑定
可空实例绑定是一种固定模式，对于判断可空实例是否有值很有用。如果有值，就将其赋给一个临时常量或变量，并且使这个常量或变量在条件语句的第一个分支代码中可用。这样可以让代码更简洁，同时保持表达力。
if let temporaryConstant = anOptional{
// 用temporaryConstant做一些事
}else{
// anOptional没有值，也就是说anOptional为nil
}
如此，不需要再强制展开可空实例了。如果转换成功，那么这个操作已经自动完成了，可空实例的值已经在你声明的临时常量(或变量)中可用了。
嵌套的可空实例绑定。
var errorCodeString: String?
errorCodeString = "404"
if let theError = errorCodeString{
if let errorCodeInteger = Int(theError){
print("\(theError): \(errorCodeInteger)")
}
}
单个if let绑定可以展开多个可空实例，避免嵌套多个if let.
var errorCodeString: String?
errorCodeString = "404"
if let theError = errorCodeString,let errorCodeInteger = Int(theError){
print("\(theError): \(errorCodeInteger)")
}
可空实例绑定还能进行额外的检查。
var errorCodeString: String?
errorCodeString = "404"
if let theError = errorCodeString,let errorCodeInteger = Int(theError),errorCodeInteger ==404{
print("\(theError): \(errorCodeInteger)")
}
三、隐式展开可空类型
与普通可空类型区别：它们不需要展开。
var errorCodeString: String!
errorCodeString = "404"
print(errorCodeString)
隐式展开可空类型的强大和灵活性跟不必展开就能访问其值有关。
这种强大和灵活性也伴随着一定的危险性：如果隐式展开可空实例没有值的话，访问其值会导致运行时错误。因此建议，只要某个实例有可能是nil,就别用隐式展开可空类型。
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 unCaseErrorDescription = errorDescription?.uppercased()
errorDescription
四、原地修改可空实例
可空实例可以被“原地”修改，从而免去创建新变量或常量的麻烦。给upCaseErrorDescription增加一个append(_:)调用。
upCaseErrorDescription?.append("please try again")
upCaseErrorDescription
原地修改非常有用。在本例中，要做的只是更新可空实例中的字符串，不需要任何返回值。如果可空实例有值，就给字符串增加一些文本；如果没有，就什么都不做。
这就是原地修可空实例所做的事情。
上面的代码也可以用！操作符。这个操作符会强制展开可空实例---操作可能有危险。如果upCaeErrorDescription为nil，那么upCaseErrorDescription!.append("please try again")会导致运行时崩溃。
正如上面所讲，大多数时候最好用？。只有在你知道可空实例不会为nil或者一旦可空实例是nil那么唯一合理的动作就是崩溃时才使用！操作符。
五、nil合并操作符
处理可空类型时一个常见操作是：要么获取其值（如果可空实例有值），要么使用某个默认值（如果可空实例是nil）。可以用nil合并运算符？？来达到目的。
let description = errorDescription??"No error"
??的左边必须为可空实例；在本例中是errorDescription,一个可空的String。右边必须是非可空的同类型实例；在本例中是"No error",就是String 类型。如果左边的可空实例是nil,那么？？会返回右边的值。如果左边的可空实例不是nil,那么？？会返回可空实例中包含的值。