C++核心编程——1 内存分区模型

C++程序在执行时，将内存大方向划分为4个区域

• **代码区：**存放函数体的二进制代码，由操作系统进行管理
• **全局区：**存放全局变量和静态变量以及常量
• **栈区：**由编译器自动分配释放，存放函数的参数值，局部变量等
• **堆区：**由程序员分配和释放，若程序员不释放，程序结束时由操作系统回收

​ 内存四区存在的意义：

​ 不同区域存放的数据，赋予不同的生命周期，给我们更大的灵活编程

1.1 程序运行前

​ 在程序编译后生成了exe可执行程序，未执行该程序前分为两个区域：

​ 代码区：

​ 存放CPU执行的机器指令

​ 代码区是共享的，共享的目的是对于频繁被执行的程序，只需要在内存中有一份代码即可

​ 代码区是只读的，使其只读的原因是防止程序异外修改了它的指令

​ 全局区：

​ 全局变量和静态变量存放在此

​ 全局区还包含了常量区，字符串常量和其他常量也存放在此

​ 该区域的数据在程序结束后由操作系统释放

#include <iostream>
using namespace std;

int p_a = 100;
int p_b = 200;
const int c_p_a = 10;

//主函数
int main()
{
	static int s_a = 1000;
	static int s_b = 2000;
	int a = 10;
	int b = 20;
	const int c_a = 10;
	cout << "局部变量a的地址：" << (int) & a << endl;
	cout << "局部变量b的地址：" << (int) & b << endl;
	cout << "全局变量p_a的地址：" << (int) & p_a << endl;
	cout << "全局变量p_b的地址：" << (int) & p_b << endl;
	cout << "静态变量s_a的地址：" << (int)&s_a << endl;
	cout << "静态变量s_b的地址：" << (int)&s_b << endl;
	cout << "字符串常量‘helloworld’的地址为：" << (int)&"helloworld" << endl;
	cout << "const修饰的全局变量(全局常量)c_p_a的地址为：" << (int)&c_p_a << endl;
	cout << "const修饰的局部变量(局部常量)c_a的地址为：" << (int)&c_a << endl;
	return 0;
}

​ 总结：

• C++中在程序运行期前分为全局区和代码区
• 代码区特点是共享和只读
• 全局区中存放全局变量、静态变量、常量
• 常量区中存放const修饰的全局变量和字符串常量

1.2 程序运行后

​ 栈区：

​ 由编译器自动分配释放，存放函数的参数值，局部变量等

​ **注意事项：**不要返回局部变量的地址，栈区开辟的数据由编译器自动释放

#include <iostream>
using namespace std;

int* func()
{
	int a = 10;//局部变量 存放在栈区，栈区的数据在函数执行完后自动释放
	return &a;//返回局部变量的地址
}
//主函数
int main()
{
	int* p = func();
	cout << *p << endl;//第一次可以打印正确的数字，是因为编译器做了保留
	cout << *p << endl;//第二次这个数据就不再保留
	return 0;
}
//注意：一般项目运行在x86上，注意此时的x86和x64区别

​ 堆区：

​ 由程序员分配释放，若程序员不释放，程序结束时由操作系统回收

​ 在C++中主要利用new在堆区中开辟内存

int* func()
{
	//利用new关键字，可以将数据开辟至堆区
	//指针本质也是局部变量，放在栈上，指针保存的数据放在堆中
	int* p = new int(10);
	return p;
}
//主函数
int main()
{
	int* a = func();
	cout << * a << endl;
	cout << * a << endl;
	return 0;
}

1.3 new操作符

​ C++中利用new操作符在堆区开辟数据

​ 堆区开辟的数据，由程序员手动开辟，手动释放，释放利用操作符delete

​ 语法：new 数据类型

​ 利用new创建的数据，会返回该数据对应的类型的指针

int* func()
{
	//在堆中创建整型数据
	//new返回的是该数据类型的指针
	int* p = new int(10);
	return p;
}
//利用new在堆区开辟数组
void test01()
{
	int* arr = new int[10];
	for (int i = 0; i < 10; ++i)
	{
		arr[i] = i;
	}
	for (int i = 0; i < 10; ++i)
	{
		cout << arr[i] << endl;
	}
	delete[] arr;//释放数组时，delete后应加[]
}
//主函数
int main()
{
	int* a = func();
	cout << *a << endl;
	cout << *a << endl;
	test01();
	//delete释放内存
	delete a;
	//cout << *a << endl;//内存以释放，非法操作
	return 0;
}