右值引用,移动拷贝,完美转发forward<T>(t)

什么是左值?什么是右值?

左值是一个表示数据的表达式(如变量名或解引用的指针),我们可以获取它的地址,一般可以对它赋值,左值可以出现赋值符号的左边,右值不能出现在赋值符号左边。定义时const修饰符后的左值,不能给他赋值,但是可以取它的地址。左值引用就是给左值的引用,给左值取别名。

右值也是一个表示数据的表达式,如:字面常量、表达式返回值,函数返回值(这个不能是左值引用返回)等等,右值可以出现在赋值符号的右边,但是不能出现出现在赋值符号的左边,右值不能取地址。右值引用就是对右值的引用,给右值取别名。

左值引用核心价值是减少拷贝,提高效率
左值引用核心价值是进一步减少拷贝,弥补左值引用没有解决的场景。如:传值返回

int main()
{
	// 以下的ptr、b、c、*p都是左值
	int* ptr = new int(0);
	int b = 1;
	const int c = 2;
	
	// 以下几个都是常见的右值
	10;
	x + y;
	// cout << &10 << endl;不能取地址
	// cout << &(x+y)<< endl;
	
	return 0;
}

左值引用:给左值取别名,右值引用:给右值取别名

int main()
{
	double x = 1.1, y = 2.2;
	// 左值引用:给左值取别名
	int a = 0;
	int& r1 = a;

	// 左值引用能否给右值取别名?
	// const左值引用可以
	const int& r2 = 10;
	const double& r3 = x + y;
	
	// 右值引用:给右值取别名
	int&& r5 = 10;
	double&& r6 = x + y;

	// 右值引用能否给左值取别名?
	// 右值引用可以引用move以后的左值
	int&& r7 = move(a);

	return 0;
}

右值引用可解决的问题1:自定义类型中深拷贝的类,必须传值返回的场景

比如下面代码,fun()函数中返回值str,在出了作用域会被销毁,所以会针对str进行拷贝构造出一个临时变量(第一次深拷贝),然后再利用临时变量对ret2进行赋值重载(第二次深拷贝)。整个过程发生了两次深拷贝。

bit::string func()
{
	string str("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx");
	return str;
}

int main()
{
	//string ret1 = func();

	bit::string ret2;
	ret2 = func();

	return 0;
}

解决方法:移动拷贝(浅拷贝) 

利用右值引用进行函数重载,同样的fun()函数中返回值str,在出了作用域会被销毁,所以会针对str进行拷贝构造出一个临时变量(第一次深拷贝),此时这个临时变量作为ret2的右值,并且为将亡值(内置类型的右值:纯右值,自定义类型的右值:将亡值),此时,会调用重载的函数string& operator=(string&& s),进行移动拷贝(浅拷贝)构造ret2。

移动构造,直接转移将亡值的资源,this指针直接指向将亡值的地址,同时为了避免析构函数将这片地址(this指针新指向的地址)销毁,将将亡值的地址置空。(swap函数的功劳)

void swap(string& s)
		{
			::swap(_str, s._str);
			::swap(_size, s._size);
			::swap(_capacity, s._capacity);
		}

// 赋值重载
string& operator=(const string& s)
{
	cout << "string& operator=(string s) -- 深拷贝" << endl;
	string tmp(s);
	swap(tmp);

	return *this;
}

string& operator=(string&& s)
	{
	cout << "string& operator=(string && s) -- 移动拷贝" << endl;
	swap(s);

	return *this;
	}


string func()
{
	string str("xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx");
	return str;
}

int main()
{
	//string ret1 = func();

	string ret2;
	ret2 = func(); //此时func()为右值将亡值,会调用重载的函数string& operator=(string&& s)

	return 0;
}

右值引用可解决的问题2:容器的插入接口,如果插入对象是右值,可以利用移动构造转移资源给数据结构中的对象

int main()
{
	list<bit::string> lt;
	bit::string s1("111111111111111111111");
	lt.push_back(s1);  //深拷贝

	cout << endl << endl;
	bit::string s2("111111111111111111111");
	lt.push_back(move(s2)); //移动拷贝

	cout << endl << endl;
	lt.push_back("GG");  //移动拷贝,通过"GG"构造临时对象/匿名对象,底层接收的为右值

	return 0;
}

 

完美转发forward<T>(t)的作用

如下代码,函数Fun(t),会根据t的类型调用相应的重载函数如void Fun(int& x),void Fun(const int& x) 等。t的类型有左值也有右值,我们可以预料到程序输出的结果有左值引用也会有右值引用对吧?

void Fun(int& x) { cout << "左值引用" << endl; }
void Fun(const int& x) { cout << "const 左值引用" << endl; }

void Fun(int&& x) { cout << "右值引用" << endl; }
void Fun(const int&& x) { cout << "const 右值引用" << endl; }

// 万能引用:既可以接收左值,又可以接收右值
// 实参左值,他就是左值引用(引用折叠)
// 实参右值,他就是右值引用
template<typename T>
void PerfectForward(T&& t)
{
	// 完美转发,t是左值引用,保持左值属性
	// 完美转发,t是右值引用,保持右值属性
	//Fun(forward<T>(t));
	Fun(t);
}

int main()
{
	PerfectForward(10);           // 右值

	int a;
	PerfectForward(a);            // 左值
	PerfectForward(std::move(a)); // 右值

	const int b = 8;
	PerfectForward(b);		      // const 左值
	PerfectForward(std::move(b)); // const 右值

	return 0;
}

但结果却全是左值引用

 这是由于右值引用变量的属性会被编译器识别成左值,否则在移动构造的场景下,无法完成资源转移。

如下图,如果右值s不被识别成左值,就不能调用swap(sting & s)函数,就没办法完成资源转移。右值不能修改,但右值引用可以修改。

 这也就说明了上面的程序为什么输出的全是左值引用。因为Fun(t),在调用的时候,不管t为右值还是左值,他都被识别成了左值。

而完美转发的作用就是,t是左值引用,保持左值属性,t是右值引用,保持右值属性。防止编译器自动识别成左值。

使用完美转发(Fun(forward<T>(t));)后输出结果就符合我们预期了

void Fun(int& x) { cout << "左值引用" << endl; }
void Fun(const int& x) { cout << "const 左值引用" << endl; }

void Fun(int&& x) { cout << "右值引用" << endl; }
void Fun(const int&& x) { cout << "const 右值引用" << endl; }

// 万能引用:既可以接收左值,又可以接收右值
// 实参左值,他就是左值引用(引用折叠)
// 实参右值,他就是右值引用
template<typename T>
void PerfectForward(T&& t)
{
	// 完美转发,t是左值引用,保持左值属性
	// 完美转发,t是右值引用,保持右值属性
	Fun(forward<T>(t));
	//Fun(t);
}

int main()
{
	PerfectForward(10);           // 右值

	int a;
	PerfectForward(a);            // 左值
	PerfectForward(std::move(a)); // 右值

	const int b = 8;
	PerfectForward(b);		      // const 左值
	PerfectForward(std::move(b)); // const 右值

	return 0;
}

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值