第14章 堆与拷贝构造函数.pptVIP

第14章 堆与拷贝构造函数 14.1 关于堆 14.2 需要new和delete的原因 14.3 分配堆对象 14.4 拷贝构造函数 14.5 默认拷贝构造函数 14.6 浅拷贝与深拷贝 14.7 临时对象 14.8 无名对象 C++程序的内存格局通常分为四个区： 全局数据区(data area) 全局变量 静态数据 常量 代码区(code area) 所有类成员函数 非成员函数代码 栈区(stack area) 局部变量 函数参数 返回数据 返回地址 堆区（即自由存储区）(heap area) void *malloc(size_t);和void free(void *);在头文件malloc.h中声明，而操作符new和delete是C++语言的一部分，无须包含头文件。他们从堆中分配和释放内存块但在具体操作上两者有很大区别。 操作内存时，如果分配了内存，就有责任回收它，否则运行的程序将会造成内存泄漏。这与函数中在栈区分配局部变量有本质的不同。 对C++来说，管理堆区是一件十分复杂的工作，频繁地分配和释放不同大小的堆空间，将会产生堆内碎块。 从C++的立场上看，不能用malloc( )函数的一个原因是，它在分配空间的时候不能调用构造函数 class Tdate {public:Tdate( ); SetDate(int m=1,int d=1,int y=1998); protected:int month; int day; int year;}; Tdate::Tdate( ) {month=1; day=1; year=1;} void Tdate::SetDate(int m,int d,int y) {if(m0m13) month=m; if(d0d32) day=d; if(y0y3000) year=y;} void fn( ) {Tdate *pd; //仅仅是个指针，没有产生对象 pd=(Tdate*)malloc(sizeof Tdate); //并不调用构造函数 free(pd); //并不调用析构函数} 下面的代码描述用malloc( )来进行对象的创建过程： void fn( ) {Tdate *pd; pd=(Tdate *)malloc(sizeof Tdate); pd-SetDate( ); //设置Tdate值 //… free(pd);} 这从根本上说，不是一个类对象的创建，因为它绕过了构造函数。 C++的new和delete机制更简单易懂。 void fn( ) {Tdate *ps; ps=new Tdate; //分配堆空间并构造它 //… delete ps; //先析构，然后将空间返回给堆 } 堆对象析构是在释放堆对象语句delete执行之时。 上面的堆对象在执行delete ps;语句时，C++自动 调用其析构函数。 构造函数可以有参数，所以跟在new后面的类类型也可以跟参数。 class Tdate {public:Tdate(int m,int d,int y); protected:int month; int day; int year;}; Tdate::Tdate(int m,int d,int y) {if(m0m13) month=m; If(d0d32) day=d; If(y0y3000) year=y;} void fn( ) {Tdate *pd; pd=new Tdate(1,1,1998); //若写成pd=new Tdate;就错了 //… delete(pd);} 可用一个对象去构造另一个对象，或者说，用另一个对象值初始化一个新构造的对象，例如： Student s1(“Jenny”); Student s2=s1; //用s1的值去初始化s2 对象作为函数参数传递时，也要涉及对象的拷贝，例如： void fn(student fs) { //…} void main( ) {Student ms; fn(ms);} 形参fs是实参ms的一个拷贝。 这时候调用构造函数Student(* char)就不合适，新的构造函数的参数应是Student,也就是： Student(Student s); #include iostream.h #include string.h class Student {pu