CLR 中的数组边界检查消除？

Question

我最近正在阅读 Dave Detlefs 的这篇文章，其中介绍了 CLR 执行数组边界检查消除的一些情况。我决定自己测试一下，因此我执行了以下操作：

• 打开 Visual Studio 2010 Ultimate SP1
• 创建了一个控制台应用程序类型的新 C# 项目（默认针对 .NET 4 Client Profile）

• 添加了以下代码（所有子方法）直接摘自文章）：

  类程序{
      静态无效主（字符串[]参数）{
          int[] 数组 = 新 int[30];
          Test_SimpleAscend(数组);
          Test_SimpleRedundant(数组, 3);
  
          foreach（数组中的 int i）{
              Console.WriteLine(i);
          }
      }
  
      静态无效 Test_SimpleAscend(int[] a) {
          for (int i = 0; i < a.Length; i++)
              a[i] = i；
      }
  
      静态无效 Test_SimpleRedundant(int[] a, int i) {
          int k = a[i];
          k = k + a[i];
      }
  }
  

• 切换到Release模式；验证在构建选项中选中了“优化代码”

• 向每个数组访问添加了一个断点，开始调试（F5）并打开反汇编窗口

所以这是 a[i] = i; 的反汇编；在Test_SimpleAscend中：

                a[i] = i;
00000024  mov         eax,dword ptr [ebp-4] 
00000027  mov         edx,dword ptr [ebp-8] 
0000002a  cmp         eax,dword ptr [edx+4] 
0000002d  jb          00000034 
0000002f  call        64FD6E08 
00000034  mov         ecx,dword ptr [ebp-4] 
00000037  mov         dword ptr [edx+eax*4+8],ecx 

cmp/jb/call是边界检查，实际上强制执行调用会抛出IndexOutOfRangeException。

所有数组访问都是一样的，包括 Test_SimpleRedundant 中的冗余访问。那么我的测试方法是否有问题，或者 CLR 实际上并没有消除边界检查？我希望我错了，如果是这样，我想知道如何真正获得数组边界检查消除。

Answer 1

感谢 Cody Gray 的评论，我成功回答了自己的问题：

默认情况下，调试时会禁用 JIT 优化。要解决此问题，可以转到“调试”->“调试”。选项和设置 ->调试->常规，然后取消选中“仅启用我的代码”和“抑制模块加载时的 JIT 优化”。

另请参阅 https://learn.microsoft.com/ en-us/visualstudio/debugger/jit-optimization-and-debugging

启用优化后，边界检查将按广告删除。

我将把它留在这里用于文档目的。