c# - 为什么此递归不产生 StackOverFlowException？

Question

这段代码有什么问题:

using System;
namespace app1
{
    static class Program
    {
        static int x = 0;
        static void Main()
        {
            fn1();
        }
        static void fn1()
        {
            Console.WriteLine(x++);
            fn1();
        }
    }
}

我使用这个命令编译这段代码:

csc /warn:0 /out:app4noex.exe app4.cs

当我双击exe时，它似乎没有抛出异常(StackOverFlowException)，并一直运行下去。

使用 visual studio 命令提示符 2010，但我还在系统上安装了 vs 2012，都是最新的。

Answer 1

因为优化器将尾递归调用展开为:

    static void fn1()
    {
      START:

        Console.WriteLine(x++);
        GOTO START;
    }

重写以获得如下异常:

   static int y;

   static void fn1()
   {
       Console.WriteLine(x++);
       fn1();
       Console.WriteLine(y++);
   }