operator赋值为什么返回引用


一个自定义类,如果没有重载其=运算符,那么编译器将自动生成一个。但是此编译器自动生成的重载函数可能不安全。这是因为它采用了所谓的“浅拷贝”,也就是对于指针而言,它拷贝的是指针的值,而不是其指向的内存空间。那么这个内存空间就有了两个指针指向它,且类对象要析构两次,但是内存空间只能被释放一次,那么第二次就会出现访问错误。

  要避免这种“浅拷贝”问题,就需要重载=运算符。这是一个二元运算符,函数名和参数比较容易确定,重点是其返回类型。一般来说,要返回一个类的引用类型。这是因为要能实现所谓的“链式编程”。我存在过的疑问是,为什么要返回一个引用,才能实现所谓的“链式编程”呢?这里从代码出发,进行思考与总结。

复制代码
class Student
{
public:
Student(const char* name);~Student();
Student& operator=(const Student &student);private:
char *m_name;
};
复制代码
复制代码
//测试代码
Student s1(“Lee”);
Student s2(“Diwen”);
Student s3(“Tom”);

//先执行s2 = s1, 即执行 s2.operator=(s1), 返回的是s2的引用
//然后执行s3 = s2, 即执行 s3.operator=(s2)
s3 = s2 = s1;
复制代码
  =的链式编程执行顺序是从右向左的。因此右边需要返回一个Student类型的对象,是肯定的。那么问题是,为何要返回一个引用呢?

  观察一下重载=运算符的函数,参数类型是一个常量引用,也即是说传进去的实参必须是一个左值。而如果返回类型是Student,那么返回的就是一个匿名对象(右值),作为链式编程,此返回值(右值)又要作为实参传进去,那么显然不行(不加const不行,加了是可以的)。
const引用可以绑定到右值,而重载的赋值运算符返回一个引用当然是为了避免没有意义的拷贝了。


Author: Moule Lin
Reprint policy: All articles in this blog are used except for special statements CC BY 4.0 reprint polocy. If reproduced, please indicate source Moule Lin !
  TOC