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

1.内存分区模型

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

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

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

1.1 程序运行前

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

代码区

• 存放CPU执行的机器指令
• 代码区是共享的，共享的目的是对于频繁的被执行的程序，只需要在内存中有一份代码即可
• 代码区是只读的，使其只读的原因是防止程序意外的修改了它的指令

全局区

• 全局变量和静态变量存放于此
• 全局区还包含了常量区，字符串常量和其他常量也存放在此
• 该区域的数据在程序结束后由操作系统释放

#include<iostream>
using namespace std;
//全局变量
int g_a = 2;
int g_b = 3;

//全局常量
const int c_g_a = 0;
int main() {
	//创建局部变量
	int a = 10;
	int b = 10;
	//(int) & a 将a的地址进行强制转换
	cout << "局部变量 a 的地址为" << (int)&a << endl;//280034548
	cout << "局部变量 b 的地址为" << (int) & b << endl;//280034580

	cout << "全局变量 g_ 的地址为" << (int)&g_a << endl;//1137823760
	cout << "全局变量 g_b 的地址为" << (int)&g_b << endl;//1137823764

	//静态变量 在普通变量前面加static
	static int s_a = 4;
	cout << "静态变量 s_a 的地址为" << (int)&s_a << endl;//

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

	//const修饰的变量
	//const修饰的有全局变量，及局部变量
	cout << "全局常量 c_g_a 的地址为" << (int)&c_g_a << endl;//
	//局部常量
	const int c_l_a = 8;
	cout << "局部常量 c_l_a 的地址为" << (int)&c_l_a << endl;//
	return 0;
		/*局部变量 a 的地址为339344180
		局部变量 b 的地址为339344212
		全局变量 g_ 的地址为 - 1020407728
		全局变量 g_b 的地址为 - 1020407724
		静态变量 s_a 的地址为 - 1020407720
		字符串常量的地址为： - 1020417056
		全局常量 c_g_a 的地址为 - 1020416920
		局部常量 c_l_a 的地址为339344244*/
}

总结：常量区中存放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;
}

堆区：

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

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

#include<iostream>
using namespace std;

int* func() {
	//利用 new 关键字，可以将数据开辟到堆区
	int* p = new int(10);
	return p;
}
int main() {
	//在堆区开辟数据
	int* p = func();
	cout << *p << endl;//10
	return 0;
}

1.3 new 操作符

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

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

语法：new 数据类型

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

示例1：new的基本语法

#include<iostream>
using namespace std;

int* func() {
	//在堆区创建整型数据
	//new返回是 该数据类型的指针
	int* p = new int(10);
	return p;
}
//1.new的基本语法
void test01() {
	int* p = func();
	cout << *p << endl;
	cout << *p << endl;
	cout << *p << endl;//输出多遍数据依然存在
	//堆区的数据 由程序员管理开辟，程序员管理释放
	//利用关键字delete 释放堆区的数据
	delete p;
	//cout << *p << endl;//引发异常
}

示例2：开辟数组

//2.在堆区利用new开辟数组
void test02() {
	//创建10整型数据的数组，在堆区
	int* arr = new int[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() {
	test01();
	test02();
	return 0;
}