最近开发过程中,有个疑问,就是C中已经有了malloc和free为何在C++中又有new/delete呢(不负责任的回答是前者是C里面的,后者是C++里面的,呵呵)?称最近有时间好好研究了一下,总的来说是面向过程与面向对象的区别,说的不够准确,接下来具体看看吧:
malloc与free是C /C++语言的标准库函数,new/delete是C++的运算符。它们都可用于申请动态内存和释放内存。
对于非内部数据类型(比如自己定义的数据结构class与struct)的对象而言,只用maloc/free函数无法满足动态对象的要求。对象在创建的同时要自动执行构造函数,对象在消亡之前要自动执行析构函数。由于malloc/free是库函数而不是运算符,不在编译器控制权限之内,不能够把执行构造函数和析构函数的任务强加于malloc/free。
因此C语言需要一个能完成动态内存分配和初始化工作的运算符new,以及一个能完成清理与释放内存工作的运算符delete。注意new/delete不是库函数。malloc/free 和new/delete又是如何实现对象的动态内存管理呢?写了个小例子:
class _myClass
{
public :
_myClass(void){ cout << “Initialization” << endl; }
~_myClass(void){ cout << “Destroy” << endl; }
void Initialize(void){ cout << “Initialization” << endl; }
void Destroy(void){ cout << “Destroy” << endl; };
void ByeMallocFree(void)
{
//申请动态内存,对于初学者,这家伙有点abstract
_myClass *a = (_myClass *)malloc(sizeof(_myClass));
a->Initialize(); // 初始化
//…
a->Destroy(); // 清除工作
free(a); // 释放内存
}
void ByNewDelete(void)
{
_myClass *a = new _myClass; // 申请动态内存并且初始化</span>
//...
delete a; // 释放内存
}
看了这个例子有没有一点想大声说出其区别是冲动呢?在本例中,类_myClass的函数Initialize模拟了构造函数的功能,函数Destroy模拟了析构函数的功能。函数ByMallocFree中,由于 malloc/free不能执行构造函数与析构函数,必须调用成员函数Initialize和Destroy来完成初始化与清除工作。很明显利用函数ByNewDelete则十分简单。
所以我们不要企图用malloc/free来完成动态对象的内存管理,应该用new/delete。由于内部数据类型的“对象”没有构造与析构的过程,对它们而言malloc/free和new/delete是等价的。
问题又来了,既然new/delete的功能完全覆盖了malloc/free,为啥C不把malloc/free淘汰出局呢?哈哈,这是因为C程序经常要调用C函数,而C程序只能用malloc/free管理动态内存。
如果用free释放“new创建的动态对象”,那么该对象因无法执行析构函数而可能导致程序出错。如果用delete释放“malloc申请的动态内存 ”,理论上讲程序不会出错,但是该程序的可读性很差。所以new/delete必须配对使用,malloc/free也一样。如果研究底层实现机制,new/delete应该是在malloc/free的机制基础上实现的。
这回应该明白了吧,恭祝2015新年快乐,继续奋斗喽!