C++内存分区模型

C++程序在执行时，将内存分为4个区域；

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

内存四区的意义： 不同区域存放不同数据，赋予不同的生命周期，更加灵活。

• 代码区和全局区在程序运行前就有了，而栈区和堆区在程序运行后才出现。

代码区：
用来存放CPU执行的机器指令（二进制代码的区域），自己写的所有代码都通过二进制的格式存放在
特点：
代码区是共享的（比如我们运行一个exe文件，可以同时运行多次无需拷贝）
代码区是只读的（防止程序被意外得修改了其中的数据）

全局区：
用来存放全局变量、静态变量、常量（下面会讲）

写进函数体里面的变量都是局部变量存放在栈区；
写在函数体外面的变量都是全局变量存放在全局区；

一、下面我们来看看局部变量，局部变量没有存放在全局区中。

	int a = 10;
	int b = 10;
	cout << "局部变量a的地址为:" << (int)&a << endl;
	cout << "局部变量b的地址为:" << (int)&b << endl;

二、然后我们再来看看全局变量：

#include<iostream>
using namespace std;
//全局变量
int a_a = 10;
int a_b = 10;
int main()
{
	//全局区
	//全局变量、静态变量、常量

	//创建普通局部变量

	int a = 10;
	int b = 10;
	cout << "局部变量a的地址为:" << (int)&a << endl;
	cout << "局部变量b的地址为:" << (int)&b << endl;

	cout << "全局变量a_a的地址为:" << (int)&a_a << endl;
	cout << "全局变量a_b的地址为:" << (int)&a_b << endl;


	system("pause");
	return 0;
}

可以看出局部变量和全局变量相差太大不在同一个数据段里面。

三、下面再来看看静态变量：

在上面的代码下添加两个静态变量并求他们的地址：

	static int a_c = 10;
	static int a_d = 10;
	cout << "静态变量a_c的地址为:" << (int)&a_c << endl;
	cout << "静态变量a_d的地址为:" << (int)&a_d << endl;

可以看出：全局变量和静态变量是在同一个数据段的，他们都在全局区；

还有常量：
1.字符串常量：

//1.字符串常量
	cout << "字符串常量的地址为：" << (int)&"hello world" << endl;

可以看出，字符串常量也属于全局区，但可能与全局变量和静态变量位置稍稍有点距离；

2.const 修饰的全局变量：

在上面的基础上添加两个const修饰的全局变量

#include<iostream>
using namespace std;
//全局变量
int a_a = 10;
int a_b = 10;
const int b_a = 10;
const int b_b = 10;

int main()
{
	//全局区
	//全局变量、静态变量、常量

	//创建普通局部变量

	int a = 10;
	int b = 10;
	cout << "局部变量a的地址为:" << (int)&a << endl;
	cout << "局部变量b的地址为:" << (int)&b << endl;

	cout << "全局变量a_a的地址为:" << (int)&a_a << endl;
	cout << "全局变量a_b的地址为:" << (int)&a_b << endl;

	//静态变量  普通变量前面加static
	static int a_c = 10;
	static int a_d = 10;
	cout << "静态变量a_c的地址为:" << (int)&a_c << endl;
	cout << "静态变量a_d的地址为:" << (int)&a_d << endl;

	//常量
	//1.字符串常量
	cout << "字符串常量的地址为：" << (int)&"hello world" << endl;

	//2.const 修饰的去全局变量
	cout << "const修饰的全局变量b_a地址是：" << (int)&b_a << endl;
	cout << "const修饰的全局变量b_b地址是：" << (int)&b_b << endl;

	system("pause");
	return 0;
}

可看出依然在同一个数据段，只是略有差距；

3.const 修饰的局部变量：

依然在上面代码的基础上定义两个const修饰的局部变量：

#include<iostream>
using namespace std;
//全局变量
int a_a = 10;
int a_b = 10;
const int b_a = 10;
const int b_b = 10;

