亲宝软件园·资讯

展开

C++右值引用 完美转发

卖寂寞的小男孩 人气:0

一、左值与右值

顾名思义,左值就是只能放在等号左边的值,右值是只能放在等号右边的值。

在C++Prime一书中,对左值和右值的划分为,左值是一个表示数据的表达式,右值是一个即将销毁的值(通常称为将亡值)。比如我们定义的一个变量就是一个左值,而字面常量,表达式返回值,传值返回函数的返回值就是右值。

	10;//右值
	int a = 10;//a是左值
	add(2, 3);//右值
	x+y;//右值
	const int a;//左值

注意,const类型的变量是不能放在等号左侧来为它赋值的,但是他是一个左值。

这里给出一个区分两者的方式:可以取地址的就是左值,不能取地址的就是右值!

二、左值引用与右值引用

我们之前所写的引用都是左值引用符号是&,左值引用的底层是使用指针,它的作用是为对象取一个别名。

而右值引用就是给右值取别名,它的符号是&&,右值引用开辟了空间,得到的一个对象是左值。

	int a = 10;
	int& d = a;//左值引用
	int&& e = 10;//右值引用
	int&& f = a + 1;
	int&& c = add(2, 3);

左值引用不能给右值取别名,右值引用也不能给左值取别名。但是如果对左值进行move(),对左值引用加上const是可以这样进行的。

move的意思就是保证除了赋值和销毁之外,不再使用该左值,即将a的属性转移到了e中,对左值move后是一共右值。

	int&& c = a;//右值引用不能给左值取别名
	int& d = add(3, 4);//左值引用不能给右值取别名
	int&& e = move(a);//当对左值加move的时候可以
	const int& f = add(3, 4);//当对引用加const后可以取别名

同时右值引用不像左值引用一样具有传递性:

	int&& a = 10;
	a=20;
	cout<<&a<<endl;
	//int&& b = a;//错误

这是因为a是一个左值,我们可以打印a的地址,右值经过引用后得到的对象是一个左值。因此我们是可以对a进行赋值的。

三、右值引用应用

1.移动构造与移动赋值

移动构造与移动赋值在C++11中已经加入了STL容器的函数中:

string(string&& str) //移动构造
string& operator=(string&& str)//移动赋值

移动构造与移动赋值都是向函数中传入右值引用,它们的本质与右值基本相同,就是将一个将亡值的数据转移给另一个值。

我们可以在函数string中模拟实现一下移动构造和移动赋值,它们的本质就是调用swap函数完成赋值,而不是使用strcpy创建一个新对象。

1.模拟实现的string

为了方便观察,我们使用自己模拟实现的string来进行说明:

namespace my_string
{
	class string
	{
	public:
		typedef char* iterator;
		iterator begin()
		{
			return _str;
		}
		iterator end()
		{
			return _str + _size;
		}
		//构造函数
		string(const char* str = "")
			:_size(strlen(str))
			, _capacity(_size)
		{
			cout << "string(char* str)" << endl;

			_str = new char[_capacity + 1];
			strcpy(_str, str);
		}
		// s1.swap(s2)
		void swap(string& s)
		{
			::swap(_str, s._str);
			::swap(_size, s._size);
			::swap(_capacity, s._capacity);
		}
		// 拷贝构造
		string(const string& s)
			:_str(nullptr)
			, _size(0)
			, _capacity(0)
		{
			cout << "string(const string& s) -- 深拷贝" << endl;
			string tmp(s._str);
			swap(tmp);
		}
		// 移动构造
		string(string&& s)
			:_str(nullptr)
			, _size(0)
			, _capacity(0)
		{
			cout << "string(string&& s) -- 资源转移" << endl;
			this->swap(s);
		}
		// 移动赋值
		string& operator=(string&& s)
		{
			cout << "string& operator=(string&& s) -- 转移资源" << endl;
			swap(s);
			return *this;
		}
		//赋值
		string& operator=(const string& s)
		{
			cout << "string& operator=(string s) -- 深拷贝" << endl;
			string tmp(s);
			swap(tmp);
			return *this;
		}
		~string()
		{
			delete[] _str;
			_str = nullptr;
		}
		//下标访问
		char& operator[](size_t pos)
		{
			assert(pos < _size);
			return _str[pos];
		}
		//调换顺序
		void reserve(size_t n)
		{
			if (n > _capacity)
			{
				char* tmp = new char[n + 1];
				strcpy(tmp, _str);
				delete[] _str;
				_str = tmp;

				_capacity = n;
			}
		}
		//插入
		void push_back(char ch)
		{
			if (_size >= _capacity)
			{
				size_t newcapacity = _capacity == 0 ? 4 : _capacity * 2;
				reserve(newcapacity);
			}
			_str[_size] = ch;
			++_size;
			_str[_size] = '\0';
		}
		//string operator+=(char ch)
		string& operator+=(char ch)
		{
			push_back(ch);
			return *this;
		}
		string operator+(char ch)
		{
			string tmp(*this);
			push_back(ch);

			return tmp;
		}
		const char* c_str() const
		{
			return _str;
		}
	private:
		char* _str;
		size_t _size;
		size_t _capacity; // 不包含最后做标识的\0
	};
	my_string::string to_string(int value)
	{
		my_string::string str;
		while (value)
		{
			int val = value % 10;
			str += ('0' + val);
			value /= 10;
		}
		reverse(str.begin(), str.end());
		return str;
	}
}

