可选类型

Swift可选类型把“可能没有值”写进静态类型。 String必须包含字符串，String?则可以是.some(String)或.none；nil是.none的字面量写法。 因此，nil不是能赋给任意变量的无类型空指针。

这个区分解决的是接口契约问题。 整数解析可能失败，字典查询可能找不到键，用户也可能没有填写昵称；这些操作返回可选值，让缺失状态在调用点仍然可见。 编译器会拒绝直接对String?调用只属于String的操作。

可选类型并不保证程序永不因空值崩溃。 强制解包value!在值为nil时仍会触发运行时错误，隐式解包可选值也有同样风险。 Swift提供的是显式建模和安全处理路径，而不是对错误断言的自动修复。

只有“存在”与“缺失”两个结果足以描述契约时，Optional才合适。 如果调用方需要区分权限不足、网络失败与格式错误，单个nil会丢失原因，此时应使用抛错函数或Result。 同样，空字符串、空数组、false与0都是实际值，不应自动当成nil。

你会在标准库和应用边界频繁遇到可选值。 Int(_:)解析文本时返回Int?，字典下标读取返回Value?，集合的first与last也返回可选值。 数据解码、用户输入和对象关系则让可选属性进入自己的模型。

Wrapped?是Optional<Wrapped>的简写。 Optional是泛型枚举，包含.some(Wrapped)与.none两个case。 这也解释了为什么可选值能使用switch和可选模式进行匹配。

声明var nickname: String?且不提供初始值时，变量默认是nil。 非可选变量不能保存nil，而且在读取前必须完成初始化。 可选与非可选是不同类型，即使它们共享同一个Wrapped。

可选绑定（optional binding） 在检查值存在的同时创建解包后的名称。 if let value = candidate适合存在与缺失两个分支都需要处理的情况。 Swift 5.7起，同名绑定可以简写为if let candidate。

guard let适合表达后续代码的前置条件。 当值缺失时，else分支必须用return、throw、break或其他方式离开当前作用域；通过检查后，解包名称在剩余作用域内可用。 这条规则让主要路径不必嵌套在额外的大括号中。

可选链（optional chaining） 把成员访问、方法调用或下标访问放在?.之后。 接收值为nil时，后续操作不会执行，整个表达式返回nil；接收值存在时，操作使用解包值继续执行。 即使末端成员原本是非可选类型，经过可选链后结果也是可选值。

空合并（nil coalescing） 表达式candidate ?? fallback在左侧有值时返回解包值，否则计算并返回右侧默认值。 右侧采用短路求值，因此昂贵或有副作用的默认表达式只会在左侧为nil时运行。 默认值必须与左侧包装类型兼容。

可选值的map只在值存在时执行转换，并把结果重新包装。 flatMap接受本身返回可选值的转换，并避免得到额外一层Optional。 序列的compactMap是另一项操作：它转换每个元素，并收集所有非nil结果。

后缀!是 强制解包（force unwrapping） 。 它表示程序员断言值一定存在，而不是执行检查；断言错误会停止程序。 只有缺失确实代表内部不变量被破坏，而且安全形式会掩盖该错误时，才应考虑使用它。

下面四个示例依次处理边界解析、成员访问、可选转换与嵌套状态。 当前环境没有Swift工具链，所以代码块按规则标明未执行，不提供猜测的运行结果。

解析边界输入

预订人数来自字符串字典，键可能缺失，文本也可能不是整数。 guard把三项要求收束在函数入口；函数返回后，调用方仍要决定怎样处理无效请求。

confirmedSeats(from:)使用nil合并了键缺失、解析失败和范围错误。 如果调用方需要向用户显示不同错误，这个返回类型就太窄，应换成带具体case的错误类型。 在只需要接受或拒绝请求的边界，两个结果则足够。

沿对象关系读取成员

可选链适合“任一环缺失就没有结果”的查询。 末尾的??只负责界面展示默认文本，并没有修改模型中的缺失状态。

// # not executed here: Swift toolchain is not installed.
struct Contact {
    var email: String?
}

struct Profile {
    let displayName: String
    var contact: Contact?
}

