聊聊 C++ 右值引用 和 移动构造函数

聊聊 C++ 右值引用 和 移动构造函数

一: 背景

最近在看 C++ 的右值引用和移动构造函数,感觉这东西一时半会还挺难理解的,可能是没踩过这方面的坑,所以没有那么大的深有体会,不管怎么说,这一篇我试着聊一下。

二: 右值引用

1. 它到底解决了什么问题?

在其他编程语言中,很少听到 右值引用 这个词,我个人感觉还是 C++ 这个 值类型 优先的语言基因决定的,我们都知道 值类型 作为方法参数或者返回值时会生成自身的副本,如果 值类型 很大,那一来一回生成若干个深复制的 临时对象 将会产生巨大的性能开销。

总结一句话:右值引用 就是尽可能的减少这中间 临时对象 个数,尤其是关联到 heap 上的对象,仅此而已。

2. 右值引用是个什么样子?

说到 右值引用 得先说什么是 右值,左值 , 左值 一般都是带有内存地址变量,而 右值 一般是立即数或者运算过程中的临时对象,这种对象不会有地址值,是不是很绕,我举个例子吧。

int main(){int i = 10;int j = 11;int sum = i + j;}

  • 10,11,(i+j)
  • 属于右值,因为它本身没有内存地址,除非把它们放入到栈中或者堆中。

  • i,j,sum
  • 属于左值,因为它们是线程栈上地址的标识符。

    知道了 左右值 概念,接下来理解 左右值引用 就很简单了,既然是 引用,必然是多个变量指向同一个地址,对吧,修改下代码如下:

    int main(){int i = 10;int& k = i;//左值引用int&& m = 10;//右值引用}

    接下来看下汇编代码:

    33: int i = 10;00FB182F mov dword ptr [ebp-0Ch],0Ah 34: int& k = i;00FB182F mov dword ptr [ebp-0Ch],0Ah 00FB1836 lea eax,[ebp-0Ch] 00FB1839 mov dword ptr [ebp-18h],eax 36: int&& m = 10;00FB183C mov dword ptr [ebp-30h],0Ah 00FB1843 lea eax,[ebp-30h] 00FB1846 mov dword ptr [ebp-24h],eax

    从汇编代码看,它们是一模一样的,也就是说在汇编层面,其实并没有 右值引用 和 左值引用 一说。

    有了这些基础,我们来看下更复杂的 class 结构。

    三: 右值引用如何减少对象的创建

    1. 简要思路

    其实仔细想一想,减少临时对象的创建,无非就是在运算过程中复用一些对象,不需要每次都走赋值构造函数来进行深复制,画个图就像下面这样。

    明白了这个思路,接下来我们举一个例子说明。

    2. 一个简单的例子

    C++ 最烦的地方就是有太多的构造函数, 数不胜数,太尴尬了,这里我做一个简单的 + 操作例子。

    #include #include using namespace std;class StringBuidler {public:char* str;int length;public:StringBuidler() {}StringBuidler(int len, char c) {this->str = new char[len];this->str[0] = c;this->length = len;}StringBuidler(const StringBuidler& s) {printf(“StringBuidler:深复制 “);this->length = s.length;this->str = new char[s.length];for (size_t i = 0; i str[i] = s.str[i];}}StringBuidler operator+(const StringBuidler& p) {StringBuidler tmp;tmp.length = this->length + p.length;tmp.str = new char[tmp.length];int index = 0;for (size_t i = 0; i length; i++){tmp.str[index++] = this->str[i];}for (size_t i = 0; i < p.length; i++){tmp.str[index++] = p.str[i];}return tmp;}};int main(){StringBuidler s1(10, 'a');StringBuidler s2(5, 'b');StringBuidler s3 = s1 + s2;printf("s3.length=%d, s1.length=%d, s2.length=%d ", s3.length, s1.length, s2.length);}折叠

    从这个例子中可以看到,s1+s2 操作中出现了一次 深copy,具体代码出现在 return 处,汇编代码如下:

    因为是深复制,所以会再次生成一个 new char[] ,如果 new char[] 很大,那将会是不必要的性能开销,能不能像我画的图一样,将 s3 中的 str 指针直接指向 tmp 所持有的 heap 上的 char[] 数组来达到复用目的呢? 肯定是可以的。

    3. 性能优化方案

    这里需要用 右值引用 + 移动构造函数 让 s3.str 指向 tmp.str,从而避免复制构造函数,在 StringBuilder 类中加一个方法如下:

    StringBuidler(StringBuidler&& s) {this->str = s.str;this->length = s.length;s.str = nullptr;}

    然后把程序跑起来,截图如下:

    可以看到,深复制已经没有了,这个过程会在 return 处被调用,编译器会判断如果是右值的话,自动走 移动构造函数,没有这个函数就会走 赋值构造函数。

    四: 总结

    总之 右值引用 可以让你尽可能的复用一些中间对象,达到一个性能上的提升,其实对 C# 程序员来说,这么简单的引用赋值,C++ 搞出了这么多概念,真的很难理解,可能还是那句话,这是 C++ 的值类型优先的基因决定的。

    郑重声明:本文内容及图片均整理自互联网,不代表本站立场,版权归原作者所有,如有侵权请联系管理员(admin#wlmqw.com)删除。
    (0)
    用户投稿
    上一篇 2022年7月26日
    下一篇 2022年7月26日

    相关推荐

    • 狼队复仇WB,五局打满险胜,水友:小胖的打野思路太恐怖了

      狼队作为人们公认的这个赛季发挥的最差的战队,在第1轮和第2轮都打出了被WB零封的战绩,所以很多人都认为,狼队如果再次和WB打的话,估计还是会难逃输掉的局面。但万万没想到在第3轮的比…

      2022年8月8日
    • JavaScript中的数据类型判断

      typeof typeof 操作符返回一个字符串,表示未经计算的操作数的类型。 语法typeof 运算符后接操作数: typeof operand typeof(operand) …

      2022年6月14日
    • PHP基础面试题 – 第三天

      1、 下面语句执行的结果是: $i=0; echo ++$i; echo $i++; $a=++$i; echo $a++; $i=$a; echo $i; A:1 2 3 4B:…

      2022年6月17日
    • 新疆某学校期末翻开双胞胎们的考试卷发现,不但字迹相似,连分数、错题都几乎一样。这有什么科学根据吗?

      不能错把巧合和默契当做心灵感应。 对于双胞胎之间异样的默契,许多解释都认为是心灵感应。 首先心灵感应的概念,是指信息利用已知的感觉通道从一个人到另一个人的交互,前提有二,传递的是信…

      2022年8月22日
    • 外媒报道:UST崩盘,Luna归零实际为项目方自导自演

      当我看到这一切,我是不愿意相信的,因为这里承载着我的梦想和对未来无限的向往,这个行业给了像我这样的屌丝翻身的机会,我是感谢这个行业的,但是经历了两轮牛市,也看透了太多。 就像老话说…

      2022年6月16日
    • 正版全新传奇《自由之刃》职业介绍免费下载

      1.法师职业 能够召唤出天地法则运转,具有召唤出风雨之力,输出虽大但身体弱。 2.道教牧师 与神灵共行,你再也不会在战场上。HP级别极大但输出不足。 3.伊戈尔哈 高输出和肉的马。…

      2022年7月22日
    • 快看看你的星座是属于那种类型的

      白羊座 婴儿 头部 热情、冲动、自信 金牛座 幼儿 颈、喉咙 固执、耐心、慢郎中 双子座 儿童 手臂、手掌、肩、肺 多变、好奇心、花心 巨蟹座 少年 胸、胃、子宫、消化系统 温柔体…

      2022年8月19日
    • Redis 为什么使用SDS

      SDS (Simple Dynamic String,简单动态字符串)是 Redis 底层所使用的字符串表示. SDS 在 Redis 中的主要作用有以下两个: 实现字符串对象(S…

      2022年7月11日
    • IIC驱动?C语言使用面向对象来实现

      一.简述 使用面向对象的编程思想封装IIC驱动,将IIC的属性和操作封装成一个库,在需要创建一个IIC设备时只需要实例化一个IIC对象即可,本文是基于STM32和HAL库做进一步封…

      2022年6月13日
    • 数据库设计建议

      1. 概述 本开发设计建议约定数据库建模和数据库应用程序开发过程中,应当遵守的设计规范。依据这些规范进行建模,能够更好的契合 openGauss 的分布式处理架构,输出更高效的业务…

      2022年7月1日

    联系我们

    联系邮箱:admin#wlmqw.com
    工作时间:周一至周五,10:30-18:30,节假日休息