.NET CLR虛擬機中的轉義分析

CLR編譯器/ JIT執行任何轉義分析嗎？例如，在Java中，似乎 ~~循環變量~~ 在循環中分配的對象不會轉移循環，而是分配到堆棧而不是堆（請參閱Escape analysis in Java）。.NET CLR虛擬機中的轉義分析

爲了闡明，在下面的例子中，編譯器會優化掉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()); 
}

來源

2011-11-22 SimonC

典型地，語義，循環變量是值類型，其被在所分配的堆棧（在循環的情況下）。 –

我的意思是在循環體內分配一個變量。我會更新這個問題來澄清。 – SimonC

你的意思是*變量*？或*對象*？（概念上非常不同） –

如果你的意思是對象（new Foo(i);），那麼我的理解是，否：這是從來沒有分配在堆棧上;然而，它會在第零代死亡，因此收集效率非常高。我不知道CLI的每一個陰暗和陰暗的角落，但我沒有意識到任何場景在C＃這將導致管理參考類型被分配在堆棧上（像stackalloc事情並不真的計數，並且非常具體）。很顯然，在C++中你有更多的選擇，但它不是一個託管實例。

有趣的是，在MonoTouch/AOT上，它可以立即收集或，但這不是主要的CLI VM（並且用於特定的場景）。

至於可變 - 即將通常是在堆棧上（和重新用於每次循環迭代） - 但它可能不是。例如，如果這是一個「迭代器塊」，那麼所有未刪除的局部變量實際上都是編譯器生成的狀態機上的字段。更常見的是，如果變量被「捕獲」（變爲匿名方法或lambda表達式，它們都形成閉包），那麼變量將被轉換爲編譯器生成的捕獲上下文中的字段，和在每個循環中是分開的迭代（因爲foo在循環中聲明）。這意味着每個都在堆上分開。

至於i（循環變量） - 如果是被捕獲的，它會在C＃1.2捕獲不存在更有趣