linux下,std::move源码如下:
首先我们简洁一下这个函数,去掉constexpr属性修饰和noexcept不报异常关键字:
我们发现,move返回的类型是:
std::remove_reference<_TP>::type&&
它是通过一个 static_cast的类型转换得到的。也就是说,move内部将我们的变量转换为了这个类型。那么这个类型到底是什么呢?它怎么转换的呢?
进入remove_reference内部看看,他做了什么:
我们可以看到,remove_reference的特例模板有这三个;第一个,你给我一个_Tp类型,我定义一个 _Tp类型,别名为type;第二个,你给我一个_Tp类型的左值引用,我还是定义一个 _Tp类型,别名为type;第二个,你给我一个_Tp类型的右值引用,我定义一个 _Tp类型,别名为type。
以上三个模板的本质都是把 type 作为 _Tp 类型的别名;无论你传参是_Tp类型,还是他的左、右值引用。
remove_reference的作用就是去掉我们的引用(即去掉&/&&符号)。
所以,move内部就是将我们传参的属性,直接变成 Tp 类型,然后加上&&符号,直接返回我们的一个右值引用,即move本质就是做了一个类型转换。
typename
的作用是告诉 c++ 编译器,typename
后面的字符串为一个类型名称 。