首页 > 代码库 > C++程序中不同变量、函数在内存中内存中的分布情况

C++程序中不同变量、函数在内存中内存中的分布情况

一、一个C++编译的程序占用的内存分为以下几个部分

1、栈区:由编译器自动分配 存放函数的参数值,局部变量的值等,操作方式类似于数据结构中的栈。

2、堆区:一般由程序员分配释放,若程序员不释放,程序结束时 可能 有系统收回。它与数据结构中的堆是两回事。分配方式类似于链表。

3、全局区(静态区):全局变量和静态变量是存储放在一块的,初始化的全局变量和静态变量在一个区域,未初始化的在相邻的另一个区域。

     程序结束后由系统释放。

4、文字常量区:常量字符串就存放在这里。程序结束后有系统自动释放。

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

 

二、堆栈的理论知识

1、申请方式

栈:有系统自动分配。例如定义局部变量int i  = 0;函数传参时使用值传递。

堆:需要程序员自己申请并指明大小。如用malloc函数和new运算符。

2、申请后的系统响应

栈:只要栈的剩余空间大于所申请的空间,系统将为程序提供内存,负责报告栈溢出异常。

堆:这个设计到系统的内存管理,操作系统有一个记录空闲内存地址的链表,然后根据系统的内存分配策略分配内存。

3、申请大小的限制 

栈:在windows下,栈是向低地址扩展的数据结构,是一块连续的内存区域。也就是说栈底和栈顶的地址和最大容量是

       系统预先规定好的。在windows下据说是栈大小是2M,如果申请的空间超过栈的剩余空间时将提示溢出。因此栈的

      空间较小。

堆:堆是向高地址扩展的数据结构,是不连续的内存区。因为系统用链表来存储空闲内存的地址的,而链表遍历的方向

       是从低地址到高地址。堆的大小受限于计算机系统中有效地虚拟内存。获得的空间比较灵活也比较大。

4、效率方面

堆:速度比较慢,容易产生碎片,不过用起来方便。在windows最快的是利用VirtualAlloc分配内存,他不在堆也不在栈中,

      而是直接在栈的地址空间中保留一块内存。使用起来速度快,灵活。

栈:速度快,不过由系统自动分配和控制。

5、存放内容方面

堆:一般是在堆的头部用一个字节放堆的大小。堆中具体内容有程序员安排。

栈:在函数调用时第一个进栈的是主函数中下一条指令(函数执行语句的下一条可执行语句)地址,然后是各个函数的参数,

       大多数C/C++编译器中,函数参数是从右往左入栈,然后是函数中的局部变量。注意:静态变量不如栈的。本次函数调

       用结束后,局部变量先出栈,然后是函数参数,最后栈顶指针指向最开始存的主函数中下一条指令地址,程序由该点继

       续运行。

 

三、实例解说

//全局初始化区
int i1 = 0;
int i2 = 0;
int i3 = 0;

//全局初始化区
static int i4 = 0;
static int i5 = 0;
static int i6 = 0;

//全局未初始化区
int i7;
int i8;
int i9;


void Creat()
{
    cout<<"Creat"<<endl;
}

void Add()
{
    cout<<"Add"<<endl;
}

void Delete()
{
    cout<<"Delete"<<endl;
}

int Max(int a,int b)//在调用此函数时参数从右往左开始压栈
{
    return a>b?a:b;
}

int _tmain(int argc, _TCHAR* argv[])
{   
    cout<<"打印全局初始化区变量i1-i3的地址:"<<endl;
    cout<<&i1<<" "<<&i2<<" "<<&i3<<endl;

    cout<<"打印全局初始化区静态变量i4-i6的地址:"<<endl;
    cout<<&i4<<" "<<&i5<<" "<<&i6<<endl;

    cout<<"打印全局未初始化区变量i7-i9的地址:"<<endl;
    cout<<&i7<<" "<<&i8<<" "<<&i9<<endl;

    cout<<"依次打印上面三个函数Creat、Add、Delete地址:"<<endl;
    cout<<&Creat<<endl;
    cout<<&Add<<endl;
    cout<<&Delete<<endl;

    //栈区
    int c1 = ‘a‘;
    int c2 = ‘b‘;
    int c3;
    int c4;

    cout<<"打印主函数内局部变量c1-c4地址,其中c3,c4未初始化"<<endl;
    cout<<&c1<<"  "<<&c2<<"  "<<&c3<<"  "<<&c4<<"  "<<endl;

    char *pStr1 = "12345";//12345在常量区,pStr在栈上
    char *pStr2 = "1122";

    void *p = pStr1;
    void *q = pStr2;
    cout<<"打印常量地址"<<endl;
    cout<<p<<endl;
    cout<<q<<endl;

    static int i10 = 0;//全局(静态)初始化区
    cout<<"在局部函数中定义静态变量地址,请于上面答应的其他全局区地址作比较"<<endl;
    cout<<&i10<<endl;

    int *p1 = new int;//堆区
    int *p2 = new int;//堆区
    cout<<"打印堆区地址"<<endl;
    cout<<p1<<endl;
    cout<<p2<<endl;

    strcpy(pStr1,"1144");//12345在常量区,编译器可能将pStr1文字常量1144优化成一个地方
   

    getchar();
    return 0;
}

输出:

image

以上结果在VS2008中测试。对上面结果地址观察发现,全局未初始化区的变量是按从高到低地址按申明定义的

顺序压栈,变量i7紧邻全局初始化段的第一个变量i1.而全局初始化段的变量(包括静态,不做区分的)从低地址

到高地址按申明的顺序压栈(不是指上面所指的栈区,请区别开来,这是就地址变化过程而言的,你会看到它与

局部函数变量起始地址完全不同)。函数在程序代码段中地址是按申明顺序递增的。函数局部变量在栈去是按照

申明顺序从高到低的地址进栈的。这里看到我定义的几个int变量地址相差是12个字节还不清楚是不是编译器原因。

常量的开始地址来看跟全局变量应该属于一个区。堆区的地址开头也是另外一个段。

补充一点:数组变量内部元素是按照元素下标从低地址到高地址压栈的。

一般局部变量一般是从高低地址到低地址压栈的。

从上面结果来看全局变量实际可能在堆区。

 

以上内容主要参考http://blog.csdn.net/benny5609/article/details/2217258原创文章

C++程序中不同变量、函数在内存中内存中的分布情况