【转】new和malloc的区别

 【转】new和malloc的区别

1. 申请的内存所在位置

　　new操做符从自由存储区（free store）上为对象动态分配内存空间，而malloc函数从堆上动态分配内存。

　　自由存储区是C++基于new操做符的一个抽象概念，凡是经过new操做符进行内存申请，该内存即为自由存储区。而堆是操做系统中的术语，是操做系统所维护的一块特殊内存，用于程序的内存动态分配，C语言使用malloc从堆上分配内存，使用free释放已分配的对应内存。

　　那么自由存储区是否可以是堆（问题等价于new是否能在堆上动态分配内存），这取决于operator new 的实现细节。自由存储区不只能够是堆，还能够是静态存储区，这都看operator new在哪里为对象分配内存。

　　特别的，new甚至能够不为对象分配内存！定位new的功能能够办到这一点：

1 new (place_address) type

　　place_address为一个指针，表明一块内存的地址。当使用上面这种仅以一个地址调用new操做符时，new操做符调用特殊的operator new，也就是下面这个版本：

1 void * operator new (size_t,void *) //不容许重定义这个版本的operator new

　　这个operator new不分配任何的内存，它只是简单地返回指针实参，而后右new表达式负责在place_address指定的地址进行对象的初始化工做。

2.返回类型安全性

　　new操做符内存分配成功时，返回的是对象类型的指针，类型严格与对象匹配，无须进行类型转换，故new是符合类型安全性的操做符。而malloc内存分配成功则是返回void * ，须要经过强制类型转换将void*指针转换成咱们须要的类型。

　　类型安全很大程度上能够等价于内存安全，类型安全的代码不会试图分配本身没被受权的内存区域。关于C++的类型安全性可说的又有不少了。

3.内存分配失败时的返回值

　　new内存分配失败时，会抛出bac_alloc异常，它不会返回NULL；malloc分配内存失败时返回NULL。

　　在使用C语言时，咱们习惯在malloc分配内存后判断分配是否成功：

1 int *a  = (int *)malloc ( sizeof (int )); 2 if(NULL == a) 3 { 4  ... 5 } 6 else 
7 { 8  ... 9 }

　　从C语言走入C++阵营的新手可能会把这个习惯带入C++：

1 int * a = new int(); 2 if(NULL == a) 3 { 4  ... 5 } 6 else
7 { 8  ... 9 }

　　实际上这样作一点意义也没有，由于new根本不会返回NULL，并且程序可以执行到if语句已经说明内存分配成功了，若是失败早就抛异常了。正确的作法应该是使用异常机制：

1 try
2 { 3     int *a = new int(); 4 } 5 catch (bad_alloc) 6 { 7  ... 8 }

　　若是你想顺便了解下异常基础，能够看http://www.cnblogs.com/QG-whz/p/5136883.htmlC++ 异常机制分析。

4.是否须要指定内存大小

　　使用new操做符申请内存分配时无须指定内存块的大小，编译器会根据类型信息自行计算，而malloc则须要显式地指出所需内存的尺寸。

1 class A{...} 2 A * ptr = new A; 3 A * ptr = (A *)malloc(sizeof(A)); //须要显式指定所需内存大小sizeof(A);

　　固然了，我这里使用malloc来为咱们自定义类型分配内存是不怎么合适的，请看下一条。

5.是否调用构造函数/析构函数

　　使用new操做符来分配对象内存时会经历三个步骤：

　　第一步：调用operator new 函数（对于数组是operator new[]）分配一块足够大的，原始的，未命名的内存空间以便存储特定类型的对象。

　　第二步：编译器运行相应的构造函数以构造对象，并为其传入初值。

　　第三部：对象构造完成后，返回一个指向该对象的指针。

　　使用delete操做符来释放对象内存时会经历两个步骤：

　　第一步：调用对象的析构函数。

　　第二步：编译器调用operator delete(或operator delete[])函数释放内存空间。

　　总之来讲，new/delete会调用对象的构造函数/析构函数以完成对象的构造/析构。而malloc则不会。若是你不嫌啰嗦能够看下个人例子：

 1 class A  2 {  3 public:  4     A() :a(1), b(1.11){}  5 private:  6     int a;  7     double b;  8 };  9 int main() 10 { 11     A * ptr = (A*)malloc(sizeof(A)); 12     return 0; 13 }

　　在return处设置断点，观看ptr所指内存的内容：

