赋值运算符重载引发的思考（引用的功能） http://blog.csdn.net/yorkcai/article/details/8567441

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

[cpp] view
plaincopy

#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