变量前缀和存储位置的关系.docxVIP

进程中内存空间的划分：1.???????代码区?–?存放代码/函数，只读区2.???????全局区?–?保存全局变量，读写区3.???????BSS段?–?未初始化的全局变量，BSS段在main执行前会自动清04.???????栈区?–?存局部变量，包括函数形参，栈区的内存是自动分配自动回收的5.???????堆区?–?程序员自己管理的区域，malloc/ free操作的都是堆区。6.???????只读常量区?–?存放字符串常量和const修饰的全局变量。注：只读常量区和代码区合并在一起。?上面的这种划分在很多文档中都有看到，这里我不想再一一介绍。只想说一下其中的误解和陷阱，本文讲以一下几部分展开：1）变量前缀和储存位置2）为什么要有bss段，全局变量未初始化到底放哪？3）linux察看内存分配的map文件?一，变量前缀 和 储存位置：???????这部分帮助大家回顾const, static,auto，全局，局部等变量常量的储存位置。首先看下面的一个小程序：constint i2 = 10;int * p2 = i2;*p2 = 200;printf(%d\n,i2);大家猜猜输出的结果。是不是会出现编译错误或者运行时错误？???????答案是：输出200。运行时有警告：非常指针指向常变量。再看下面的一段代码：? 1 #include stdio.h?????????????????????????????????????????????????????????? 2 intmain()? 3 {? 4???? char *a=asdaasasda;? 5???? char *p = a;? 6???? *p = z;? 7????printf(%s\n, a);? 8????return 0;?9 }运行时会提示：段保护错误。这说明局部的const常量并不是保存在常量区，而是和一般的可变常量一样，保存在栈区。只是通过编译阶段错误机制防止变量内容被改变，运行时无法保证，并且函数退出被释放。再来看static,参考文章开头给的分区机制：static变量肯定不能在栈区，因为生存周期是整个文件，所以肯定在全局变量区。而全局变量区和只读常量区就成了所有生存周期贯穿文件的变量的存放位置。那么，第二段代码中的字符串存在只读常量区，也就是说整个生存周期贯穿文件，也就是说，在函数外也可以通过指针进行访问。这是我们的猜测，那么真实的情况呢？? 1 #include stdio.h?????????????????????????????????????????????????????????? 2 char *f()?3 {? 4???? char *t = happy!;? 5???? return t;?6 }? 7 intmain()? 8 {? 9???? char *a=asdaasasda;?10???? //char *p = a;?11???? //*p = z;?12???? //printf(%s\n, a);?13????printf(%s\n,f());?14???? return 0;?15 }执行结果：happy！?这样我们可以得出结论：多种声明方式容易搞混，而其实只有生存周期和存储位置的对应关系是不变的。长周期变量：必然存在全局区和常量区，而临时变量都存在栈区。反之亦然：存在全局区的和常量区的都是长周期变量，栈区都是临时变量。隐式声明：char *str = XXXX；其实是static const的。或者可以理解在编译阶段字符串被抽取出来随文件一起保存。?二，可爱的BSS段：BSS段的全称是什么？很多人知道bss段是存储未初始化全局变量的，可是没有去想为什么系统要单独开辟一个区去存未初始化全局变量？bss区有什么特殊的地方，使得他适合去存储未初始化的全局变量？下面为大家解决这些问题：BSS（Block Started by Symbol），如果大家对汇编有所了解，肯定知道block的概念。我们在C代码中定义的变量都是按照block存的。数组名就是block首地址的symbol。一般都是这样的格式：AAA??????dw 0,1,2.....AAA后面没有冒号，在运行时如果用AAA做相对寻址，其单元大小都是dw。这就是汇编里对应数组的结构：block。BSS段中有很多数组？对还是错？其实by symbol就是告诉我们有很多数组symbol，但是后面的具体数据并不在bss中。那么这就像一张列出数组symbols的表格了。那么为什么要搞这么一张表，不能直接存数据么？你可以想象如果数组很大，怎么把这么多数据写在二进制文件中。那将会使得文件很大。最关键的是，一会我们会看到，开始分配4G内存的时候，全局变量区的大小是定死了