赋值运算符函数

如下为类型CMyString的声明,请为该类型添加赋值运算符函数。

class CMyString
{
public:
	CMyString(char* pData = nullptr);
	CMyString(const CMyString& str);
	~CMyString(void);

private:
	char* m_pData;
};

需要注意的点:
<1> 是否把返回值的类型声明为该类型的引用,并在函数结束前返回实例自身的引用(*this)。只有返回一个引用,才可以允许连续赋值。否则,如果函数的返回值是void,则应用该赋值运算符将不能进行连续赋值。假设有3个CMyString的对象:str1、str2和str3,在程序中语句str1=str2=str3将不能通过编译。
<2> 是否把传入的参数的类型声明为常量引用。如果传入的参数不是引用而是实例,那么从形参到实参会调用一次拷贝构造函数。把参数声明为引用可以避免这样的无所谓消耗,能提高代码的效率。同时,我们在赋值运算符函数内不会改变传入的实例的状态,因此应该为传入的引用参数加上const关键字。
<3> 是否释放实例自身已有的内存。如果我们忘记在分配新内存之前释放自身已有的空间,则程序将出现内存泄漏。
<4> 判断传入的参数和当前操作实例(this)是不是同一个实例。如果是同一个,则不进行赋值操作,直接返回。如果事先不判断就进行赋值,那么在释放实例自身内存的时候就会导致严重的问题:当this和传入的参数是同一个实例时,一旦释放了自身的内存,传入的参数的内存也同时被释放了,因此再也找不到需要赋值的内容了。

当完整考虑了上述四个方面后,可以写出如下代码:

CMyString& CMyString::operator=(const CMyString& str)
{
	if(this == &str)
	{
		return *this;
	}
	delete []m_pData;
	m_pData = nullptr;
	m_pData = new char[strlen(str.m_pData) + 1];
	strcpy(m_pData,str.m_pData);

	return *this;
}

进阶写法:
在前面的函数中,在分配内存前先用delete释放了实例m_pData的内存,如果此时内存不足导致new char抛出异常,则m_pData将是一个空指针,这样非常容易导致程序崩溃。也就是说,一旦在赋值运算符函数内部抛出一个异常,CMyString的实例不再保持有效的状态,这就违背了异常安全性原则。
要想在赋值运算符函数中实现异常安全性,有两种方法。一种是先用new分配新内容,再用delete释放已有的内容。这样只在分配成功之后再释放原来的内容,也就是当分配内存失败时我们能确保CMyString的实例不会被修改。另一种更好的方法是,先创建一个临时实例,在交换临时实例和原来的实例。

CMyString& CMyString::operator=(const CMyString& str)
{
	if(this != &str)
	{
		CMyString strTemp(str);

		char* pTemp = strTemp.m_pData;
		strTemp.m_pData = m_pData;
		m_pData = pTemp;
	}

	return *this;
}

在这个函数中,我们先创建一个临时实例strTemp,接着把strTemp.m_pData和实例自身的m_pData进行了交换。由于strTemp是一个局部变量,但程序运行到if的外面时也就出了该变量的作用域,就会自动调用strTemp的析构函数,把strTemp.m_pData所指向的内存释放掉。由于strTemp.m_pData指向的内存就是实例之前m_pData的内存,这就相当于自动调用析构函数释放实例的内存。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
构造函数赋值运算符函数和拷贝构造函数都是 C++ 中的重要概念,它们的主要功能和区别如下: 1. 构造函数 构造函数是一种特殊的成员函数,用于创建对象时初始化对象的数据成员。它的主要功能是用来初始化对象的状态。在创建对象时,构造函数会自动调用,初始化对象中的成员变量。 2. 赋值运算符函数 赋值运算符函数是一种成员函数,用于将一个对象的值赋给另一个对象。它的主要功能是实现对象之间的赋值操作。赋值运算符函数通常以等号“=”作为符号,例如: ``` class MyClass { public: MyClass& operator=(const MyClass& other) { // 实现赋值操作 } }; ``` 3. 拷贝构造函数 拷贝构造函数是一种特殊的构造函数,用于将一个对象的值复制给另一个对象。它的主要功能是在创建一个新的对象时,使用已有的对象的值来初始化新对象。拷贝构造函数通常以 const 引用作为参数,例如: ``` class MyClass { public: MyClass(const MyClass& other) { // 实现拷贝操作 } }; ``` 区别: 1. 形式不同 构造函数是一种特殊的成员函数,没有返回值,函数名与类名相同,用于初始化对象的状态。赋值运算符函数和拷贝构造函数都是成员函数,但它们的函数名与类名不同,且有返回值。 2. 功能不同 构造函数用于创建对象时初始化对象的数据成员,赋值运算符函数用于将一个对象的值赋给另一个对象,拷贝构造函数用于将一个对象的值复制给另一个对象。 3. 调用时机不同 构造函数在创建对象时自动调用,赋值运算符函数在对象赋值时自动调用,拷贝构造函数在创建新对象时自动调用。 总的来说,构造函数赋值运算符函数和拷贝构造函数都是 C++ 中重要的概念,用于实现对象的创建、赋值和复制等操作。需要根据具体的需求来选择使用不同的函数
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值