以下代码测试了编译器默认生成的赋值运算符重载函数被删除的三种情况,并测试了这时候可以人为地声明。
为什么创建了namespace,可以看笔者的另一篇博客,C++学习过程中的代码/文件结构推荐
namespace del_copy_assign {
class Data1 {
public:
const int a;
Data1(int aa=2) :a(aa){}
void operator=(const Data1 &d1) { cout << "assign oper" << endl; }
};
class Data2 {
public:
int &ref;
Data2(int &r) :ref(r) {}
void operator=(const Data2 &d1) { cout << "assign oper" << endl; }
};
class Base {
private:
void operator=(const Base &b) { cout << "base assign oper" << endl; }
};
class Derived : public Base {
public:
void operator=(const Derived &d) { cout << "derived assign oper" << endl; }
};
void main()
{
Data1 d11;
Data1 d12;
d11 = d12;
int x1 = 2, x2 = 4;
Data2 d21(x1);
Data2 d22(x2);
d21 = d22;
Derived de1;
Derived de2;
de1 = de2;
}
}
这三种情况是类包含非静态const成员变量,非静态引用成员变量,以及父类的赋值运算符重载函数是private。前两者不能生成的原因是,const 和引用不能修改,不能简单地将 A = B 中 A 的所有成员赋 B 的值。第三种情况是,子类试图调用父类的赋值运算符重载函数,但是失败(因其是private)。
虽然编译器不再生成赋值运算符重载函数,但是此时可以手动声明添加。上述测试代码证明了这一点。但需要注意的是,虽然可以人工声明,可以正常编译通过,但仍需要确认逻辑是否正确。比如定义一个数组类,有一个 const 变量表示数组的长度,这时候两个数组间的赋值,具体的逻辑需要仔细思考。是否允许长度相等的数组间的赋值?或者不允许赋值操作,就像编译器删除了默认的赋值运算符重载函数一样。