写这篇博客的起因是有学弟问我,使用swap需要使用move语义吗?会不会更加的高效,我会在这篇博客中记录一下我对于move 的理解
一.什么是移动语义和完美转发
移动语义让编译器使用移动操作来替代赋值操作
,同时也让创建只移类型称为可能,这些类型包括std::unique_ptr和std::future 和std::thread成为可能
完美转发让人们可以接受任意实参的函数模板
,目标函数会接受到完全相同的形参
那么这个如何实现?右值引用
让他们可以实现
在这里首先要提出一点-所有的函数形参都是左值,就算它是一个右值引用
,这个问题会在以后的博客里进行解答.
二.std::move和std::forward都做了什么
首先我在这里可以很负责任的告诉大家,std::move()和std::forward()
什么都没有做,move并没有任何的移动措施,forward也不会进行任何的转发,这两个在运行程序的期间,什么事情都没有干,什么一行可执行代码都没有生成.很神奇吧?
- std::move只是无条件的将实参转化为右值
- 首先我们来看一看c++11中的std::move的范例实现
template<typename T>
typename remove_reference<T>::type&&
move(T&& param)
{
using ReturnType = typename remove_reference<T>::type&&;
return static_cast<ReturnType>(param);
}
其中使用了remove_reference应用于T,保证返回的是一个右值,而右值在通常情况下是可以移动的,那我们拿string来举一个栗子
如果我们给一个函数传递进来是一个const string
的左值,那么它经过move之后,变成了一个const string
的右值,常量被保留下来了
但是当编译器决定调用哪个函数的时候,会面临这样的场景
class string{
public:
---
string(const string& rhs);
string(string&& rhs);
}
这段代码的结果是什么,没错,虽然你调用了移动语义
,而且程序也完美的运行起来,一切都如想象中的那么美好,但是可悲的是并没有调用移动构造
,而是复制构造为调用,因为有const 的右值引用通常会被绑定给有const 的左值引用
借此我们可以学到一些知识:
- 如果想要调用移动语义,不要将声明为const 变量
- 其次move仅仅只是让你确定结果会是一个右值,并不一定保证会以
移动语义来进行构造
std::forward都做了什么?
和move类似,forward只会在特定条件下实施强制类型转换,最常见的就是,某个函数模板取用了万能引用类型为形参,随后传递给另外一个函数
- forward只是将你传递进去的右值实参转化为右值,其余什么都不干而已