vs2013之move源码解析



move语句简单解析
C++11中出了一个move语句，其含义是将T转换为T&&
比如以指针使用为例
unique_ptr<CTestClass> aa(new CTestClass);
unique_ptr<CTestClass> bb = std::move(aa);
如果不使用std::move，语句是编译不过去的，看下unique_ptr的实现
template<class _Ty,
class _Dx> // = default_delete<_Ty>
class unique_ptr
: private _Unique_ptr_base<_Ty, _Dx,
is_empty<_Dx>::value
|| is_same<default_delete<_Ty>, _Dx>::value>
{
    typedef unique_ptr<_Ty, _Dx> _Myt;
    unique_ptr(const _Myt&) = delete;
    _Myt& operator=(const _Myt&) = delete;
}
对=及拷贝都是禁止了的，但是它有这么一个函数
unique_ptr(unique_ptr&& _Right) _NOEXCEPT
: _Mybase(_Right.release(),
_STD forward<_Dx>(_Right.get_deleter()))
{ // construct by moving _Right
}
// move之后刚好是两个&&的参数类型，匹配到了这个函数中，然后就可以执行了，根据实现可以自己定义move后的含义，比如unique_ptr就定义为将right的指针release掉，然后把原始指针的所有权交给this指针了

另外举个例子解释下&&
template<class _Ty> inline
void TestMove1(_Ty&& _Arg) _NOEXCEPT
{
    _Ty j = _Arg;
}

int i = 10;
TestMove1(i)会调用成功，_Ty会被编译器解释为int&

void TestMove2(int&& _Arg) _NOEXCEPT
{
    int j = _Arg;
}

int i = 10;
TestMove2(i)会编译失败，int和int&&是不一样的。

int&& a2 = std::move(a1);
//int& a3 = std::move(a1);
int a4 = std::move(a1);;
a2,a4都能编译成功的
a4之所以能编译成功，是因为int&&能够转换为int，但是int是不能转换为int&&的（为什么？？？）
要理解这个，就要理解左值引用和右值引用了
左值引用和右值引用的误区：左值就是表达式左边的值，右值就是表达式右边的值
正确理解：表达式结束后，依旧存在的值就是左值，右值是指临时对象，赋值后会消失的值，判断标准，能够对其进行取地址的就是左值。
int& a = i;表示a是i的一个左值引用
int&&a = std::move(i); 则表示的是一个右值引用.c++用&表示左值引用，用&&表示右值引用。引用赋值给int很好理解，将它的值保存下来嘛。
但是int为什么不能赋值给int&&呢？
因为int&&的定位是一个右值引用，而int i是一个左值。赋值过去不合理，如果直接改了，左值是不是也就被修改了？会影响定义&&的初衷的
就是说右值引用是专门给右值定义使用的，而右值是个临时的值，直接改变int&& a，改变a的值不能影响程序其它任何值
如果被赋值为左值，这样改变右值引用就是改变了左值，失去了其定位。

另外也贴出move的源码，就是把arg转换为了&&,_Ty被解析为int&， remove_reference<_Ty>::type会被编译器解析为int(利用模板特例化)

之后返回成了int&&。

template<class _Ty> inline
 typename remove_reference<_Ty>::type&&
  move(_Ty&& _Arg) _NOEXCEPT
 { // forward _Arg as movable
 return ((typename remove_reference<_Ty>::type&&)_Arg);
 }