一个可选类型的常量或变量说明它可以有一个指定值，也可以是nil。可选类型可用于声明所有的数据类型，包括基础数据类型、类、结构体等。

可选类型的声明

1.可选常量

let a:Int?

2.可选变量

var y:Int? = 10

如果不给可选变量赋值，则它的默认值为nil。在开发中，还可以给可选项(包括可选常量和可选变量)赋值为nil,表示它没有值。要注意的是，只有可选项可以赋值为nil，非可选的常量和变量不能赋值为nil。如果想要你的数据能赋值为nil,则必须给它声明为可选类型。
注意：
Swift的nil和Objective-C的nil不一样。在OC中，nil表示一个空指针，只能用于对象。在Swift中，没有指针的概念，nil的含义是一个值，表示值得缺失。Swift中的nil可用于任何类型的可选项，不仅限于对象。
标准库中定义的可选类型是命名型类型Optional<T>,使用后缀？是它的简写形式。也就是说，下面两个声明是等价的。

var x:Int?
var x:Optional<Int>

解包（Unwrapping）

可选项不能直接参与计算，要使用可选项的值，必须对它进行解包。解包方法是在可选项后加叹号（ ！），表示取得可选项的值，如果没有值，则编译器会报错。
所以在强制解包时，一定要确保可选项例有非nil得值，方法是使用if语句提前对它进行判断。

隐式解析可选类型

隐式解析可选类型的声明方法是将数据类型后的问号（ ？）改成叹号（ ！）

let x:Int! = 5
var y:Int! = 10

隐式解析可选类型本质上是一个可选类型，但是可以被当作非可选类型来取值，可以把它当作一个自动解析的可选类型，而不需要每次使用的时候显示解析。

空合并运算符（ ？？）

空合并运算法的语法结构为：

a??b

当可选类型a不为空时，对a进行强制解包，取出a的值。反之，当a为空时，返回默认值b。其中b可以是字面值、常量/变量或者表达式。
空合并运算符有两个条件：

• 表达式a必须是可选类型（Optional）；
• 默认值b的数据类型必须与a的值数据类型一致。