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。
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申请空间的时候,可以显示的传值对空间进行初始化。