Optional也是Objective-C没有的数据类型，是苹果引入到Swift语言中的全新类型，它的特点就和它的名字一样：可以有值，也可以没有值，当它没有值时，就是nil。此外，Swift的nil也和Objective-C有些不一样，在Objective-C中，只有对象才能为nil，而在Swift里，当基础类型（整形、浮点、布尔等）没有值时，也是nil，而不是一个初始值，没有初始值的值，是不能使用的，这就产生了Optional类型。定义一个Optional的值很容易，只需要在类型后面加上问号(?)就行了，如：
一个Optional值和非Optional值的区别就在于：Optional值未经初始化虽然为nil，但普通变量连nil都没有：
//@H_502_9@未被初始化，但是是一个Optional@H_502_9@类型，为nil@H_502_9@
String@H_502_9@?
str@H_502_9@@H_502_9@//输出@H_502_9@nil
//@H_502_9@未被初始化，也不是Optional@H_502_9@类型
Optional类型的值不能被直接使用，当需要用时要显式拆包，以表明我知道这个Optional是一定有值的：
var@H_502_9@str:@H_502_9@String@H_502_9@? =@H_502_9@"Hello World!"
!@H_502_9@//Hello World!
对比拆包前后，对str的输出：
@H_502_9@//{Some "Hello World!"}
! @H_502_9@//Hello World!
之所以要拆包使用，是因为Optional类型其实是一个枚举：@H_502_9@
enum@H_502_9@Optional<T> :@H_502_9@Reflectable,@H_502_9@NilLiteralConvertible{@H_502_9@
case@H_502_9@None
case@H_502_9@Some(T)
init@H_502_9@()
init@H_502_9@(_@H_502_9@some:T@H_502_9@)
@H_502_9@/// Haskell's fmap,which was mis-named
func@H_502_9@map<U>(f: (T@H_502_9@) ->U@H_502_9@) ->U@H_502_9@?
func@H_502_9@getMirror() ->MirrorType@H_502_9@
static@H_502_9@func@H_502_9@convertFromNilLiteral() ->T@H_502_9@?
}
当Optional没有值时，返回的nil其实就是Optional.None，即没有值。除了None以外，还有一个Some，当有值时就是被Some<T>包装的真正的值，所以我们拆包的动作其实就是将Some里面的值取出来。
| 有没有似曾相识的感觉？Java里面也有泛型。 |
除了显式拆包，Optional还提供了隐式拆包，通过在声明时的数据类型后面加一个感叹号(!)来实现：
! =@H_502_9@"Hello World!"
@H_502_9@//Hello World!
可以看到没有使用(?)进行显式的折包也得到了Some中的值，这个语法相当于告诉编译器：在我们使用Optional值前，这个Optional值就会被初始化，并且总是会有值，所以当我们使用时，编译器就帮我做了一次拆包。如果你确信你的变量能保证被正确初始化，那就可以这么做，否则还是不要尝试为好。@H_502_9@
另外：@H_502_9@在上面可以看到，Optional其实就是一个枚举，然后给它指定一个类型就行了，所以下面这两种方法都能声明一个Optional值：
! =@H_502_9@"Hello World!"
看似合理，但是在某种情况下会非常不爽 ，比如你在str != nil条件成真后接着在上下文中使用str，会被要求进行拆包，我们以一个Int类型的Optional来做示例：
var@H_502_9@count:Int@H_502_9@?
@H_502_9@"count is "@H_502_9@+@H_502_9@(@H_502_9@count@H_502_9@!) @H_502_9@//count is 100
} @H_502_9@"nil"
}
"count is "@H_502_9@+String@H_502_9@(validCount) //count is 100@H_502_9@
} 通过在条件判断语句中（如if、while等）把Optional值直接给一个临时常量，Swift会自动检测Optional是否包含值，如果包含值，会隐式的拆包并给那个临时常量，在接下来的上下文中就能直接使用这个临时常量了，这样是不是就觉得很爽呢
| 注：在Optional Binding中，除了以常量的方式去接收拆包的值之外，也能以一个变量的形式 去接收，但相信在大多数情况下我们只是使用那个值就行了，并不会去改变它。 |
class@H_502_9@Person {@H_502_9@
}
class@H_502_9@Pet {
var@H_502_9@name:String@H_502_9@
var@H_502_9@favoriteToy:Toy@H_502_9@?
init@H_502_9@(name:String@H_502_9@) {
self@H_502_9@.name@H_502_9@= name
}
}
class@H_502_9@Toy {
name@H_502_9@= name
}
}
一个Person对象代表一个人，这个人可能有一个宠物，宠物会有它自己的名字，而且宠物可能会有自己喜爱的玩具，按照前面提到的知识，我们要首先判断这个人有没有宠物，然后再判断他的宠物有没有喜爱的玩具，然后才能得到这个玩具的名称，利用Optional Binding，我们写出来的可能就像这样：
jackon@H_502_9@.pet@H_502_9@=Pet@H_502_9@(name:"Max"@H_502_9@)
jackon.@H_502_9@pet?.@H_502_9@favoriteToy=@H_502_9@Toy(name:@H_502_9@"Ball"@H_502_9@)@H_502_9@
let@H_502_9@pet =pet@H_502_9@{
let@H_502_9@toy = pet.favoriteToy@H_502_9@{
toy.name@H_502_9@
}
}
这里用到了两个if，因为pet和toy对象都可能为nil，我们需要预防每一个可能为nil的对象，如果这个对象再复杂一点，那if也就更多了，而使用Optional Chaining的话，写出来的就像这样：
当一个Optional值调用它的另一个Optional值的时候，Optional Chaining就形成了，基本上，Optional Chaining就是总是返回一个Optional@H_502_9@的值，只要这个Chaining中有一个值为nil，整条Chaining就为nil，和Objective-C的向nil发消息类似。
有一点很有趣，就是Optional Chaining除了能将属性返回的类型变为Optional外，连方法的返回值都能强制变为Optional，哪怕这个方法没有返回值，但是别忘了，Void也算是一个类型：
如果我们的Pet类有一个玩玩具的play方法的话，就可以这样来判断是否会调用成功：
使用Optional Chaining，能使我们的代码变得更加可读，同时更加简洁。
