Swift中switch匹配可选类型时case nil为何报穷尽检查错误？

根本原因 #

这个报错来自Swift编译器对switch语句的穷尽性检查规则：
Bool?的本质是泛型枚举Optional<Bool>，一共只有两种可能值：

• none：也就是空值nil
• some(Bool)：非空，关联值为底层的Bool类型值

你写的case true、case false属于隐式拆包匹配：运行时确实能命中some(true)和some(false)的场景，但编译器做覆盖度校验时，不会穿透这种隐式转换去判断你是否覆盖了Bool类型的所有取值，只会认定你匹配了两个独立的具体值，剩下未被明确匹配的场景（包括其他可能的some关联值，哪怕逻辑上Bool只有true/false两个取值）都没有对应的分支处理，因此抛出“Switch must be exhaustive”的错误。

你加default分支虽然能绕过编译报错，但不推荐这么做：default会让编译器放弃穷尽性检查，后续如果对应类型逻辑变更，你无法得到编译提示。

推荐写法 #

显式标记你在匹配Optional的some分支，让编译器可以正常做覆盖度推导即可，两种写法等价：

1. 显式使用Optional的枚举case：

func test(value: Bool?) {
    switch value {
    case .some(true): print("true")
    case .some(false): print("false")
    case .none: print("nil")
    }
}

2. 使用可选匹配的语法糖?，写法更简洁：

func test(value: Bool?) {
    switch value {
    case true?: print("true")
    case false?: print("false")
    case nil: print("nil")
    }
}

以上两种写法编译器都能正确识别所有分支已经覆盖Bool?的全部可能值，不会再触发编译错误。

内容的提问来源于stack exchange，提问作者swiftPunk