总结
为了支持移动操作(高效),右值引用,std::move(),移动拷贝(赋值)函数。
其中移动拷贝(赋值)函数以右值引用为参数,做函数匹配时【左值拷贝,右值移动】。
std::move()作为左值到右值引用地转换函数【桥梁】,以达到“左值移动,避免拷贝”,代价是左值变量被窃取【保证赋值与销毁】
左值右值
左值有持久状态,正常变量
右值:
- 字面常量
- 临时变量
左值引用,右值引用
左值引用:常规引用
右值引用:绑定在临时变量上(可以从绑定到右值引用的对象“窃取”状态), 用&&表示
std::move(),转换函数(左值->右值引用)
虽然不能将一个右值引用直接绑定到一个左值上,但是可以显示地转换
std::move()是一个标准模板函数,它可以将一个左值转换为一个右值引用,从而触发移动语义。std::move()并不真正移动任何东西,只是改变了对象的类型。
调用std::move(t)意味着承诺:除了对t赋值或销毁外,我们不能对[移后源对象]地值做任何假设。(t地值可能已经被窃取,访问会发生问题,可以重新填装值或者销毁t)
移动构造函数和移动赋值运算符
移动构造函数是一种特殊的构造函数,它接受一个右值引用作为参数,然后将其资源转移给新创建的对象。例如:
A (A&& exp) noexcept //移动构造函数
{
if (exp.array!=nullptr)
{
array = exp.array;
exp.array = nullptr;
}
}
移动赋值运算符是一种特殊的赋值运算符,它也接受一个右值引用作为参数,然后将其资源转移给已存在的对象。例如:
A& operator= (A&& exp) noexcept //移动赋值运算符
{
if (this != &exp)
{
delete[] array;
array = exp.array;
exp.array = nullptr;
}
return *this;
}
移动操作后,移动源对象必须置为析构安全地状态,保持有效(指能安全的赋予新值)【已被窃取不能对其值有任何假设】
指定为不抛出异常 noexcept
编译器自动合成(最好自己定义)
应用场景
-
当需要返回一个局部对象时,可以使用std::move()将其转换为右值引用,从而调用移动构造函数而非拷贝构造函数。
// func() 返回局部变量 A a(std::move(func()))
-
当需要将一个临时对象或即将销毁的对象赋给另一个对象时,可以使用std::move()将其转换为右值引用,从而调用移动赋值运算符而非拷贝赋值运算符。
A a = std::move(func())
-
当需要使用标准库容器、string、shared_ptr等类时,可以利用它们已经重载了移动构造函数和移动赋值运算符的特性,实现高效的插入、删除、交换等操作。
q.push(std::move(d2));