可选类型定义
Swift 标准库中定义后缀 ？为可选类型 Optional<Wrapped> 的语法糖，这里语法糖可以简单理解为一种便捷的书写语法。也就是说，下面两个声明是等价的：
var name: Optional<String>
var name: String?
上述两种情况，变量 name 被声明为可选字符串类型。
我们可以在xcode编译器中，按住 command 键 同时点击 OPtional，可以跟进去查看可选类型的具体实现：
public enum Optional: ExpressibleByNilLiteral {
/// The absence of a value.
/// In code, the absence of a value is typically written using the `nil`
/// literal rather than the explicit `.none` enumeration case.
case none
/// The presence of a value, stored as `Wrapped`.
case some(Wrapped)
/// Creates an instance that stores the given value.
public init(_ some: Wrapped)
其他部分省略。。。。
}
我们看到，可选类型 Optional<Wrapped> 是一个枚举，有两个成员：none 和 some(Wrapped)，表示可能没有值或者可能有值。
var name: String?
print(name)
//打印：nil
name = "haha"
print(name)
//打印：Optional("haha")
上述例子，name声明为可选类型，没有初始化的时候，自动置为nil。当你声明一个可选变量或常量但没有赋初值，它们都会被自动置为nil。
注意：Swift 的 nil 和 Objective-C 中的 nil 并不一样。在 Objective-C 中，nil 是一个指向不存在对象的指针。在 Swift 中，nil 不是指针——它是一个确定的值，用来表示值缺失。任何类型的可选状态都可以被设置为 nil，不只是对象类型，但非可选的类型值不能置为nil。
if 语句以及强制解析
可以使用 if 语句 和 nil 比较来判断一个可选值是否有值：
if name != nil {
print(name!)
}
//打印："haha"
当确定可选值有值的时候，可以在变量名后跟 ！符号来强制解析该可选值，注意，不能用 ！强制解析不包含值的可选值，否则导致运行出错。
可选绑定
使用可选绑定来判断一个可选值是否包含值，若包含值则赋给一个临时变量或常量。如下可选绑定用在 if 语句中：
if let nick = name {
print(nick)
}
//打印："haha"
这段代码可以理解为：可选值 name 包含一个值“haha”，则创建一个临时的新常量 nick 并把可选值 name 的值赋给它。
还可以包含多个可选绑定或多个布尔条件在一个 if 语句中，只要使用逗号分开就行。只要有任意一个可选绑定的值为nil，或者任意一个布尔条件为false，则整个if条件判断为false。
隐式解析可选类型
有时候在程序中，第一次赋值后，可以确定一个可选类型总是有值，这样，在以后的调用中总是判断和解析可选值是效率低下的，这种类型的可选状态为被定义为隐式解析可选类型。把想要用作可选类型的 ？改为 ！来声明一个隐式解析可选类型。隐式解析可选类型依然是一个可选类型，可选类型的特性它同样适用，只是注意，当隐式解析可选项值为 nil 的时候解析取值，会运行出错。如果一个变量之后可能变成nil的话请不要使用隐式解析可选类型。如果你需要在变量的生命周期中判断是否是nil的话，请使用普通可选类型。
var hehe: String! = "hehe"
var s1: String = hehe //s1类型是 String
var s2 = hehe //s2类型是由 hehe 推断出为 可选类型 String？，所以下面打印格式不同
print(hehe,s1,s2)
//打印：hehe hehe Optional("hehe")