以前对这两者的认识是停留在以下表面:
malloc与free是C++/C语言的标准库函数,new/delete是C++的运算符。它们都可用于申请动态内存和释放内存。new会自动调用构造函数,delete会自动调用析构函数,malloc和free不会。
malloc是个分配内存的函数,供你调用的。
new是保留字,不需要头文件支持。
malloc需要头文件库函数支持。
new 建立的是一个对象,
malloc分配的是一块内存。
今晚顺手写了个测试代码
class A { public: A(){cout<<"A()"<<endl ;} const static int num = 0; ~A(){cout<<"~A()"<<endl ;} } ; int _tmain(int argc, _TCHAR* argv[]) { A * p = new A[10]; delete[] p; system("pause"); return 0; }
输出结果为
10个A(),10个~A()。
若把代码改成:
class A { public: A(){cout<<"A()"<<endl ;} const static int num = 0; ~A(){cout<<"~A()"<<endl ;} } ; //int A::num=0; int _tmain(int argc, _TCHAR* argv[]) { //A * p = new A[10]; //delete[] p; A *p = (A*)malloc(10*sizeof(A)); system("pause"); return 0; }
输出结果为:
空
相信前两者一比较,应该能深入理解"new会自动调用构造函数,delete会自动调用析构函数,malloc和free不会"。
大家都清楚,构造函数一般来说必须声明为公有的,这样才能在类外部创建对象,当然,如果你不想在类外创建对象,可以声明为私有的,比如全是静态成员函数的类,
上述代码如果修改成
class A { A(){cout<<"A()"<<endl ;} const static int num = 0; ~A(){cout<<"~A()"<<endl ;} public : void Show(){cout<<"SHOW"<<endl;} } ; int _tmain(int argc, _TCHAR* argv[]) { A * p = new A[10]; delete[] p; system("pause"); return 0; }
会报错,当然你直接写成A a也是一样报错,编译器会提示你构造函数为私有!。
但是如果写成这样呢
class A { A(){cout<<"A()"<<endl ;} const static int num = 0; ~A(){cout<<"~A()"<<endl ;} public : void Show(){cout<<"SHOW"<<endl;} } ; int _tmain(int argc, _TCHAR* argv[]) { A *p = (A*)malloc(10*sizeof(A)); p->Show(); system("pause"); return 0; }
却能正常显示"SHOW",两者一比较
相信现在都能理解"new 建立的是一个对象,malloc分配的是一块内存"这句话的含义了吧,也就是malloc的p是指向了可以容纳10个A对象的空间,但内存却没有创建对象.
再提一个问题:delete[] p;如果改成delete p,结果会怎么样呢?
答案是不可预测的,不可预测的意思意味着,程序在你编译时正常,在其他大多数时候都可能正常,但有可能在最关键的时间崩溃.
解决方法是死记一个准则:如果你调用new时用了[],调用delete时也要用[]。如果调用new时没有用[],那调用delete时也不要用[].
再提一个问题:new分配的如果用free释放呢,或者malloc分配的用delete去释放呢,答案还是不可预测的。