一、内存分区模型
C++在程序执行时,将内存大方向分为四个区域
- 代码区:存放函数体的二进制代码,由操作系统进行管理。
- 全局区:存放全局变量和静态变量以及常量
- 栈 区:由编译器自动分配释放,存放函数的参数值、局部变量等
- 堆 区:由程序员分配和释放,若程序员不释放,程序结束时由操作系统回收
内存四区存在的意义:赋予不同的生命周期,给我们更大的灵活编程
二、代码区
代码区顾名思义是用来存放代码的,在程序编译阶段(未执行exe程序)会出现,用来存放我们写代码
注意:代码区是只读的,原因是方式程序意外修改了他的指令,就像我们平时打开一个word文档时,你如果去删除,他就会显示删除失败,该程序正在运行中,无法删除。
三、全局区
我们的全局变量和静态变量存放在此
全局区还包括常量区,字符串常量和其他常量也存放在此
特点:该区域的数据在程序结束后有操作系统释放
#include<iostream> using namespace std; //全局变量 int g_a = 10; int g_b = 10; //const修饰的全局变量 const int c_g_a = 10; const int c_g_b = 10; int main() { cout << "全局变量的g_a的地址: " << &g_a << endl; cout << "全局变量的g_b的地址: " << &g_b << endl; cout << endl; //静态变量 static int s_l_a = 10; static int s_l_b = 10; cout << "静态变量的s_l_a的地址: " << &s_l_a << endl; cout << "静态变量的s_l_b的地址: " << &s_l_b << endl; cout << endl; //字符串常量 cout << "字符串常量的地址为: " <<hex<< &"hello world" << endl; cout << endl; cout << "全局常量 c_g_a的地址为:" << &c_g_a << endl; cout << "全局常量 c_g_b的地址为:" << &c_g_b << endl; cout << endl; //局部常量 const int c_l_a = 10; const int c_l_b = 10; cout << "局部常量 c_l_a的地址: " << &c_l_a << endl; cout << "局部常量 c_l_b的地址: " << &c_l_b << endl; //局部变量 int a = 10; int b = 10; cout << "局部变量 a 的地址:" << &a << endl; cout << "局部变量 b 的地址:" << &b << endl; return 0; }
运行结果:
总结:
- 全局变量都放在全局区
- 静态变量(包括全局静态变量和局部静态变量)都存放在全局区 static修饰后,都放在全局区
- 字符串常量和const修饰的全局变量(全局常量)存放再全局区 const修饰后,无影响,原来存放在哪还是哪
三、栈区
由编译器自动分配释放,存放函数的参数值,局部变量
注意:不要释放局部变量的地址,栈区开辟的数据有编译器自动释
原因:因为如果函数你要返回一个地址,可能用的就是指针接收,后期通过指针去修改返回地址的值,但是因为函数一旦执行结束,在栈区开辟的地址就被释放了,那指针接收的那个地址就没有意义了!!!
例子:
#include<iostream> using namespace std; int* test1() { int a = 10; return &a; } int main() { int* p = test1(); cout << *p << endl; return 0; }
上述代码编译阶段不会报错,但是运行就会出错。
我们比较常用的一种方法就是函数返回一个值,这时候只需要在找一个对应的变量去接收这个函数的返回值就行(相当于赋初值的操作),上面的操作和函数已经无关了,所以函数所占用的内存就算被释放了,也不会后面的程序有影响
四、堆区
由程序员分配释放,若程序员不释放时,程序结束时有操作系统回收
例子:
#include<iostream> using namespace std; int* test1() { int *p = new int(10); return p; } int main() { int* p = test1(); cout << *p << endl; //释放堆区的地址 delete p; int a = 20; p = &a; cout << *p << endl; return 0; }
运行结果:
上面代码中的函数就在堆区申请了就一块内存(这块内存有自己的地址,内存里面存放的是10).
new int(10) 这个语句返回的是在堆区中申请的地址,上面我用了一个指针进行了接受(这个指针是局部变量,存放在栈区,在函数执行结束后,这个指针占用地址会被释放)。这个函数的返回值就是一个地址(注意这个地址是在堆区申请的,函数运行结束不会被释放)。在主函数中,我用了一个指针来接收这个地址,那这样一来,我就可以通过主函数中的
*p指针来操控这个在堆区申请的内存。
堆区内存的释放:
通过delete p; 这个代码,我们就能把指针指向的地址进行释放(堆区的地址),注意,这里释放的意思是断开了指针和这块内存空间的联系,无法再通过指针来操控这块内存空间,而且这段内存空间被回收了(回收的意思不是这段内存空间清零了,而是给这段内存空间一个未使用的表记,这涉及内存空间释放的本质,这里不做展开说明),我们的指针是在栈区存放的,main函数执行结束,指针自身的地址才会被释放掉。
我们执行完 delete p; 后 ,用赋给了指针p一个新的地址(在堆区申请的),这时候继续可以使用指针来操控这个局部变量
足以证明,我们的delete p; 释放的是指针指向的地址,而不是指针自身的地址!!!