C程序(进程)的内存布局.doc

C程序(进程)的内存布局#include const int a = 10; /全局常量aint main(void) const int b = 20; /局部常量bint* pa = (int*)&a;int* pb = (int*)&b;*pa = 30; /可以吗?能成功赋值吗?*pb = 30; /可以吗?能成功赋值吗?return 0;作为编程新手的我,有时候写程序难免会有种迷糊的感觉,虽然写着代码,但总觉得哪里不自在不通透.像上面的代码,我第一次看到的时候根本没有自信回答出来,我觉着应该有不少编程新人和我一样吧o 先从(Linux平台下)虚拟内存管理说起,写C程序时,我们经常会打印一个指针地址,说这个指针指向某某内存地址.可这些地址是真实物理内存地址吗?不是!这些只是虚拟内存地址.当一个C程序调入内存开始执行后,在内存中就会产生一个进程.而在多任务操作系统中每个进程都拥有一片属于自己的内存空间(内存沙盘),这个沙盘就是虚拟地址空间,在32位下是一个4GB的大小的地址块,这些虚拟地址通过页表映射到物理内存.但系统并不会真的一下分配给每一个进程4GB的物理内存空间的映射= =(不现实啊),这4GB只能是说逻辑地址,它会随着进程的真实需要自动扩展映射到物理内存空间,最大到4GB.4GB(地址0-0xFFFFFFFF)其中1GB必须保留给系统内核(这是Linux平台下),也就是说进程自身只能拥有3GB的地址(0-0xC0000000),如图我自己画的= =:代码区:程序(函数)代码所在,由编译而得到的二进制代码被载入至此.代码区是只读的!有执行权限.代码区一般都从0x08048000地址开始(linux下).值得注意的是,字符串字面值(如Hello World)就存储在这个区.数据段和BSS段:合称静态区(全局区),用来存储静态(全局)变量.区别是 前者(数据段)存储的是已初始化的静态(全局)变量,可读写. 后者(BSS段)存储的是未初始化的静态(全局)变量,可读写.堆:自由存储区.不像全局变量和局部变量的生命周期被严格定义,堆区的内存分配和释放是由程序员所控制的.申请方式:C中是malloc函数,C+中是new标识符.栈:由系统自动分配和释放.存储局部(自动)变量. 一般说的堆栈,其实是指 栈!另外,值得注意的是,堆是由低地址向高地址分配空间;栈却是由高地址向低地址分配空间.下面这段代码进一步说明C程序中各数据的内存布局:#include #include int i1 = 10; /静态全局区(data段)int i2; /静态全局区(bss段)static int i3 = 30; /静态全局区(data段)const int i4 = 40; /代码区!void fun(int i5) /栈区 int i6 = 60; /栈区 static int i7 = 70; /静态全局区(data段) const int i8 = 80; /栈区! char* str1 = ABCDE; /代码区(字符串常量) char str2 = ABCDE; /栈区(字符数组) int* pi = malloc(sizeof(int); /堆区 printf(&i5=%pn, &i5); printf(&i6=%pn, &i6); printf(&i7=%pn, &i7); printf(&i8=%pn, &i8); printf(str1=%pn, str1); printf(str2=%pn, str2); printf(pi=%pn, pi); free(pi);int main(void) printf(&i1=%pn, &i1); printf(&i2=%pn, &i2); printf(&i3=%pn, &i3); printf(&i4=%pn, &i4); fun(50); return 0; (gcc编译)程序输出: 至此,从地址大小比较可以看出1)静态(static)全局变量 和 静态(static)局部变量 都在 静态全局区.2)全局常量i4保存在代码区,而局部常量i8保存在栈区.所以最上面的问题是,代码区只读,修改全局常量会引发运行时段错误,而局部常量是可以成功赋值修改的.3)字符串字面值在代码区(所以不可修改),但是字