std::move的源码

linux下,std::move源码如下:

std::move的源码_第1张图片

首先我们简洁一下这个函数,去掉constexpr属性修饰和noexcept不报异常关键字:

std::move的源码_第2张图片

我们发现,move返回的类型是:

std::remove_reference<_TP>::type&&

它是通过一个 static_cast的类型转换得到的。也就是说,move内部将我们的变量转换为了这个类型。那么这个类型到底是什么呢?它怎么转换的呢?

进入remove_reference内部看看,他做了什么:

std::move的源码_第3张图片

        我们可以看到,remove_reference的特例模板有这三个;第一个,你给我一个_Tp类型,我定义一个 _Tp类型,别名为type;第二个,你给我一个_Tp类型的左值引用,我还是定义一个 _Tp类型,别名为type;第二个,你给我一个_Tp类型的右值引用,我定义一个 _Tp类型,别名为type。

        以上三个模板的本质都是把 type 作为 _Tp 类型的别名;无论你传参是_Tp类型,还是他的左、右值引用。

        remove_reference的作用就是去掉我们的引用(即去掉&/&&符号)。

        所以,move内部就是将我们传参的属性,直接变成 Tp 类型,然后加上&&符号,直接返回我们的一个右值引用,即move本质就是做了一个类型转换。

std::move的源码_第4张图片

 typename 的作用是告诉 c++ 编译器,typename 后面的字符串为一个类型名称 。

你可能感兴趣的:(C++杂项,gnu,服务器)