C++学习（5）——内存分配

系列文章目录

C++学习传送门

---

---

一、内存分布

C++中内存区域大致划分：
栈区：非静态局部变量/函数参数/返回值等等，栈是向下增长的。
堆区：程序运行时动态内存分配空间，堆是可以上增长的。
静态区（数据段）：全局数据和静态数据。
常量区（代码段）：可执行的代码/只读常量。

int globalVar = 1;
static int staticGlobalVar = 1;
void Test()
{
 static int staticVar = 1;
 int localVar = 1;
 int num1[10] = { 1, 2, 3, 4 };
 char char2[] = "abcd";
 const char* pChar3 = "abcd";
 int* ptr1 = (int*)malloc(sizeof(int) * 4);
 int* ptr2 = (int*)calloc(4, sizeof(int));
 int* ptr3 = (int*)realloc(ptr2, sizeof(int) * 4);
 free(ptr1);
 free(ptr3);
}

globalVar在静态区，因为它是全局变量;
staticGlobalVar在静态区，因为它由static修饰，是一个静态变量。
staticVar在静态区，因为它由static修饰
localVar在栈区，因为它是一个局部变量
num1 在栈区，因为num1是一个局部的指针变量
char2在栈区，因为它是局部指针变量
*char2在栈区，因为char2指向一块在栈区开辟的空间（char2），虽然“abcd”是常量字符串存在于常量区，但char2中的数据是该常量字符串的一份拷贝，所以*char2位于栈区。
pChar3在栈区，因为pChar3只是一个局部指针变量，存储着常量字符串的位置
*pChar3在常量区，因为*pChar3就是位于常量区的字符串
ptr1在栈区，因为它是一个局部指针变量，指向动开辟的空间
*ptr1在堆区，因为它是一块动态开辟的空间

二、内存管理

通过new、delete操作符完成C++的内存管理。

1.new、delete处理内置类型

处理内置类型时，相较C语言的malloc、free等只有使用方式的差别。

注意：申请和释放单个元素的空间，使用new和delete操作符，申请和释放连续的空间，使用new[]和delete[]
注意：new和delete要匹配起来使用.对于连续空间都加方括号，对于单个元素空间都不加方括号。

void Test()
{
	// 动态申请一个int类型的空间
	int* ptr1 = new int;

	// 动态申请一个int类型的空间并初始化为10
	int* ptr2 = new int(10);

	// 动态申请10个int类型的空间
	int* ptr3 = new int[10];

	//动态申请10个int类型的空间并初始化
	//未指定初始化的空间为0
	int* ptr4 = new int[10]{1,2,3};

	delete ptr1;
	delete ptr2;
	delete[]ptr3;
	delete[]ptr4;
}

new相较C语言中的malloc在申请空间失败时有部分区别。new在申请空间失败时会抛异常，malloc会返回NULL。
这意味着我们使用new时无需想C语言中对malloc返回值进行判空操作。，我们只需要对new进行捕获异常

int main()
{
	int* A = (int*)malloc(sizeof(int) * 1024);
	if (A == nullptr)
	{
		perror("malloc fail");
		return 0;
	}
	free(A);
	try
	{
 		while (1)
		{
			int* B = new int[1024*1024*100];
		}

	}
	catch (exception& e)
	{
		
		cout << e.what() << endl;
	}
	
	return 0;
}

运行结果：

2.new、delete处理自定义类型

C++中设置new、delete主要用于处理自定义类型。
相较C语言的动态管理，new、delete会自动调用自定义类的构造函数、析构函数。

class test
{
public:
	test(int val = 0)
		:_val(val)
	{
		cout << "构造函数" << endl;
	}

	~test()
	{
		cout << "析构函数" << endl;
	} 
private:
	int _val;
};
int main()
{
	test* p = new test(10);
	delete p;
	return 0;
}

运行结果：

3.定位new

对指针指向的空间显式调用构造函数进行创建和初始化。这也是构造函数唯一可以显式调用的地方。

使用形式如下：

class test
{
public:
	test(int val = 0)
		:_val(val)
	{
		cout << "构造函数" << endl;
	}

	~test()
	{
		cout << "析构函数" << endl;
	}

	void Show()
	{
		cout << _val << endl;
	}
private:
	int _val;
};
int main()
{
	//开辟test类型大小的空间
	test* A = (test*)malloc(sizeof(test));
	if (A == nullptr)
	{
		perror("malloc fail");
		return 0;
	}
	//定位new，在A指向的空间显式调用构造函数来创建、初始化
	new(A)test(10);
	A->Show();
	delete A;
	return 0;
}

运行结果：

三、malloc/free和new/delete的区别

malloc/free和new/delete的共同点是：都是从堆上申请空间，并且需要用户手动释放。
不同的地方是：

1. malloc和free是函数，new和delete是操作符
2. malloc申请的空间不会初始化，new可以对内置类型自动初始化
3. malloc申请空间时，需要手动计算空间大小并传递，new只需在其后跟上空间的类型即可，
   如果是多个对象，[]中指定对象个数
4. malloc的返回值为void*, 在使用时必须强转，new不需要，因为new后跟的是空间的类型
5. malloc申请空间失败时，返回的是NULL，因此使用时必须判空，new不需要，但是new需
   要捕获异常
6. 申请自定义类型对象时，malloc/free只会开辟空间，不会调用构造函数与析构函数，而new
   在申请空间后会调用构造函数完成对象的初始化，delete在释放空间前会调用析构函数完成
   空间中资源的清理