详解C++11中的右值引用与移动语义

发布时间 - 2026-01-10 22:59:30    点击率:

C++11的一个最主要的特性就是可以移动而非拷贝对象的能力。很多情况都会发生对象的拷贝,有时对象拷贝后就立即销毁,在这些情况下,移动而非拷贝对象会大幅度提升性能。

右值与右值引用

为了支持移动操作,新标准引入了一种新的引用类型——右值引用,就是必须绑定到右值的引用。我们通过&&而不是&来获得右值引用。右值引用一个重要的特性就是只能绑定到将要销毁的对象。

左值和右值是表达式的属性,一些表达式生成或要求左值,而另一些则生成或要求右值。一般而言,一个左值表达式表示的是一个对象的身份,而右值表达式表示的是对象的值。(可以取地址的、有名字的就是左值;不能取地址的、没有名字的就是右值。)两者明显的区别就是左值有持久的状态,而右值要么是字面常量,要么是在表达式求值过程中创建的临时对象。

类似于常规引用(左值引用),一个右值引用也不过是某个对象的另一个名字而已。我们不能将左值引用绑定到要求转换的表达式、字面常量或是返回值的表达式,也不能把右值应用直接绑定到一个左值上。但是,常量左值引用可以绑定到非常量左值、常量左值、右值,是一个万能引用类型。不过相比右值引用所引用的右值,常量左值引用所引用的右值在它的“余生”中只能是只读的。

int i = 42;
int &r = i;     //r引用i
int &r2 = i*2;    //错误,i*2是一个右值
int &&rr = i;    //错误,不能将一个右值引用绑定到一个左值上
int &&rr2 = i*2;   //正确,将rr2绑定到一个乘法结果上
const int &r3 = i*2; //正确,将一个常量引用绑定到一个右值上

变量可以看做只有一个运算对象而没有运算符的表达式,是一个左值。我们不能将一个右值引用直接绑定到一个变量上,即使这个变量是右值引用类型。但是,我们可以通过新标准库中的move函数来获得绑定到左值上的右值引用。

int &&rr3 = std::move(rr2);

注意,被转化的左值,其生命周期并没有随着左右至的转化而改变,在转换之后使用左值可能造成运行时错误。因此,调用move就意味着承诺:除了对原左值变量赋值或销毁它外,我们将不再使用它。不过更多的时候,我们需要转换成右值引用的还是一个确实生命周期即将结束的对象。

移动构造函数和移动赋值运算符

为了让自定义类型也支持移动操作,需要为其定义移动构造函数和移动赋值运算符。这两个成员类似对应的拷贝操作,但它们从给定对象窃取资源而不是拷贝资源。类似于拷贝构造函数,移动构造函数的第一个参数是该类类型的一个右值引用,任何额外的参数都必须有默认实参。除了完成资源移动外,移动构造函数还必须确保移后源对象处于有效的、可析构的状态。

#include <iostream> 
#include <algorithm> 

class MemoryBlock 
{ 
public: 
  // 构造函数
  explicit MemoryBlock(size_t length) : _length(length) , _data(new int[length]) {} 

  // 析构函数 
  ~MemoryBlock() 
  {
    if (_data != nullptr)  delete[] _data;
  } 

  // 拷贝赋值运算符 
  MemoryBlock& operator=(const MemoryBlock& other) 
  { 
    if (this != &other) 
    { 
      delete[] _data; 
      _length = other._length; 
      _data = new int[_length]; 
      std::copy(other._data, other._data + _length, _data); 
    } 
    return *this; 
  } 

  // 拷贝构造函数 
  MemoryBlock(const MemoryBlock& other) 
    : _length(0) 
    , _data(nullptr) 
  { 
    *this = other; 
  } 

  // 移动赋值运算符,通知标准库该构造函数不抛出任何异常(如果抛出异常会怎么样?)
  MemoryBlock& operator=(MemoryBlock&& other) noexcept
  {
    if (this != &other) 
    {  
      delete[] _data; 
      // 移动资源
      _data = other._data; 
      _length = other._length; 
      // 使移后源对象处于可销毁状态
      other._data = nullptr; 
      other._length = 0; 
    } 
    return *this; 
  }

  // 移动构造函数
  MemoryBlock(MemoryBlock&& other) noexcept
    _data(nullptr) 
    , _length(0) 
  { 
    *this = std::move(other); 
  } 

  size_t Length() const 
  { 
    return _length; 
  } 

private: 
  size_t _length; // The length of the resource. 
  int* _data; // The resource. 
};

只有当一个类没有定义任何自己版本的拷贝控制成员,且类的每个非static数据成员都可移动时,编译器才会为它合成移动构造函数会移动赋值运算符。编译器可以移动内置类型;如果一个类类型有对应的移动操作,编译器也能移动这个类型的成员。此外,定义了一个移动构造函数或移动赋值运算符的类必须也定义自己的拷贝操作;否则,这些成员默认地定义为删除的。而移动操作则不同,它永远不会隐式定义为删除的。但如果我们显式地要求编译器生成=defualt的移动操作,且编译器不能移动所有成员,则编译器会将移动操作定义为删除的函数。

