为什么不以同样的方式处理所有这些变量？

我正在检查 VB.NET 中变量声明的位置并不重要，除了范围之外（对于这个问题 https://stackoverflow.com/q/13259999/256431），我想我最好检查一下当它们被“提升”到闭包时会发生什么。我还没有阅读规范，但我无法解释这些结果：

Dim outer As Integer
For i = 1 To 2
 Dim inner As Integer
 Try
  Dim inner2 As Integer
  Do
   Dim inner3 As Integer
   Call Sub()
    Dim inner4 As Integer
    Console.WriteLine(outer & ", " & inner & ", " & inner2 & ", " & inner3 & ", " & inner4)
    outer = i
    inner = i
    inner2 = i
    inner3 = i
    inner4 = i
   End Sub()
  Loop Until True
 Finally
 End Try
Next

以上输出：

0, 0, 0, 0, 0
1, 1, 0, 1, 0

inner4每次重置都是有意义的，其他全部或都不重置也是有意义的innerX，但为什么只有inner2?!

来自 MSDN（重点是我的）：

[...]编译器的基本作用是，当它进入包含提升变量的新作用域时，编译器将检查闭包实例是否已存在；如果是这样，编译器将创建一个新的闭包实例，并重置前一个闭包中的变量值。

注意编译器只做上面的检查如果它在生成闭包的函数中检测到循环或 GoTo.

Link http://msdn.microsoft.com/en-us/library/bb981314%28VS.80%29.aspx