主页 / coding / 问题 / 79310792
Accepted
CalebK
Asked: 2024-12-27 10:38:35 +0800 CST

如果后续条件不满足，swift 编译器是否足够智能，可以避免评估不需要的 let 变量声明？

  • 772

例如这个代码：

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)
}

我希望编译器转换为

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)
}

通过注意到，如果swift 编译器可以让我编写更简单的代码但避免不必要的计算，那么这let common是不需要的。total.isEmpty

但直接说出来是否更安全呢？

swift

1 个回答

  1. Best Answer

    正如您在 Godbolt 输出中所看到的，Sweeper 链接的被无条件调用，如果最终结果为真，Set.intersection(_:)则可能会造成浪费。total.isEmpty

    您的代码要求Set.intersection(_:)无条件调用，因此编译器有义务生成表现得像真的被调用一样的代码。显而易见的方法是调用它。但它也可以变得聪明并跳过调用它，但前提是它可以确保函数没有可观察到的副作用。也就是说，如果没有办法观察它是否被调用。除非它能证明这一点，否则它必须保守并保留调用。

    在这种情况下，我认为使用明确的if/会更清楚else：

    func trigramSimilarity(to other: Set<String>) -> Double {
    let selfTrigram = trigrams()
    let total = selfTrigram.union(other)

    if total.isEmpty {
        return 0
    } else {
        let common = selfTrigram.intersection(other)
        return Double(common.count) / Double(total.count)
    }
}

    编译后的输出确认现在common仅当total.isEmpty结果为假时才进行计算。

    更好的是，我建议使用提前返回：

    func trigramSimilarity(to other: Set<String>) -> Double {
    let selfTrigram = trigrams()
    let total = selfTrigram.union(other)

    if total.isEmpty { return 0 }

    let common = selfTrigram.intersection(other)
    return Double(common.count) / Double(total.count)
}
    • 2

相关问题