c++ - 为什么大型本地数组会使我的程序崩溃，而全局数组却不会？

Question

具有大型全局数组的程序:

int ar[2000000];

int main()
{
}

具有大型本地数组的程序:

int main()
{
    int ar[2000000];
}

当我在主函数中声明一个大尺寸数组时，程序崩溃并显示“SIGSEGV(段错误)”。

但是，当我将其声明为全局时，一切正常。这是为什么？

Answer 1

全局声明数组会导致编译器将数组空间包含在已编译二进制文件的数据部分中。在本例中，您已将二进制大小增加了 8 MB(2000000 * 每个 int 4 字节)。但是，这确实意味着内存始终可用，不需要在堆栈或堆上分配。

编辑:@Blue Moon 正确地指出未初始化数组很可能会分配在bss数据段中，并且实际上可能不占用额外的磁盘空间。 初始化的数组将被静态分配。

当您在程序中声明一个如此大的数组时，您可能已经超出了程序的堆栈大小(讽刺的是，导致了 stack overflow )。

动态分配大数组的更好方法是使用指针并在堆上分配内存，如下所示:

using namespace std;
int main() {
  int *ar;
  ar = malloc(2000000 * sizeof(int));

  if (ar != null) {
    // Do something 
    free(ar);
  }

  return 0;
}

关于 Memory Layout of C Programs can be found here 的一个很好的教程.