为什么复制构造函数的形参必须是引用类型?

复制构造函数只有一个参数,由于在创建时传入的是同种类型的对象,所以一个很自然的想法是将该类型的对象作为参数,像这样:
     Sample (Sample a);
     不幸的是,即使是这样朴实无华的声明也隐含了一个微妙的错误,呵,我们来看看:当某个时候需要以一个Sample对象的值来为一个新对象进行初始化时,编译器会在各个重载的构造函数版本(如果有多个的话)搜寻,它找到的这个版本,发现声明参数与传入的对象一致,因此该构造函数将会被调用。目前为止,一切都在我们的意料之中,但问题很快来了:该函数的参数我们使用了值传递的方式,按照前面的分析,这需要调用复制构造函数,于是编译器又再度搜寻,最后当然又找到了它,于是进行调用,但同样地,传参时又要进行复制,于是再调用...这个过程周而复始,每次都是到了函数入口处就进行递归,直到堆栈空间耗尽,程序崩溃...

由是观之,值传递看来是行不通的了;我想C语言的用户这时很快会反应到与值传递对应的方式:地址传递(传址),于是声明变为这样:
     Sample Sample *p);
     只作为一般的构造函数,它应该可以运行得很好,但别忘了我们要提供的是复制构造函数,它要求能够接受一个同类型对象,像这样:
     Sample a;
     Sample b(a);
     而不是接受指针:
     Sample a;
     Sample b(&a);   // 还要取地址?当然,它可以正确运行,但...
     虽然在初始化对象时可以像上面一样人为加一个取址符,但在函数参数表中(或者函数返回)进行值传递时,编译器可不知道在找不着合适定义的情况下牵就选择你的指针版本。

只有单个形参,而且该形参是对本类类型对象的引用(常用 const 修饰),这样的构造函数称为复制

构造函数

复制构造函数可用于:
. 根据另一个同类型的对象显式或隐式初始化一个对象
. 复制一个对象,将它作为实参传给一个函数
. 从函数返回时复制一个对象
. 初始化顺序容器中的元素
. 根据元素初始化式列表初始化数组元素

当用于类类型对象时,初始化的复制形式和直接形式有所不同:直接初始化直接调用与实参匹配的构

造函数,复制初始化总是调用复制构造函数

对于类类型对象,只有指定单个实参或显式创建一个临时对象用于复制时,才使用复制初始化

当形参或返回值为类类型时,由复制构造函数进行复制

如果没有为类类型数组提供元素初始化式,则将用默认构造函数初始化每个元素

如果我们没有定义复制构造函数,编译器就会为我们合成一个

与合成的默认构造函数不同,即使我们定义了其他构造函数,也会合成复制构造函数

合成复制构造函数的行为是,执行逐个成员初始化,将新对象初始化为原对象的副本

虽然一般不能复制数组,但如果一个类具有数组成员,则合成复制构造函数将复制数组,复制数组时

合成复制构造函数将复制数组的每一个元素


逐个成员初始化最简单的概念模型是,将合成复制构造函数看作这样一个构造函数:其中每个数据成

员在构造函数初始化列表中进行初始化

虽然也可以定义接受非 const 引用的复制构造函数,但形参通常是一个 const 引用

因为用于向函数传递对象和从函数返回对象,该构造函数一般不应设置为 explicit

有些类必须对复制对象时发生的事情加以控制,这样的类经常有一个数据成员是指针,或者有成员表

示在构造函数中分配的其他资源,而另一些类在创建新对象时必须做一些特定工作,这两种情况下,

都必须定义复制构造函数

为了防止复制,类必须显式声明其复制构造函数为 private

类的友元和成员仍可以进行复制,如果想要连友元和成员中的复制也禁止,就可以声明一个

(private)复制构造函数但不对其定义

一般来说,最好显式或隐式定义默认构造函数和复制构造函数,只有不存在其他构造函数时才合成默

认构造函数。如果定义了复制构造函数,也必须定义默认构造函数。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值