Swift的多重Optional

前言

Optional是Swift的一个特色，它解决了“有”和“无”这两个困扰了Objective-C许久的哲学概念，同时代码安全性也得到了很大的增加，但是与之带来的不便之处就是我今天要和大家一起学习的多重Optional。

什么是Optional

学习多重Optional之前，我们先简单的了解一下Optional，我们可以看到Optional实际上就是一个enum：

public enum Optional<Wrapped> : _Reflectable, NilLiteralConvertible {
    case None
    case Some(Wrapped)
    /// Construct a `nil` instance.
    public init()
    /// Construct a non-`nil` instance that stores `some`.
    public init(_ some: Wrapped)
    /// If `self == nil`, returns `nil`.  Otherwise, returns `f(self!)`.
    @warn_unused_result
    public func map<U>(@noescape f: (Wrapped) throws -> U) rethrows -> U?
    /// Returns `nil` if `self` is `nil`, `f(self!)` otherwise.
    @warn_unused_result
    public func flatMap<U>(@noescape f: (Wrapped) throws -> U?) rethrows -> U?
    /// Create an instance initialized with `nil`.
    public init(nilLiteral: ())
}

在定义中，对<Wrapped>木有任何限制，换言之，就是我们可以在Optional中装入任意的东西，包括Optional本身。如果我们把Optional比作一个盒子，具体的String 或者Int这样的值我们比作糖果，当我们打开盒子的时候，可能的结果有：空气，糖果，另一个盒子。
举个例子：

var string: String? = "string"
var anotherString: String?? = string

string 是Optional<String>, anotherString是Optional<Optional<String>>。
我的理解是这样的：string好比是一个盒子，打开盒子是一个字符串string。anotherString也好比是一个盒子（1号盒子），打开盒子（1号盒子）看见的是另一个盒子（2号盒子），再打开盒子（2号盒子）是一个字符串string。除开将一个Optional赋值给多重Optional以外，这里我们也可以将直接的字面量赋值给它：

var literalOptional: String?? = "string"

上面这个例子还好，根据类型的推断我们只能将Optional<String>放入到literalOptional中，可以猜测它和anotherString是等效的。但是有种特殊的情况就是如果我们将nil赋值给它的话，情况就和上面不一样了，比如说：

var aNil:String? = nil
var anotherNil: String?? = aNil
var literaNil: String?? = nil

我的理解是这样的：aNil好比是一个盒子，打开盒子发现里面什么都没有，是空气。anotherNil也好比是一个盒子（1号盒子））,打开盒子（1号盒子）看见是另一个盒子（2号盒子），再打开盒子（2号盒子）发现里面什么都木有是空气。上面我们猜测literalOptional和anotherString是等效的，那这里的literaNil和anotherNil是不是等效的呢？从上面我的描述中也可以知道是不等效的。有点像俄罗斯套娃一样，一个是打开发现里面什么都没有，另一个是打开了里面还有一个套娃（只不过这个套娃里面木有东西）。如果大家还不能够理解的话，我们就上代码吧：

if let a = anotherNil {
    print("anotherNil")
}
if let b = literaNil {
    print("literaNil")
}
//控制台只会输出anotherNil

如果大家用playground运行的话，看起来会更加方便，右边的控制台会直接打印Optional的值，可以辅助我们理解。