当引发异常时返回堆栈跟踪时，C# 尾递归优化如何实现

Question

我看到一些关于 C# 中缺少尾部调用优化的问题，据说这使得该语言不适合递归算法实现。然而，这引出了一个问题，我们如何进行尾部调用优化，并在引发异常或可以使用反射来检查调用堆栈并对其采取行动时仍然提供合理的堆栈跟踪。

Answer 1

好吧，只有当您希望获得准确的堆栈跟踪时才重要:)

尾部调用优化并不是唯一可以破坏堆栈跟踪的东西 - 最简单的例子是内联，这肯定会影响事物。基本上，任何依赖于堆栈跟踪准确的事情都会冒一些风险。

这是一个非常简单的例子来说明这个问题：

using System;
using System.Runtime.CompilerServices;

class Program
{
    static void Main(string[] args)
    {
        try
        {
            Call1();
        }
        catch (Exception e)
        {
            Console.WriteLine(e.StackTrace);
        }
    }

    static void Call1()
    {
        Call2();
    }

    static void Call2()
    {
        Call3();
    }

    [MethodImpl(MethodImplOptions.NoInlining)]
    static void Call3()
    {
        Call4();
    }

    static void Call4()
    {
        Call5();
    }

    static void Call5()
    {
        throw new Exception();
    }
}

在没有调试器的情况下构建和运行，你可能会得到这样的结果：

at Program.Call3()
at Program.Main(String[] args)

基本上，要小心你对堆栈跟踪的处理。