C++11学习笔记：std::move和std::forward源码分析 - c++编程基础

#include

{

X&& b = move(a);

} 代码说明

::type&&>(__t) <=> static_cast (a)根据标准 static_cast (a) 将把左值 a 转换为X类型的无名右值引用。然后我们再来分析 move(X()) 这种用右值参数来调用move函数的情况。模拟单步调用来到源码第3行，_Tp&& <=> X&&, __t <=> X() 。根据函数模板参数推导规则，_Tp&& <=> X&& 可推出 _Tp <=> X 。
typename std::remove_reference<_Tp>::type <=> X 。
typename std::remove_reference<_Tp>::type&& <=> X&& 。再次单步调用进入move函数实体所在的源码第4行。static_cast ::type&&>(__t) <=> static_cast (X())根据标准 static_cast (X()) 将把右值 X() 转换为X类型的无名右值引用。由9和16可知源码中std::move函数的具体实现符合标准，
因为无论用左值a还是右值X()做参数来调用std::move函数，
该实现都将返回无名的右值引用（右值的一种），符合标准中该函数的定义。

不光是临时变量，只要是你认为不再需要的数据，都可以考虑用std::move移动。

比较有名的std::move用法是在swap中：

1 template
                   
                    
2 void swap(T& a, T& b)
                    
3 {
                    
4     T t(std::move(a));  // a为空，t占有a的初始数据
                    
5     a = std::move(b); //  b为空， a占有b的初始数据
                    
6     b = std::move(t); // t为空，b占有a的初始数据
                    
7 }

总之，std::move是为性能而生的，正式因为了有了这个主动报告废弃物的设施，所以C++11中的STL性能大幅提升，即使C++用户仍然按找旧有的方式来编码，仍然能因中新版STL等标准库的强化中收益。

std::forward

函数功能

std::forward (u) 有两个参数：T 与 u。当T为左值引用类型时，u将被转换为T类型的左值，否则u将被转换为T类型右值。如此定义std::forward是为了在使用右值引用参数的函数模板中解决参数的完美转发问题。

源码与测试代码 [cpp] view plaincopy

/// forward (as per N3143)
template
inline _Tp&&
forward(typename std::remove_reference<_Tp>::type& __t)
{ return static_cast<_Tp&&>(__t); }
template
inline _Tp&&
forward(typename std::remove_reference<_Tp>::type&& __t)
{
static_assert(!std::is_lvalue_reference<_Tp>::value, "template argument"
" substituting _Tp is an lvalue reference type");
return static_cast<_Tp&&>(__t);
} [cpp] view plaincopy
1. #include
2. using namespace std;
4. struct X {};
5. void inner(const X&) {cout << "inner(const X&)" << endl;}
6. void inner(X&&) {cout << "inner(X&&)" << endl;}
7. template
8. void outer(T&& t) {inner(forward (t));}
10. int main()
11. {
12. X a;
13. outer(a);
14. outer(X());
15. inner(forward (X()));
16. }
17. //inner(const X&)
18. //inner(X&&)
19. //inner(X&&) 代码说明

C++11学习笔记：std::move和std::forward源码分析(一)

预备知识

std::move

std::forward