我们知道,C++有一种特殊的带参数的构造函数,即拷贝构造函数。为什么特殊呢?因为该函数的形参类型便是拷贝构造函数所在的类的类型。废话少说,直接看程序:
#include<iostream>
using namespace std;
class A{
public:
A(){
cout << "default" << endl;
}
A(A& a){
cout << "copy" << endl;
}
};
int main()
{
A n;
A m = n;
return 0;
}
主函数的第二行A m=n;执行时调用了拷贝构造函数,相当于把实参n传给函数m.A(A& a),因为引用所以不存在内容的拷贝。
假设把拷贝构造函数声明为A(A a),那么把实参n传给函数m.A(A a)时,就会发生A a=n的再次拷贝操作。
以此类推,该递归调用是无穷的。所以编译器规定如果是拷贝构造函数,形参必须声明为引用。