std::move并不进行任何移动,std::forward也不进行任何转发,它们都是仅仅执行强制转换的函数模板
std::move是无条件将实参转换成右值,为何叫move,是告诉编译器,这个是一个右值,右值是可以移动的(如std::vector移动构造函数参数就是一个右值引用)(关于右值,详见:https://blog.csdn.net/ant2012/article/details/97828265),以下为std::move可能的实现:
template <class _Tp>
typename remove_reference<_Tp>::type&&
move(_Tp&& __t) noexcept
{
typedef typename remove_reference<_Tp>::type _Up;
return static_cast<_Up&&>(__t);
}
std::forward是仅在某个特定条件满足时才执行同一个转换,主要是配合万能引用(区分万能引用和右值引用),因为万能引用可以接收右值,也可以接收左值,但万能引用形参本身是左值(所有变量都是左值,详见https://blog.csdn.net/ant2012/article/details/91345255),所以当万能引用作为实参传递给其它函数时,需要std::forward来保留其原本的特性,以下为std::forward可能的实现
template <class _Tp>
_Tp&&
forward(typename remove_reference<_Tp>::type& __t) noexcept
{
return static_cast<_Tp&&>(__t);
}
template <class _Tp>
_Tp&&
forward(typename remove_reference<_Tp>::type&& __t) noexcept
{
return static_cast<_Tp&&>(__t);
}
参考:https://en.cppreference.com/w/cpp/language/value_category