移动操作【右值引用,std::move(),移动拷贝(赋值)函数】

文章介绍了C++中的移动语义,包括右值引用、std::move()函数以及移动构造函数和移动赋值运算符。std::move()用于将左值转换为右值引用,允许资源的有效转移,提高效率,同时讨论了移动操作后的对象状态和异常安全性。移动构造函数和移动赋值运算符用于在对象间安全转移资源,确保析构安全。
摘要由CSDN通过智能技术生成
总结

为了支持移动操作(高效),右值引用,std::move(),移动拷贝(赋值)函数。

其中移动拷贝(赋值)函数以右值引用为参数,做函数匹配时【左值拷贝,右值移动】。

std::move()作为左值到右值引用地转换函数【桥梁】,以达到“左值移动,避免拷贝”,代价是左值变量被窃取【保证赋值与销毁】

左值右值

左值有持久状态,正常变量

右值:

  1. 字面常量
  2. 临时变量
左值引用,右值引用

左值引用:常规引用

右值引用:绑定在临时变量上(可以从绑定到右值引用的对象“窃取”状态), 用&&表示

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));
    
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值