Swift编译器能否自动规避无需执行的let变量声明计算？

先看你给出的原始代码：

func trigramSimilarity(to other: Set<String>) -> Double {
    let selfTrigram = trigrams()
    let total = selfTrigram.union(other)
    let common = selfTrigram.intersection(other)
    return total.isEmpty ? 0 : Double(common.count) / Double(total.count)
}

你期望编译器在total.isEmpty为true时，跳过common的初始化，自动转换成这种形式：

func trigramSimilarity(to other: Set<String>) -> Double {
    let selfTrigram = trigrams()
    let total = selfTrigram.union(other)
    return total.isEmpty ? 0 : Double(selfTrigram.intersection(other).count) / Double(total.count)
}

编译器的实际行为 #

在开启优化的模式下（比如Release模式的-O或-Osize优化级别），Swift编译器会执行死代码消除：它能识别出当total.isEmpty为true时，common变量完全不会被用到，因此会直接跳过selfTrigram.intersection(other)这部分计算，和你期望的优化效果一致。

但要注意：Debug模式下默认关闭大部分优化（为了保留调试信息、保证代码执行和编写逻辑完全一致），这时候不管common是否被用到，都会执行它的初始化代码。

显式编写优化代码是否更安全？ #

答案是视场景而定：

• 如果追求行为的绝对确定性，显式写法更可靠——不管编译器是否开启优化，都能保证intersection只在需要的时候执行，不会依赖编译器的优化逻辑。
• 如果看重代码可读性，原始写法把common单独声明，意图更清晰，读者一眼就能知道这里是在计算交集；显式写法虽然少了变量，但需要读者理解分支里的嵌套计算逻辑。
• 如果你的代码需要在Debug模式下也保持较好性能（比如某些性能敏感的调试场景），显式写法更合适，因为Debug模式下不会做死代码消除，原始写法会额外执行一次开销不小的intersection计算。

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