C++---拷贝构造函数和赋值构造函数

摘要：最近看了一道面试题问：C++ 中拷贝赋值函数的形参能否进行值传递？我知道一般来说，拷贝构造函数的形参必须是自身类型的引用（《面向对象程序设计--C++语言描述（第二版）》这本书中有叙述），但是拷贝赋值函数的形参通常也是自身类型的引用，那么我们到底能不能将它们的形参改为值传递呢？

1，拷贝构造函数(不能进行值传递)

拷贝构造函数的原型有两种：

// 拷贝构造函数原型
Person( Person& );  // method 1
Person( const Person& );  // method 2

// 下面这种原型是错的
Person( Person );  // 不能进行值传递，只能传递引用

不能进行值传递的原因：如果自身参数不是引用，则永远不会调用成功------为了调用拷贝构造函数，我们必须拷贝它的实参，但为了拷贝实参，我们又必须调用拷贝构造函数，如此无限循环。

2，拷贝赋值函数（能进行值传递）

拷贝赋值函数的原型：

// 拷贝赋值函数原型
Person& operator=( const Person& );

为了与内置类型的赋值保持一致，赋值运算符通常返回一个指向其左侧运算对象的引用，这样就可以实现连等的功能（a = b = c）

为了验证我们的猜测（能进行值传递），我们做了一下验证，代码如下：

#include <iostream>
using namespace std;

class A {
public:
    A():a(0){}
    A(int k) {a = k;}
    A& operator=(A other){ // 进行值传递而非引用传递
        this->a = other.a;
    }
    int get(){return a;}
    ~A(){}
private:
    int a;
};

int main(){
    A a1(1);  // a1.get() == 1
    A a2;  // a2.get() == 0
    a2 = a1;
    cout << a2.get() <<endl;
    return 0;
}

// 输出结果
// 1