C++|程序内存管理

内存分区模型

首先说明内存分区的意义，不同的区域存放的数据，赋予不同的生命周期，给编程以更大的灵活性。C++程序在执行时，将内存大致划分为4个区域：代码区、全局区、堆区和栈区。

程序运行前

在程序编译后，生成了.exe可执行程序，未执行该程序之前，分为两个区域即代码区和全局区。

代码区

代码区用来存放CPU执行的二进制机器指令，具有共享和只读两个特点。即：
**共享：**对于频繁执行的程序，只需在内存中存储一份代码即可，也就是说有些程序需要多次执行，而每次执行的应为同一份代码，而不是每次执行的都是新的一份。
**只读：**防止程序意外地修改了它的指令。

全局区

全局区存放全局变量、静态变量和常量。下对此进行验证，并对此结论进行细化：

#include <iostream>
using namespace std;
//全局变量：在所有函数外部定义的变量，作用域默认是整个程序
int i_num1 = 0;
//全局静态变量
static double d_num2 = 0;
//全局常量：const修饰的全局变量，不可作为左值
const int i_num5 = 0;
//全局字符串常量
const string str1 = "HelloWorld";
int main()
{
	//局部静态变量
	static double d_num3 = 0;
	//局部常量：const修饰的局部变量，不可作为左值
	const int i_num4 = 0;
	//局部字符串常量
	const string str2 = "HelloWorld";
	//局部变量
	int i_num6 = 0;
	cout << "全局变量i_num1的地址为" << &i_num1 << endl;
	cout << "全局静态变量d_num2的地址为" << &d_num2 << endl;
	cout << "局部静态变量d_num3的地址为" << &d_num3 << endl;
	cout << "局部常量i_num4的地址为" << &i_num4 << endl;
	cout << "全局常量i_num5的地址为" << &i_num5 << endl;
	cout << "全局字符串常量str1的地址为" << &str1 << endl;
	cout << "局部字符串常量str2的地址为" << &str2 << endl;
	cout << "局部变量i_num6的地址为" << &i_num6 << endl;
}

运行结果：

小结：由查看上述变量和常量的地址，可以推断出：
全局区大概位置在0029xxxx，储存的有：全局变量、全局静态变量、局部静态变量、全局常量、全局字符串常量；而局部常量、局部字符串常量、局部变量储存在另一区域大概位置为0039xxxx，实际上此类数据储存在栈区，由编译器自动分配释放。

程序运行后

程序运行后内存会划分出堆区和栈区。

栈区

按照上述方法，对栈区存放的数据函数的参数和局部变量做一个验证：

void vAddressTest(int i_num7)
{
	cout << "函数形参i_num7的地址为" << &i_num7 << endl;
}
int main()
{
	//局部常量：const修饰的局部变量，不可作为左值
	const int i_num4 = 0;
	//局部字符串常量
	const string str2 = "HelloWorld";
	//局部变量
	int i_num6 = 0;
	cout << "局部常量i_num4的地址为" << &i_num4 << endl;
	cout << "局部字符串常量str2的地址为" << &str2 << endl;
	cout << "局部变量i_num6的地址为" << &i_num6 << endl;
	vAddressTest(i_num6);
}

运行结果为：

小结：函数的形参和局部变量存放在栈区。
注意事项：不要return局部变量的地址。
下面对此注意事项进行解释：

int* iAddressTest()
{
	//局部变量:存放在栈区，栈区在程序执行之后自动释放
	int i_num8 = 0;
	return &i_num8;
}
int main()
{
	//接收函数的返回值
	int* p = iAddressTest();
	//尝试获取此地址的存储值
	cout << "获取的值为" << &p << endl;
}

运行结果为：

由此可知，获取到的值并非此地址的存储值0，因为此处的存放在栈区的内存已经被释放。

堆区

堆区存放的数据主要是利用new在堆区开辟内存的数据，下面利用关键字new在堆区开辟内存并用关键字delete释放。
注：指针本质是局部变量，存放在栈区，指针所指地址的存储值存放在栈区。

#include <iostream>
using namespace std;
int* iAddressTest()
{
	//利用new关键字，可以将数据开辟到堆区
	//new返回的是该数据类型的指针，此处定义一个指针接收内存地址
	int* p2 = new int(10);
	return p2;
}
void vNewTest()
{
	//定义一个指针变量存放返回的指针变量的地址
	int* p1 = iAddressTest();
	//输出返回的指针指向地址的存储值
	cout << *p1 << endl;
	cout << *p1 << endl;
	cout << *p1 << endl;
	cout << *p1 << endl;
	cout << "可重复输出说明堆区数据由程序员手动释放" << endl;
	//利用关键字delete释放堆区数据
	delete p1;
}
int main()
{
	vNewTest();
}

若在delete后面再输出*p1，则会引发异常。

小结：new开辟的数据可通过利用关键字delete释放。

总结

代码区： 存放函数体的二进制代码，由操作系统进行管理。
全局区： 存放全局变量、静态变量和常量。
栈区： 由编译器自动分配释放，存放函数的参数值，局部变量等。
堆区： 由程序员分配和释放，若程序员不释放，程序结束会由操作系统回收。
对于全局区和栈区存放数据的类型容斥关系利用下图加以解释：

参考资料

黑马程序员
《C++ Primer Plus》(第六版)