一、移动语义的引入
1.浅拷贝带来的问题
对于存在资源(文件,指针)类型成员的类对象,在执行拷贝的时候存在资源管理的问题,这是浅拷贝导致的。
此时我们可以重写拷贝构造实现深拷贝,解决资源管理的问题。
但是有的时候拷贝并不是必须的,而且拷贝次数多或者资源分配耗时时,也会带来性能问题。
class A{
public:A():value(new int(1)){}
private:int *value{nullptr};
};A getTemp()
{A a;return a;
}int main()
{A temp=getTemp();
}
上述代码,16行则会产生一次构造,两次拷贝构造,而两次拷贝构造都会产生资源的分配和释放。
2.移动语义的引入
而实际上这过程中变量a以及getTemp()函数产生的返回值不再使用资源了,完全没有必要重新分配资源。想要解决上述的问题,我们可以通过“偷”的方式,减少拷贝时内存分配,即将原有的资源浅拷贝到新对象的资源句柄上,而原资源置空,这样“偷”的方式叫做移动语义,这样的构造函数称为移动构造。
std::move的使用场景,将一个左值转换为右值时。
移动构造的调用场景,用一个右值构造一个新值(不包括左值引用和右值引用),二是初始化一个右值时(目前只发现存在于函数以值返回时)
右值引用的场景,引用一个右值时(避免(匿名)右值丢失)。
由于常量左值引用的“万能”性,因此如果没有声明移动构造函数,那么也可以走拷贝构造函数。
二、左值右值和右值引用
左值:具名,可取地址的值
右值:分为纯右值,如字面值常量,表达式结果,非右值引用函数返回值等;以及将亡值,如右值引用函数返回值,std::move返回值,显示类型转换值。
右值应用:T &&,用于绑定右值,赋予右值名称,延续右值的声明周期,并且可以通过右值引用访问右值。值得注意的是右值引用是一个左值。
左值引用、右值引用以及常量左值引用和常量右值引用能引用的类型如下表:
三、std::move将左值强制转换为右值
std::move并不会移动任何内容,唯一的作用就是将一个左值转为右值。如果不赋值给其他变量,a不会发生任何改变。
只有再赋值给其他变量时,才会通过移动构造或者移动赋值,将a的资源移走,但是a依旧不会被释放,只不过因为移动语义的作用,其资源无法被访问了。
实际上,默认的移动语义(移动构造)与拷贝并无区别,因此想要实现资源的移动构造,需要自己实现。
四、移动语义的其他问题
1.避免const
对于移动语义而言,实际上就是需要通过右值引用访问和修改右值内容(资源移动),而如果使用const的话则失去了这一能力。
2.默认移动构造
实际上编译器会生成默认移动构造函数(与拷贝相同),但是如果拷贝构造、赋值、移动赋值和析构任意实现一个,都会导致不生成默认的移动构造。
此外,默认移动构造与拷贝构造并无区别, 所以想要实现资源移动的移动构造,需要自己实现。
3.一个典型应用swap
通过std::move实现swap函数,可以大大提高性能。
4.关于异常
对于移动构造,往往是noexcept的,否则可能会导致指针悬挂。
而C++11提供了move_if _noexcept(v),在移动构造是noexcept时调用移动构造,否则调用拷贝构造,通过放弃性能来确保安全性。
5.NRVO
name return value optimized,返回值优化,实际上大部分编译器都实现了此优化功能,即在函数返回时不做移动和拷贝,而是直接变量名,性能消耗最小。
五、完美转发
对于函数模板而言,在进一步调用其他函数是,因为参数传递过程中出现的拷贝导致类型变化以及性能消耗。
通常引用折叠计数使用T &&的方式实现完美转发。
而函数中使用forward