作用解析:
std :: move():将左值转化为临时右值,跟移动构造函数或者移动赋值配合使用可以省去数据拷贝带来的开销
注意:
通常移动构造函数和赋值运算符重载后面要加noexcept,有以下两个原因:
1. 两者均是进行资源的移动而不是资源的拷贝构造,若程序抛出异常可能导致正在被处理的原始对象因为异常而丢失
2.在使用标准库进行元素的添加或者移除时,通常要保证强异常安全性,如果元素类型没有提供一个保证不抛异常的移动构造函数,标准模板库通常会使用拷贝构造函数
代码:
#include<iostream>
using namespace std;
class Data { // 数据类,用来体现移动构造的优势:省去了数据拷贝构造带来的开销
public:
Data() { cout << "Data() 默认构造" << endl;}
Data(const Data& src) { cout << "Data() 拷贝构造" << endl; }
};
class A { // 执行类,建立移动构造函数和移动赋值运算符
private:
Data* data; // 类数据成员为Data类指针
public:
A(): data(new Data()){ cout << "A() 默认构造" << endl; }
A(const A& src):data(new Data(*src.data)) {
cout << "A() 拷贝构造" << endl;
}
A(A&& src)noexcept :data(src.data){
src.data = nullptr;
cout << "A() 移动构造" << endl;
}
~A() {
delete data;
}
A& operator=(const A& src){ // 返回类对象引用
if (&src == this) return *this;
delete data;
data = new Data(*src.data);
cout << "A() 拷贝赋值" << endl;
return *this;
}
A& operator=(A&& src)noexcept { // 返回类对象引用
if (&src == this) return *this;
delete data;
data = src.data;
src.data = nullptr; // 置空保证移动后源对象进入可析构状态,但移动过后不能再源对象
cout << "A() 移动赋值" << endl;
return *this;
}
};
int main() {
A a1;
cout << "=================" << endl;
A a2(a1);
cout << "=================" << endl;
A a3(move(a1));
cout << "=================" << endl;
A a4 = a3;
cout << "=================" << endl;
A a5 = move(a4);
return 0;
}
运行结果 :
Data() 默认构造
A() 默认构造
=================
Data() 拷贝构造
A() 拷贝构造
=================
A() 移动构造
=================
Data() 拷贝构造
A() 拷贝构造
=================
A() 移动构造
作笔记使用,如果有错误或者不够精美的地方,还请指正!!!多谢!!