func contactLine(for profile: Profile?) -> String {
    let email = profile?.contact?.email?.lowercased()
    return email ?? "no email"
}

let profiles: [Profile?] = [
    Profile(
        displayName: "Mina",
        contact: Contact(email: "[email protected]")
    ),
    Profile(displayName: "Noah", contact: nil),
    nil,
]

for profile in profiles {
    let name = profile?.displayName ?? "missing profile"
    print("\(name): \(contactLine(for: profile))")
}

Not executed here: Swift toolchain is not installed.

对第二与第三个元素，email都是nil。 单条可选链无法说明缺失的是资料、联系方式还是邮箱；如果这些状态需要不同界面或指标，应在合并前分支处理。 这不是语法缺陷，而是返回结果的信息量选择。

转换并筛掉无效元素

flatMap适合把“可能有输入”连接到“可能失败的转换”。 数组上的compactMap则把每个元素的转换结果收集起来，并丢弃nil。

// # not executed here: Swift toolchain is not installed.
let discountText: String? = "15"
let discountLabel = discountText
    .flatMap { Int($0) }
    .map { "\($0)%" }
    ?? "none"

let rawOrderIDs: [String?] = ["101", nil, "bad", "205"]
let orderIDs = rawOrderIDs.compactMap { rawID -> Int? in
    guard let rawID else {
        return nil
    }
    return Int(rawID)
}

let missingText: String? = nil
let skipped = missingText.map { value in
    print("transforming \(value)")
    return value.uppercased()
}

print(discountLabel)
print(orderIDs)
print(skipped == nil)

Not executed here: Swift toolchain is not installed.

当discountText是有效整数文本时，flatMap产生一个Int?，后续map再生成标签。 如果输入本身缺失或解析失败，两个步骤都会传播nil。 最后一项转换不会执行其闭包，因为接收值为nil。

保留字典的三种状态

当字典的值类型本身是可选类型时，下标读取会得到嵌套可选值。 外层表示键是否存在，内层表示已存在键是否保存nil。

// # not executed here: Swift toolchain is not installed.
let ratings: [String: Int?] = [
    "approved": 5,
    "pending": nil,
]

func describe(_ rating: Int??) -> String {
    switch rating {
    case .none:
        return "missing key"
    case .some(.none):
        return "present, unrated"
    case .some(.some(let value)):
        return "rating \(value)"
    }
}

print(describe(ratings["approved"]))
print(describe(ratings["pending"]))
print(describe(ratings["unknown"]))

let flattened: Int? = ratings["pending"].flatMap { $0 }
print(flattened == nil)

Not executed here: Swift toolchain is not installed.

直接使用两次绑定或flatMap会把外层与内层的缺失都压成一个nil。 只有业务确实不区分“没有记录”与“记录尚未评分”时才应展平。 需要保留三种状态时，switch比连续的便捷操作更诚实。

用强制解包修复编译错误

修复方法： 在产生可选值的边界验证假设。缺失可恢复时使用绑定、默认值或抛错；缺失表示内部不变量破坏时，可以用明确消息的preconditionFailure暴露契约，而不是让远处的!模糊原因。

用默认值掩盖无效数据

修复方法： 只在默认值与缺失状态确实等价时使用??。验证边界需要报告错误时，先用guard let或抛错解析器拒绝无效数据，再在展示层提供默认文本。

假设可选链说明了失败位置

修复方法： 只把可选链用于各环节缺失后处理方式相同的查询。需要具体原因时，在有意义的边界使用guard或switch，并把领域错误保留下来。

混淆可选集合与可选元素

修复方法： 为两个层次分别写出契约。空集合通常已经能表达“查询成功但没有结果”；只有位置本身有意义时才保留可选元素，并明确说明删除缺口是否安全。

无意展平嵌套可选值

修复方法： 先决定外层与内层状态是否各自承载业务信息。需要区分时，用三分支switch或更明确的领域枚举；不需要区分时，再有意展平，并用测试固定这个决定。

• Swift编程语言：可选类型
• Swift编程语言：可选链
• Swift编程语言：空合并运算符
• Apple开发者文档：Optional
• Swift Evolution SE-0345：if let简写