1. 何时调用复制构造函数
复制构造函数用于将一个对象复制到新创建的对象中。也就是说,它用于初始化过程中,而不是常规的赋值过程中。类的复制构造函数原型通常如下:
class_name(const class_name&);
它接受一个指向类对象的常量引用作为参数。例如,String类的复制构造函数的原型如下:
String(const String&);
新建一个对象并将其初始化为同类现有对象时,复制构造函数都将被调用。这在很多情况下都可能发生,最常见的情况是将新对象显示地初始化为现有的对象。例如,假设motto是一个String对象,则下面4种声明都将调用复制构造函数:
String ditto(motto);
String metoo = motto;
String also = String(motto);
String *pString = new String(motto);
其中中间的2种声明可能会使用复制构造函数直接创建metto和also,也可能会使用复制构造函数生成一个临时对象,然后将临时对象的内容赋给 metoo和also,这取决于具体的实现。最后一种声明使用motto初始化一个匿名对象,并将新对象的地址赋给pString指针。
2. 何时调用赋值构造函数
赋值构造函数是通过重载赋值操作符实现的,这种操作符的原型如下:
Class_name& Class_name::operator=(const Class_name&);
它接受并返回一个指向类对象的引用。例如,String 类的赋值操作符的原型如下:
String& String::operator=(const String&);
将已有的对象赋给另一个对象时,将使用重载的赋值操作符:
String headline1("test");
String knot;
knot = headline1;
初始化对象时,并不一定会使用赋值操作符:
String metoo = knot;
这里,metoo是一个新创建的对象,被初始化为knot的值,考试,大提示使用复制构造函数。不过,正如前面指出的,实现时也可能分两步来处理这条语句:使用复制构造函数创建一个临时对象,然后通过赋值将临时对象的值复制到新对象中。这就是说,初始化总是会调用复制构造函数,而使用=操作符时也可能调用赋值操作符
实例代码如下:
#include <iostream>
using namespace std;
class Test
{
public:
Test();
~Test();
Test(const Test& t);
Test& operator=(const Test& t);
private:
int t1;
};
Test::Test()
{
cout<<"调用构造函数"<<endl;
}
Test::~Test()
{
cout<<"调用析构函数"<<endl;
}
Test::Test(const Test& t)
{
cout<<"调用复制构造函数"<<endl;
}
Test& Test::operator =(const Test& t)
{
cout<<"调用赋值构造函数"<<endl;
t1 = t.t1;
return *this;
}
void main()
{
Test t1;
Test t2 = t1;
Test t3;
t3 = t1;
}
输出如下:
调用构造函数
调用复制构造函数
调用构造函数
调用赋值构造函数
调用析构函数
调用析构函数
调用析构函数
同样是利用现有对象的值,生成/更新另一个对象的值。区别在于:复制构造函数是去完成对未初始化的存储区的初始化,而赋值操作符则是处理一个已经存在的对象。对一个对象赋值,当它一次出现时,它将调用复制构造函数,以后每次出现,都调用赋值操作符。
定义对象a,并用另一个对象b对a进行初始化时,
若没有复制构造函数时,那么编译器会自动生成一个
T b(1);//假设对象b已经初始化
T a(b);//初试化阶段,调用复制构造函数
T c = b;//虽然使用了“=”,但是初试化阶段,仍调用复制构造函数
T c = a; //因为对象c已经定义,所以此处调用赋值操作符重载函数。如果没有编译器会自动生成一个。