int main()
{
	//全局区
	//全局变量、静态变量、常量

	//创建普通局部变量

	int a = 10;
	int b = 10;
	cout << "局部变量a的地址为:" << (int)&a << endl;
	cout << "局部变量b的地址为:" << (int)&b << endl;

	cout << "全局变量a_a的地址为:" << (int)&a_a << endl;
	cout << "全局变量a_b的地址为:" << (int)&a_b << endl;

	//静态变量  普通变量前面加static
	static int a_c = 10;
	static int a_d = 10;
	cout << "静态变量a_c的地址为:" << (int)&a_c << endl;
	cout << "静态变量a_d的地址为:" << (int)&a_d << endl;

	//常量
	//1.字符串常量
	cout << "字符串常量的地址为：" << (int)&"hello world" << endl;

	//2.const 修饰的去全局变量
	cout << "const修饰的全局变量b_a地址是：" << (int)&b_a << endl;
	cout << "const修饰的全局变量b_b地址是：" << (int)&b_b << endl;

	//3.const修饰的局部变量
	const int c_a = 10;
	const int c_b = 10;
	cout << "const修饰的局部变量c_a的地址为：" << (int)&c_a <<endl;
	cout << "const修饰的局部变量c_b的地址为：" << (int)&c_b << endl;


	system("pause");
	return 0;
}

在这里我们发现了较大的差距，const修饰的局部变量的地址和普通全局变量有较大的差距。
const改变不了局部二字。

因此结论：
局部变量都不在全局区，不管有没有被const修饰（局部常量）；全局变量都在全局区，不管有没有被const修饰（全局常量）；字符串常量、静态变量都在全局区，如图：

前面两个区都在在程序运行之前就有了，程序运行起来后就有堆栈区了。

四、栈区

• 由编译器自动分配释放, 存放函数的参数值,局部变量等
• 不要返回局部变量的地址，栈区开辟的数据由编译器自动释放

示例：

#include<iostream>

using namespace std;
int* fun()
{
	int a = 10;//局部变量存放在栈区
	return &a;//返回局部变量的地址


}
int main()
{
	int* p = fun();
	cout << *p << endl;//第一次正常运行出结果
	cout << *p << endl;//出现错误

	system("pause");
	return 0;
}

所以说在函数中不能返回局部变量的地址，虽然第一次操作没问题能运行出正确的结果，但第二次就会出现错误。栈开辟的空间已由编译器自动释放。

形参、局部变量都存放在栈区。

五、堆区

由程序员分配释放,若程序员不释放,程序结束时由操作系统回收 在C++中主要利用new在堆区开辟内存

示例：

#include<iostream>
using namespace std;
int* func()
{

	//利用new关键字，可以开辟到堆区
	int* p = new int(10);//*p其实也是一个局部变量，存放在在栈上面的，但它存放的地址是指向堆上面的地址
	return p;
}
int main()
{
	int* p = func();

	cout << *p << endl;
	cout << *p << endl;
	cout << *p << endl;

	system("pause");
	return 0;
}

六、new操作符

1.上面我们知道了堆区的数据由程序员管理开辟和释放，如果想释放用关键字delete；

int* func()
{
	int* p = new int(10);
	return p;
}
void test1()
{
	int* p = func();
	cout << *p << endl;
	cout << *p << endl;

}

加入delete之后

#include<iostream>
using namespace std;
int* func()
{
	int* p = new int(10);
	return p;
}
void test1()
{
	int* p = func();
	cout << *p << endl;
	cout << *p << endl;

	delete p;
	cout << *p << endl;
}

直接提示非法

2.怎么用new在堆区开辟释放一个数组的空间呢？

void test2()
{
	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;
	}
}

结果显示0到9的十个数据。

怎么释放呢？在最后加delete []arr;释放数组一定要加数组标识符。

void test2()
{
	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;

}