Swift 中的 Optional 是什么，如何安全地解包它们？

Question

IT Interview Practice · Accepted Answer

**Optional** 是一种类型，它要么持有一个值，要么持有 `nil`（无值）。Swift 在类型系统中把 `nil` 显式化：`String` 永远不可能是 `nil`，但 `String?` 可以。这就是 Swift 在编译期消除大多数空指针崩溃的方式。

## 工作原理

在底层，`Int?` 是一个带有两种 case 的枚举：`.some(value)` 或 `.none`。你不能直接使用被包裹的值——必须先**解包**它。

```swift
var name: String? = "Ada"     // Optional String, currently .some("Ada")
var missing: String? = nil    // .none

// if let: bind only when non-nil, scoped to the block
if let name = name {
    print(name.count)         // safe: name is a plain String here
}

// guard let: unwrap or exit early — keeps the happy path un-nested
func greet(_ input: String?) {
    guard let input else { return }  // Swift 5.7 shorthand
    print("Hi \(input)")            // input is non-optional below
}

// nil-coalescing: supply a default
let display = name ?? "Anonymous"
```

## 强制解包 vs 安全解包

`!` 运算符会强制解包：如果 `name` 为 `nil`，`name!` 会崩溃。只有当某个值由程序逻辑保证存在时才使用它——否则优先使用 `if let`、`guard let` 或 `??`。

```swift
let url = URL(string: "https://a.com")!  // OK: literal is always valid
let user = fetchUser()!                  // BAD: crashes on nil
```

## 常见陷阱

- **隐式解包 Optional**（`String!`）在其为 `nil` 时被访问会静默崩溃——常见于 `@IBOutlet`。
- **可选链** `user?.address?.city` 会短路为 `nil` 而不是崩溃。

## 为什么这很重要

Optional 把「这个值可能不存在」编码进了类型中，因此编译器会强制你处理空的情况。面试官借此考察你是否会主动使用 `guard let` 和 `??`，而不是到处撒 `!`——这正是一个易崩溃的 app 与一个安全的 app 之间的区别。

工作原理

强制解包 vs 安全解包

常见陷阱

为什么这很重要

相关问题