Swift中的可选类型（Optional）

A type that represents either a wrapped value or nil, the absence of a value.

这句话是来自官方文档对可选类型（Optional）的解释，意思就是这个类型有可能有值，也有可能为nil。

对于OC的开发来说，这个类型好像并没有什么用处，因为在OC中，nil表示缺少一个合法的对象，是一个没有指向的指针，而对nil发送消息也不会引起系统异常。

这是因为OC是一种弱类型语言，一个被声明的字符串可以是nil，也可以是一个字符串，而Swfit是一个类型安全的语言，这意味着这两种状态是不可能同时存在的。

用代码解释的话就是这样的：

1 2	NSString *str = @"this is string" str = nil

而在Swift中这样写就会报错：

1 2	var str: String = "this is string" str = nil

1	NULL cannot be assigned to type ‘String’

意思就是nil是不可以被分配给String类型的。

之前也看到了，可选类型有两种情况，被声明的值或者为nil，Swift对可选类型的定义也可以看到，他其实是一个枚举类型：

1
2
3

@frozen enum Optional<Wrapped>
case some(Wrapped)
case none

这里边包含了一个some表示有值，一个none表示为nil。

声明一个可选类型

有两种方式可以声明一个可选类型：

1 2	let shortForm: Int? = Int("42") let longForm: Optional<Int> = Int(“42”)

这两种方式实现出来的内容是完全一样的。

另外，我们也可以根据之前枚举中的内容来声明一个可选类型：

let number: Int? = Optional.some(42)
let noNumber: Int? = Optional.none
print(noNumber == nil)
// Prints “true”

在使用可选类型之前，我们必须要对这个可选类型进行解包（unwrap），Swift为我们提供了多种解包的方法：

当我们百分百确定一个实例一定有值并且是某一个类型的时候，可以使用”!”感叹号来进行强制解包，但是一定要注意，如果强制解包的实例是nil或者不是认定的类型时，强制解包会报错并引发崩溃。

1
2
3

let number = Int(“42”)!
print(number)
// Prints “42”

如果在声明一个实例的时候直接用“!”来修饰，表明我确信这个值一定存在并属于某一个类型，这个时候可以在声明的时候就使用”!”，这样的话，在使用的时候系统对自动对他进行解包，无需再加“!”

var number: Int! 
number = 42
print(number)
// Prints “42”

使用if-let时会对新创建的对象进行一个判断，如果不为nil才会继续走后边的代码，如果为nil，则不走。

var name: String? = "loveway”
if let name = name {
   “My name is “ + name
} else {
    print(“name is nil”)
}

以上代码相当于：

var name: String? = "loveway”
if name != nil {
   “My name is “ + name
} else {
    print(“name is nil”)
}

可选链式调用，通常是当使用某个实例时，在后边加上“?”，如果这个实例存在，则正常解包使用，如果不存在，则作为nil不执行后边的方法。

if imagePaths[“star”]?.hasSuffix(“.png”) == true {
    print(“The star image is in PNG format”)
}
// Prints “The star image is in PNG format”

空合运算符实际上相当于对需要解包的元素进行一个判断，如果如下代码：

let defaultImagePath = “/images/default.png”
let heartPath = imagePaths[“heart”] ?? defaultImagePath
print(heartPath)
// Prints “/images/default.png”

就相当于：

1
2
3

let heartPath = imagePaths[“heart”] == nil ?imagePaths[“heart”] : defaultImagePath
print(heartPath)
// Prints “/images/default.png”

也就是说，先看??之前的值是否存在，如果存在就使用，如果不存在就使用??后边的值。

以上就是可选类型的简单介绍，其实里边还有一些需要深入研究的内容，这边仅供个人学习使用，如果有什么问题欢迎大佬们提出来。