new/delete(C++)

一.内存区域的划分

那问题就是：为什么要分这些区域？
答：方便管理
这里有个误区，可能认为const修饰的都在静态区，其实不一定，下面的例子就是变成了常变量，在栈上

二.C++内存管理方式

C语言中内存管理方式：malloc/realloc/calloc/free
C++内存管理方式：new/delete

1.new/delete内置类型操作

这是在堆上创建1个int大小的对象，不需要强转，如果没写个数，默认是1个

int main()
{
	int* p1 = new int;
}

这是在堆上创建10个int大小的对象

int main()
{
	int* p2 = new int[10];
}

释放空间如果是默认的就直接释放，如果是[]创建的要用[]释放

int main()
{
	int* p1 = new int;
	int* p2 = new int[10];
	delete p1;
	delete[] p2;
	return 0;
}

new也可以控制初始化

int main()
{
	int* p3 = new int(10);//new 1个int对象，初始化成10
	int* p4 = new int[10]{1,2,3,4,5};//new 10个对象，初始化成1，2，3，4，5后面全是0
	delete p3;
	delete[] p4;
	return 0;
}

2.new/delete自定义类型操作

new在创建自定义类型时，开空间+构造函数
举个创建链表例子：

#include <iostream>

using namespace std;

class ListNode
{
public:
	ListNode(int val = 0)
		:_next(nullptr)
		,_val(val)
	{}
	//创建不带哨兵位的
	ListNode* ListNodeCreate(int n)
	{
		ListNode head(-1);//哨兵位，但是是局部变量，出了域会自动销毁
		ListNode* tail = &head;
		int val = 0;
		printf("一次输入%d个节点的值:", n);
		for (int i = 0; i < n; i++)
		{
			cin >> val;
			tail->_next = new ListNode(val);
			tail = tail->_next;
		}
		return head._next;
	}
private:
	ListNode* _next;
	int _val;
};

int main()
{
	ListNode* list = ListNode().ListNodeCreate(5);
	return 0;
}

相比较C语言简洁很多，而且不用手动检查，new失败了以后会抛异常
这里演示一下：

void Func()
{
	int n = 0;
	while (1)
	{
		int* p = new int[1024 * 1024 * 100];//这里是1024字节 = 1KB 
		cout << n << "->" << p << endl;     //1024KB = 1MB
		n++;                                //也就是每次new创建400MB
	}
}

int main()
{
	Func();
	return 0;
}

malloc不会抛异常，得自己手动检查，如果创建不出来会以空指针的方式循环：

void Func()
{
	int n = 0;
	while (1)
	{
		int* p = (int*)malloc(sizeof(int) * (1024 * 1024 * 100));
		cout << n << "->" << p << endl;   
		n++;    
	}
}

当然如果想把new抛异常给捕获可以用以下代码：

int main()
{
	try
	{
		Func();
	}
	catch (const exception& e)//如果出了异常，直接捕获
	{
		cout << e.what() << endl;
	}
	return 0;
}

三.operator new 与operator delete函数

注意：C++中的new是操作符，C语言malloc是函数
  operator new 和operator delete 是系统提供的全局函数,new在底层调用operator new全局函数来申请空间，deletor在底层通过operator delete全局函数来释放空间
  用大白话来讲就是operator new是对malloc的封装，operator delete就是对free的封装
下面是底层原理，有兴趣可以看看

//operator new：该函数实际通过malloc来申请空间，当malloc申请空间成功时直接返回；
//申请空间失败，尝试执行空 间不足应对措施，如果改应对措施用户设置了，则继续申请，否则抛异常。
void *__CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{
// try to allocate size bytes
	void *p;
	while ((p = malloc(size)) == 0)
	if (_callnewh(size) == 0)
	{
// report no memory
// 如果申请内存失败了，这里会抛出bad_alloc 类型异常
	static const std::bad_alloc nomem;
	_RAISE(nomem);
	}
	return (p);
}
/*
operator delete: 该函数最终是通过free来释放空间的
*/
void operator delete(void *pUserData)
{
	_CrtMemBlockHeader * pHead;
	RTCCALLBACK(_RTC_Free_hook, (pUserData, 0));
	if (pUserData == NULL)
	return;
	_mlock(_HEAP_LOCK); /* block other threads */
	__TRY
/* get a pointer to memory block header */
	pHead = pHdr(pUserData);
/* verify block type */
	_ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));
	_free_dbg( pUserData, pHead->nBlockUse );
	__FINALLY
	_munlock(_HEAP_LOCK); /* release other threads */
	__END_TRY_FINALLY
	return;
}
/*
free的实现
*/
#define free(p) _free_dbg(p, _NORMAL_BLOCK

