本篇文章旨在阐述C++类的构造,拷贝构造,析构机制,以及指针成员变量指针悬空问题的解决。需要读者有较好的C++基础,熟悉引用,const的相关知识。
引言:
类作为C++语言的一种数据类型,是对C语言结构体的一种扩展。由于C++是面向过程与面向对象的混合语言,因此在使用面向对象思想解决现实问题模型时,设计好类是很重要的(跑题了)。关于类,这篇blog中有很好的介绍(链接http://blog.csdn.net/zqixiao_09/article/details/51474556)。我要介绍的是,关于创建一个空类,类体内都包含哪些成员函数呢?看下面例子 。
class MyClass { //创建一个空类MyClass};void main(){ MyClass c; //创建该类的对象c,此处会自动调用默认构造函数 MyClass d(c); //创建一个对象d,并且用已经存在的同类对象c去初始化d,此处调用了默认拷贝构造函数 MyClass e; //创建一个对象e e = c; //此处是对象赋值,调用了默认赋值运算符成员函数}
那么我们来运行一下
可以看到是成功的。
以上实例说明,对于用户定义的空类,该类会自动包含六个成员函数,分别是:
l 默认构造函数 A(){//空函数体}
l 默认拷贝构造函数(本次讲解重点)A(const A & ){//简单的对象成员变量赋值操作}
l 默认析构函数 ~A(){//空函数体}
l 赋值运算符重载成员函数(本次讲解重点) A & operator =(const A &){//也是简单的对象成员变量赋值操作}
l 取地址操作符重载成员函数
l Const修饰的取地址操作符重载成员函数
前四个是本次讲解的内容,重点放在拷贝构造,赋值运算符重载这两个成员函数
拷贝构造函数:
拷贝构造函数是一种特殊的构造函数,具有单个形参,该形参(常用const修饰)是对该类类型的引用。当定义一个新对象并用一个同类型的对象对它进行初始化时,将显示使用拷贝构造函数。归结来说。有三个场合要用到拷贝构造函数:
l 对象作为函数的参数,以值传递的方式传给函数
l 对象作为函数的返回值,以值传递的方式从函数返回调用处
l 使用一个对象去初始化一个新建的对象
即有拷贝构造函数的调用一定会有新对象生成。
还有一点需要注意的是,拷贝构造函数必须以引用的方式传递参数。这是因为,在值传递的方式传递给一个函数的时候,会调用拷贝构造函数生成函数的实参。如果拷贝构造函数的参数仍然是以值的方式,就会无限循环的调用下去,直到函数的栈溢出。
例子:
#include#include class Person{public : Person(); //无参构造函数 Person(int age,char na[]); //重载一般构造函数 Person(const Person & p);//拷贝构造函数 ~Person(); // 析构函数 void disp(); private : int age; char *name; }; Person::Person(){ age=0; name=new char[2]; strcpy(name,"\0"); cout<<"default constructor\n";} Person::Person(int age,char na[]) { this->age=age; name=new char[strlen(na)+1]; //为指针变量动态分配空间 strcpy(name,na); //赋值 cout<<"constructor\n"; } Person::Person(const Person & p) { this->age=p.age; this->name=new char[strlen(p.name)+1]; strcpy(name,p.name); cout<<"copy constructor\n"; } Person::~Person() { delete [] name; cout<<"destroy\n"; } void Person::disp() { cout<<"age "< <<" name "< <
运行结果
我们来分析一下源程序①②处以及运行结果的画线处
① 处是函数形参是对象,且是值传递的情况下调用了拷贝构造函数,我们可以看到该形参对象的生存期是只在函数f里面,当函数调用结束后,就自动被析构函数清理了。但是不会引起指针悬空问题,因为如下图所示。
其中p对象是f的形参,它由主函数调用f开始存在,由函数f调用结束而撤销,但是析构p时不会将p1的name所指空间析构,因此最终主函数main救赎后析构p1时不会引起指针悬空问题
② 函数返回值是对象且值传递返回方式时会调用靠宝贝构造函数。
分析结果会看到有两次对象创建,在子函数f1里面先创建默认对象p,然后返回对象p到调用处,会自动调用拷贝构造,创建一个匿名的对象(记为pi),调用结束后会先析构p,在析构pi
赋值运算符重载成员函数
拷贝构造函数和赋值运算符的行为比较相似,都是将一个对象的值复制给另一个对象;但是其结果却有些不同,拷贝构造函数使用传入对象的值生成一个新的对象的实例,而赋值运算符是将对象的值复制给一个已经存在的实例。这种区别从两者的名字也可以很轻易的分辨出来,拷贝构造函数也是一种构造函数,那么它的功能就是创建一个新的对象实例;赋值运算符是执行某种运算,将一个对象的值复制给另一个对象(已经存在的)。调用的是拷贝构造函数还是赋值运算符,主要是看是否有新的对象实例产生。如果产生了新的对象实例,那调用的就是拷贝构造函数;如果没有,那就是对已有的对象赋值,调用的是赋值运算符。
实例:
#includeconst int MAX=6;class Array{ double * data;public: Array(); Array(const Array &a); ~Array(); double & operator [](int i); //下标重载运算符 Array & operator =(Array & a); //=重载赋值运算符 Array & operator +(Array& a); //+运算符重载成员函数 Array & operator -(Array & a); //-运算符重载成员函数 void disp(); //输出一个数组};Array::Array(){ int i; data=new double[MAX]; for(i=0;i
运行结果
分析:
从结果可以看出,如果函数的形参是对象,或者返回值是对象,但是是以引用传递的方式,那么靠诶构造函数就不会被调用,这也是引用的作用,即对同一个对象起别名。,但要注意在赋值运算符重载成员函数中,对象的定义为静态变量,这是为了防止子函数调用已结束就将析构该对象导致指针悬空问题。
深拷贝与浅拷贝
深拷贝和浅拷贝主要是针对类中的指针和动态分配的空间来说的,因为对于指针只是简单的值复制并不能分割开两个对象的关联,任何一个对象对该指针的操作都会影响到另一个对象。这时候就需要提供自定义的深拷贝的拷贝构造函数,消除这种影响。通常的原则是:
- 含有指针类型的成员或者有动态分配内存的成员都应该提供自定义的拷贝构造函数
- 在提供拷贝构造函数的同时,还应该考虑实现自定义的赋值运算符
对于拷贝构造函数的实现要确保以下几点:
- 对于值类型的成员进行值复制
- 对于指针和动态分配的空间,在拷贝中应重新分配分配空间
- 对于基类,要调用基类合适的拷贝方法,完成基类的拷贝
- 拷贝构造函数和赋值运算符的行为比较相似,却产生不同的结果;拷贝构造函数使用已有的对象创建一个新的对象,赋值运算符是将一个对象的值复制给另一个已存在的对象。区分是调用拷贝构造函数还是赋值运算符,主要是否有新的对象产生。
- 关于深拷贝和浅拷贝。当类有指针成员或有动态分配空间,都应实现自定义的拷贝构造函数。提供了拷贝构造函数,最后也实现赋值运算符。
总结:
- 拷贝构造函数和赋值运算符的行为比较相似,却产生不同的结果;拷贝构造函数使用已有的对象创建一个新的对象,赋值运算符是将一个对象的值复制给另一个已存在的对象。区分是调用拷贝构造函数还是赋值运算符,主要是否有新的对象产生。
- 关于深拷贝和浅拷贝。当类有指针成员或有动态分配空间,都应实现自定义的拷贝构造函数。提供了拷贝构造函数,最后也实现赋值运算符。