复制构造函数用于将一个对象复制到新创建的对象中。也就是说,它用于初始化过程中,而不是常规的赋值过程中。类的复制构造函数原型通常如下:
Class_name (const Class_name &);
它接收一个指向类对象的常量引用作为参数。
对于复制构造函数,需要注意两点:何时调用和有何功能。
(1)何时调用复制构造函数
新建一个对象并将其初始化为同类现有对象时,复制构造函数都将被调用。这在很多情况下都可能发生, 最常见的情况是将新对象显示的初始化为
现有的对象。例如,假如一个String类对象s1,则下面四种声明都将调用复制构造函数:
String s2(s1); //调用复制构造函数 String (const String & )
String s3 = s1; //调用复制构造函数 String (const String & )
String s4 = String(s1); //调用复制构造函数 String (const String & )
String * s5 = new String(s1); //调用复制构造函数 String (const String & )
其中中间的2种声明可能会使用复制构造函数直接创建s3和s4,也可能使用复制构造函数生成一个临时
对象,然后将临时对象的内容赋给s3和s4,这取决于具体的实现。最后一种声明使用s1初始化一个匿名
对象,并将新对象的地址赋给s5指针。
即每当程序生成了对象副本时,编译器都将使用复制构造函数。具体的说,当函数按值传递对象或函 数返回对象时,都将使用复制构造函数。注意,按值传递意味着创建原始变量的一个副本。编译器生成临 时对象时,也将使用复制构造函数。何时生成临时对象随编译器而异,但无论是哪种编译器,当按值传递 和返回对象时,都将调用复制构造函数。
由于按值传递对象将调用复制构造函数,因此应该按引用传递对象。这样可以节省调用构造函数的时 间以及存储新对象的空间。
(2)复制构造函数的功能
默认的复制构造函数逐个复制非静态成员(成员复制也称为浅复制),复制的是成员的值。
隐式的复制构造函数是按值进行复制的。
如果成员本身就是类对象,则将使用这个类的复制构造函数来复制成员对象。静态函数,静态成员不 受影响,因为他们属于整个类而不是某一个对象。
注意:如果类中包含静态数据成员,即其值将在新对象被创建时发生变化,则应该提供一个显示的复 制构造函数来处理计数问题。
解决上述问题的方法就是进行深度复制(deep copy)。也就是说,复制构造函数应该复制字符串并将副本的地址赋给str成员,而不仅仅是复制字符串地址。这样每个对象都有自己的字符串,而不是引用另一个对象的字符串。调用析构函数时都将释放不同的字符串,而不会试图去释放已经被释放的字符串。
另外,必须定义复制构造函数的原因在于,一些类成员是使用new初始化的、指向数据的指针,而不是数据本身。如果类中包含了使用new初始化的指针成员,应但定义一个复制构造函数,以复制指向的数据,而不是指针,这就是深度复制。浅复制只是复制指针值。浅复制只是浅浅的复制指针信息,而不会深入“挖掘”来复制指针引用的结构。