C语言 全局变量和局部变量的大小限制(关于堆栈的划定)

下午做最长公共子序列的时候遇到的问题，问了felix后恍然大悟...看代码

#include
int main(){
int a[1000000];//局部变量
return 0;
}

编译运行后发现溢出错误。

#include
int a[1000000];//全局变量
int main(){
return 0;
}

编译运行后正常。

在解释原因前我们先看一下一个由C/C++编译的程序占用的内存分为几个部分：

1、栈区(stack sagment)：由编译器自动分配释放，存放函数的参数的值，局部变量的值等。在Windows下，栈是向低地址扩展的数据结构，是一块连续的内存的区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的，在WINDOWS下，栈的大小是2M(也有的是1M，总之是一个编译时就确定的常数)，如果申请的空间超过栈的剩余空间时，将提示overflow。因此，能从栈获得的空间较小。

2、堆区(heap sagment) ： 一般由程序员分配释放，若程序员不释放，程序结束时可能由系统回收 。它与数据结构中的堆是两回事。堆是向高地址扩展的数据结构，是不连续的内存区域。这是由于系统是用链表来存储的空闲内存地址的，自然是不连续的，而链表的遍历方向是由低地址向高地址。堆的大小受限于计算机系统中有效的虚拟内存。由此可见，堆获得的空间比较灵活，也比较大。

3、全局区(静态区)(data sagment)：全局变量和静态变量的存储区域是在一起的，程序结束后由系统释放。数据区的大小由系统限定，一般很大。

4、文字常量区：常量字符串就是放在这里的， 程序结束后由系统释放。

5、程序代码区：存放函数体的二进制代码。

综上所述，局部变量空间是很小的，我们开一个a[1000000]就会导致栈溢出；而全局变量空间在Win 32bit 下可以达到4GB，因此不会溢出。