MySpace

  C++博客 :: 首页 :: 新随笔 :: 联系 :: 聚合  :: 管理 ::
  18 随笔 :: 2 文章 :: 10 评论 :: 0 Trackbacks

malloc负责在堆上申请一块内存并返回一个指向该内存块的 void 类型的指针, free负责释放掉该指针指向的内存块。
需要明白的是 malloc 申请了多少,free 的时候就强制释放多少,不管该内存块是否是连续的。
例如

//我先申请一个内存块,大小是 100MB
void *memory = malloc(1024 * 1024 * 100);
//现在我可以在这两个字节中任意的放东西了。那我就先放进去一个 string
//需要知道的是string在不同编译器中的长度是不一样的,windows 下的 VS2005 中 ,sizeof(string) = 32
//SunOS 5.8下的 G++ 中,sizeof(string) = 4
string *s = new (memory)string("123456789");
//此时的内存块中前4(32)个字节被利用起来,后面将近100MB的空间都是空闲的。
//s指针指向的地址跟 memory 指向的地址是相同的( memory 的首地址没有改变)
//那此时我释放掉该内存块
free(memory);
delete s;
//两条语句执行哪个都不会出现内存错误(内存访问错误),千万别两条语句一起用,那肯定出错。就算是在战争中,战败的一方也只投向一次,内存也是这样的。free(memory) 释放掉了这100MB的内存,那 delete s 呢?测试之后发现它也是释放掉了这 100MB 的内存。区别是delete会去执行 s 的析构函数,而 free 不会。

//另外一种情况:memory 申请的内存小于 new 出来的内存大小。例如
void *memory = malloc(1);
string *s = new (memory)string("123456789");
//这样就出现了内存越界,结果是不可预测的,什么情况都有可能发生。
//此时的 free(memory) 只删除了一个字节,delete s  同样也是。

其实我们可以把 new delete 看成是 mallco free 的封装,编译器在我们遇见 new 的时候会自动的生成 mallco 代码,然后再调用构造函数,遇见 delete 的时候先执行析构函数然后执行 free(当然编译器还做了更多的事情)。所以在内存越界的时候我们对界外的数据无能为力,那些数据也就成了潜在的危险。运气好的话可以像世外桃源一样悠哉悠哉,赶上光景不好的时候要不覆盖掉别人要不就被别人覆盖。不同的编译器对于越界的处理也不同,就拿上面的简单的代码来说,在VS2005(VC8.0)下运行时(释放的时候)才会报错,而在 G++ 下则没有问题。
再找个例子

 //申请两个字节
 void *memory = malloc(2);

 //从 memory 的首地址开始创建1000个整形数组并给各元素进行赋值
 int num = 1000;
 int *s = new (memory)int[num];

 for(int i = 0; i < num ; i++)
 {
  cout << "i = " << i << endl;
  s[i] = i;
 }
 delete s;
 
对于这段代码 i 的最大值能为 1000 吗?这种越界的问题很难判断的,我在VS2005下 i 最大值到了 94 (在我的测试用例中),但是在G++ 下却能到 999,而且 delete s 也没有出错。在 Lniux 下用 KDEV 也能到 999,但是在 delete s 的时候会出错。不知道 G++ 是不是在编译的时候做过了一些优化处理,这个还要研究一下。

posted on 2008-06-18 15:51 yang-chunlei 阅读(264) 评论(0)  编辑 收藏 引用

只有注册用户登录后才能发表评论。
【推荐】超50万行VC++源码: 大型组态工控、电力仿真CAD与GIS源码库
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理