c# - .NET CLR VM 中的逃逸分析

Question

CLR 编译器/JIT 是否执行任何逃逸分析？例如，在 Java 中， 一个循环变量 一个在循环中分配但没有逃脱循环的对象似乎分配在堆栈上而不是堆上(参见 Escape analysis in Java )。

为了澄清，在下面的示例中，编译器是否会优化 foo 的堆分配，因为它永远不会逃脱循环。

class Foo 
{ 
   int number;
   Foo(int number) { this.number = number; }
   public override string ToString() { return number.ToString(); }
}

for (int i = 0; i < 10000000; i++)
{
   Foo foo = new Foo(i);
   Console.WriteLine(foo.ToString());
}

Answer 1

如果您指的是对象(new Foo(i);)，那么我的理解是不:这永远不会在堆栈上分配；但是，它会在零世代中消亡，因此收集效率很高。我不自称知道 CLI 的每个黑暗和潮湿的角落，但我不知道 C# 中的任何场景会导致在堆栈上分配托管引用类型(比如stackalloc 并不重要，而且非常具体)。显然，在 C++ 中您有更多选择，但它不是托管实例。

有趣的是，在 MonoTouch/AOT 上，它可能会立即被收集，但这不是主要的 CLI VM(并且是针对非常特定的场景)。

至于变量 - 将 通常在堆栈上(并在每次循环迭代中重新使用) - 但它可能不会强>.例如，如果这是一个“迭代器 block ”，那么所有未删除的局部变量实际上都是编译器生成的状态机上的字段。更常见的是，如果变量被“捕获”(进入匿名方法或 lambda 表达式，两者都形成闭包)，则变量将转换为编译器生成的捕获上下文中的字段，和 每个循环迭代都是分开的(因为 foo 是在循环内声明的)。这意味着每个在堆上都是独立的。

至于 i(循环变量)——如果 that 被捕获，它会变得更加有趣

• 在 C# 1.2 中捕获不存在，但根据规范，循环变量技术上是每次迭代
• 在 C# 2.0 到 4.0 中，循环变量是共享的(导致臭名昭著的捕获/foreach 常见问题)
• 在 C# 5.0 及更高版本中，循环变量又是每次迭代

这只会在变量被捕获时有所不同，但会改变它在捕获上下文中如何体现的语义