主要讲的是如何实现移动构造。
1.移动构造的原因
这个移动构造,或者移动拷贝赋值,有窃取资源的意思。
这个窃取资源时对于指针持有的资源来说的。
而这个窃取是通过在构造函数与重载拷贝赋值的时候,编码将当前的指针指向资源,再将原来的指针,指向nullptr实现的。
当然,你也可以不对指针这样使用,比如对于任意的类型,将其拷贝给现在的,再将原来的置为空值。
但是这样没有意义,因为相对于很大的内存资源来说,拷贝一个指针相对于拷贝整个资源代价忽略不计,
而你对普通资源这样做,就失去了意义,因为反正一切资源你都已经拷贝了。
这个拷贝一个指针,然后把原指针置为nullptr,实现资源拥有权的转移也正是移动构造的意义所在。
2.move的意义
那么这个move有什么用呢?
普通的拷贝构造函数是const &T,常量引用。
你要定义一个移动构造,实际上传入的参数是一样的,但是又要和拷贝构造区分开来。
所以就发明了一个右值引用&& T。
但是我们在传入实参的时候,直接传入,就代表了const &T,而这个右值引用要如何表达呢?
于是就发明了一个move语句,取得对象的右值引用。
这样当定义了移动语义的构造函数或者是赋值运算符的类,就能够愉快地调用了。
3.结果
结果就是,
(1)对于一些没有用指针持有资源的类,比如说
C++内置类型,你调用move取得其右值引用是没用的。
因为内置类型没有定义移动构造函数,移动赋值运算符。
所以这就相当于直接赋值。
(2)对于用指针持有资源的标准库
这些类比如,string、vector、shared_ptr、thread
都是定义了各自的移动语义的。
这个时候就可以窃取,被窃取的对象的值就置为空。
(3)你自己定义的类
这就要看你的类的组织形式啦。
如果你的类并没有通过指针持有资源,那么定义移动构造函数是完全没有意义的。