JIT编译是一种棘手的平衡行为,既不要花费太多时间进行编译阶段(从而大大减缓了短命的应用程序),又没有进行足够的分析以确保标准的提前编译可以长期保持应用程序的竞争力。 。
有趣的是,NGen编译步骤的目标不是更积极地进行优化。我怀疑这是因为他们根本不想让错误的行为取决于JIT还是NGen负责机器代码。
在CLR本身不支持尾调用优化,但语言的编译器特定必须知道如何生成相关的操作码和JIT必须愿意尊重它。F#的 fsc将生成相关的操作码(尽管对于简单的递归而言,它可能只是将整个过程while
直接转换为循环)。C#的csc没有。
有关某些详细信息,请参见此博客文章(鉴于最近的JIT更改,现在可能已经过时了)。请注意,对于4.0的CLR更改,x86,x64和ia64将遵循它。