new操作符内部原理(二) 及 delete和free

前面我们说了new在分配空间的一些细节，这里作一些补充。其实我们在调用new时，在他的地层重载运算符里面是这样实现的：

void *p;
while ((p = malloc(size)) == 0)
if (_callnewh(size) == 0)
_STD _Nomemory();
return (p);

可以看出它是直接调用了我们C语言中常用的malloc函数来实现。由此我们可以知道malloc也同样会分配一个块头。32Byte + dataSize + 4( 0xfdfdfdfd )这么大的一个空间。

我们再来看看delete，它的实现是：

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

这里我们注意到一点，在第一个用红色字体显示的if里面是检查了UserData是否为空。所以我们便又得出一个结论：delete某个指针的时候，在delete之前我们是不用去检查这个指针是否为空的。通常我们都会这样写：

if ( p != NULL)

delete p;

当然这里的习惯是好的，但是我们得清楚这里的空判断是可以不要的。

我们再看看下边一句红色的部分调用的是_free_dbg， 由此我们又想到了C语言中常用的free。于是我们看看free的实现，我们知道了，在free里面它是直接调用了_free_dbg，这里我们又得想到，free没有去检查UserData是否为空，直接就进行释放 - -。。。我们就必须得这么写了：

if ( p != NULL)

free( p );

在之后就进行了一系列的检查，这里面处理块头两指针类似一个链表，操作是这样的：

if (pHead->pBlockHeaderNext)
{
pHead->pBlockHeaderNext->pBlockHeaderPrev = pHead->pBlockHeaderPrev;
}
else
{
_ASSERTE(_pLastBlock == pHead);
_pLastBlock = pHead->pBlockHeaderPrev;
}

if (pHead->pBlockHeaderPrev)
{
pHead->pBlockHeaderPrev->pBlockHeaderNext = pHead->pBlockHeaderNext;
}
else
{
_ASSERTE(_pFirstBlock == pHead);
_pFirstBlock = pHead->pBlockHeaderNext;
}

这样就移除了当前要释放的内存块结点。很容易看出跟链表删除结点是一样的。。

之后的操作就是：

memset( pHead, _bDeadLandFill,
sizeof( _CrtMemBlockHeader ) + pHead->nDataSize + nNoMansLandSize );

清空当前分配块的整个空间，蓝色的字体的定义是：static unsigned char _bDeadLandFill = 0xDD；

以0xDD来填充。之后就是一些收尾工作。。。大致就到这里就给释放掉了 - -

所以呢，new和malloc， delete和free他们的联系是很紧密的。也是为了C++兼容C的吧。。

说的有什么不对的地方望大家多多指教。。。。