标准库move函数是使用右值引用的模板的一个很好的例子。标准库是这样定义std::move的：

template 
    
     typename remove_reference
     
      ::type&& move(T&& t){    return static_cast
      
       ::type&&>(t);}
      
     
    

我们考虑如下代码的工作过程：

std::string s1("hi"), s2;s2 = std::move(string("hi"));    // 正确，从一个右值移动数据s2 = std::move(s1);                // 正确，但是在赋值之后，s1的值是不确定的

• 推断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显示的将一个左值转换为一个右值。