程序运行时,将内存大致分为四个区域
代码区:存放函数体的二进制代码,由操作系统进行管理的;
全局区:存放
全局变量和
静态变量以及
常量;
栈区:由编译器自动分配释放,存放函数的参数值,局部变量等;
堆区: 由程序员分配和释放,若程序员不释放,程序结束时由操作系统回收。
内存四区的意义:
不同区域存放的数据,赋予不同生命周期,使我们可以灵活编程。
程序编译后,未执行该程序前分为两个区域
代码区
存放CPU执行的机器指令;
代码区是共享的,共享的目的是对于频繁被执行的程序,只需要在内存中有一份代码即可;
代码区是只读的,使其只读的原因是防止程序意外地修改了它的指令。
全局区
全局变量和静态变量存放在此;
全局区还包含了
常量区,
字符串常量和其他常量也存放在此;
该区域的数据在程序结束后由操作系统释放。
栈区
由编译器自动分配释放,存放函数的参数值,局部变量等。
注意事项:不要返回局部变量的地址,栈区开辟的地址由编译器自动释放。
堆区
由程序员分配释放,若程序员不释放,程序结束时由操作系统回收;
在C++中主要利用new关键字开辟堆区。
这里看一个程序
#include<iostream>
using namespace std;
int* func1()
{
int a = 10; //局部变量,存放在栈区,栈区的数据在函数执行完后自动释放
return &a; //返回局部变量地址
}
int* func2()
{
int* a = new int(10); //局部变量,存放在栈区,栈区的数据在函数执行完后自动释放
return a; //返回局部变量地址
}
void test1()
{
int* p1 = test1();
cout << *p1 << endl;
cout << *p1 << endl;
}
void test2()
{
int* p2 = test2();
cout << *p2 << endl;
cout << *p2 << endl;
delete p2;
}
int main()
{
test1();
test2();
return 0;
}
这里我们发现test1()的第一个cout可以输出,第二个就是乱码了,为什么??难道不应该是两个都是乱码,因为局部变量在栈区,生命周期是test1()内部,但是这里将p2的地址返回了,所谓的释放内存,并不是把栈上对应的内存的数据清空了,而是程序失去了对栈所在内存的控制权。所以编译器在函数返回时防止用户操作错误,保留了一次,但第二次时就乱码了;而test2()是new出来的,在堆区开辟,则不存在栈区的问题。