复制构造函数只有一个参数,由于在创建时传入的是同种类型的对象,所以一个很自然的想法是将该类型的对象作为参数,像这样:
Sample (Sample a);
不幸的是,即使是这样朴实无华的声明也隐含了一个微妙的错误,呵,我们来看看:当某个时候需要以一个Sample对象的值来为一个新对象进行初始化时,编译器会在各个重载的构造函数版本(如果有多个的话)搜寻,它找到的这个版本,发现声明参数与传入的对象一致,因此该构造函数将会被调用。目前为止,一切都在我们的意料之中,但问题很快来了:该函数的参数我们使用了值传递的方式,按照前面的分析,这需要调用复制构造函数,于是编译器又再度搜寻,最后当然又找到了它,于是进行调用,但同样地,传参时又要进行复制,于是再调用...这个过程周而复始,每次都是到了函数入口处就进行递归,直到堆栈空间耗尽,程序崩溃...
由是观之,值传递看来是行不通的了;我想C语言的用户这时很快会反应到与值传递对应的方式:地址传递(传址),于是声明变为这样:
Sample Sample *p);
只作为一般的构造函数,它应该可以运行得很好,但别忘了我们要提供的是复制构造函数,它要求能够接受一个同类型对象,像这样:
Sample a;
Sample b(a);
而不是接受指针:
Sample a;
Sample b(&a); // 还要取地址?当然,它可以正确运行,但...
虽然在初始化对象时可以像上面一样人为加一个取址符,但在函数参数表中(或者函数返回)进行值传递时,编译器可不知道在找不着合适定义的情况下牵就选择你的指针版本。
只有单个形参,而且该形参是对本类类型对象的引用(常用 const 修饰),这样的构造函数称为复制
构造函数
复制构造函数可用于:
1. 根据另一个同类型的对象显式或隐式初始化一个对象
2. 复制一个对象,将它作为实参传给一个函数
3. 从函数返回时复制一个对象
4. 初始化顺序容器中的元素
5. 根据元素初始化式列表初始化数组元素
当用于类类型对象时,初始化的复制形式和直接形式有所不同:直接初始化直接调用与实参匹配的构
造函数,复制初始化总是调用复制构造函数
对于类类型对象,只有指定单个实参或显式创建一个临时对象用于复制时,才使用复制初始化
当形参或返回值为类类型时,由复制构造函数进行复制
如果没有为类类型数组提供元素初始化式,则将用默认构造函数初始化每个元素
如果我们没有定义复制构造函数,编译器就会为我们合成一个
与合成的默认构造函数不同,即使我们定义了其他构造函数,也会合成复制构造函数
合成复制构造函数的行为是,执行逐个成员初始化,将新对象初始化为原对象的副本
虽然一般不能复制数组,但如果一个类具有数组成员,则合成复制构造函数将复制数组,复制数组时
合成复制构造函数将复制数组的每一个元素
逐个成员初始化最简单的概念模型是,将合成复制构造函数看作这样一个构造函数:其中每个数据成
员在构造函数初始化列表中进行初始化
虽然也可以定义接受非 const 引用的复制构造函数,但形参通常是一个 const 引用
因为用于向函数传递对象和从函数返回对象,该构造函数一般不应设置为 explicit
有些类必须对复制对象时发生的事情加以控制,这样的类经常有一个数据成员是指针,或者有成员表
示在构造函数中分配的其他资源,而另一些类在创建新对象时必须做一些特定工作,这两种情况下,
都必须定义复制构造函数
为了防止复制,类必须显式声明其复制构造函数为 private
类的友元和成员仍可以进行复制,如果想要连友元和成员中的复制也禁止,就可以声明一个
(private)复制构造函数但不对其定义
一般来说,最好显式或隐式定义默认构造函数和复制构造函数,只有不存在其他构造函数时才合成默
认构造函数。如果定义了复制构造函数,也必须定义默认构造函数
Cpp代码
#include <iostream>
#include <string>
#include <fstream>
#include <vector>
using namespace std;
struct NoName {
NoName(): pstring(new string), i(0), d(0) { }
NoName(const NoName& noName): i(noName.i), d(noName.d)
{
*pstring = *(noName.pstring);
}
private:
string *pstring;
int i;
double d;
};
class Foo {
public:
Foo(); // default constructor
Foo(const Foo&); // copy constructor
// ...
};
int main()
{
string null_book = "9-999-99999-9"; // copy-initialization
string dots(10, '.'); // direct-initialization
string empty_copy = string(); // copy-initialization
string empty_direct; // direct-initialization
ifstream file1("filename"); // ok: direct initialization
//ifstream file2 = "filename"; error: copy constructor is private
// default string constructor and five string copy constructors invoked
vector<string> svec(5);
return 0;
}