std::move的实际工作过程

时间:2023-03-10 05:24:45
std::move的实际工作过程

std::move的定义如下:

 template <typename T>
typename remove_reference<T>::type && move(T&& t)
{
return static_cast<typename remove_reference<T>::type&&>(t);
}
通过引用折叠,此参数可以与任何类型的实参匹配,既可以传递给move一个左值引用也可以传右值引用,如:
string s1("hi"), s2;
s2 = std::move(string("bye1!"));//正确,从一个右值移动数据
s2 = std::move(s1);//正确,但赋值之后,s1的值是不确定的。
1)针对std::move(string("bye1!")); 传入的已经是右值引用
  1. 函数模板推断出T的类型为string
  2. 因此,remove_reference用string进行实例化
  3. remove_reference<string>的 type成员是string
  4. move的返回类型是string&&move的函数参数t的类型是string&&

因此等价于:

string&& move(string&& t);

函数体返回static_cast<string&&>(t),由于t的类型已经是右值引用,因此无需进行任何转化。

2)针对std::move(s1); 传入的就是一个左值

  1. 函数模板推断出T的类型是string&(因为string& &&才能折叠为string&)
  2. 因此,remove_reference用string&进行实例化
  3. remove_reference<string>的 type成员是string
  4. move的返回类型是string&&
  5. move的函数参数t的类型是string& &&,会折叠为string&

因此等价于:

string&& move(string& t);

函数体返回static_cast<string&&>(t),这里t的类型是string&,通过static_cast将其转化为string&&