C++（27）——从自定义String类型理解右值引用

前言

我们是用之前的自定义String类，再一次对右值引用进行深入了解，尽管我们之前的博客已经谈到这个问题，先来回顾一下MyString：

class CMyString
{
public:
	CMyString(const char* str = nullptr)
	{
		cout << "CMyString(const char*)" << endl;
		if (str != nullptr)
		{
			_pstr = new char[strlen(str) + 1];
			strcpy(_pstr, str);
		}
		else
		{
			_pstr = new char[1];
			*_pstr = '\0';
		}
	}
	~CMyString()
	{
		cout << "~CMyString" << endl;
		delete[] _pstr;
		_pstr = nullptr;
	}
	CMyString(const CMyString& str)
	{
		cout << "CMyString(const CMyString&)" << endl;
		_pstr = new char[strlen(str._pstr) + 1];
		strcpy(_pstr, str._pstr);
	}
	CMyString& operator=(const CMyString& src)
	{
		cout << "operator=(const CMyString&)" << endl;
		if (this == &src)
			return *this;

		delete[]_pstr;

		_pstr = new char[strlen(src._pstr) + 1];
		strcpy(_pstr, src._pstr);
		return *this;
	}
	const char* c_str()const { return _pstr; }
private:
	char* _pstr;
};
CMyString GetString(CMyString& str)
{
	const char* pstr = str.c_str();
	CMyString tmpstr(pstr);
	return tmpstr;
}

在如下的函数运行过程中，我们来看看如何来提高代码的效率：

int main()
{
	CMyString str1("aaaaaaaaaaaaaaaaaaaaaaaaa");
	CMyString str2;
	str2 = GetString(str1);
	cout << str2.c_str() << endl;

	return 0;
}

我们从图示的方式看一下构建过程：

从图上看，这样的逻辑其实没什么大问题，但是只要执行拷贝构造函数，就会依据原对象的尺寸大小来开辟一个新的空间，然后将原来的数据依次拷贝(strcpy)进新的对象空间。

执行一次拷贝构造，可能需要大量的内存开辟和数据复制。最关键的，规模如此庞大的内存开辟和数据复制完成后，原来的对象就析构了！
那你早说啊！你把你的资源直接给我不就好了？

同理，在主函数的栈帧上构建的临时对象给str2进行赋值的时候，也同样需要大量的内存开辟和数据复制，拷贝完成后，临时对象也就析构掉了。

所以，对于这种涉及到临时对象的构造和赋值时，我们不能使用常规的逻辑：将我的资源复制一份给你；
而应该转换逻辑：将我的资源转移给你（因为反正我也不用了即将析构掉）
这样的话，代码的效率会有很大的提升！

解决问题

先来简单复习一下相关概念：

• 左值：有内存、有名字；
• 右值：没内存或者没名字（临时量）。

于是我们上述代码所产生的临时对象就是一个右值，在我们用右值引用引用这个右值之后，就相当于给它起了名字，于是它就变成了一个左值。
所以：右值引用变量本身就是一个左值。

添加右值引用参数的成员方法

// 带右值引用参数的拷贝构造
CMyString(CMyString &&str) // str引用的就是一个临时对象
{
	cout << "CMyString(CMyString&&)" << endl;
	_pstr= str._pstr;
	str._pstr= nullptr;
}

// 带右值引用参数的赋值重载函数
CMyString& operator=(CMyString &&str) // 临时对象
{
	cout << "operator=(CMyString&&)" << endl;
	if (this == &str)
		return *this;

	delete[]_pstr;

	_pstr= str._pstr;
	str._pstr = nullptr;
	return *this;
}

修改代码后：执行结果如下：

结论

• 在涉及临时对象的拷贝构造和赋值重载，都将匹配到带有右值引用参数的成员方法。
• 这样就可以避免大量开辟内存和数据拷贝了，从而来提高代码的效率。