new/delete和malloc/free读书笔记

 以前对这两者的认识是停留在以下表面:

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去释放呢，答案还是不可预测的。