是“访问修改后的闭包”吗？通过理解语法解决？

Question

ReSharper 6.0 针对第一个代码片段中的 dr 标识符向我发出“访问修改后的闭包”警告。

private IEnumerable<string> GetTheDataTableStrings(DataTable dt) {
    foreach (DataRow dr in dt.Rows) {
        yield return GetStringFuncOutput(() => dr.ToString());
    }
}

我想我对这个警告试图保护我的内容有一个基本的了解：在询问 GetTheDataTableStrings 的输出之前 dr 会多次更改，因此调用者可能无法获得我期望的输出/行为。

但 R# 没有对第二个代码片段发出任何警告。

private IEnumerable<string> GetTheDataTableStrings(DataTable dt) {
    return from DataRow dr in dt.Rows select GetStringFuncOutput(dr.ToString);
}

使用理解语法时，我可以安全地放弃此警告/担忧吗？

其他代码：

string GetStringFuncOutput(Func<string> stringFunc) {
    return stringFunc();
}

Answer 1

首先，您对第一个版本的担忧是正确的。该 lambda 创建的每个委托都通过相同的变量关闭，因此当该变量发生变化时，查询的含义也会发生变化。

其次，仅供参考，我们很可能在下一版本的 C# 中修复此问题；这是开发者的一大痛点。

（更新：这个答案是在 2011 年写的。事实上，我们确实采用了 C# 5 中描述的修复。）

在下一个版本中，每次运行“foreach”循环时，我们都会生成一个新循环变量而不是每次都关闭同一个变量。这是一个“破坏性”更改，但在绝大多数情况下，“破坏”将修复而不是导致错误。

“for”循环不会改变。

请参阅 http://有关详细信息，请访问 ericlippert.com/2009/11/12/ opening-over-the-loop-variable-considered-harmful-part-one/。

第三，查询理解版本没有问题，因为没有正在修改的封闭变量。查询理解形式与您所说的相同：

return dt.Rows.Select(dr=>GetStringFuncOutput(dr.ToString));

lambda 不对任何外部变量封闭，因此不会意外修改变量。

Answer 2

Resharper 警告的问题已在 C# 5.0 和 VB.Net 11.0 中得到解决。以下是语言规范的摘录。请注意，在安装了 Visual Studio 2012 的计算机上，默认情况下可以在以下路径中找到规范。

• C:\Program Files (x86)\Microsoft Visual Studio 11.0\VB\Specifications\1033\Visual Basic 语言规范.docx
• C:\Program Files (x86)\Microsoft Visual Studio 11.0\VC#\Specifications\1033\CSharp 语言规范.docx

C# 语言规范版本 5.0

8.8.4 foreach 语句

v 在 while 循环内的放置对于嵌入语句中发生的任何匿名函数如何捕获 v 很重要。

例如：

int[] values = { 7, 9, 13 };
Action f = null;
foreach (var value in values)
{
    if (f == null) f = () => Console.WriteLine("First value: " + value);
}
f();

如果 v 在 while 循环之外声明，它将在所有迭代之间共享，并且在 for 循环之后它的值将是最终值 13，这是 f 的调用将打印的内容。相反，因为每次迭代都有自己的变量 v，所以第一次迭代中 f 捕获的变量将继续保存值 7，这就是将要打印的值。 （注意：早期版本的 C# 在 while 循环之外声明了 v。）

Microsoft Visual Basic 语言规范版本 11.0

10.9.3 For Each...Next 语句（注释）

该语言版本 10.0 和 11.0 之间的行为略有变化。在 11.0 之前，不会为循环的每次迭代创建新的迭代变量。仅当迭代变量由 lambda 或 LINQ 表达式捕获（然后在循环后调用）时，才能观察到这种差异。

Dim lambdas As New List(Of Action)
For Each x In {1,2,3}
   lambdas.Add(Sub() Console.WriteLine(x)
Next
lambdas(0).Invoke()
lambdas(1).Invoke()
lambdas(2).Invoke()

直到 Visual Basic 10.0，这都会在编译时产生警告并打印“3”三次。这是因为循环的所有迭代只共享一个变量“x”，并且所有三个 lambda 表达式都捕获相同的“x”，并且当执行 lambda 表达式时，它的值是数字 3。
从 Visual Basic 11.0 开始，它打印“1, 2, 3”。这是因为每个 lambda 捕获不同的变量“x”。