c++右值引用之转移构造函数

右值引用是用来支持转移语义的。转移语义可以将资源 ( 堆，系统对象等 ) 从一个对象转移到另一个对象，这样能够减少不必要的临时对象的创建、拷贝以及销毁，能够大幅度提高 C++ 应用程序的性能。临时对象的维护 ( 创建和销毁 ) 对性能有严重影响。
这里有c++之左值引用和右值引用

在现有的 C++ 机制中，我们可以定义拷贝构造函数和赋值函数。要实现转移语义，需要定义转移构造函数，还可以定义转移赋值操作符。对于右值的拷贝和赋值会调用转移构造函数和转移赋值操作符。如果转移构造函数和转移拷贝操作符没有定义，那么就遵循现有的机制，拷贝构造函数和赋值操作符会被调用。
这里有关于拷贝构造函数与移动构造函数的push_back()使用c++之emplace_back()与push_back()区别

下面就用示例演示一下，参考C++ 11 左值，右值，左值引用，右值引用，std::move, std::foward

#include <vector>  
#include <string>  
#include <iostream>  

using namespace std;

class MyString {
private:
	char* _data;
	size_t   _len;
	void _init_data(const char *s) {
		_data = new char[_len + 1];
		memcpy(_data, s, _len);
		_data[_len] = '\0';
	}
public:
//构造函数
	MyString() {
		_data = NULL;
		_len = 0;
	}
//重载构造函数
	MyString(const char* p) {
		_len = strlen(p);
		_init_data(p);
	}
//拷贝构造函数
	MyString(const MyString& str) {
		_len = str._len;
		_init_data(str._data);
		std::cout << "Copy Constructor is called! source: " << str._data << std::endl;
	}
//拷贝赋值操作符
	MyString& operator=(const MyString& str) {
		if (this != &str) {
			_len = str._len;
			_init_data(str._data);
		}
		std::cout << "Copy Assignment is called! source: " << str._data << std::endl;
		return *this;
	}
//移动构造函数
	MyString(MyString&& str) {
		std::cout << "Move Constructor is called! source: " << str._data << std::endl;
		_len = str._len;
		_data = str._data;
		str._len = 0;
		str._data = NULL;
	}
	//移动赋值运算符
	MyString& operator=(MyString&& str) {
		std::cout << "Move Assignment is called! source: " << str._data << std::endl;
		if (this != &str) {
			_len = str._len;
			_data = str._data;
			str._len = 0;
			str._data = NULL;
		}
		return *this;
	}


	virtual ~MyString() {
		if (_data) free(_data);
	}
};

int main() {
	MyString a;
	a = MyString("Hello");//调用赋值运算符
	MyString b = a;//只调用拷贝构造函数
	cout << "----------------"<<endl;
	std::vector<MyString> vec;
	vec.push_back(MyString("World"));

	system("pause");
}

只存在拷贝构造函数和拷贝赋值操作符结果（注释掉移动构造函数和移动赋值操作符）

这个 string 类已经基本满足我们演示的需要。在 main 函数中，实现了调用拷贝构造函数的操作和拷贝赋值操作符的操作。MyString(“Hello”) 和 MyString(“World”) 都是临时对象，也就是右值。虽然它们是临时的，但程序仍然调用了拷贝构造和拷贝赋值，造成了没有意义的资源申请和释放的操作。如果能够直接使用临时对象已经申请的资源，既能节省资源，有能节省资源申请和释放的时间。这正是定义转移语义的目的

存在移动构造函数和移动赋值操作符结果

关于转移构造函数有下面几点需要对照代码注意：

1. 参数（右值）的符号必须是右值引用符号，即“&&”。
2. 参数（右值）不可以是常量，因为我们需要修改右值。
3. 参数（右值）的资源链接和标记必须修改。否则，右值的析构函数就会释放资源。转移到新对象的资源也就无效了。

原因：
我们可以看一下析构函数

virtual ~MyString() {
		if (_data) free(_data);
	}

它会delete掉_data的内存空间。但是如果调用析构函数的时候_data指向的是NULL，那么就不会delte任何内存空间。
所以如果转移构造函数或者移动赋值操作符中没有

str._data = NULL;

虽然调用移动构造函数或者移动赋值操作符后，已经获得了右值的_data的内存空间，但是之后右值就被销毁了，那么获得的的那片内存也被释放了，指向的就是一个不合法的内存空间。所以我们就要防止这片空间被销毁。