C++ 新特性学习（七） — 右值引用
C++在效率上有个硬伤。我们知道C#和Java对于类传递都是以引用的方式，而C++默认都是传值。在传值过程中就经常会进行复制构造，这完全没必要而且浪费CPU，为了解决这种问题，于是乎C++11 增加了一个新的非常数引用（reference）类型，称为右值引用（R-value reference）。我就专门看了一下关于右值引用的东西。 右值引用在GCC 4.3之后开始支持，VS 2010（VC 10.0）已经支持，再前一点的VC版本没试过所以不知道。 右值引用的申明标记为T &&，主要用于处理临时变量，比如函数返回的变量（暂时想不出其他例子，忽略返回值优化吧，(命名)返回值优化参见http://efnetcpp.org/wiki/Return_value_optimization，再说返回值优化能力有限是吧，比要求如单返回语句、不能使用异常等等），避免复制构造。同时在析构的时候就不会析构这个临时变量，从而提升效率。 上代码：
class foo {
public:
int m;
foo(){ puts("directly"); }
foo(const foo&){ puts("copy"); }
foo(int i){ puts("int"); m = i; }
};
foo foo_func1(int flag)
{
if(flag == 1)
return foo();
if(flag == 2)
return foo(1);
// 此处返回值优化就是个渣渣
foo retv;
return retv;
}
foo&& foo_func2(int flag)
{
if(flag == 1)
return foo();
if(flag == 2)
return foo(1);
// 返回值优化就这么跪了
foo retv;
return std::move(retv);
}
foo rr1 = foo_func1(0); // 1
foo&& rr2 = foo_func2(0); // 2对于1，如果没有右值引用，首先rr1调用foo的复制构造函数，然后析构返回的fs对象。 对于2，有右值引用，返回的foo对象直接传给rr2，少了一步复制构造和释放foo对象的操作。
基本原理就是这样，经实测，右值引用在字符串操作上可以带来近30%的效率提升。
另外，介绍两个和右值引用相关的函数
std::move 提取右值引用
template<class _Ty> inline
typename _Ty &&
move(_Ty&& _Arg) _NOEXCEPT
{ // forward _Arg as movable
return ((typename _Ty &&)_Arg);
}这个函数用于显示告诉编译器，我要拿到右值，很多情况下函数有重载的时候，会优先使用传值的形式，使用这个函数可以指定取回右值引用，这样可以阻止临时对象的析构和复制构造
std:: forward 引用参数转发
template<class _Ty> inline
_Ty&& forward(typename remove_reference<_Ty>::type& _Arg) { // forward an lvalue
return (static_cast<_Ty&&>(_Arg));
}
template<class _Ty> inline
_Ty&& forward(typename remove_reference<_Ty>::type&& _Arg) _NOEXCEPT { // forward anything
static_assert(!is_lvalue_reference<_Ty>::value, "bad forward call");
return (static_cast<_Ty&&>(_Arg));
}
// 其中移除引用的代码如下
// TEMPLATE remove_reference
template<class _Ty>
struct remove_reference { // remove reference
typedef _Ty type;
};
template<class _Ty>
struct remove_reference<_Ty&> { // remove reference
typedef _Ty type;
};
template<class _Ty>
struct remove_reference<_Ty&&> { // remove rvalue reference
typedef _Ty type;
};很多情况下，我们会直使用模板进行操作，当_Ty为左值引用类型时，u将被转换为_Ty类型的左值，否则u将被转换为_Ty类型右值，据说是拿来做保留左右值属性的完美转发的。
所谓完美转发（详见提案N1385），就是模板函数接收到什么类型，就转发给其调用的函数什么类型，详见：http://blog.csdn.net/pongba/article/details/1697636
漫漫长路，下一站，原子操作和多进程编程
腾讯云开发者
