Swift三元运算符行为异常：为何返回非可选实例而非nil？

这个问题确实是Swift类型推断里一个容易踩坑的细节，我来帮你拆解清楚背后的逻辑和解决方案：

先还原你的场景 #

首先定义Test类：

class Test {
    let name: String
    init(_ name: String) {
        self.name = name
    }
}

你提到的**代码(1)**是：

let condition = true
let result = condition ? nil : Test("Z")

预期vs实际行为 #

• 你预期的等价代码：
  按照常规逻辑，你希望这段代码返回可选类型，等价于：

  let result: Test? = condition ? nil : Test("Z")
  

  也就是condition为true时返回nil，为false时返回Test实例，类型是Test?。

• 实际执行的等价逻辑：
  但Swift编译器的类型推断在这里出了“偏差”，它错误地将结果类型推断为非可选的Test，相当于强制把nil转换为Test类型（运行时会直接崩溃），实际等价于：

  let result: Test = (condition ? nil : Test("Z")) as! Test
  

为什么反过来的表达式正常？ #

你提到的condition ? Test("Z") : nil能正常返回Test?，甚至可以直接写这样的代码而无编译错误：

let condition = true
if let validTest = condition ? Test("Z") : nil {
    print(validTest.name)
}

这是因为Swift的三目运算符会尝试统一两个分支的类型：

• 当第一个分支是具体的非可选类型（Test实例），第二个是nil时，编译器会自动把非可选的Test提升为Test?，和nil的类型匹配，所以结果是正确的可选类型。
• 但反过来，当第一个分支是nil（无明确类型），第二个是Test实例时，编译器会优先用第二个分支的非可选类型来推断整体类型，然后试图把nil强制转换为这个非可选类型——这就导致了类型不匹配的运行时崩溃。

解决方案 #

要让代码(1)符合你的预期，只需要显式指定类型或者给nil标注明确的可选类型：

// 方案1：给结果变量显式指定可选类型
let result: Test? = condition ? nil : Test("Z")

// 方案2：给nil标注可选类型，引导编译器推断
let result = condition ? nil as Test? : Test("Z")

这样处理后，condition为true时result是nil，为false时是Test实例，完全符合你的需求。

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