free指针时遭遇

    技术2022-05-19  19

    malloc和free在教材里不知讲了多少,今天实际用到一处,就出问题了。

    案发现场是我用VC++在WINXP下编程,先看这一段代码{    BYTE    *pBuffer;    pBuffer = (BYTE *)malloc(64);    pBuffer = pBuffer + 32;    free(pBuffer);    pBuffer = NULL;}  //第一段先声明一个指针,然后分配64字节给它。操作指针向后移动32字节,最后把这个指针free掉并设为NULL。这样虽然操作时的数据还留在内存区域里,但已经没有指针指向该区域,数据可以被后面的程序覆盖了。看起来没错吧?恩恩好象是没错, 抓了三个同事来问,全票通过.  但在实际上呢, 运行时会跳出这个警告:

    而如果把代码改成{    BYTE    *pBuffer;    pBuffer = (BYTE *)malloc(64);    pBuffer = pBuffer + 32;    pBuffer = pBuffer -32;    free(pBuffer);    pBuffer = NULL;}  //第二段代码就没错了。李博士的解释是:malloc的时候系统创建了一个链表之类的东西,里面包含了起始地址和长度;而free的时候根据参数中的指针进行判断,如果该指针符合链表中某一节的起始地址,那么就把这一节free掉,如果去free一个不在链表中的地址,就出错啦。

    比较好的处理方式是这样{    BYTE    *pBuffer;    BYTE    *pBytePtr;    pBuffer = (BYTE *)malloc(64);    pBytePtr = pBuffer;    pBytePtr = pBytePtr + 32;    free(pBuffer);    pBuffer = NULL;    pBytePtr = NULL;}  //第三段代码

    即保留malloc时候的初始地址,然后赋给另外一个临时指针。操作时使用后者。free的时候把保留的起始指针free掉,而临时指针只是个变量,置空就可以了。

    文章到这里似乎就应该写完了,不过由于johnathan的帮忙, 突然有了下文。

    注意警告框中的_CrtIsValidHeapPointer,在MSDN上查到这个函数的说明为:

    Verifies that a specified pointer is in the local heap (debug version only).

    int _CrtIsValidHeapPointer(const void *userData);

    Parameter:userData  Pointer to the beginning of an allocated memory block.

    Return Value:_CrtIsValidHeapPointer returns TRUE if the specified pointer is in the local heap. Otherwise, the function returns FALSE.

    也就是说仅在debug版本中检查free参数是否为the beginning of an allocated memroy block.

    那么就编译一个release版本,果然,运行通过, 没弹出什么警告或错误。但运行通过不等于正常无误,  博士认为这就是无声无息导致内存泄露的罪魁祸首. 即使release版里面也应该free起始地址.

    那么结论就是:free掉非malloc起始地址的指针,在debug版本中会出错警告,而在release版本中不会弹出警告但仍然是有错的。所以,还是推荐使用第三段代码的用法


    最新回复(0)