可选类型：概念与声明

在你学过的类型里，Int 一定是整数，String 一定是字符串。但现实生活里，很多值”有可能没有”。比如查字典，键可能不存在；读用户输入，可能什么都没填。Swift 用一个专门的类型来诚实表达这种”可能有、也可能没有”的状态，它就是可选类型（Optional）。

1-1 为什么需要可选类型

别的语言通常用”空指针”或”空值”表示没有值，但程序一不小心拿到空值还去用它，就崩了——这就是著名的空指针异常。Swift 不想让你在运行时才撞见这种崩溃，它把”有没有值”这件事提前到类型系统里：一个普通的 String 永远有值，而一个 String?（读作”可选字符串”）才可能没有值。

打个比方：普通类型像”一个装满水的杯子”，你随时能喝；可选类型像”一个杯子，可能满也可能空”。编译器强制你在喝水前先看一眼杯子是不是空的，于是那种”对着空杯子硬喝”的崩溃在编译期就被拦下了。

1-2 可选类型的本质

表面上 String? 是个特殊语法，其实它就是标准库里的一个枚举 Optional<String>，只有两个成员：none 表示没有值，some(Wrapped) 表示有值、且把真正的值包在里面。下面两种写完全等价：

var possibleNumber: Int? = 42
var possibleNumber2: Optional<Int> = 42

Int? 只是 Optional<Int> 的语法糖。因为可选类型在 Swift 里无处不在，所以才有 ? 这种简便写法。理解它本质是个枚举，有助于你明白后面所有”解包”操作：解包，就是从 some(...) 里把那个真正的值取出来。

1-3 用 ? 声明可选类型

声明一个可选变量，只需在类型后面加问号：

var name: String?          // 可选字符串，目前没有值
var age: Int? = nil        // 显式设为没有值
var score: Double? = 95.5  // 有值的可选

不加问号的 String 和加了问号的 String? 是两种不同类型，不能直接混用。String? 变量默认初始化为 nil，也就是没有值。

1-4 可选变量不能当普通值用

这是初学者最容易踩的坑：一个可选类型哪怕此刻确实有值，你也不能直接把它当普通值来运算或传给需要普通值的函数。必须经过”解包”才能拿到里面的值。

let text: String? = "hello"
let count = text.count        // 错误：text 是 String?，不是 String

text 是 String?，而 .count 是 String 的属性，所以上面这行编不过。必须先用后续章节讲的 if let、guard let 或可选链把里面的值取出来，才能用。这个”拦着你直接用”的设计，正是 Swift 安全性的来源。

1-5 可选类型的几种形态

可选类型家族里有三种常见形态，别把它们搞混：

• 普通可选 T?：最常见，明确可能有值也可能没有，用前必须解包。
• 隐式解包可选 T!：声明时加感叹号，访问时编译器自动帮你解包，但值为 nil 时仍会崩。详见第 41 章。
• 强制解包 x!：对普通可选用 ! 强行取值，值为 nil 直接崩溃。同样在第 41 章细讲。

本章你只要先记住普通可选 T? 就够了。后面三章（解包、强制解包、可选链）都是围绕”如何安全地从 T? 里拿到值”展开的。

1-6 什么时候该用可选类型

判断标准很朴素：这个值在业务逻辑上”可能不存在”吗？如果是，就用可选类型。常见场景有：

• 查找操作的结果，比如字典按 key 取值、数组按条件找元素，找不到就是没有。
• 用户的非必填信息，比如昵称、手机号，用户可以不填。
• 可能失败的计算，比如把一个字符串转成整数 Int("abc") 会返回 nil。

相反，如果一个值一定有（比如一个人的姓名在业务上必填），就用普通类型，别滥用可选，否则代码里会到处是解包，反而更乱。

1-7 可选的”类型即文档”价值

理解可选类型，还有一个角度：它把”空”这件事变成了类型系统里的一等公民。在不少语言里，null 可以悄悄赋给任何引用，编译器不管，运行才炸。Swift 反其道而行：一个函数返回 String?，光看类型签名你就知道”它可能没结果”；返回 String，你就确信一定有。这种”类型即文档”的特性，让很多潜在 bug 在写代码时就暴露。

可选类型也鼓励你正面面对”缺失”。与其到处写判空，不如在接口设计阶段就决定：这个字段到底该不该是可选。很多新手把所有属性都声明成可选，结果代码里全是解包，反而更乱；也有人不该用可选的地方硬用普通类型，数据缺失时只能塞个魔法值（比如用空字符串表示”没填”），这又丢了类型信息。拿不准时，问自己一句：业务逻辑上这个值是否”可能不存在”？是就用 ?，不是就用普通类型。

最后记住一个反直觉但重要的点：可选类型本身是个有值的枚举（some 或 none）。所以 Optional<String> 和 String 是两个不同的类型，不能互相赋值、也不能直接当对方的方法。所有”解包”操作，本质上都是从 some(...) 里把真正的 String 取出来。带着这个视角看后面的 if let、guard let、可选链，会通顺很多。

1-8 小结

可选类型 T? 用类型系统把”值可能缺失”这件事摆到了明面上，让你在编译期就被迫处理缺失的情况，从根本上消灭了一大类运行时崩溃。它的本质是枚举 Optional<T>，有 some(值) 和 none 两种状态。声明用 ?，但声明完还不能直接用，必须先解包——这正是下一章的主题。