1:右值引用
1.1:定义
讨论右值引用钱先给出左值和右值的定义:
An lvalue is an expression that refers to a memory location and allows us to take the address of that memory location via the & operator.
An rvalue is an expression that is not an lvalue
如果X&是X的左值引用,那么X&&就是x的右值引用。右值引用的主要用途就是定义move构造来减少对象间拷贝的开销。其类型分两种:const右值引用和非const右值引用,非const右值引用只能绑定到非const右值上,比如
string&& r1 = string("test");(1)
int&& r2 = 1;(2)
第一行中,右值引用r1绑定到匿名变量,当表达式结束后匿名变量析构,r1是否还有效?对此C++标准有规定
12.2/5
The second context is when a reference is bound to a temporary.117 The temporary to which the reference is bound or the temporary that is the complete object of a subobject to which the reference is bound persists for the lifetime of the reference except:
The second context is when a reference is bound to a temporary.117 The temporary to which the reference is bound or the temporary that is the complete object of a subobject to which the reference is bound persists for the lifetime of the reference except:
意思是说如果引用(const左值引用,非const右值引用,const右值引用)绑定到临时对象,那么这个临时对象的生命周期会被延长到跟引用的生命周期一样长。
1.2:universal references
T&&并不是一定表示右值引用,它的引用类型是未定的,即可能是左值有可能是右值。&&实际上是一个未定的引用类型。这个未定的引用类型被scott meyers称为universal references(可以认为它是种通用的引用类型),如果&&被一个左值初始化的话,它就是一个左值引用;如果它被一个右值初始化的话,它就是一个右值引用。
(1)
template<typename T>
void f(T&& param); //这里T的类型需要推导,所以&&是一个universal references
(2)
template<typename T>
class Test {
...
Test(Test&& rhs); // 已经定义了一个特定的类型, 没有类型推断
... // && 是一个右值引用
};
void f(Test&& param); // 已经定义了一个确定的类型, 没有类型推断,&& 是一个右值引用
(3)
template<typename T>
void f(std::vector<T>&& param);
//这里既有推断类型T又有确定类型vector,那么这个param到底是什么类型呢?
它是右值引用类型,因为在调用这个函数之前,这个vector<T>中的推断类型已经确定了,所以到调用f时没有类型推断了。
(4)
template<typename T>
void f(const T&& param);//右值引用
universal references仅仅在T&&下发生,任何一点附加条件都会使之失效,而变成一个右值引用
1.3:reference collapsing rules:
A& &
becomesA&
A& &&
becomesA&
A&& &
becomesA&
A&& &&
becomesA&&
template<typename T>
void foo(T&&);
1:如果实参是左值A,则T被推导为A&,函数形参为A& &&,根据引用折叠规则最终为A&,左值引用。
2:如果实参是右值A,则T被推导为A,函数形参为A&&,即右值引用