C#嵌套函数（Lambda/本地函数）中捕获变量的内存分配位置问询

咱们直接把问题拆成两部分来解答：

被捕获的变量x分配在堆还是栈？ #

答案很明确：x会被分配在堆内存中，而不是方法栈帧里。

C#编译器在处理捕获外部变量的Lambda时，会悄悄做一件事：创建一个隐藏的“闭包类”，把被捕获的局部变量x作为这个类的实例字段。当你调用Test方法时，会先实例化这个闭包类，把x的值（也就是传入的arg）赋值给类的字段，然后返回的Lambda本质上是绑定到这个闭包实例的方法。

这么做的核心原因是：Lambda的生命周期可能远超过Test方法的栈帧生命周期——如果x在栈上，Test执行完栈帧销毁后，后续调用返回的Lambda时，栈上的x已经不存在了，必然会引发内存访问错误。所以编译器必须把捕获的变量移到堆上，让它的生命周期和闭包实例绑定，只要Lambda还被引用，闭包实例就不会被GC回收。

后续调用Test会不会影响之前Lambda的返回行为？ #

完全不会。

每次调用Test方法时，都会创建一个全新的闭包类实例，每个实例里的x字段都是独立的。举个实际测试的例子：

var firstFunc = Test(5);
var secondFunc = Test(15);

Console.WriteLine(firstFunc());  // 输出5
Console.WriteLine(secondFunc()); // 输出15

你看，firstFunc和secondFunc各自持有自己的闭包实例，它们的x值互不干扰，后续调用Test只会生成新的闭包，不会影响之前的Lambda逻辑。

额外补充个小细节：哪怕你捕获的是值类型（比如这里的int），编译器也会把它包装到闭包类里，不会留在栈上。这也是C#闭包实现的一个关键特点，确保Lambda能安全地访问捕获的变量。

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