C++~new/delete,new[]/delete[]以及C语言中的malloc/free的区别和联系，new/delete底层原理分析

C语言中内存动态管理方式

C语言对内存的管理主要用的是malloc函数和free函数。

malloc函数和free函数是C语言中对内存进行管理的两个函数

malloc函数可以从堆上获得指定字节的内存空间，free函数是释放当前指针指向的空间。

比如让指针指向一片长度为10个int的连续空间：

int* p = (int*) malloc(sizeof(int)*10);

释放空间

free(p);

---

C++中内存管理方式

在C++中，引入了new和delete两个操作符对内存来进行管理

同样的，让指针指向一片长度为10个int的连续空间：

int* p = new int[10];

释放空间

delete p;

可以看出，相比于使用malloc/free,new/delete使用起来更加简洁

当然，new/delete的优势并不止这些，我们先来看一下 new/delete的实现原理

在说其实现原理之前，我们先来看一下C++提供的两个全局函数operator new和operator delete

operator new和operator delete

        operator new 和operator delete是系统提供的全局函数，new在底层调用operator new全局函数来申请空间，delete在底层通过operator delete全局函数来释放空间。

以下是两个函数的源码：

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);
}

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;
}

通过上述两个全局函数的源码我们可以看出，

• operator new 在底层实际也是通过malloc来申请空间，如果最终申请空间失败就抛异常。
• operator delete 最终是通过free来释放空间的，注意到这里对传入的指针进行了判空，而free本身是没有判空机制的。这也就是为什么使用free的时候要先进行判空，而使用delete的时候不需要。

---

new和delete的实现原理

1.对于内置类型

如果申请的是内置类型的空间，new和malloc，delete和free基本类似，不同的地方是：

        new/delete申请和释放的是单个元素的空间，new[]和delete[]申请的是连续空间，而且new在申请空间失败时会抛异常，malloc会返回NULL。

2.对于自定义类型

new的原理

        1. 调用operator new函数申请空间

        2. 在申请的空间上执行构造函数，完成对象的构造

delete的原理

        1. 在空间上执行析构函数，完成对象中资源的清理工作

        2. 调用operator delete函数释放对象的空间

new T[N]的原理

        1. 调用operator new[]函数，在operator new[]中实际调用operator new函数完成N个对象空间的申请

        2. 在申请的空间上执行N次构造函数

delete[]的原理

        1. 在释放的对象空间上执行N次析构函数，完成N个对象中资源的清理

        2. 调用operator delete[]释放空间，实际在operator delete[]中调用operator delete来释放空间

---

总结：malloc/free和new/delete的区别

1.new/delete使用起来比malloc/free更加简洁，new申请空间的时候，只需要给出空间的类型即可，如果申请的是多个元素的连续空间，再给出元素的个数即可。而malloc需要自己计算空间的大小。

2.malloc是函数，返回值类型为void*，所以使用的时候需要显示地强制类型转换，new是操作符，后面直接跟上空间类型和对应类型元素的个数即可。

3.申请空间失败时，malloc返回的是NULL，new则是抛出异常。

4.申请自定义类型对象时，malloc/free只会开辟空间，不会调用构造函数与析构函数，而new

在申请空间后会调用构造函数完成对象的初始化，delete在释放空间前会调用析构函数完成

空间中资源的清理

5.malloc申请空间的时候，无法对空间的内容进行初始化；new申请空间的时候，可以显示的传值对空间进行初始化。