文章目录
- move
- forward
- 总结
- 参考
基于C++11标准
在c++标准库的utility中，提供了下面几个非常用用的小函数：
x2=forward(x)：x2是一个右值；不抛出异常x2=move(x)：x2是一个右值；不抛出异常x2=move_if_noexcept(x)：若x可移动，x2=move(x)；否则x2=x；不抛出异常
move
move进行简单的右值转换：
template< class T >
typename std::remove_reference<T>::type&& move( T&& t ) noexcept;
我们用move告知编译器：此对象在上下文中不再被使用，因此其值可被移动，留下一个空对象。
最简单的例子是一个swap的可能实现：
template<class T>
void swap(T& a, T& b) noexcept(is_nothrow_move_constructible<T>() && is_nothrow_move_assignable<t>())
{T tmp{move(a)};a = move(b);b = move(tmp);
}
forward
forward从右值生成一个右值：
template< class T >
T&& forward( typename std::remove_reference<T>::type& t ) noexcept;
template< class T >
T&& forward( typename std::remove_reference<T>::type&& t ) noexcept;
这一对forward函数总是会一起提供，两者之间的选择是通过重载解析实现的。任何左值都会调用第一个版本处理，任何右值都会转向第二个版本处理。
forward的典型用法是将一个实参从一个函数完美转发到另一个函数。标准库make_shared<T>(x)是一个很好的例子。
总结
当希望用一个移动操作”窃取“一个对象的表示形式时，使用move；
当希望转发一个对象时，用forward。
因此，forward(x)总是安全的，而move(x)标记x将被销毁，因此要小心使用。
调用move(x)之后x唯一安全的用法就是析构或是赋值的目的。显然，一个特定类型可能提供更多的保证，理想情况下类的不变式保持不变。但是，除非你确切知道这类保证，否则不要依赖他们。
参考
Standard library header utility
使用std::move优化函数返回值
