C++运算符重载(8) - 默认赋值操作符和引用

前面的一篇文章已经讨论过了赋值操作符重载的问题，参考C++运算符重载(3)。
本篇文章是前一篇的扩展。在前面的这篇文章中，已经说过了什么时候当没有用户定义的赋值操作符时，编译器会生成一个默认的赋值操作符执行浅拷贝，这会导致一些问题。当一个类中使用了引用但没有定义赋值操作符，会导致什么问题呢？

参考下面程序。

#include<iostream>
using namespace std;

class Test {
    int x;
    int& ref;
public:
    Test(int i) :x(i), ref(x) {}
    void print() { cout << ref; }
    void setX(int i) { x = i; }
};

int main() {
    Test t1(10);
    Test t2(20);
    t2 = t1;
    t1.setX(40);
    t2.print();
    return 0;
}

编译失败。输出下面信息。

gcc4.8.5 + CentOS7.2：
error: use of deleted function 'Test& Test::operator=(const Test&)'
     t2 = t1;
error: non-static reference member 'int& Test::ref', can't use default assignment operator

visual studio 2015：
error: non-static reference member 'int& Test::ref', can't use default assignment operator
message : 编译器已在此处生成“Test::operator =”
message : “Test &Test::operator =(const Test &)”: 由于“Test”具有引用类型的数据成员“Test::ref”，因此已隐式删除函数
message : 参见“Test::ref”的声明

在下面的这些情况下，编译器不会自动创建默认赋值操作符：

1. 类中包含const或volatile类型的非静态数据成员。
2. 类中包含一个非静态的数据成员，并且其类型是不能赋值的(例如引用)。
3. 被继承的基类中不能使用赋值操作符(例如基类中包含引用类型的成员)。

只要上面的某个条件成立，则用户必须自定义赋值操作符。

例如，当在上述代码中加入一个赋值操作符函数后，程序可以正常运行。

#include<iostream>
using namespace std;

class Test {
    int x;
    int& ref;
public:
    Test(int i) :x(i), ref(x) {}
    void print() { cout << ref; }
    void setX(int i) { x = i; }
    Test& operator = (const Test& t) { x = t.x; return *this; }
};

int main() {
    Test t1(10);
    Test t2(20);
    t2 = t1;
    t1.setX(40);
    t2.print();
    return 0;
}

运行结果：
10