Kotlin与Swift中闭包捕获var变量：值还是引用？内存解析

问题背景 #

我编写了以下Kotlin和Swift代码，原本以为函数f会始终使用定义时x=1的值，但实际运行结果显示z=7。想搞清楚两个问题：

1. 函数闭包对变量x的捕获方式：是在函数定义时捕获变量的值，还是捕获变量本身的引用？
2. 若将x声明为Kotlin的val或Swift的let，处理逻辑会有差异吗？

Kotlin代码示例 #

var x = 1
fun f(y: Int) = x + y // 原本以为会始终用x=1的值

x = 2
val y = 3
val z = f(x + y) // 传入参数5，最终z=7

Swift代码示例 #

var x = 1
func f(_ y: Int) -> Int {return x + y} // 原本以为会始终用x=1的值

x = 2
let y = 3
let z = f(x + y) // 传入参数5，最终z=7

核心结论：闭包捕获的是变量的引用/存储位置，而非定义时的值 #

不管是Kotlin还是Swift，当闭包（这里的顶层函数f本质也是闭包，因为捕获了外部作用域的x）访问外部的var变量时，捕获的是变量的内存地址，而非变量当时的数值。每次调用闭包时，都会通过这个地址去读取变量的当前值。

从作用域链与内存定位的角度拆解 #

• 作用域链的建立：函数f定义时，会记录它所在的外部作用域（这里是顶层作用域）。当f被调用时，会沿着作用域链找到x的内存位置，而不是直接保存x的初始值。
• 内存层面的细节：顶层的var x在Kotlin的JVM中是静态字段，在Swift中是全局变量，都有固定的内存地址。你执行x = 2时，是直接修改这个地址里存储的数值。
• 调用时的取值逻辑：调用f(x+y)时，f会先读取x内存地址里的当前值（也就是2），再加上传入的参数5，最终得到7，所以z=7。

当x是val（Kotlin）或let（Swift）时的差异 #

当x被声明为不可变变量时，两种语言都会做优化，但核心行为一致：

• 逻辑一致性：因为变量的值不可修改，闭包捕获的引用不会有变化，语言层面会直接把变量的值嵌入到闭包中（相当于捕获值），避免每次调用都去内存地址取值。
• 具体优化差异：
  • Kotlin：JVM会将顶层val编译为静态常量，闭包直接引用这个常量，运行时无需再读取内存地址。
  • Swift：编译器会进行常量传播优化，把let x的值直接替换到闭包代码里，闭包内部直接使用固定值，而非通过引用访问。
• 最终效果：因为值不可变，实际运行结果和“捕获值”的表现完全一致，也不存在后续修改影响闭包的可能（毕竟没法修改）。

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