赋值运算符重载引发的思考（引用的功能）

引用网址：http://blog.163.com/zjf_to/blog/static/20142906120121723236624/

#include <iostream>
#include "string.h"
using namespace std;

class CMessage {
private:
char* Message;
public:
CMessage(char* MessageText = "Default Text!") {
cout<<"Constructor called!"<<endl;
Message = new char[strlen(MessageText) + 1];
strcpy(Message, MessageText);
}
void ShowMessage() {
cout<<"The message is "<<Message<<endl;
}
~CMessage() {
cout<<"Destructor Called!"<<endl;
cout << "Delete data" <<endl;
delete[] Message;
}

CMessage& operator =(const CMessage& OtherObject) {
cout << "override assignment operator function" <<endl;
if (this != &OtherObject)//检查对象是否已经赋值给自身
{
delete [] Message;
Message = new char[strlen(OtherObject.Message) + 1];
strcpy(Message, OtherObject.Message);
}
return *this;
}
};

int main(int argc, char* argv[]) {
CMessage message1("awei is the best!");
CMessage message2;
CMessage message3("abcdefadfadf");
message2 = message1;
message1.ShowMessage();
message2.ShowMessage();
/*
(message1=message2)=message3;
message1.ShowMessage();
message2.ShowMessage();
message3.ShowMessage();
*/return 0;
}

如果我们不重载赋值运算符，那么类会自动为我们提供一个赋值运算符，这个默认的赋值运算符函数跟默认的复制构造函数是一样的，就是把一个对象的数据成员的值复制给另一个对象对应的数据成员，在做此测试时，我也遇到了一个问题，直接利用默认赋值函数，引发内存溢出的问题，

代码及原因解释如下：

//////////////////////////////////////////////////////////////////////////

 //如果不重载赋值运算符，则下面这条语句

 //messge2 = message1;

 //将出现很低级的错误，因为这样的话两个成员变量message1和message2指针指向同一块内存地址，
 //在程序退出后，第一次调用调用message2的析构函数，则Message指针的地址已经释放，此时再次调用
 //message2的析构函数，即是对同一块内存第二次调用delete，那么将出现内存泄漏现象
 //////////////////////////////////////////////////////////////////////////

那么我们自己重载了赋值运算符，其参数和返回值为什么要非是引用类型不可呢？

我试着将赋值运算符函数的形参改为CMessage对象，此时再次爆发内存错误，原因是：

当我们以CMessage对象作为实参传入函数时，是以按值传递方式进行的，此时在函数内部将创建一个实参的副本，当函数返回时，该实参副本将被自动清除，实参副本中的Message指针将被释放，由于该指针指向的是对象message2的Message变量所指向的地址，因此message2对象的成员变量所指向的地址就这样莫名其妙的消失了，这样的错误编译时无法发现，但是运行时就会发生错误。运行结果为：

Constructor called!

Constructor called!

Destructor Called!

The message is 葺葺葺葺葺葺葺葺葺葺葺葺

The message is awei is the best!

Destructor Called!

Destructor Called!

当把返回类型改为CMessage对象时，此时跟上述情况雷同，此时赋值函数返回的message2原始对象的临时副本，当它销毁后，用来接收返回值的CMessage对象的Message所指向的指针也随之销毁，输出如下：

Constructor called!

Constructor called!

Destructor Called!

The message is awei is the best!

The message is 葺葺葺葺葺葺葺葺葺葺葺葺

Destructor Called!

此外，当使用(message1 = message2) = message3这样的表达式时，也是不合法的，因为左边表达式的返回结果是message1对象的临时副本，而编译器是不允许利用临时对象来调用成员函数的。

因此，这种情况是必须使用引用来传递参数和返回参数的,而且引用返回值的主要特性是可以作为左值，我们可以在赋值语句左边使用返回引用的函数，如表达式：(message1 = message2) = message3