全局数组和非全局数组之间的 C++ 差异（Stackoverflow 异常）[重复]

Question

当我编写以下程序时，它可以正常工作，即 bitset 数组是在 main() 方法之外声明的。

正常工作

#include <iostream>
#include <bitset>

using namespace std;

bitset<5000> set[5000];

int main(){
    cout<<"program runs fine"<<endl;
    return 0;
}

但是当我在 main 方法中创建它时，我得到了堆栈溢出异常。谁能详细解释这里发生了什么？通常我会在递归方法中看到堆栈溢出异常。那么谁在这里使用堆栈呢？

#include <iostream>
#include <bitset>

using namespace std;


int main(){
    bitset<5000> set[5000];
    cout<<"program runs fine"<<endl;
    return 0;
}

不起作用并引发堆栈溢出异常

Answer 1

在 main 中声明它是在“自动存储”AKA 堆栈中声明它。在 main 之外声明它，就是在“静态存储”AKA 全局数据中声明它。您正在声明大量数据。std::bitset<5000> 在我的 VS2013 系统上是 632 字节（可能是 5000/8 的对齐）。而你宣布其中有 5000 个。 5000 * 632 = 3 160 000 字节，或大约 3 兆字节。 VS2013 中的默认堆栈是 1 兆字节，这就是您看到溢出的原因。

共有三种存储方式：自动、存储和动态。它们分别通俗地称为堆栈、静态（在某些情况下是全局）和堆内存：

int static_int;

int main() {
  int automatic_int;
  static int local_static_int; // also static storage!
  int * dynamic_int_ptr = new int;
}

• 在编译时/运行时混合分配自动存储。堆栈在运行时扩展为函数以保存局部变量，但这是一个已知的编译时值，因为变量的数量及其大小是众所周知的（我在这里忽略动态数组，因为它们不是-standard) 这些变量在作用域入口时构造，在作用域出口时销毁。
• 静态存储在编译时分配。该内存是预先支付的，并在程序启动时构建。程序退出时销毁。
• 动态存储在运行时分配。此内存由new 分配，并返回指向保存闪亮新数据的某个 blob 的指针。这些变量在调用new 时构造，在调用delete 时销毁。

Answer 2

因为当您将数组声明为全局时，内存分配在进程的数据段中，而当您尝试在函数中声明它时，内存分配在堆栈上。由于您分配了大量内存，因此会导致 stackoverflow 异常。

编辑：Here 很好地解释了内存分配。

Answer 3

您正在尝试在程序堆栈上创建 (5000*5000)/8 字节 - 3Megs 的数据，这会导致所报告的堆栈溢出。您的程序中没有足够的堆栈空间来执行此操作。当您将其创建为全局时，它会插入到您的程序数据段中。