2.移动构造

当我们调用to_string的时候:

my_string::string ret = my_string::to_string(1234);

当我们不添加移动构造的时候,可以发现最终进行的是一次深拷贝和一次浅拷贝:

这里发现只调用了一次拷贝构造,这是因为编译器做了优化,如果不优化的话,str拷贝构造临时对象,然后临时对象作为to_string的返回值再拷贝构造给ret。其实是发生了两次拷贝构造。

但是编译器做了优化之后,在to_string函数快结束时,返回前直接用str构造ret。

当我们加入拷贝构造之后,会发现只发生了一次移动构造就可以了:

其实在这一过程中编译器也做了优化,str先拷贝构造形成一个临时对象,再由临时对象进行移动构造赋值给ret。

编译器做了优化之后,将str直接当成左值(相当于move了一下),然后进行移动构造生成ret。

通过观察打印结果可以发现,显然移动构造没有再开辟空间,而是直接将数据进行转移,节省了空间,由临时变量进行拷贝构造给ret还会创建一个新的对象,消耗空间。

3.移动赋值

	my_string::string ret;
	ret = my_string::to_string(1234);//调用移动赋值

当不使用移动赋值的时候,以上代码是两段深拷贝实现的:

首先str会调用移动构造,生成临时对象,然后临时对象再调用赋值拷贝构造(深拷贝),定义ret。

当引入移动赋值之后,这个过程就变成了str调用移动构造生成临时对象,临时对象再通过移动运算符重载生成ret,整个过程中没有一次深拷贝。

C++11中,所有STL容器中,都会提供一个右值引用的版本。

四、默认移动构造和移动赋值重载函数

与六大成员函数一样,编译器在一定的条件下,也会生成自己的默认移动构造函数,只不过生成的条件更加复杂:

1.如果你自己没有实现移动构造函数,并且没有实现析构函数,拷贝构造,拷贝赋值构造中的任意一个。那么编译器会自动生成一个默认构造函数。默认生成的移动构造函数,对内置类型进行直接拷贝,对于自定义类型,如果有对应的移动构造函数就调用其对应的移动构造函数,如果没有那么调用拷贝构造。

2.如果你没自己实现移动赋值重载函数,且没有实现析构函数,拷贝构造,拷贝赋值重载中的任何一个,编译器会自动生成一个移动赋值重载函数。默认生成的移动赋值重载函数,对内置类型直接进行赋值,对于自定义类型,如果有对应的移动赋值重载函数就调用其对应的移动赋值重载函数,如果没有则调用拷贝赋值。

3.如果你提供了移动赋值构造或者移动赋值重载函数,那么编译器就不会自动生成。

五、完美转发

1.万能引用

在模板中,&&表示的不是右值引用,而是万能引用,即既可以接收左值,又可以接收右值。

void PerfectForward(T&& t)
{
	Fun(forward<T>(t));
}

此时传入的t既可以是左值,也可以是右值。

2.完美转发

运行以下程序,发现最终识别的都是左值引用。

void Func(int&& x)
{
	cout << "rvalue" << endl;
}
void Func(int& x)
{
	cout << "lvalue" << endl;
}
template<class T>
void PerfectForward(T&& t)
{
	Func(t);
}
int main()
{
	PerfectForward(10);//左值
	int a;
	PerfectForward(a);//左值
	PerfectForward(move(a));//左值
}	

这是因为右值引用一旦引用了,就变成了左值,如果我们还希望保持该右值引用的特性的话,需要使用forward函数来对其进行封装:

	Func(forward<T>(t));

forward(t)来进行封装的意义在于,保持t原来的属性,如果它原来是左值那么封装之后还是左值,如果它是右值的引用,则将其还原成右值。该函数的作用称为完美转发,由于这一性质,STL容器的插入也可以使用右值引用来实现。

即支持:

vector<int> v;v.push_back(111);

在该右值引用版本的插入中,调用的就是forward(val)。

加载全部内容

相关教程
猜你喜欢
用户评论