在 .NET 中的 CLR 上下文中，堆栈空间是如何分配的

Question

在 .NET 中的 CLR 上下文中，堆栈空间是如何分配的以及它通常受到什么限制？

例如：

任何给定的线程都可以继续添加到堆栈中，直到内存耗尽吗？如果不; CLR 如何决定分配多少空间以及它可以改变主意吗？

PS：为了提供一些背景信息，这一切都是从关于如何构建计算斐波那契数列的方法的讨论开始的，其中一个建议是递归函数。

Answer 1

每个线程一创建，CLR 就会立即为每个线程提交完整的堆栈空间。默认堆栈大小为 1MB。如果将堆栈推入超过该大小，则会发生堆栈溢出并引发错误。

CLR 采用与本机代码不同的策略，本机代码仅保留 1MB，但按需提交。

这些是实施细节。最好简单地将堆栈视为固定大小的数据结构。此视图适合 .net 和本机堆栈实现。

递归函数绝对是计算斐波那契最差的方法，因为它的复杂性是指数级的。相反，您应该使用时间线性且空间恒定的迭代算法。例如：

static int fib(int n)
{
    int result = 0;
    int a = 1;
    for (int i=1; i<=n; i++)
    {
        int temp = result;
        result = a;
        a = temp + a;
    }
    return result;
}

当然，实际上，在堆栈溢出之前很久，您就会溢出结果变量。但对于 n 的值在 30-40 范围内，递归算法的性能是站不住脚的。

另一种明智的方法是用预先计算的值填充静态数组。同样，由于值增长得如此之快，因此您不需要一个非常大的数组来包含适合 int 甚至 long 的所有值。