（P40-P41）move资源的转移、forward完美转发

• • 1.move
  • 2.forward

在 C++11 添加了右值引用，并且不能使用左值初始化右值引用，如果想要使用左值初始化一个右值引用需要借助 std::move () 函数，使用std::move方法可以将左值转换为右值。（可以将左值、左值引用、右值引用转换为右值(STL源码返回的是一个将亡值T&&)）

• 使用这个函数并不能移动任何东西，而是和移动构造函数一样都具有移动语义，将对象的状态或者所有权从一个对象转移到另一个对象，只是转移，没有内存拷贝。

• 从实现上讲，std::move 基本等同于一个类型转换：static_cast(lvalue);，函数原型如下:

template
_NODISCARD constexpr remove_reference_t<_Ty>&& move(_Ty&& _Arg) _NOEXCEPT
{	// forward _Arg as movable
    return (static_cast&&>(_Arg));
}

• eg：

class Test
{
public：
    Test(){}
    ......
}
int main()
{
    Test t;

//使用左值初始化右值引用，因此语法是错误的
    Test && v1 = t;          // error
//使用 move() 函数将左值转换为了右值，这样就可以初始化右值引用了。
    Test && v2 = move(t);    // ok
    return 0;
}

• eg：假设一个临时容器很大，并且需要将这个容器赋值给另一个容器，就可以执行如下操作：

list ls;
ls.push_back("hello");
ls.push_back("world");
......
list ls1 = ls;        // 需要拷贝, 效率低
list ls2 = move(ls);

• 解释：

如果不使用 std::move，拷贝的代价很大，性能较低。使用 move 几乎没有任何代价，只是转换了资源的所有权。如果一个对象内部有较大的堆内存或者动态数组时，使用 move () 就可以非常方便的进行数据所有权的转移。

另外，也可以给类编写相应的移动构造函数（T::T(T&& another)），和具有移动语义的赋值函数（T&& T::operator=(T&& rhs)），在构造对象和赋值的时候尽可能的进行资源的重复利用，因为它们都是接收一个右值引用参数。

右值引用类型是独立于值的，一个右值引用作为函数参数的形参时，在函数内部转发该参数给内部其他函数时，它就变成一个左值（左值引用更好理解些？），并不是原来的类型了。

如果需要按照参数原来的类型转发到另一个函数，可以使用 C++11 提供的 std::forward () 函数，该函数实现的功能称之为完美转发。

• 函数原型

// 函数原型
template  T&& forward (typename remove_reference::type& t) noexcept;
template  T&& forward (typename remove_reference::type&& t) noexcept;

// 精简之后的样子
std::forward(t);

• 用法：

当T为左值引用类型时，t将被转换为T类型的左值
当T不是左值引用类型时，t将被转换为T类型的右值

• eg：

#include 
using namespace std;

template
void printValue(T& t)
{
    cout << "l-value: " << t << endl;
}

template
void printValue(T&& t)
{
    cout << "r-value: " << t << endl;
}

template
void testForward(T&& v)
{
    printValue(v);
    printValue(move(v));
    printValue(forward(v));
    cout << endl;
}

int main()
{

    testForward(520);
    int num = 1314;
 
    testForward(num);

    testForward(forward(num));

    testForward(forward(num));

    testForward(forward(num));

    return 0;
}

• 测试：
  

#include 
using namespace std;

template
void printValue(T& t)
{
    cout << "l-value: " << t << endl;
}

//&& 是未定义类型的引用
template
void printValue(T&& t)
{
    cout << "r-value: " << t << endl;
}

//&& 是未定义类型的引用
template
void testForward(T && v)
{
    printValue(v);
    printValue(move(v));
    printValue(forward(v));
    cout << endl;
}

int main()
{
    testForward(520);
    int num = 1314;
    testForward(num);
    testForward(forward(num));
    testForward(forward(num));
    testForward(forward(num));

    return 0;
}

• 参考：转移和完美转发