Question

拷贝构造函数的参数为什么必须使用引用类型

Answer 1

在C++中， 构造函数，拷贝构造函数，析构函数和赋值函数(赋值运算符重载)是最基本不过的需要掌握的知识。 但是如果我问你？这个问题， 你会怎么回答？ 或许你会回答为了减少一次内存拷贝？ 很惭愧的是，我的第一感觉也是这么回答。不好还好，我有理性这个好品质。思索一下以后，发现这个答案是不对的。让我来撕开(有点暴力，但是我喜欢，嘿嘿--龇牙)那件隐藏在真理外的小裤衩，让它袒露在登徒子们的眼前吧。
//带参数构造函数{cout<<
"constructorwithargument/n";}CExample(constCExample&ex)
//拷贝构造函数{m_nTest=ex.m_nTest;
cout<<
"copyconstructor/n";}
CExample&operator=(constCExample&ex)
//赋值函数(赋值运算符重载){cout<<
"assignmentoperator/n";m_nTest=ex.m_nTest;return*this;}voidmyTestFunc(CExampleex){}};intmain(){CExampleaaa(2);
CExamplebbb(3);bbb=aaa;CExampleccc=aaa;
bbb.myTestFunc(aaa);return0;}看这个例子的输出结果：
constructor with argument//CExampleaaa(2);constructor with argument//CExamplebbb(3);assignment operator//bbb=aaa;copy constructor//CExampleccc=aaa;copy constructor//bbb.
myTestFunc(aaa);如果你能一眼看出就是这个结果的话， 恭喜你，可以站起来扭扭屁股，不用再往下看了。
如果你的结果和输出结果有误差， 那拜托你谦虚的看完。
第一个输出：
第二个输出：
constructor with argument//CExamplebbb(3);分析同第一个
第三个输出：
assignment operator//bbb=aaa;第四个输出：
copy constructor//CExampleccc=aaa;这两个得放到一块说。 肯定会有人问为什么两个不一致。原因是， bbb对象已经实例化了，不需要构造，此时只是将aaa赋值给bbb，只会调用赋值函数，就这么简单，还不懂的话，撞墙去！ 但是ccc还没有实例化，因此调用的是拷贝构造函数，构造出ccc，而不是赋值函数，还不懂的话，我撞墙去！！
第五个输出：
copy constructor//bbb.
myTestFunc(aaa);实际上是aaa作为参数传递给bbb.myTestFunc(CExample ex)， 即CExample ex = aaa；和第四个一致的， 所以还是拷贝构造函数，而不是赋值函数， 如果仍然不懂， 我的头刚才已经流血了，不要再让我撞了，你就自己使劲的再装一次吧。
看第四个输出：
copy constructor//CExampleccc=aaa;构造ccc，实质上是ccc.CExample(aaa); 我们假如拷贝构造函数参数不是引用类型的话， 那么将使得 ccc.CExample(aaa)变成aaa传值给ccc.CExample(CExample ex)，即CExampleex = aaa，因为ex 没有被初始化， 所以CExampleex = aaa 继续调用拷贝构造函数，接下来的是构造ex，也就是 ex.CExample(aaa)，必然又会有aaa传给CExample(CExample ex), 即CExampleex = aaa;那么又会触发拷贝构造函数，就这下永远的递归下去。
所以绕了那么大的弯子，就是想说明拷贝构造函数的参数使用引用类型不是为了减少一次内存拷贝， 而是避免拷贝构造函数无限制的递归下去。
所以， 拷贝构造函数是必须要带引用类型的参数的， 而且这也是编译器强制性要求的