一尘不染

.NET / C#为什么不优化尾调用递归?

c#

我发现这个问题有关的语言优化尾递归。为什么C#尽可能不优化尾递归?

在具体情况下,为什么不将该方法优化为循环(如果需要的话,Visual Studio
2008

32位)?

private static void Foo(int i)
{
    if (i == 1000000)
        return;

    if (i % 100 == 0)
        Console.WriteLine(i);

    Foo(i+1);
}

阅读 314

收藏
2020-05-19

共1个答案

一尘不染

JIT编译是一种棘手的平衡行为,既不要花费太多时间进行编译阶段(从而大大减缓了短命的应用程序),又没有进行足够的分析以确保标准的提前编译可以长期保持应用程序的竞争力。

有趣的是,NGen编译步骤的目标不是更积极地进行优化。我怀疑这是因为他们根本不想让错误的行为取决于JIT还是NGen负责机器代码。

CLR本身不支持尾调用优化,但语言的编译器特定必须知道如何生成相关的操作码和JIT必须愿意尊重它。
F#的
fsc将生成相关的操作码(尽管对于简单的递归而言,它可能只是将整个过程while直接转换为循环)。C#的csc没有。

有关某些详细信息,请参见此博客文章(鉴于最近的JIT更改,现在可能已经过时了)。请注意,对于4.0的CLR更改,x86,x64和ia64将遵循它

2020-05-19