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 typeString

意思就是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”)

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

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

1
2
3
4
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”

自动解包

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

1
2
3
4
var number: Int!
number = 42
print(number)
// Prints “42”

使用if-let解包

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

1
2
3
4
5
6
var name: String? = "loveway”
if let name = name {
“My name is “ + name
} else {
print(“name is nil”)
}

以上代码相当于:

1
2
3
4
5
6
var name: String? = "loveway”
if name != nil {
“My name is “ + name
} else {
print(“name is nil”)
}

可选链式调用(Optional Chaining)

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

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

空合运算符(?? Nil-Coalescing Operator)

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

1
2
3
4
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”

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

结束

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

参考文档

Optional - Swift Standard Library | Apple Developer Documentation

Swift 可选类型 - 掘金

重读 Swift 之一:Optional(可选型) - 简书

聊聊swift语言中的“??” - 简书