Swift 中的 let 和 var：选择如何影响性能

Swift 中的 let 和 var：不仅仅是语法糖，更是性能的关键

如果您曾经思考过“Swift 中 let 和 var 有什么区别？”，您并不孤单。在 Stack Overflow 上，这个问题获得了数千次浏览，这并非偶然。乍一看，答案似乎显而易见：let 是常量，var 是变量。但魔鬼，一如既往，藏在细节中。在本文中，我们不仅会重复基础知识，还会深入 Swift 编译器的内部，了解在 let 和 var 之间做出选择如何影响您应用的性能。准备好了吗？让我们开始吧！

基础知识：教科书怎么说？

我们从基础开始，以便我们有一个共同的知识基础。在 Swift 中：

\n
• let — 声明一个常量。值被设置一次，之后不能再被修改。
\n
• var — 声明一个变量。值可以任意多次修改。
\n

实际代码示例：

let maximumLoginAttempts = 3 // 常量：尝试次数是固定的\nvar currentLoginAttempt = 0  // 变量：将会递增

看起来很简单。但如果区别仅此而已，Stack Overflow 上的问题就不会引起如此多的关注。真正的魔力始于我们谈论优化的时候。

性能：为什么 let 通常比 var 更快

许多开发者认为 let 和 var 仅仅是风格或安全问题。实际上，选择可能会影响程序的运行速度。以下是它在编译器层面的工作方式。

1. 编译器优化（SIL 和 LLVM）

Swift 使用多级优化系统。首先，代码被转换为 SIL（Swift 中间语言），然后转换为 LLVM IR。在每个阶段，编译器根据值是 let 还是 var 做出决策。

当您声明 let 时，您给编译器一个铁定的保证：“这个值永远不会改变”。编译器利用此信息来：

\n
• 消除冗余检查：如果在循环中使用常量值，编译器可以计算一次并缓存它，而不是在每次迭代中重新计算。
\n
• 内联替换：常量通常直接内联到代码中，从而消除了内存访问的需要。
\n
• 改进内存管理：对于 let，编译器可以使用更高效的数据布局策略，因为它知道不需要写入此内存区域。
\n

对于 var，情况更复杂。编译器无法确定值不会改变（即使您不打算更改它）。因此，它被迫生成更保守的代码：

\n
• 值始终存储在内存中（而不仅仅在 CPU 寄存器中）。
\n
• 为可能的写入生成额外的指令。
\n
• 某些与指令重排序相关的优化被阻止。
\n

结论： let 为编译器提供了更多的优化自由度。这在代码的关键部分尤其明显——循环、递归函数、大型数组处理。

2. 语义与线程（线程安全）

性能的另一个方面是多线程环境中的工作。let 使代码天生线程安全。常量不能被修改，因此没有竞态条件的风险。

对于 var 则不同。如果变量在多个线程中使用，您将不得不添加锁（NSLock、DispatchQueue）或使用原子操作。这不可避免地会降低性能。

比较这两种方法