for循环中的迭代变量什么时候递增

我目前正在阅读 Albahari O'Reilly 的书，C# 简而言之我正在阅读 Linq 查询章节。他正在描述进行 Linq 查询时延迟执行和变量捕获的效果。他举了一个常见错误的例子：

IEnumerable<char> query = "Not what you might expect";
string vowels = "aeiou";
for (int i = 0; i < vowels.Length; i++)
{
    query = query.Where(c => c != vowels[i]);
}
foreach (var c in query)
{
    Console.WriteLine(c);
}
Console.Read();

An IndexOutOfRangeException一旦枚举查询就会抛出，但这对我来说没有任何意义。我希望Where运算符中的lambda表达式c => c!= vowles[i]会简单地评估c => c != vowels[4]对于整个序列，由于延迟执行和变量捕获的影响。我继续调试看看有什么价值i当抛出异常并发现它的值为 5 时发生了什么？所以我继续将 for 循环中的条件子句更改为i < vowels.Length-1;确实没有抛出任何异常。 for 循环是否迭代i在最后一次迭代到 5 时还是 linq 正在做其他事情？

出于所有意图和目的（除了捕获的变量之外），这是：

for (int i = 0; i < 10; i++)
    ....

可以重写为：

int i = 0;
while (i < 10)
{
    ....
    i++;
}

正如您所看到的，迭代仅在条件为 false 时停止，而要使条件为 false，i 必须等于或大于 10。

事实上，如果我尝试这个程序LINQPad http://linqpad.net:

void Main() { }

public static void Test1()
{
    for (int i = 0; i < 10; i++)
        Console.WriteLine(i);
}

public static void Test2()
{
    int i = 0;
    while (i < 10)
    {
        Console.WriteLine(i);
        i++;
    }
}

然后检查生成的 IL，让我将这两个方法并排放置：

Test1:                                            Test2:
IL_0000:  ldc.i4.0                                IL_0000:  ldc.i4.0    
IL_0001:  stloc.0     // i                        IL_0001:  stloc.0     // i
IL_0002:  br.s        IL_000E                     IL_0002:  br.s        IL_000E
IL_0004:  ldloc.0     // i                        IL_0004:  ldloc.0     // i
IL_0005:  call        System.Console.WriteLine    IL_0005:  call        System.Console.WriteLine
IL_000A:  ldloc.0     // i                        IL_000A:  ldloc.0     // i
IL_000B:  ldc.i4.1                                IL_000B:  ldc.i4.1    
IL_000C:  add                                     IL_000C:  add         
IL_000D:  stloc.0     // i                        IL_000D:  stloc.0     // i
IL_000E:  ldloc.0     // i                        IL_000E:  ldloc.0     // i
IL_000F:  ldc.i4.s    0A                          IL_000F:  ldc.i4.s    0A 
IL_0011:  blt.s       IL_0004                     IL_0011:  blt.s       IL_0004
IL_0013:  ret                                     IL_0013:  ret         

然后您可以看到它生成了完全相同的代码。

现在，编译器将确保您无法编写代码after尝试访问变量的 for 循环，但是如果您捕获该变量，如代码所示，那么您将像循环结束时一样访问该变量，并且只有当条件为 false 时，循环才会自行结束。

因此，你的假设是i如果为 false，则等于字符串中最后一个字符的索引，它将等于刚刚过去的索引，因此当您尝试执行委托时，您将得到索引超出范围的异常。

这是一个简单的.NET 小提琴 https://dotnetfiddle.net/hqKN6k这表明该程序：

using System;

public class Program
{
    public static void Main()
    {
        Action a = null;
        for (int index = 0; index < 10; index++)
            a = () => Console.WriteLine(index);

        a();
    }
}

输出 10。