理解移动语义(四)--引用折叠

目录

T &&

auto &&

引用折叠只适用于万能引用，不适用于具体的类型引用。

T &&

看下面的例子：

#include <iostream>
#include <type_traits>


void func(int && i)
{
	std::cout<<i<<std::endl;
}

template<class T>
void funcT(T i)
{
	std::cout << i << std::endl;
}

template<class T>
void funcTRefRef(T && i)
{
	//判断是否是左值
	std::cout << "is lvalue "<<std::is_lvalue_reference_v<T&&> << std::endl;
	std::cout << i << std::endl;
}

int main()
{
	int k = 0;
	//func(k);//error,func 只接收右值，不接受引用折叠
	func(8);//可以，8是右值
	funcT<int &>(k);//ok,T成了int &
	funcTRefRef(9);//ok,9是右值
	funcTRefRef(k);//ok. k 是左值
	std::cin.get();

	return 0;
}

可见，int &&不接受引用折叠，所以func(k)不合法

另外，可以利用is_l(r)value_reference<T &&>判断引用折叠后的左右值属性。

auto &&

auto &&的折叠规则与T &&相同。举例1：

auto && v1 = 9;//9是右值，所以auto &&折叠为右值

举例2：

int i = 0;
auto && v2 = i;//i是左值，所以auto &&折叠为左值