　　能够看出A的默认构造函数并无被调用，由于数据成员a,b的值并无获得初始化，这也是上面我为何说使用malloc/free来处理C++的自定义类型不合适，其实不止自定义类型，标准库中凡是须要构造/析构的类型统统不合适。

　　而使用new来分配对象时：

1 int main() 2 { 3     A * ptr = new A; 4 }

　　查看程序生成的汇编代码能够发现，A的默认构造函数被调用了：

6.对数组的处理

　　C++提供了new[]与delete[]来专门处理数组类型:

1     A * ptr = new A[10];//分配10个A对象

　　使用new[]分配的内存必须使用delete[]进行释放：

1     delete [] ptr;

　　new对数组的支持体如今它会分别调用构造函数函数初始化每个数组元素，释放对象时为每一个对象调用析构函数。注意delete[]要与new[]配套使用，否则会找出数组对象部分释放的现象，形成内存泄漏。

　　至于malloc，它并知道你在这块内存上要放的数组仍是啥别的东西，反正它就给你一块原始的内存，在给你个内存的地址就完事。因此若是要动态分配一个数组的内存，还须要咱们手动自定数组的大小：

1 int * ptr = (int *) malloc( sizeof(int)* 10 );//分配一个10个int元素的数组

7.new与malloc是否能够相互调用

　　operator new /operator delete的实现能够基于malloc，而malloc的实现不能够去调用new。下面是编写operator new /operator delete 的一种简单方式，其余版本也与之相似：

 1 void * operator new (sieze_t size)  2 {  3     if(void * mem = malloc(size)  4         return mem;  5     else
 6         throw bad_alloc();  7 }  8 void operator delete(void *mem) noexcept  9 { 10     free(mem); 11 }

8.是否能够被重载

　　opeartor new /operator delete能够被重载。标准库是定义了operator new函数和operator delete函数的8个重载版本：

 1 //这些版本可能抛出异常
 2 void * operator new(size_t);  3 void * operator new[](size_t);  4 void * operator delete (void * )noexcept;  5 void * operator delete[](void *0）noexcept;  6 //这些版本承诺不抛出异常
 7 void * operator new(size_t ,nothrow_t&) noexcept;  8 void * operator new[](size_t, nothrow_t& );  9 void * operator delete (void *,nothrow_t& )noexcept; 10 void * operator delete[](void *0,nothrow_t& ）noexcept;

　　咱们能够自定义上面函数版本中的任意一个，前提是自定义版本必须位于全局做用域或者类做用域中。太细节的东西不在这里讲述，总之，咱们知道咱们有足够的自由去重载operator new /operator delete ,以决定咱们的new与delete如何为对象分配内存，如何回收对象。

　　而malloc/free并不容许重载。

9. 可以直观地从新分配内存

　　使用malloc分配的内存后，若是在使用过程当中发现内存不足，可使用realloc函数进行内存从新分配实现内存的扩充。realloc先判断当前的指针所指内存是否有足够的连续空间，若是有，原地扩大可分配的内存地址，而且返回原来的地址指针；若是空间不够，先按照新指定的大小分配空间，将原有数据从头至尾拷贝到新分配的内存区域，然后释放原来的内存区域。

　　new没有这样直观的配套设施来扩充内存。

10. 客户处理内存分配不足

　　在operator new抛出异常以反映一个未得到知足的需求以前，它会先调用一个用户指定的错误处理函数，这就是new-handler。new_handler是一个指针类型：

1 namespace std 2 { 3     typedef void (*new_handler)(); 4 }

　　指向了一个没有参数没有返回值的函数,即为错误处理函数。为了指定错误处理函数，客户须要调用set_new_handler，这是一个声明于的一个标准库函数:

1 namespace std 2 { 3     new_handler set_new_handler(new_handler p ) throw(); 4 }

　　set_new_handler的参数为new_handler指针，指向了operator new 没法分配足够内存时该调用的函数。其返回值也是个指针，指向set_new_handler被调用前正在执行（但立刻就要发生替换）的那个new_handler函数。

　　对于malloc，客户并不可以去编程决定内存不足以分配时要干什么事，只能看着malloc返回NULL。

总结

　　将上面所述的10点差异整理成表格：

 

 

若有不对的地方，很是欢迎给予指导！

　　若有疑问，能够给我留言

 

【感谢】资料来源于

——http://blog.jobbole.com/102002/