Why do these two sets of Linq code not work the same?

近日，在Stack Overflow等开发者社区中，一个关于Linq代码行为差异的问题引发热议。标题为「Why do these two sets of Linq code not work the same?」的帖子短时间内获得数百次点赞，不少资深.NET开发者纷纷表示“踩过同样的坑”。问题看似简单：两段逻辑几乎相同的Linq查询，却在运行时给出了截然不同的结果。这背后究竟隐藏着怎样的机制？记者结合相关技术文档与社区讨论，为读者详细拆解。

问题重现：一个经典的闭包陷阱

假设我们有以下两组代码：

代码组A：

var list = new List<int> { 1, 2, 3, 4, 5 };
var result = new List<int>();
int threshold = 3;
var query = list.Where(x => x > threshold);
threshold = 5;
result = query.ToList();

代码组B：

var list = new List<int> { 1, 2, 3, 4, 5 };
var result = new List<int>();
for (int threshold = 3; threshold <= 5; threshold++)
{
    var query = list.Where(x => x > threshold);
    result = query.ToList();
}

乍看之下，两组代码都试图筛选出大于某个阈值的元素。可实际运行结果却令人意外：代码组A得到的result为空列表（因为最终threshold=5），而代码组B在循环中每次重新创建query，最终结果仅包含大于5的元素（即空列表？注意：最后一次循环threshold=5，结果也为空。但这里社区讨论的典型例子往往为了展示差异会调整参数，例如将循环改为threshold从3到4，或使用不同的闭包捕获方式。实际上更常见的陷阱出现在循环中使用foreach或for的捕获变量时，例如在循环中延迟执行导致所有查询都使用循环结束后的最后一个值。）

为了更清晰地说明问题，我们换一个经典案例：用for循环生成多个Linq查询并分别执行：

var actions = new List<Func<int>>();
for (int i = 0; i < 5; i++)
{
    actions.Add(() => i * i);
}
foreach (var action in actions)
{
    Console.WriteLine(action()); // 输出五个25
}

这里每个lambda表达式捕获的是同一个变量i，循环结束后i=5，因此所有函数都返回25。这个“闭包坑”在C#早期版本中经常出现，与Linq的延迟执行相结合，威力更大。

延迟执行：Linq的核心特性也是“元凶”

与SQL查询不同，Linq查询默认采用延迟执行（deferred execution）。大部分Linq方法（如Where、Select等）并不会立即遍历数据源，而是构建一个可枚举的查询计划。只有当调用ToList()、Count()、First()等触发执行的方法时，查询才会真正执行。

这意味着，在代码组A中，query变量在定义时并未执行——它只是记住了要对list应用一个过滤条件：x > 当前threshold值。而threshold是一个外部变量，属于闭包捕获。当后续将threshold修改为5时，再执行query.ToList()，此时threshold的值已是5，因此筛选条件变为x > 5，结果自然为空。

而在代码组B的循环中，虽然每次迭代都新建了query变量，但由于for循环中threshold是同一个变量（在C# 5之前，foreach循环中的变量也只有一个，这会导致类似问题；C# 5之后foreach的变量在每次迭代中都是新的），因此最后一次循环中threshold=5，最终result同样为空。也就是说，这里的演示可能不够典型。更常见的“代码不相同”场景是：

代码1：

var queries = new List<Func<bool>>();
foreach (var num in new[] { 1, 2, 3 })
{
    queries.Add(() => num > 2);
}
foreach (var q in queries) Console.WriteLine(q()); // 在C#5之后输出False, False, True

代码2：

var queries = new List<Func<bool>>();
for (int i = 0; i < 3; i++)
{
    var num = i + 1;
    queries.Add(() => num > 2);
}
foreach (var q in queries) Console.WriteLine(q()); // 在C#5之前输出三个True

这里foreach代码块在C#5之后每次创建新变量，而for循环中如果不在内部声明新变量，则所有闭包共享同一个i，导致结果不同。

专家支招：如何避免此类隐晦Bug

理解延迟执行时机：在Linq查询链上链之前确保外部变量不会再被修改，或立即调用ToList()等强制求值。
捕获变量时即时复制：在闭包内使用局部临时变量，避免共享可变变量。例如：var localNum = num; queries.Add(() => localNum > 2);
优先使用foreach并确保C#版本足够新：C# 5及以上版本的foreach循环变量在每次迭代中是唯一的，这大大减少了闭包问题。若仍使用旧版编译器，需手动复制。
使用ReSharper等静态分析工具：它们能检测出闭包中捕获的循环变量，并给出警告。

结语

Linq的延迟执行与闭包机制结合，如同双刃剑——既提供了强大而简洁的声明式编程能力，也让初学者乃至资深开发者在不经意间陷入逻辑歧义。当你在调试时发现“两段代码明明一样，结果却不同”时，不妨检查一下：变量捕获是否存在于延迟执行的查询中？循环变量是否被无意共享？理解这些底层机制，才是写出稳健Linq代码的不二法门。

（全文约1080字）

问题重现：一个经典的闭包陷阱

延迟执行：Linq的核心特性也是“元凶”

专家支招：如何避免此类隐晦Bug

结语

相关阅读