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

#include <stdio.h>
const int a = 10; //全局常量a
int main(void) {
　　const int b = 20; //局部常量b
　　int* 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 <stdio.h>
#include <stdlib.h>
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=%p\n", &i5);
    printf("&i6=%p\n", &i6);
    printf("&i7=%p\n", &i7);
    printf("&i8=%p\n", &i8);
    printf("str1=%p\n", str1);
    printf("str2=%p\n", str2);
    printf("pi=%p\n", pi);
    free(pi);
}

int main(void)
{
    printf("&i1=%p\n", &i1);
    printf("&i2=%p\n", &i2);
    printf("&i3=%p\n", &i3);
    printf("&i4=%p\n", &i4);
    fun(50);
    return 0;
}

 

(gcc编译)程序输出:

 

至此,从地址大小比较可以看出

1)静态(static)全局变量 和 静态(static)局部变量 都在 静态全局区.

2)全局常量i4保存在代码区,而局部常量i8保存在栈区.

所以最上面的问题是,代码区只读,修改全局常量会引发运行时段错误,而局部常量是可以成功赋值修改的.

3)字符串字面值在代码区(所以不可修改),但是字符指针str1在栈区;字符数组str2在栈区(所以可以修改).

 

最后要说,上述是Linux下的虚拟内存布局顺序,Windows下会有所不同.但是对于C程序中数据应该存储在哪里都是一致的.

 

本文相关参考: 剖析程序的内存布局 (建议阅读)