C#闭包陷阱：循环变量捕获与多线程问题解析

1. 从一次诡异的Bug说起：为什么循环变量会"记忆"错误的值？

三年前我在开发一个多线程任务调度系统时，遇到了一个至今难忘的Bug。当时需要在foreach循环中启动多个后台任务，代码看起来非常简单：

csharp复制var tasks = new List<Task>();
var values = new List<int> { 1, 2, 3, 4, 5 };

foreach (var value in values)
{
    tasks.Add(Task.Run(() => {
        Console.WriteLine($"Processing value: {value}");
    }));
}

Task.WaitAll(tasks.ToArray());

你猜输出结果是什么？我原本期待看到1到5的顺序输出，但实际运行却得到了五个"Processing value: 5"！这个现象让我第一次深刻认识到C#中闭包与循环变量交互的陷阱。

1.1 闭包的本质：捕获的不只是值，更是变量

在C#中，闭包（closure）是指一个函数（或匿名方法/lambda）能够记住并访问其词法作用域中的变量，即使该函数在其原始作用域之外执行。关键在于闭包捕获的是变量本身，而不仅仅是变量当前的值。

回到我们的例子，lambda表达式() => Console.WriteLine(...)捕获的是循环变量value，而不是每次迭代时value的瞬时值。由于循环变量value在整个循环过程中实际上是同一个变量（它的存储位置不变），所有任务最终看到的都是循环结束后value的最终值。

重要提示：在C# 5.0之前，foreach循环的循环变量行为与for循环相同，都会导致这种闭包陷阱。C# 5.0特意修改了foreach的语义来避免这个问题，但理解底层机制仍然至关重要。

1.2 编译器生成的幕后代码

让我们看看编译器实际上为这个foreach循环生成了什么代码。经过简化后的等效代码大致如下：

csharp复制List<int>.Enumerator enumerator = values.GetEnumerator();
try
{
    int value;  // 注意：这个变量在循环外声明
    while (enumerator.MoveNext())
    {
        value = enumerator.Current;  // 每次迭代只是重新赋值
        tasks.Add(Task.Run(() => {
            Console.WriteLine($"Processing value: {value}");
        }));
    }
}
finally
{
    enumerator.Dispose();
}

可以看到，循环变量value实际上是在循环外部声明的，每次迭代只是对它重新赋值。这就是为什么所有闭包都共享同一个变量实例。

2. C# 5.0的救赎：foreach循环变量的语义改变

2.1 语言设计者的重要修正

C#设计团队意识到了这个问题，并在C# 5.0中专门修改了foreach循环的语义。在新的语义下，每次迭代都会创建一个新的循环变量实例。这意味着：

csharp复制foreach (var value in values)  // C# 5.0+：每次迭代都是新的value
{
    tasks.Add(Task.Run(() => {
        Console.WriteLine($"Processing value: {value}");  // 现在能正确捕获当前值
    }));
}

这个改变使得foreach循环中的闭包行为符合大多数开发者的直觉预期。但要注意，for循环的行为没有改变，仍然存在闭包陷阱。

2.2 新旧版本对比实验

为了验证这一点，我们可以做一个简单实验：

csharp复制var actions = new List<Action>();

// 情况1：foreach循环（C# 5.0+）
foreach (var i in Enumerable.Range(0, 5))
{
    actions.Add(() => Console.WriteLine(i));
}

// 情况2：for循环
for (int j = 0; j < 5; j++)
{
    actions