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

本阶段主要针对C++面向对象编程技术做详细讲解。

1、内存分区模型

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

代码区：存放函数体的二进制代码，由操作系统进行管理的

全局区：存放全局变量和静态变量以及常量

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

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

内存四区的意义：

不同区域存放的数据，赋予不同的生命周期，给予编程最大的灵活性。

1.1 程序运行前

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

代码区：

存放CPU执行的机器指令

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

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

1.1.1 全局区

全局变量和静态变量；

全局区还包括了常量区、字符串常量和其他常量（const修饰的变量）也存放在此；

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

 验证代码如下：

#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()
{
	//全局区
	//全局变量、静态变量、常量
	
	//创建两个局部变量
	int a = 10;
	int b = 10;
	//创建两个静态变量
	static int s_a = 10;
	static int s_b = 10;
	//const修饰的局部变量
	const int c_l_a = 10;  //命名规则 g-global全局 l-local局部
	const int c_l_b = 10;

	cout << "局部变量a的地址为：" << (int)&a << endl;
	cout << "局部变量b的地址为：" << (int)&b << endl;
	cout << "全局变量g_a的地址为：" << (int)&g_a << endl;
	cout << "全局变量g_b的地址为：" << (int)&g_b << endl;
	cout << "静局变量s_a的地址为：" << (int)&s_a << endl;
	cout << "静局变量s_b的地址为：" << (int)&s_b << endl;

	cout << "字符串常量的地址为：" << (int)& "hello world" << endl;
	cout << "const修饰的全局变量c_g_a的地址为：" << (int)&c_g_a << endl;
	cout << "const修饰的全局变量c_g_b的地址为：" << (int)&c_g_b << endl;
	cout << "const修饰的局部变量c_l_a的地址为：" << (int)&c_l_a << endl;
	cout << "const修饰的局部变量c_l_b的地址为：" << (int)&c_l_b << endl;
	system("pause");
	return 0;
}

运行结果如下所示：

 如上图所示：

局部变量和const修饰的局部变量在一段内存空间中，而剩余部分在另外一段内存空间中。

故全局区的数据和不在全局区中的数据如图所示：

1.2 程序运行后 

1.2.1 栈区

示例代码如下：

#include<iostream>
using namespace std;


//栈区数据注意事项---不要返回局部变量的地址
//栈区的数据由编译器管理开辟和释放
int* func()
{
	int a = 10;  //局部变量 存放在栈区，栈区数据在函数执行完后自动释放
	return &a;  //返回局部变量地址
} 
int main()
{
	int*p = func();  //接收函数返回值

	cout << *p << endl;
	cout << *p << endl;
	system("pause");
	return 0;
}

 运行结果如下:

注：理论上：第二个输出结果不应该是10的，作者暂时还没找到原因。因为 局部变量在运行完函数体之后，就会释放空间了。第一个10是因为编译器会为了防止误操作，暂时保存一下，第二个10暂时还没找到原因。局部变量存放在栈区。

1.2.2 堆区

示例代码如下：

#include<iostream>
using namespace std;

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

int main()
{
	// 在堆区开辟空间
	int *p = func();
	cout << *p << endl;
	system("pause");
	return 0;
}

 运行结果如下：

 1.3 new关键字

#include<iostream>
using namespace std;

//1、new的基本语法
int* func()
{
	//在堆区创建整形数据
	//new返回是该数据类型的指针
	int* p = new int(10);
	return p;
}

void test01()
{
	int* p = func();
	cout << *p << endl;
	cout << *p << endl;
	cout << *p << endl;
	//堆区的数据由程序员管理开辟，释放
	//释放利用delete关键字
	delete p;
	cout << *p << endl;  //内存已经被释放
}
int main()

{
	test01();
	system("pause");
	return 0;
}

 运行结果如下：

 解释：前三个10,表示的是堆区的数据由程序员管理，由程序员自己释放。第四个输出，由于使用了delete关键字，释放了空间，因此无法再次访问。

new在栈中定义数组：

示例代码如下：

#include<iostream>
using namespace std;


//2、在堆区中利用new开辟数组
void test02()
{
	//在堆区，创建10整形数据的数组
	int *arr=new int[10];//10代表有10个数组
	for (int i = 0; i < 10; i++)
	{
		arr[i] = i + 100;
	}
	for (int i = 0; i < 10; i++)
	{
		cout << arr[i] << endl;
	}
	//释放堆区数组
	//释放数组的时候要在数组地址前面加[],不然会导致释放错误
	delete[] arr;
}
int main()

{
	test02();
	system("pause");
	return 0;
}

 运行结果如下：

注：不加delete运行结果不会发生变化，但是运行结束后不会释放堆区空间。 使用delete删除数组

delete[] arr;需要在数组名前添加中括号。