C#闭包为何静态字段是全局修改而非被捕获到编译器生成的闭包类中

你遇到的认知偏差，核心是把“所有被lambda引用的变量都会被封装进闭包类、按值拷贝”当成了通用规则，实际上编译器的捕获逻辑有非常明确的边界，根本不会对所有变量做无差别捕获。

涉及的两段对比代码 #

面试题中的静态字段操作代码 #

private static int s = 1;

private static async Task Main(string[] args)
{
    var tasks = new List<Task>();
    Action a = () => s++;

    tasks.Add(Task.Factory.StartNew(a));
    tasks.Add(Task.Factory.StartNew(a));
    tasks.Add(Task.Factory.StartNew(a));
    tasks.Add(Task.Factory.StartNew(a));

    await Task.WhenAll(tasks);
    Console.WriteLine(s);
}

你最初的判断是：这段代码的闭包会把s的值拷贝进编译器生成的封装类实例，四个任务操作的是拷贝出来的局部副本，原静态字段s始终保持1不变。

作为参照的局部变量闭包代码 #

private static async Task Main(string[] args)
{
    var tasks = new List<Task>();
    Action a = GiveMeAction();

    tasks.Add(Task.Factory.StartNew(a));
    tasks.Add(Task.Factory.StartNew(a));
    tasks.Add(Task.Factory.StartNew(a));
    tasks.Add(Task.Factory.StartNew(a));
    await Task.WhenAll(tasks);
}

public static Action GiveMeAction()
{
    int i = 1;
    return () => Console.WriteLine(++i);
}

你清楚这类局部变量闭包在编译后会被转换为如下的编译器生成结构：

[CompilerGenerated]
private sealed class <>c__DisplayClass0_0
{
    public int i;
    internal void <GiveMeAction>b__0()
    {
        this.i++;
        Console.WriteLine(this.i);
    }
}

两个场景执行逻辑出现差异的底层原因 #

1. 闭包捕获的核心判定边界：只捕获无法直接访问的游离变量 #

编译器生成DisplayClass闭包类的唯一目的，是解决“方法返回后，栈上的局部变量/参数失效，但lambda还要在后续执行时访问这些变量”的问题。判断一个变量是否需要被捕获的规则非常直接：

• 凡是lambda所在作用域可以直接、无额外引用就访问到的变量，一律不会被捕获进闭包类：
  • 静态字段属于类的全局成员，不需要任何额外引用，直接通过类名就能定位到内存中的存储位置，根本不需要靠闭包类托管
  • 实例字段属于类的成员，只要捕获当前对象的this引用就能访问，也不会单独把字段值拷进闭包类
• 只有方法内部定义的局部变量、方法参数这类，本来的存储位置在方法栈帧上，一旦方法执行完成栈帧回收，变量就会失效的游离变量，才会被编译器抬升到闭包类的实例字段上托管。
  对应到第一段的静态字段s，lambda里的s++操作根本不需要任何捕获，编译后的方法体就是直接对类的静态存储位置做读写，自然会直接修改全局的s值，不会生成独立副本。

2. 不存在“闭包自动按值拷贝”的机制 #

你之前误以为闭包会按值传递拷贝，实际是完全的误解：

• 对于被捕获的局部变量，编译器不会在闭包类里存一份值的拷贝，而是直接把原本存在栈上的变量的存储位置，从栈转移到了闭包类的实例字段上——所有原代码里对这个变量的读写，都会被编译器改写为对闭包实例字段的读写，从头到尾只有一份变量存储，根本没有“原变量+拷贝副本”的两份数据。
• 比如GiveMeAction方法里的局部变量i，当它被lambda捕获时，编译器根本不会把i存在栈上，而是直接在闭包类实例里存储i，原来的int i =1和后续的++i操作，全都会被改写为对闭包实例里i字段的操作。

代码实际执行的补充说明 #

回到第一段的静态字段s的代码：因为s++是包含读、加、写三步的非原子操作，四个并行任务同时操作同一个静态字段时没有加锁，存在典型的竞态条件，最终输出的s值并不是固定的5，而是1~5区间内的任意值。

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