CSDN博客

img hucong

从free(p)到delete[]p

发表于2001/10/30 11:15:00  564人阅读

  曾经有一个朋友提过这样一个问题,malloc动态分配的内存的生存周期是多少??当时直接回答,当然是在调用free进行释放之前阿!!但回头我仔细想过这个问题,free调用之前那段范围内,free只有一个指针参数,它是如何知道要释放多少空间呢??比如:

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

…….;

free(p);

这里free是如何知道释放10int大小的空间呢??既然free只需要一个参数指针类型,那么这个地址(malloc返回的)一定作过什么特殊处理了.于是我问了一些网上的朋友,我得出以下一些结果:

   char*p=malloc(size):

                 1. 实际分配一块size + 4大小的内存,char *p = 内存首地址。
                 2. *((int *)p) = size;  //
把大小放在分配内存的起始处。
                 3. return (void*)(p + 4);  //
返回除去存放大小以后的部分。

   free(p);   1. char* q = (char *)p - 4;
                 2. int size = *((int *)q); //
这里找到了size...
                 3.
通过操作系统释放内存或自己管理C/C++堆内存.

这里要涉及到一些OS管理内存得问题,非我力所能及,但我们可以知道,malloc确实实施了一些特殊的处理.言归正传.让我们看看下面一段c++代码:

   int*p=new int[10];

   delete []p;

一眼就看出上面得代码完成的和上面的c代码一样的功能.这里有同样的问题,为什么delete

能在不指定动态分配的数组size下就能释放所分配的对象呢,是不是new操作也对返回的地址作了一些手脚???答案:.new所作的处理和上面的方法一样的,:new所传回的每一个内存区域配置一个额外的DWORD,然后把元素数目包藏到那个DWORD.(不是所有编译器都采用这个方法的,我只试过vc6bcc55编译器,它们都采用这个方法.不过,<<深度探索c++对象模型>>上只是说配置一个额外的word<两字节>).为了验证这个说法,我写下了下面的代码进行测试.

#include<iostream.h>

class complex

{

public:

       complex(int=0,int=0){cout<<"complex()"<<endl;}

       ~complex(){cout<<"~complex()"<<endl;}

private:

       int i,j;

};

int main()

{

       complex*array=new complex[10];

       long*t=(long*)((char*)(array)-4);

       cout<<*t<<endl;//(1)

       //*t=20;       //(2)

       delete []array;

return 0;

}

其中(1)输出array数组的维数10.这里很明显了,动态分配complex对象的个数就是放在返回array地址前一个DWORD(四个字节).现在问题解决了,我们已经知道new所作的什么处理了,^_^,不过问题又来了,编译器采取的策略会不会引起我们忧虑??,的确,只要我们修改那个DWORD的内容,delete就不能正确释放所分配的内存空间了.(^_^.你试试把(2)前面那条的注释给去掉,就会有意想不到的输出)

   结论:c++编译器为我们做了太多的事,导致了c++很复杂,有些东西,让编译器修改得连我们都不认识自己的代码了,有些东西如果搞明白了,学其他的(比如COM,ATL等,虽然本问与此关系不大)或许会轻松许多的. 

    补充:这是小弟第一篇处女作,肯定有很多说得不当的地方,还请各位大小谅解.我得于众多csdn上的朋友相助,还参考了侯老师的那本<<深度探索c

++对象模型>>.

0 0

相关博文

我的热门文章

img
取 消
img