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;
}

输出：

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

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

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

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

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

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

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

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

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

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