为何现代.NET中C#尾递归方法未被编译器优化为循环？

我写了一个符合尾调用优化（TCO）条件的C#递归函数，但处理大输入时依然抛出StackOverflowException。代码如下：

public static int TailRecursiveSum(int n, int accumulator = 0)
{
    if (n == 0)
        return accumulator;
    return TailRecursiveSum(n - 1, accumulator + n);
}

// 示例调用：
Console.WriteLine(TailRecursiveSum(100000)); // 抛出StackOverflowException

按照尾递归的定义，编译器应该把它优化成循环或跳转，避免创建额外栈帧，但实际并没有。我通过查看生成的IL代码，确认递归调用未被优化。

问题： #

1. 为什么C#编译器（Roslyn）或JIT编译器没有把它优化成循环？这种行为在所有.NET版本中是否一致？
2. 是否存在特定场景或约束（比如参数传递、累加器使用）会阻止这个场景下的TCO？
3. 在现代.NET中有没有办法强制或促进TCO（比如通过编译器标志、运行时设置或替代模式）？

已尝试操作： #

• 读过一些关于C#尾递归的讨论，但多数内容过时或聚焦旧版.NET。
• 在.NET 6/7中测试，结果一致。
• 通过工具查看IL代码，确认递归未被优化。

问题特殊性： #

现有多数回答仅讨论C#缺乏TCO的理论原因或聚焦旧版.NET，我关注现代.NET版本，希望得到此类场景下启用TCO的实用解决方案或变通方法。

回答： #

1. 未优化的原因及版本一致性

C#的Roslyn编译器本身不会在IL层面做尾递归优化，这项工作是交给JIT编译器处理的。但.NET的JIT（无论是RyuJIT还是旧版JIT）对尾递归优化的支持非常有限：

• 仅在极特定条件下才会触发，比如必须是静态方法/实例方法的直接尾调用，不能涉及虚调用、接口调用，且方法返回值类型必须和递归调用的返回值完全匹配。
• 更关键的是，RyuJIT（从.NET Core开始使用的JIT）默认不启用尾递归优化，即使满足条件也不会主动优化。这种行为在.NET Core 1.x到最新的.NET 8中都是一致的，没有全局开启TCO的默认配置。

2. 阻止TCO的约束

你的代码本身是符合尾递归形式的，但当前.NET JIT的优化限制会导致它不被优化：

• JIT的TCO优化不是全局启用的，仅在极少数内部框架代码场景中被触发，用户代码几乎无法触发。
• 即使代码形式符合，JIT的优化器也可能因为分支复杂度、参数计算逻辑等微小因素跳过优化，比如你的代码中accumulator + n的前置计算本身不影响尾递归判定，但JIT依然不会处理。

3. 现代.NET中的解决方案或变通方法

目前没有直接强制开启TCO的编译器或运行时开关，实用的解决方法包括：

手动迭代替代

最可靠的方式是把递归改成循环，完全避免栈溢出问题：

public static int IterativeSum(int n)
{
    int accumulator = 0;
    while (n > 0)
    {
        accumulator += n;
        n--;
    }
    return accumulator;
}

手动实现尾递归蹦床（Trampoline）模式

通过把递归调用包装成委托，在循环中执行，模拟TCO效果：

public delegate T TailRecursion<T>();

public static T Trampoline<T>(TailRecursion<T> func)
{
    while (func is not null)
    {
        var result = func();
        if (result is TailRecursion<T> next)
            func = next;
        else
            return (T)Convert.ChangeType(result, typeof(T));
    }
    throw new InvalidOperationException("无效的尾递归逻辑");
}

// 使用方式：
public static TailRecursion<int> TailRecursiveSumTrampoline(int n, int accumulator = 0)
{
    if (n == 0)
        return () => accumulator;
    return () => TailRecursiveSumTrampoline(n - 1, accumulator + n);
}

// 调用示例：
// Trampoline(TailRecursiveSumTrampoline(100000))

使用F#（允许跨语言场景）

F#编译器原生支持尾递归优化，同样的逻辑在F#中会被自动编译成循环，不会栈溢出：

let rec tailRecursiveSum n accumulator =
    if n = 0 then accumulator
    else tailRecursiveSum (n-1) (accumulator + n)

// 调用：tailRecursiveSum 100000 0

内容的提问来源于stack exchange，提问作者sobinesh S