C#闭包陷阱解析与最佳实践

1. 闭包陷阱：C#开发者的隐形杀手

第一次在线上环境遇到这个bug时，我盯着日志里那些匪夷所思的数值看了整整半小时。那是个看似简单的数据导出功能，使用foreach循环处理订单列表，却在最终生成的Excel里，所有订单金额都变成了最后一条记录的值。这个经典的闭包陷阱让我付出了通宵排查的代价——这也是为什么每个C#开发者都应该真正理解闭包的工作原理。

闭包（Closure）本质上是一个函数对象与其创建时所在词法环境的组合体。在C#中，当lambda表达式或匿名方法捕获了外部变量时，编译器会自动生成闭包。这种机制虽然强大，但在循环结构中却可能引发反直觉的行为，特别是在foreach循环中表现得尤为隐蔽。

2. foreach循环的闭包陷阱解析

2.1 问题重现：一个简单的示例

让我们通过这段典型的问题代码来观察现象：

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

foreach (var value in values)
{
    actions.Add(() => Console.WriteLine(value));
}

foreach (var action in actions)
{
    action(); // 输出什么？
}

大多数初学者会预期输出1到5的数字序列，但实际运行结果却是五个5。这个反直觉的现象正是foreach闭包陷阱的典型表现。

2.2 编译器背后的真相

通过ILSpy反编译上述代码，可以看到编译器生成的等价代码：

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

using (List<int>.Enumerator enumerator = values.GetEnumerator())
{
    int current;
    while (enumerator.MoveNext())
    {
        current = enumerator.Current;
        actions.Add(delegate
        {
            Console.WriteLine(current);
        });
    }
}

关键点在于：

1. 循环变量current被提升为编译器生成的类字段
2. 所有委托捕获的是同一个current变量
3. 循环结束时current保留最后一个值5

2.3 与for循环的差异对比

许多开发者会好奇：为什么for循环不会出现这个问题？对比以下代码：

csharp复制var actions = new List<Action>();
for (int i = 0; i < 5; i++)
{
    actions.Add(() => Console.WriteLine(i));
}

这种情况下，每次迭代都会创建一个新的i变量（因为int是值类型），而foreach循环中迭代变量是引用类型（Enumerator.Current返回的引用）。

3. 解决方案与最佳实践

3.1 局部变量拷贝法

最直接的解决方案是在循环内部创建局部变量副本：

csharp复制foreach (var value in values)
{
    var temp = value; // 关键点
    actions.Add(() => Console.WriteLine(temp));
}

这样每个委托捕获的都是独立的temp变量，因为每次迭代都会创建新的temp。

3.