class CMessage { private: char * m_pMessage; public: void showIt()const { cout << m_pMessage << endl; } //构造函数 CMessage(const char* text="Default message") { cout << "Constructor difinition" << endl; size_t length{strlen(text)+1}; m_pMessage = new char[length+1]; strcpy_s(m_pMessage,length+1,text); } //复制构造函数 CMessage(const CMessage & aMess) { size_t len{strlen(aMess.m_pMessage)+1}; this->m_pMessage = new char[len]; strcpy_s(m_pMessage,len,aMess.m_pMessage); } //重载赋值运算符 CMessage & operator=(const CMessage & aMess) { if (this!= &aMess) { delete[]m_pMessage; size_t length{strlen(aMess.m_pMessage)+1}; m_pMessage = new char[length]; strcpy_s(this->m_pMessage,length,aMess.m_pMessage); } return *this; } //析构函数 ~CMessage() { cout << "Destructor called" << endl; delete[]m_pMessage; } }; int main() { CMessage motto1{"Amiss is as good as a mile"}; CMessage motto2; motto2 = motto1; motto2.showIt(); motto1.showIt(); return 0; }
复制构造函数:
当某个类动态的为数据成员分配空间,又利用按值传递给函数传递该类的对象,那么必须要实现复制构造函数
如:
motto2 {motto1};
或
CMessage & displayMessage(CMessage localMsg)
{
cout <<"the message is:----------------" << endl;
localMsg.showIt();
return *this;
}
都会出现异常,如果没有实现复制构造函数,即两个对象的指针指向了同一块地址区域。
重载赋值运算符:
以现有的同类对象进行初始化类的对象,或者通过按值传递方式给函数传递对象,调用默认复制构造函数。
当赋值语句的左边和右边是同类类型的对象时,调用默认赋值运算符。
如:
motto2 = motto1;
如果我们没有实现赋值运算符函数,编译器就会使用默认的赋值运算符函数,当为数据成员动态的分配内存,进行对象赋值,就会程序异常。
因为两个对象都有一个指向相同内存地址的指针。
分析赋值运算符函数:
CMessage & operator=(const CMessage & aMess)
{ if (this!= &aMess)
{
delete[]m_pMessage;
size_t length{strlen(aMess.m_pMessage)+1};
m_pMessage = new char[length];
strcpy_s(this->m_pMessage,length,aMess.m_pMessage);
}
return *this;
}
delete[]m_pMessage; 删除分配给第一个对象的内存,重新分配足够的内存,以容纳第二个对象的字符串。
1、当 motto1 = motto1;会发生什么呢?
赋值运算符函数会释放 motto1 对象成员指向的内存
所以,if (this!= &aMess) 这条语句,是有必要的。
2、那么返回对象为什么?
motto1 = motto2=motto3;
这条语句的原型是:
motto1.operator=(motto2.operator=(motto3));
可知 motto2.operator=(motto3) 的结果必须是对象才能作为 motto1.operator=()的参数。
3、那么返回引用为什么?
(motto1 = motto2)=motto3;
这条语句的原型是:
(motto1.operator=(motto2)).operator=(motto3);
可知(motto1.operator=(motto2))的结果是个是个返回的临时对象,它是 rvalue ,编译器不允许使用 rvalue 调用函数成员。
而返回引用它是 lvalue。