Optional 可选类型
问题
Swift 中的 Optional 是什么？有哪些解包方式？如何避免强制解包导致的崩溃？
答案
Optional 的本质
Optional 并非魔法，而是一个标准的泛型枚举：
// Swift 标准库中的定义（简化版）
enum Optional<Wrapped> {
case none // nil
case some(Wrapped) // 有值
}
String? 就是 Optional<String> 的语法糖。这意味着 nil 不是一个特殊的指针，而是 .none 枚举 case。
声明与创建
// 显式声明
var name: String? = "Alice"
var age: Int? = nil
// 等价写法
var name: Optional<String> = .some("Alice")
var age: Optional<Int> = .none
六种解包方式
1. 强制解包（!）——危险
let name: String? = "Alice"
print(name!) // "Alice" —— 如果是 nil 会崩溃（Fatal error）
避免滥用
强制解包在值为 nil 时直接导致运行时崩溃，仅在 100% 确定有值时使用。
2. if let 可选绑定
let name: String? = "Alice"
if let unwrapped = name {
// unwrapped 是非可选的 String
print("Hello, \(unwrapped)")
} else {
print("name is nil")
}
// Swift 5.7+ 简写（shadowing）
if let name {
print("Hello, \(name)") // name 在此作用域内是非可选类型
}
3. guard let 提前返回
func greet(_ name: String?) {
guard let name else {
print("No name provided")
return // guard 的 else 必须退出当前作用域
}
// name 在 guard 之后的整个作用域内可用
print("Hello, \(name)")
}
if let vs guard let
- if let：适合需要在有值/无值两种情况都做事的场景
- guard let：适合判空后提前退出（Early Return），让主逻辑保持低缩进
4. 空合运算符（??）
let name: String? = nil
let displayName = name ?? "Anonymous" // "Anonymous"
// 链式使用
let result = firstName ?? lastName ?? "Unknown"
5. 可选链（Optional Chaining）
struct Address {
var city: String
}
struct User {
var address: Address?
}
let user: User? = User(address: Address(city: "Beijing"))
// 可选链：任何一环为 nil，整个表达式返回 nil
let city = user?.address?.city // Optional("Beijing")
// 可选链调用方法
let count = user?.address?.city.count // Optional(7)
6. switch / if case 模式匹配
let age: Int? = 25
switch age {
case .some(let value) where value >= 18:
print("Adult: \(value)")
case .some(let value):
print("Minor: \(value)")
case .none:
print("Unknown age")
}
// if case 简写
if case let value? = age {
print(value) // 25
}
隐式解包可选类型（IUO）
// 用 ! 声明，使用时自动解包
var label: UILabel!
// 相当于每次使用时自动加 !
// 如果实际为 nil，运行时崩溃
label.text = "Hello" // 隐式 label!.text
IUO 使用场景
隐式解包可选类型主要用于：
- IBOutlet：
@IBOutlet weak var label: UILabel!（在viewDidLoad后一定有值） - 与 OC 互操作：OC API 返回的对象在 Swift 中映射
- 两阶段初始化：对象初始化后一定会赋值
不要在普通属性中使用 IUO。
Optional map / flatMap
Optional 也遵循函数式编程范式：
let number: Int? = 42
// map：对有值情况进行转换
let string = number.map { String($0) } // Optional("42")
// flatMap：避免 Optional<Optional<T>> 嵌套
let input: String? = "42"
let parsed = input.flatMap { Int($0) } // Optional(42)
// 如果用 map 会得到 Optional<Optional<Int>>
let nested = input.map { Int($0) } // Optional(Optional(42))
Optional 与 Equatable
let a: Int? = 5
let b: Int? = 5
let c: Int? = nil
a == b // true
a == c // false
c == nil // true（特殊语法糖，实际比较 .none == .none）
多重可选绑定
// 同时解包多个可选值
if let name = user?.name,
let age = user?.age,
age >= 18 {
print("\(name) is \(age) years old")
}
// guard 同样支持
guard let name = user?.name,
let email = user?.email else {
return
}
常见面试问题
Q1: Optional 的底层实现是什么？
答案：
Optional 是一个泛型枚举 enum Optional<Wrapped> { case none; case some(Wrapped) }。nil 就是 .none，有值就是 .some(value)。String? 是 Optional<String> 的语法糖。
Q2: if let 和 guard let 的区别？什么时候用哪个？
答案：
| if let | guard let | |
|---|---|---|
| 作用域 | 绑定变量仅在 if 块内可用 | 绑定变量在 guard 之后的整个作用域可用 |
| 退出 | else 块可选 | else 块必须退出（return/throw/break/continue） |
| 适用场景 | 需要同时处理有值和无值情况 | 判空后提前退出，保持主逻辑扁平 |
推荐在函数开头用 guard let 做参数校验，在分支逻辑中用 if let。
Q3: 什么是隐式解包可选类型（IUO）？什么时候使用？
答案：
用 ! 声明的可选类型（如 var label: UILabel!），使用时自动解包，无需手动 ? 或 !。如果实际值为 nil 会崩溃。
使用场景：
@IBOutlet— 在viewDidLoad后 Storyboard 保证非 nil- 两阶段初始化 — 属性在 init 中必须有值，但初始化器约束导致无法直接赋值
- OC 桥接 — 某些 OC API 返回值
Q4: ?? 运算符与 if let 如何选择？
答案：
??适合提供默认值的场景：let name = user?.name ?? "匿名"if let适合需要在有值时执行复杂逻辑的场景??的右侧是惰性求值的（只在左侧为 nil 时才执行）
Q5: Optional 的 map 和 flatMap 有什么区别？
答案：
map：将变换函数应用到 Optional 包裹的值上，结果类型为Optional<U>flatMap：同上，但变换函数本身返回 Optional 时，会自动展平，避免Optional<Optional<U>>嵌套
let str: String? = "42"
str.map { Int($0) } // Optional(Optional(42)) —— 内层 Int() 返回 Int?
str.flatMap { Int($0) } // Optional(42) —— 展平了
Q6: Optional Chaining 遇到 nil 时做了什么？
答案：
可选链中任何一环为 nil，整个表达式短路返回 nil，不会继续执行后续调用，也不会崩溃。返回值类型始终是 Optional：
// 即使 city 是非可选的 String，通过可选链访问的结果是 String?
let city: String? = user?.address?.city
Q7: 如何优雅地处理多个 Optional 参数？
答案：
// ✅ guard let 多重绑定
guard let name = params["name"],
let ageStr = params["age"],
let age = Int(ageStr) else {
throw ValidationError.missingField
}
// ✅ 使用 compactMap 过滤 nil
let values: [Int?] = [1, nil, 3, nil, 5]
let nonNil = values.compactMap { $0 } // [1, 3, 5]