如果一个类既有移动构造函数又有拷贝构造函数,编译会使用普通的函数匹配规则来确定使用哪个构造函数。但如果只定义了拷贝操作而未定义移动操作,编译器不会合成移动构造函数,此时即使调用move来移动它们,也是调用的拷贝操作。

class Foo{
public:
  Foo() = default;
  Foo(const Foo&);
  // 为定义移动构造函数
};
Foo x;
Foo y(x);         //调用拷贝构造函数
Foo z(std::move(x));   //调用拷贝构造函数,因为未定义移动构造函数

以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持。


# c++  # 11  # 右值引用  # 移动语义  # 浅析C++11中的右值引用、转移语义和完美转发  # C++11的右值引用的具体使用  # 一文搞懂C++11万能引用和右值引用  # C++11语法之右值引用的示例讲解  # C++ 11新特性之右值引用使用案例与应用场景  # 绑定  # 运算符  # 是一个  # 的是  # 能将  # 而非  # 类似于  # 抛出  # 自己的  # 而不是  # 也不  # 是在  # 第一个  # 也能  # 又有  # 我们可以  # 不过是  # 这两个  # 自定义  # 只有一个 


相关栏目: 【 网站优化151355 】 【 网络推广146373 】 【 网络技术251813 】 【 AI营销90571


相关推荐: 如何选择PHP开源工具快速搭建网站?  如何用ChatGPT准备面试 模拟面试问答与职场话术练习教程  Swift中swift中的switch 语句  QQ浏览器网页版登录入口 个人中心在线进入  如何为不同团队 ID 动态生成多个独立按钮  小视频制作网站有哪些,有什么看国内小视频的网站,求推荐?  宙斯浏览器文件分类查看教程 快速筛选视频文档与图片方法  高端建站三要素:定制模板、企业官网与响应式设计优化  网页制作模板网站推荐,网页设计海报之类的素材哪里好?  如何快速上传建站程序避免常见错误?  如何在 Telegram Web View(iOS)中防止键盘遮挡底部输入框  Laravel如何使用Blade组件和插槽?(Component代码示例)  Laravel如何创建自定义Facades?(详细步骤)  详解MySQL数据库的安装与密码配置  悟空浏览器如何设置小说背景色_悟空浏览器背景色设置【方法】  Laravel如何实现用户密码重置功能?(完整流程代码)  Laravel怎么进行数据库回滚_Laravel Migration数据库版本控制与回滚操作  湖南网站制作公司,湖南上善若水科技有限公司做什么的?  详解Huffman编码算法之Java实现  Laravel的路由模型绑定怎么用_Laravel Route Model Binding简化控制器逻辑  Laravel Admin后台管理框架推荐_Laravel快速开发后台工具  Laravel如何使用Eloquent进行子查询  Laravel如何处理CORS跨域问题_Laravel项目CORS配置与解决方案  桂林网站制作公司有哪些,桂林马拉松怎么报名?  简单实现Android验证码  Python3.6正式版新特性预览  网站设计制作书签怎么做,怎样将网页添加到书签/主页书签/桌面?  齐河建站公司:营销型网站建设与SEO优化双核驱动策略  javascript中的数组方法有哪些_如何利用数组方法简化数据处理  Laravel如何实现RSS订阅源功能_Laravel动态生成网站XML格式订阅内容【教程】  海南网站制作公司有哪些,海口网是哪家的?  Win11关机界面怎么改_Win11自定义关机画面设置【工具】  如何挑选最适合建站的高性能VPS主机?  详解Android图表 MPAndroidChart折线图  java中使用zxing批量生成二维码立牌  Laravel如何与Docker(Sail)协同开发?(环境搭建教程)  微信小程序 scroll-view组件实现列表页实例代码  如何快速打造个性化非模板自助建站?  米侠浏览器网页图片不显示怎么办 米侠图片加载修复  东莞专业网站制作公司有哪些,东莞招聘网站哪个好?  香港服务器网站推广:SEO优化与外贸独立站搭建策略  零基础网站服务器架设实战:轻量应用与域名解析配置指南  Laravel怎么生成URL_Laravel路由命名与URL生成函数详解  如何在万网ECS上快速搭建专属网站?  JS经典正则表达式笔试题汇总  做企业网站制作流程,企业网站制作基本流程有哪些?  怎样使用JSON进行数据交换_它有什么限制  安克发布新款氮化镓充电宝:体积缩小 30%,支持 200W 输出  宙斯浏览器视频悬浮窗怎么开启 边看视频边操作其他应用教程  如何获取上海专业网站定制建站电话?