1、拷贝构造函数的基本概念
拷贝构造函数(copy constructor),先看一下拷贝构造函数的使用:
#include <iostream>
using namespace std;
class testA
{
public:
testA(int i):_i(i){}//初始化列表构造函数
testA():_i(0){}//默认构造函数
int get_value()
{
return _i;
}
private:
int _i;
};
int main()
{
testA A0(123);//定义一个对象A0
testA A1(A0);//通过对象A0初始化一个对象A1 《《拷贝构造函数
cout<<A1.get_value()<<endl;
return 0;
}
//运行结果:
//123
上面这段代码,能够编译通过(废话),还整正常运行。
我们在定义对象A1时,是通过一个已有的同类对象A0来初始化A1,这就是拷贝构造函数的作用。
但是我们稍微注意就会发现,testA 的构造函数中并没有参数类型为自身的构造函数,即这样的:testA(testA& a),原因和类的构造函数一样:当我们没有为一个类定义构造函数时,编译器会定义一个合成默认构造函数,同理,当我们没有显示定义拷贝构造函数时,编译器也会定义一个合成的拷贝构造函数。
简单来说:拷贝构造函数定义当用同类型的另一个对象初始化本对象做什么。
2、如何定义拷贝构造函数
前面看到,即使我们不定义拷贝构造函数,编译器也会为我们合成一个拷贝构造函数,但是很多时候编译器定义的操作并不是我们希望的,甚至会为我们的程序带来灾难。因此很多时候,我们需要自己去实现拷贝构造函数。
下面为Sales_data类定义一个(与合成的拷贝构造函数等价的)拷贝构造函数:
class Sales_data
{
public:
//其它成员和构造函数
//与合成的拷贝构造函数等价的拷贝构造函数的声明
Sales_data(const Sales_data &);
private:
string bookNo;
int units_sold=0;
double revenue=0.0;
};
//Sales_data的合成的拷贝构造函数等价
Sales_data::Sales_data(const Sales_data &orig):
bookNo(orig.bookNo), //使用string的拷贝构造函数
units_sold(orig.units_sold), //拷贝orig.units_sold
revenue(orig,revenue) //拷贝orig.revenue
{ } //空函数体
当构造函数的参数为本类的另一个对象时,就会调用拷贝构造函数。假如A为一个类类型,a0为A的一个对象,那么:
A a1(a0) ; //定义一个新对象,a1,并用a0来初始化 (通过拷贝构造函数完成)
3、何时会调用拷贝构造函数
有一下几种情况:
###1、用=定义变量时
###2、将一个对象作为实参传递给另外一个非引用的类型的形参
###3、从一个返回类型为非引用类型的函数返回一个对象
###4、用花括号初始化一个数组中的元素或一个聚合类中的成员
string num="1234456";//1、用=定义变量
Sales_data foo;
func(foo);//2、将一个对象作为实参传递给一个非引用类型的形参
Sales_data fun()
{
Sales_data foo= …… //
return foo; //3、将对象foo的拷贝作为返回值返回
}
int arry[]={1,2,3};//用花括号初始化一个数组或聚合类
4、拷贝构造函数第一个参数的类型必须为引用类型
注意上面Sales_data拷贝构造函数参数类型为引用类型,必须这么做!
Sales_data(const Sales_data &orig); //参数类型为自身类型的引用
原因:
假如参数类型不是引用,如果有一个Sales_data 对象obj,并用obj初始化另外一个对象:
Sales_data pro(obj);
根据上面提到的规则###2,首先obj对象会通过拷贝构造函数,将内容拷贝给形参orig,那么问题来了,本来Sales_data的拷贝构造函数都还未定义好,现在又要调用拷贝构造函数,这样会出现无线递归的情况!程序就会崩掉。