本篇文章旨在阐述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; //创建一个对象ee = c;  //此处是对象赋值,调用了默认赋值运算符成员函数
}

那么我们来运行一下

可以看到是成功的。

以上实例说明,对于用户定义的空类,该类会自动包含六个成员函数,分别是:

l  默认构造函数 A(){//空函数体}

l  默认拷贝构造函数(本次讲解重点)A(const A & ){//简单的对象成员变量赋值操作}

l  默认析构函数 ~A(){//空函数体}

l  赋值运算符重载成员函数(本次讲解重点) A & operator =(const A &){//也是简单的对象成员变量赋值操作}

l  取地址操作符重载成员函数

l  Const修饰的取地址操作符重载成员函数

前四个是本次讲解的内容,重点放在拷贝构造,赋值运算符重载这两个成员函数

拷贝构造函数:

拷贝构造函数是一种特殊的构造函数,具有单个形参,该形参(常用const修饰)是对该类类型的引用。当定义一个新对象并用一个同类型的对象对它进行初始化时,将显示使用拷贝构造函数。归结来说。有三个场合要用到拷贝构造函数:

l  对象作为函数的参数,以值传递的方式传给函数

l  对象作为函数的返回值,以值传递的方式从函数返回调用处

l  使用一个对象去初始化一个新建的对象

有拷贝构造函数的调用一定会有新对象生成

还有一点需要注意的是,拷贝构造函数必须以引用的方式传递参数。这是因为,在值传递的方式传递给一个函数的时候,会调用拷贝构造函数生成函数的实参。如果拷贝构造函数的参数仍然是以值的方式,就会无限循环的调用下去,直到函数的栈溢出。

例子:

#include<iostream.h>
#include<string.h>
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 "<<age<<" name "<<name<<endl; } void f(Person p) { cout<<"enter f \n"; p.disp(); return ; } Person f1() { cout<<"enter f \n"; Person p; cout<<"next is return object of Person\n"; return p; } void main() { Person p1(21,"xiaowang");//调用一般构造函数  p1.disp(); Person p2(p1);//调用拷贝构造函数  p2.disp(); Person p3=p1;//调用拷贝构造函数  p3.disp(); cout<<"true\n"; cout<<"拷贝构造函数调用在函数形参是对象且值传递\n"; f(p1); //① cout<<"拷贝构造函数调用在函数返回值是对象且值传递\n"; f1(); //② cout<<"主函数结束,调用三次析构函数销毁对象\n"; }

运行结果

我们来分析一下源程序①②处以及运行结果的画线处

①  处是函数形参是对象,且是值传递的情况下调用了拷贝构造函数,我们可以看到该形参对象的生存期是只在函数f里面,当函数调用结束后,就自动被析构函数清理了。但是不会引起指针悬空问题,因为如下图所示。

其中p对象是f的形参,它由主函数调用f开始存在,由函数f调用结束而撤销,但是析构p时不会将p1的name所指空间析构,因此最终主函数main救赎后析构p1时不会引起指针悬空问题

②  函数返回值是对象且值传递返回方式时会调用靠宝贝构造函数。

分析结果会看到有两次对象创建,在子函数f1里面先创建默认对象p,然后返回对象p到调用处,会自动调用拷贝构造,创建一个匿名的对象(记为pi),调用结束后会先析构p,在析构pi

赋值运算符重载成员函数

拷贝构造函数和赋值运算符的行为比较相似,都是将一个对象的值复制给另一个对象;但是其结果却有些不同,拷贝构造函数使用传入对象的值生成一个新的对象的实例,而赋值运算符是将对象的值复制给一个已经存在的实例。这种区别从两者的名字也可以很轻易的分辨出来,拷贝构造函数也是一种构造函数,那么它的功能就是创建一个新的对象实例;赋值运算符是执行某种运算,将一个对象的值复制给另一个对象(已经存在的)。调用的是拷贝构造函数还是赋值运算符,主要是看是否有新的对象实例产生。如果产生了新的对象实例,那调用的就是拷贝构造函数;如果没有,那就是对已有的对象赋值,调用的是赋值运算符。

实例:

#include<iostream.h>
const 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<MAX;i++)data[i]=0;cout<<"construct"<<endl;
}
Array::Array(const Array &a)
{data=a.data;cout<<"copy construct \n";
}
Array::~Array()
{delete [] data;cout<<"destroy"<<endl;
}
double& Array::operator [](int i) //返回引用类型,可以是左值
{return *(data+i);
}
Array& Array::operator =(Array &a) //=重载赋值运算符
{int i;for(i=0;i<MAX;i++)data[i]=a.data[i];cout<<"对象赋值,调用赋值运算符重载函数\n";return *this;
}
Array & Array::operator +(Array& a)
{int i;static Array tmp;for(i=0;i<MAX;i++)tmp.data[i]=data[i]+a.data[i];return tmp;
}
Array & Array::operator -(Array & a)
{for(int i=0;i<MAX;i++)data[i]-=a.data[i];return *this;
}
void Array::disp()
{for(int i=0;i<MAX;i++)cout<<data[i]<<"  ";cout<<endl;
}void main()
{Array a,b,c,d;cout<<"创建四个数组对象\n";cout<<"给数组a赋部分值\n";a[0]=1;a[1]=2;a[2]=3;a[3]=4;cout<<"a=";a.disp();cout<<"执行b=a\n";b=a;cout<<"b=";b.disp();cout<<"执行c=a+b\n";c=a+b;cout<<"c=";c.disp();cout<<"执行c=a+b之后a,b结果:\n";cout<<"a=";a.disp();cout<<"b=";b.disp();cout<<"执行d=a-b\n";d=a-b;cout<<"d=";d.disp();cout<<"执行d=a-b之后a,b结果:\n";cout<<"a=";a.disp();cout<<"b=";b.disp();cout<<"主函数执行完毕,销毁四个对象和静态成员对象\n";
}

运行结果

分析:

从结果可以看出,如果函数的形参是对象,或者返回值是对象,但是是以引用传递的方式,那么靠诶构造函数就不会被调用,这也是引用的作用,即对同一个对象起别名。,但要注意在赋值运算符重载成员函数中,对象的定义为静态变量,这是为了防止子函数调用已结束就将析构该对象导致指针悬空问题。

深拷贝与浅拷贝

深拷贝和浅拷贝主要是针对类中的指针动态分配的空间来说的,因为对于指针只是简单的值复制并不能分割开两个对象的关联,任何一个对象对该指针的操作都会影响到另一个对象。这时候就需要提供自定义的深拷贝的拷贝构造函数,消除这种影响。通常的原则是:

  • 含有指针类型的成员或者有动态分配内存的成员都应该提供自定义的拷贝构造函数
  • 在提供拷贝构造函数的同时,还应该考虑实现自定义的赋值运算符

对于拷贝构造函数的实现要确保以下几点:

  • 对于值类型的成员进行值复制
  • 对于指针和动态分配的空间,在拷贝中应重新分配分配空间
  • 对于基类,要调用基类合适的拷贝方法,完成基类的拷贝
  • 拷贝构造函数和赋值运算符的行为比较相似,却产生不同的结果;拷贝构造函数使用已有的对象创建一个新的对象,赋值运算符是将一个对象的值复制给另一个已存在的对象。区分是调用拷贝构造函数还是赋值运算符,主要是否有新的对象产生。
  • 关于深拷贝和浅拷贝。当类有指针成员或有动态分配空间,都应实现自定义的拷贝构造函数。提供了拷贝构造函数,最后也实现赋值运算符。

总结:

  • 拷贝构造函数和赋值运算符的行为比较相似,却产生不同的结果;拷贝构造函数使用已有的对象创建一个新的对象,赋值运算符是将一个对象的值复制给另一个已存在的对象。区分是调用拷贝构造函数还是赋值运算符,主要是否有新的对象产生。
  • 关于深拷贝和浅拷贝。当类有指针成员或有动态分配空间,都应实现自定义的拷贝构造函数。提供了拷贝构造函数,最后也实现赋值运算符。

转载于:https://www.cnblogs.com/gaochaochao/p/8370762.html

C++类指针类型的成员变量的浅复制与深复制相关推荐

  1. C语言边角料:结构体中指针类型的成员变量,它的类型重要吗?

    一.前言 昨天在编译代码的时候,之前一直OK的一个地方,却突然出现了好几个 Warning! 本着强迫症要消灭一切警告的做法,最终定位到:是结构体内部, 指向结构体类型的指针成员变量导致的问题. 这个 ...

  2. 设计复数类 Complex继承于数字类 Number,私有成员变量包括 double类型的实部rea(父类 Number中已定义)和虚部imag,公有成员方法包括两个构造方法(一个不带参数的和一个带两

    ​ 设计复数类 Complex继承于数字类 Number,私有成员变量包括 double类型的实部rea(父类 Number中已定义)和虚部imag,公有成员方法包括两个构造方法(一个不带参数的和一个 ...

  3. C++ 类中特殊的成员变量(常变量、引用、静态)的初始化方法

    <p style="line-height: 19px; margin: 10px auto; color: rgb(75, 75, 75); font-family: Verdana ...

  4. java 类 属性数量_跟我学java编程—Java类的属性与成员变量

    在定义类时,经常需要抽象出它的属性,并定义在类的主体中.下面就来介绍与属性相关的内容. 常量属性 在类中定义的属性有常量属性和成员属性之分.常量属性用final关键字修饰,常量只能赋值一次,在程序中不 ...

  5. Java基础笔记_6_类和对象_成员变量

    一 类和对象 类是抽象的概念,是对象的模板 对象是具体的事物,是类的具体实例 创建类的语法 public class 类名{  // 类内容 } 创建对象的语法 new 关键字就是实例化对象的意思.& ...

  6. SpringMVC处理Date类型的成员变量方法

    2019独角兽企业重金招聘Python工程师标准>>> 在使用 SpringMVC 的时候,我们可能需要将一个对象从 View 传递给 Controller .而当这个 Object ...

  7. 父类指针访问子类成员变量

    1.父类指针获取子类成员变量 1 #include <iostream> 2 3 using namespace std; 4 5 class Base { 6 public: 7 vir ...

  8. java成员变量默认是_在Java语言中,String类型的成员变量的默认初始值是( )

    在Java语言中,String类型的成员变量的默认初始值是( ) 答:C.null 学生最主要的权利是() 答:受教育权 提倡教育要适合孩子的 "敏感期"的教育家是 答:蒙台梭利 ...

  9. final 关键字:用来修饰类,方法,成员变量,局部变量

    final 关键字:用来修饰类,方法,成员变量,局部变量 表示最终的不可变的 修饰对象 解释说明 类 无子类,不可以被继承,更不可能被重写. 方法 方法不能在子类中被覆盖 变量 称为常量,初始化以后不 ...

最新文章

  1. Data - 数据思维 - 中篇
  2. file.getpath_Java中File的getPath(),getCanonicalPath()和getAbsolutePath()之间的区别...
  3. 不要在构造和析构函数中使用虚函数
  4. vs2013配置opencv2.4.13
  5. 3.3 神策数据分析平台
  6. 比较复杂的sql面试题
  7. java正则表达式中的斜杠,java正则表达式匹配斜杠[Java编程]
  8. Windows使用ROS机器人操作系统12记录
  9. 公共DNS服务器IP地址
  10. TortoiseSVN右键没有菜单
  11. 计算球体的表面积和体积
  12. 网易互联网产品运营管培生面试经历--从群面到终面面试经验分享
  13. 微信小程序云开发数据导出为Excel下载并打开
  14. 数学史上最重要的女性:埃米·诺特
  15. 最短路径(迪杰斯特拉、弗洛伊德含代码)
  16. Linux下 安装白鹭(egret)引擎指南
  17. 通过Python自动压缩文件并发送邮件
  18. IP地址、子网掩码、默认网关和DNS服务器之间的联系与区别
  19. 爱游思 » 站长常用工具
  20. System V 消息队列概念以及相关函数(msgget、msgsnd、msgrcv、msgctl)介绍

热门文章

  1. VS2012生成事件
  2. Win7中IIS7.0安装及ASP环境配置
  3. 【备忘】XP欢迎页中隐藏用户名
  4. 尝试修改源码需要用到git存一下
  5. bootstrap --- 分页
  6. Java Web Jsp
  7. BZOJ 2440 完全平方数(莫比乌斯-容斥原理)
  8. Redis作者摊上事了:多人要求修改Redis主从复制术语master/slave
  9. 符合skyline的3dml网络发布服务
  10. eclipse maven jetty插件方式启动项目