【C++】类的拷贝构造函数参数为什么一定要是引用类型？

在《剑指offer》里面有这样一道面试题，以下代码会出现什么问题。

class A {
private:
	int value;
public:
	A(int n) {value = n;}
	A(A other) {value = other.value};
};

int main(){
	A a = 10;
	A b = a; 
}

答案是编译错误。主要的错误点在于A(A other) {value = other.value};。这里具体分析下为什么这个拷贝构造函数参数不能是传值参数。拷贝构造函数有些书会叫复制构造函数，一样的，指的都是用同类的对象去构造新的类。

函数的参数传递

1.值传递

A object1(10);  	  //初始化一个object1
A object2 = object1; //用object1去初始化object2

在值传递当中，形参初始化的机理与变量初始化一样，每次调用函数都会重新创建形参，并用传入的实参对形参进行初始化。以形参这一个类去初始化一个新的类，这就是拷贝构造函数干的活。

A（A other）{
	A other(bject1);  //隐式发生
	value = other.value}
}

拷贝构造函数A（A other）传入的参数是A的一个实例object1。为了调用拷贝构造函数，我们必须拷贝它的实参，但为了拷贝实参，我们又需要调用拷贝构造函数，如此无限循环。这就是为什么上面那道题是编译错误的原因。

2.引用传递

如果形参是引用类型，它将绑定到对应的实参上，不会在内部调用拷贝构造函数。而当函数无须修改引用形参的值是，最好使用常量引用。

拷贝构造函数

拷贝构造函数是类的构造函数的一种，其函数名和类名保持一致。如果构造函数的第一个参数是自身类型的引用，则此构造函数是拷贝构造函数。

A(const A& other) {value = other.value};

要分清楚直接初始化和拷贝初始化。

string dots(10,'.');     //直接初始化
string s(dots); 		 //直接初始化
string s2 = dots;  		 //拷贝初始化
string null_book = "999";//拷贝初始化
string nines = string(100,'9'); //拷贝初始化

拷贝初始化调用的就是拷贝构造函数。当我们使用拷贝初始化时，要求编译器将右侧运算对象拷贝到左侧正在创建的对象中。

拷贝初始化不仅在我们用=定义变量时会发生，在下列情况也会发生。

• 将一个对象作为实参传递给一个非引用类型的形参（这就是前面的值传递）
• 从一个返回类型为非引用类型的函数返回一个对象
• 对于标准库容器（stakc、queue等）使用push是拷贝初始化，用emplace是直接初始化。

拷贝构造函数要与拷贝赋值运算符区分开来。拷贝构造函数是拿一个现有的对象去初始化另外一个对象。拷贝赋值运算符是指对=进行重载，一般使用条件是两个已经构造成功的对象。

//拷贝构造函数
A a;
A b = a;

//拷贝赋值运算符
A a, b ;
a = b;

《C++ Primer 中文版》
《剑指OFFER》