operator new与operator delete函数
new和delete是用户进行动态内存申请和释放的操作符,operator new 和operator delete是系统提供的全局函数,new在底层调用operator new全局函数来申请空间,delete在底层通过operator delete全局函数来释放空间。
operator new/operator delete是什么?
operator new和operator delete就是对malloc和free的封装。我们知道malloc失败了是放回空指针和错误码。而C++处理错误的方式是抛异常,malloc处理错误的方式显然不符合C++处理错误的机制。因此C++对malloc重新封装成了operator new,使malloc申请空间失败时,处理错误的机制是抛异常。下面看看operator new的代码(operator new是系统提供的):
void *__CRTDECL operator new(size_t size) _THROW1(_STD bad_alloc)
{
void *p;
while ((p = malloc(size)) == 0)
if (_callnewh(size) == 0)
{
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);
__TRY
pHead = pHdr(pUserData);
_ASSERTE(_BLOCK_TYPE_IS_VALID(pHead->nBlockUse));
_free_dbg( pUserData, pHead->nBlockUse );
__FINALLY
_munlock(_HEAP_LOCK);
__END_TRY_FINALLY
return;
}
#define free(p) _free_dbg(p, _NORMAL_BLOCK)
因此我们在new一个对象时,本质是先调用了operator new函数去申请空间,再调用构造函数初始化对象。
delete一个对象时,本质是先调用了析构函数清理对象资源,再调用operator delete函数去销毁对象空间。
专属的operator new/operator delete
我们可以对系统的operator new/operator delete进行重载,为类提供专属的operator new/operator delete。
struct ListNode
{
ListNode* _next;
ListNode* _prev;
int _data;
void* operator new(size_t n)
{
void* p = nullptr;
p = allocator<ListNode>().allocate(1);
cout << "memory pool allocate" << endl;
return p;
}
void operator delete(void* p)
{
allocator<ListNode>().deallocate((ListNode*)p, 1);
cout << "memory pool deallocate" << endl;
}
};
|