看以下反汇编：

#include <iostream>

using namespace std;

class A
{
public:
	A(int a = 0)
		: _a(a)
	{
		cout << "A():" << this << endl;
	}
private:
	int _a;
};

int main()
{
	A* ptr = new A;
	return 0;
}

当然除了operator new 还有operator new[ ]

operator new[ ]的底层是operator new

感觉有点乱，画个图：

举个类似的例子：
sizeof 运算符 编译时根据类型大小定义，自定义类型根据内存对齐规则计算对象大小
strlen 函数 运行时计算大小
可以用operator new创建堆

int main()
{
	int* p1 = (int*)operator new(10 * 4);
	return 0;
}

delete也是同样的道理，但是和new有一点不一样
下面代码先调析构函数还是先delete

#include <iostream>

using namespace std;

class Stack
{
public:
	Stack()
	{
		_a = (int*)malloc(sizeof(int)*10);
		_size = 0;
	}
	~Stack()
	{
		free(_a);
		_size = 0;
	}
private:
	int* _a;
	int _size;
};

int main()
{
	Stack* _stack = new Stack;
	delete _stack;
	return 0;
}

这里先说结论：先调析构函数，后调delete
原因如图：如果先delete，_a就找不到堆了

这里还有一个小点：

#include <iostream>

using namespace std;

class A
{
public:
	A()
		:_a(0)
	{}
	~A()
	{}
private:
	int _a;
};

int main()
{
	A* ptr1 = new A;
	A* ptr2 = new A[10];
	delete ptr1;
	delete[] ptr2;
	return 0;
}

通过以上代码的反汇编可以发现：明明是创建了40个字节，却开出44个字节

这个多出来的4个字节存的是数字10：

原因如下：operator new[]中面至少有个10，但operator delete[]啥都没有

也不是所有的new [ ]都会多出来4个字节记录
内置类型delete又不会调用析构函数，所以不用

如果把上述代码的析构函数删了

#include <iostream>

using namespace std;

class A
{
public:
	A()
		:_a(0)
	{}
private:
	int _a;
};

int main()
{
	A* ptr1 = new A;
	A* ptr2 = new A[10];
	delete ptr1;
	delete[] ptr2;
	return 0;
}

发现是40，是因为系统发现默认析构函数啥事没干，就不多创建4个字节

如果new的成员函数和delete不匹配会怎样：

如下述代码：

#include <iostream>

using namespace std;

class Date
{
public:
	Date()
	{
		cout << "Date()" << endl;
	}
	~Date()
	{
		cout << "~Date()" << endl;
	}
private:
	int _year;
};
int main()
{
	Date* p1 = new Date[10];
	delete p1;
	return 0;
}

会发现报错了，并且构造函数调用了10次，但析构函数调用1次就报错了

这是因为在堆上的空间不能分段释放，这里画个图：

从内存中可以看见，p1的指针前面4个字节存储的是10

四.定位new表达式（了解）

定位new表达式是在已分配的原始内存空间中调用构造函数初始化一个对象。
我认为就是把自定义类型new的过程显现出来
代码如下：仅作了解即可，如果一块空间需要显示调用构造函数，才用

class A
{
public:
	A(int a = 0)
	: _a(a)
	{
		cout << "A():" << this << endl;
	}
~A()
	{
		cout << "~A():" << this << endl;
	}
private:
	int _a;
};

int main()
{
	A* p2 = (A*)operator new(sizeof(A));
	// 内存池
	// 显示调用构造函数对一块已经有的空间初始化
	new(p2)A(10);
	p2->~A();
	operator delete(p2);
	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在释放空间前会调用析构函数完成空间中资源的清理

六.注意的几点：

在C++中，new和malloc需要头文件malloc.h,只是平时这个头文件已经被其他头文件所包含了，用的时候很少单独引入

练习一：

ClassA *pclassa = new ClassA[5];

delete pclassa;

c++语言中，类ClassA的构造函数和析构函数的执行次数分别为( )
答案是可能崩溃，原因在第三点结尾讲了

练习二：

使用 char* p = new char[100]申请一段内存，然后使用delete p释放，有什么问题？( )
答案是没问题，但最好不要用，只有调析构函数的时候才可能遇到练习一报错的问题