为什么C++中的拷贝构造函数参数不能值传递


Received: by mail.email.jlu.edu.cn (ecMail, from userid 99)
To:
Subject: help
Date: Sun, 10 Oct 2004 11:00:03 +0800
From:

阿超玉良:

    为什么在C++中拷贝构造函数只有一个参数的时候为什么不能是对象,而必须是引用或者指针呢?请帮忙思考。
    回去太匆忙,太多的遗留问题,没能见面,遗憾。
    祝找工作顺利!



Received: by mail.email.jlu.edu.cn (ecMail, from userid 99)
To:
Subject: =?gb2312?Q?=D7=AA=B7=A2:?=
Date: Tue, 11 Oct 2004 00:10:57 +0800
From: 
 
ARM中就是这样规定的,而且我想这样也是有道理的,
比如如果有这样的值传递的拷贝构造函数:
class Account
{
public:
     Account(Account rhs)
     {
         ......
     }
}
在拷贝构造函数的执行过程中因为是值传递,所以要对rhs进行拷贝生成临时对象,而这个拷贝正常情况下又要去调用拷贝构造函数,所以如果编译器不对它的调用方式做特殊的处理的话就会死循环。而值传递的拷贝构造函数,在我看来在应用中是没有意义的,所以编译器也没有必要去特殊实现它。



Received: by mail.email.jlu.edu.cn (ecMail, from userid 99)
To:
Subject: Re:
Date: Mon, 11 Oct 2004 09:51:16 +0800
From:

阿超:

    拷贝构造函数和赋值函数系统能够自动提供默认,似乎不会出现递归情况,证明之一就是:如果拷贝构造函数中存在一个以上的参数(比如增加个整型参数)就允许值传递。
    我看是否可以这样理解:
    多个参数的时候和系统默认的出现了重载,所以允许,而单个参数的时候引用类型参数覆盖了系统默认的,值参数则和系统的默认函数(引用类型)无法区分,所以就不可以。




Received: by mail.email.jlu.edu.cn (ecMail, from userid 99)
To:
Subject: =?gb2312?Q?=D7=AA=B7=A2:?=
Date: Tue, 12 Oct 2004 00:10:35 +0800
From:

Copy Constructor应该就是只有一个本类型参数的构造函数,或是有多个参数,第一个是本类型的而其他的都有默认值的构造函数。所以如果多加一个没有默认值的参数,编译器会把它当作一般的构造函数处理,而不是拷贝构造函数。

Account(Account a, int salary){...} //是一般的构造函数,而不是拷贝构造函数

Account(Account a, int salary = 0){...} //它是拷贝构造函数,所以还是会报错

拷贝构造函数一般是用在等号赋值和函数传值临时对象拷贝上的,这时除了被拷贝对象是不可能给它传入额外的参数的,所以它不能有必须传入一个以上参数的形式。加上一个参数之后它就变成一般的构造函数了,而参数值传的拷贝还是要调用真正的拷贝构造函数,如果没有定义的情况下就是调用默认自动生成的拷贝构造函数。要是带其它默认参数的,是拷贝构造函数,如果真的能出现本类型值传的情况(编译器不限制)还是会调用它自己进行拷贝,递归循环,直到内存耗尽。

可以做实验,证明 Account(Account a, int salary)不是拷贝构造函数,比如这样的语句
Account a("hal9000", 1000);
Account b = a;
绝对是应该调用拷贝构造函数的,但它会去执行默认生成的copy ctor,而不是上面那个。

一个类里面只能有一个copy ctor吧,要不然需要拷贝时会调用哪个呢?

你可能感兴趣的:(为什么C++中的拷贝构造函数参数不能值传递)