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);

 }