上周的CCF/CSP认证成绩出来了,第四题用粗暴的Dijkstra的思想强行遍历,原本估计能拿个60分,结果爆0分,耿耿于怀。ios
我考试用的是C++。程序员
#include
using namespace std;
int main()
{
int dis[8000][8000];
//代码
}
没记错的话,当时是由于像上面代码同样在main函数里面开了个8000*8000的数组(这道题用Vector来模拟链表确实是很省空间的作法,但既然用了O(n^2)的算法,就不期望能过60分之后的数据了,还有,这篇文章的重心不在怎么解题,因此我就不放题目了),结果DEV-CPP编译每次都报溢出,我就想着估计是DEV-CPP的问题吧,毕竟我平时用的都是CodeBlocks。当时还仔细算了下:算法
8000*8000*4/1024/1024≈244 MB.数组
8192*8192*4/1024/1024≈256 MB.编辑器
题目给了256MB的内存,能开8192*8192的数组,只开8000*8000怎么样都不该该爆空间吧。因而开着100*100的小数组,将各类可能的样例测试经过后,我就提交了代码,提交前刻意把100*100的改回8000*8000,想尽量地蹭分。函数
结果——这道题0分了。测试
我不服,因而我用CodeBlocks将代码从新敲了一遍……呐,结果以下,看来不是代码编辑器配置的问题了。spa
再以后,改为1000*1000也会溢出。不科学啊?我之前刷过一些OJ,也开过百万级别的数组并且没有报错过啊!我马上查了几道曾经在hduoj上提交的题目的代码,数组都是这么开的:操作系统
#include
using namespace std;
int dis[8000][8000];
int main()
{
//代码
}
区别很明显,开成全局数组。改了从新码了一遍的代码,编译一下,果真经过了。提交了代码,也果真是我预计的60分(别说我没追求),空间使用也在估计的范围左右……code
△因此,发生了啥?为啥数组做为全局变量空间能够开那么大,做为main函数里面的局部变量却只能开那么小?
这就涉及到了C语言的内存分配问题,上课的时候都据说过,C语言占用的内存能够分为5个区:
①代码区(Text Segment):不难理解,就是用于放置编译事后的代码的二进制机器码。
②堆区(Heap):用于动态内存分配。通常由程序员分配和释放,若程序员不释放,结束程序时有可能由操做系统回收。(其实就是malloc()函数可以掌控的内存区域)
③栈区(Stack):由编译器自动分配和释放,通常用来存放局部变量、函数参数(敲黑板划重点了!)。
④全局初始化数据区/静态数据区(Data Segment):顾名思义,就是存放全局变量和静态变量的地方。这个区域被整个进程共享。
⑤未初始化数据区(BSS):在运行时改变值。改变值(初始化)的时候,会根据它是全局变量仍是局部变量,进到他们该去的区。不然会持续待在BSS里面与世无争。(待会儿会用实验来证实并感觉它的存在。)
代码区和堆区不赘述,不在我关注的范围内。貌似空间大小取决于内存的大小和CPU的寻址空间。
我今天只讲一讲Stack和Data Segment这两个致使我爆0分的玩意儿。
在Windows下,Data Segment的所容许的空间大小取决于剩余内存的大小,也就是说,若是电脑剩余8G内存的话,int类型的二维数组甚至能够开到46340*46340的大小;
而Stack的空间只有2M!!也就是2*1024*1024=2097152字节,局部变量空间顶多放得下下524288个int类型!
行吧,知道上述几个关键后,一开始的问题就不是问题了。但我想在局部中开一个大数组怎么办?很简单,将它归到Data Segment中:
#include
using namespace std;
int main()
{
static int dis[8000][8000];
//代码
}
因为静态变量和全局变量同样,都是存在Data Segment中的,因此这么作,至关于把大数组开在了Data Segment中,不会由于堆栈溢出2M空间而报错了。(这样作的话,须要注意局部函数的初始化)。
△深刻:BSS区的存在!
其实,文章原本在这里就要结束了,可是我闲着蛋疼,手动二分,强行找到了Stack区所能开的int数组的大小(真实状况下不多是2M恰好),而后发现了神奇的一幕(后来才知道BSS区的存在),因而干脆就写出来了:
#include
using namespace std;
int main()
{
int dis[520072]; //520072
}
520072是我手动二分获得的结果,若是开520073的话会堆栈溢出(不一样电脑不知道一不同)。
520073*4/1024/1024≈1.984MB(接近2MB,没毛病)
然而,神奇的一幕出现了:
#include
using namespace std;
int main()
{
int dis[520072];//520072
int a1;int a2;int a3;int a4;int a5;int a6;int a7;int a8;int a9;
int b1;int b2;int b3;int b4;int b5;int b6;int b7;int b8;int b9;
}
理论上,我开第520073个整型出来的时候,编译器应该报堆栈溢出的错误才对,然而并无!然而并无!
这就涉及到了我刚才提到的未初始化数据区(BSS)的存在了——在运行时改变值。改变值(初始化)的时候,会根据它是全局变量仍是局部变量,进到他们该去的区。不然会持续待在BSS里面与世无争。
在给未初始化的变量赋值以前,它们始终待在BSS区,因此Stack区并不会溢出。而在局部定义数组的时候,数组会自动初始化为全0,因此数组在刚被定义的时候就塞进Stack区了,才会出现int dis[520073]直接报堆栈溢出的问题。
证实上述说法的代码以下:
#include
using namespace std;
int main()
{
int dis[520072];//520072
int a=10;
}这段代码在运行时会堆栈溢出。
#include
using namespace std;
int main()
{
int dis[520072];//520072
int a;
while(1){}
a=10;
}这段代码会正常进入循环中,始终不会报堆栈溢出。
行了,就说这么多了,祭奠我可怜的0分题。实在好奇什么题的话……算了,贴个题目罢……