标准库move函数是使用右值引用的模板的一个很好的例子。标准库是这样定义std::move的:
template <typename T> typename remove_reference<T>::type&& move(T&& t) { return static_cast<typename remove_reference<T>::type&&>(t); }
我们考虑如下代码的工作过程:
std::string s1("hi"), s2; s2 = std::move(string("hi")); // 正确,从一个右值移动数据 s2 = std::move(s1); // 正确,但是在赋值之后,s1的值是不确定的
在第一个赋值中,实参是string类型的右值,因此过程为:
- 推断T的类型为 string
- remove_reference<string> 的 type 成员是 string
- move 返回类型是 string&&
- move 的函数参数t的类型为 string&&
因此,这个调用实例化 move<string>,即函数
string&& move(string &&t)
在第二个赋值中,实参是一个左值,因此:
- 推断T的类型为 string&
- remove_reference<string&> 的 type 成员是 string
- move 返回类型是 string&&
- move 的函数参数t的类型为 string& &&,会折叠成 string&
因此,这个调用实例化 move<string&>,即
string&& move(string &t)
通常情况下,static_cast 只能用于其他合法的类型转换。但是有一条针对右值的特许规则:虽然不能隐式的将一个左值转换成右值引用,但我们可以用static_cast显示的将一个左值转换为一个右值。
时间: 2024-10-24 21:27:46