C++11标准颁布距今已经十年了,在这个标准中引入了很多新的语言特性,在进一步强化C++的同时,也劝退了很多人,其中就包含右值引用。
T&& Doesn’t Always Mean “Rvalue Reference”
by Scott Meyers
Scott Meyers曾经说过:T&&并不总是表示右值引用(rvalue reference)。
作为函数参数的&&
没错。&& 这两个符号,可能是初学C++或者C++11的时候,把很多人劝退的一个点。但想理清其实也不难。
首先在非模板函数中,&&肯定是表示右值引用,所以只能接收右值类型的参数。
class A { ... }; void foo(A&& a) { ... }
这个foo函数只能接受如下的右值参数。
foo(A{}); A a; foo(std::move(a)); A get_a() { A a; ... return a; } foo(get_a());
但是这样调用则不正确,会编译失败:
A a1; A& ar = a1; foo(ar); // ERROR
但是,在模板函数中&&则并不表示右值引用(rvalue rference)。比如:
template <typename T> void bar(T&& t) { ... }
这个T&&在C++标准中被称为forwarding reference, 译作转发引用, 俗称(非官方习惯但流行的叫法)是 universal reference,经常被译作万能引用。顾名思义,它所能接收的参数不仅仅是右值,左值也可以,故称万能。所以题主问题中的是T&&并不是右值引用。
我上文提到的模板函数bar(),可以接收如下类型的的参数(各种类型都可以!)。比如:
bar(A{}); A a; bar(move(a)); bar(get_a()); A a1; A& ar1 = a1; bar(ar1); const A& ar2 = a1; bar(ar2);
但是模板函数中的&&也不全是转发引用。比如:
template<typename T> void bar(vector<T>&& tv) { ... }
这里的参数tv就只能接收右值类型的参数。
又比如:
template<typename T> void bar(const T&& v) { ... }
加了const限制后,这里的&&也是右值引用,只能传入右值……
相信你已经看懂其中的差别。
接收返回值的&&
&&迷惑的另一个地方不仅在于上面介绍的,作为参数的时候。在接收函数返回值的时候,也有歧义,常常让人迷惑。
class A { ... }; A&& a = test1(); // 这个&&表示的是右值引用 auto&& a = test2(); // 这个&&表示的是也是转发引用
在auto和&&联用的时候,它也是转发引用(万能引用),故而可以接收各种类型的函数参数。
但是如果是显式指定了类型(比如A)然后和&&联用,则只表示右值引用,只能接收右值类型的参数!
怎么样,劝退了没。