做租赁哪个网站好,网站地图定位用什么技术做,上海网站建设与设计,怎么做切片网站#x1f451;作者主页#xff1a;烽起黎明 #x1f3e0;学习社区#xff1a;烈火神盾 #x1f517;专栏链接#xff1a;C 文章目录前言一、传值传参二、传引用传参三、传值返回拷贝构造和赋值重载的辨析四、传引用返回【❌】五、传匿名对象返回六、总计与提炼前言 在传参… 作者主页烽起黎明 学习社区烈火神盾 专栏链接C 文章目录前言一、传值传参二、传引用传参三、传值返回拷贝构造和赋值重载的辨析四、传引用返回【❌】五、传匿名对象返回六、总计与提炼前言 在传参和传返回值的过程中一般编译器会做一些优化减少对象的拷贝这个在一些场景下还是非常有用的 经过深度探索类的六大天选之子学习我们讲到了拷贝构造一些基本概念和调用形式经过构造函数的初始化列表的学习我们知道了原来祖师爷在构造函数里还藏着这么个东西经过explicit关键字的学习我们清楚了可以手动去禁用构造函数的隐式转换本文继续细谈经过类中的static成员的学习我们认识到类中的这两个双胞胎还真是不可分离
本文我们将在前面的基础上继续展开学习去探究一下拷贝构造在拷贝对象时会发生一些编译器优化
之前我们在讲explicit关键字的时候我有提到下面这种写法会引发【隐式类型转换】而且还画了对应的图示中间会通过1构造产生一个A类型的临时对象然后用再去调用拷贝构造完成拷贝。 不过这一块编译器做了一个优化将【构造 拷贝构造】直接转换为【构造】的形式本模块我们就这一块来进行一个拓展延伸讲一讲编译器在拷贝对象时期的一些优化
A aa1 1;一、传值传参 首先来看到的场景是【传值传参】对象均是使用上面aa1 //传值传参
void func1(A aa)
{}请你思考一下这种形式编译器还会像上面那样去优化拷贝构造吗
func1(aa1);可以看到还是发生了拷贝构造为什么呢因为对于这种形式编译器不会去随意优化只有像上面在一个表达式内才会去进行一个优化。【这里的析构是针对函数内部的形参aamain函数中的aa1也会析构不做展示】 那如果直接传入一个3呢会做优化吗
func1(3);可以看到若是直接传入3的话就不会去调用拷贝构造了这个其实和一开始我们讲得那个差不多把构造 拷贝构造优化成了直接构造【一开始的构造不用理他为了构造出aa1对象】 接下去我传入一个A(3)会发生什么呢
func1(A(3));通过观察可以发现和上面那个是一样的其实读者去演算一下就可以很清楚A(3)就是一个很明显的有参构造实例化出一个对象后那就是拷贝构造但是这里因为编译器的优化所以直接变成了一个构造 二、传引用传参 接下去来看到的场景是【传引用传参】传入的值还是上面的这三种只是会通过传引用来接收 之前的文章里有说过为什么在传参的时候最好使用【传引用传参】原因就是在于可以减少拷贝提高程序运行效率
//传引用传参
void func2(const A aa) //不加const会造成权限放大
{}那通过引用接收aa1会发生什么呢
func2(aa1);通过观察可以发现无论是【构造】还是【拷贝构造】都不会去调用这是为什么呢 原因就在于这里使用的是引用接收那么形参部分的aa就是aa1的别名无需构造产生一个新的对象也不用去拷贝产生一个直接用形参部分这个就可以了现在知道引用传参的好处了吧 那直接传3呢又会发生什么
func2(3);观察得到临时对象还是会去进行构造不过因为引用接收的缘故我里面的aa就是这个临时对象的别名所以无需调用拷贝构造所以也是当回到主函数中才调用析构函数此时析构的就是这个临时对象这里要顺便提一句的是因为这个临时对象临时对象具有常性所以在拷贝构造的参数中一定要使用const做修饰否则就会造成权限放大 那么A(3)也是和上面同样的道理
func2(A(3));看完【传值传参】和【传引用传参】我们来总结一下 在为函数传递参数的时候尽量使用引用传参可以减少拷贝的工作
三、传值返回 接下去我们来讲讲函数返回时候编译器优化的场景首先是【传值返回】 //传值返回
A func3()
{A aa;return aa;
}若是直接去调用上面这个func3()会发生什么呢
func3();这个其实和传值传参的第一个是一样的因为在函数中对象和返回不是处于同一个表达式所以编译器不会产生优化调试结果如下 此处在函数调用的地方我使用一个对象去做了接收那在上面【构造 拷贝构造】的基础上就会再多出一个【拷贝构造】即为【构造 拷贝构造 拷贝构造】
A aa2 func3();不过通过调试可以看出只进行了一次拷贝构造这里其实就存在编译器对于【拷贝构造】的一个优化工作将两个拷贝构造优化成了一个拷贝构造 这里可能比较抽象我画个图来解说一下 可以看到因为这是一个传值返回所以一定会在构造产生临时对象。第一个是因为aa与A不是同一个表示式所以不会引发编译器的优化对于第二个来说因为又拿了一个A的对象作为接收所以又会产生一个拷贝构造。在这里编译器就要出手了它会觉得两个拷贝构造过于麻烦所以会直接优化成一个 拷贝构造和赋值重载的辨析
学习过【拷贝构造】和【赋值重载】的同学应该可以知道它们的形式很像若是一个对象还没有被实例化出来使用便是拷贝构造若是一个对象已经实例化出来了使用便是赋值重载
A aa2;
aa2 func3(); 仔细观察便可以发现在拷贝构造完成之后又去进行了一次【赋值重载】那看上面的代码其实就很明显了那若是一个【拷贝构造】【赋值重载】的话编译器其实不会去做一个优化那这其实相当于干扰了编译器 四、传引用返回【❌】 然后来说说【传引用返回】不过若是你知道引用返回的一些机制的话就可以清楚我下面这样其实是错误的因为aa属于局部变量出了当前作用域会销毁所以不可以使用传引用返回具体以下细述 A func4()
{A aa;return aa;
}首先来看下直接调用的结果会是怎样的
func4();可以看到因为传引用返回了所以就减少了中间的一份临时对象的拷贝也就没有去调用拷贝构造 那我若是用一个返回值去接收的话此时就可以看出引用返回临时对象的问题了
A aa3 func4();可以看到最后在拷贝构造结束后对象aa3内部的_a就是一个随机值 若是使用传值返回的话去观察就可以发现并不是一个随机值
A func4()五、传匿名对象返回 还记得上面讲到的【匿名对象】吗也可以使用它返回哦效率还不低呢 //匿名对象返回
A func5()
{return A(); //返回一个A的匿名对象
}先调用一下看看会怎么样
func5();可以看到本质还是传值返回照理来说会构造出一个临时对象然后在拷贝构造但是却没有调用拷贝构造原因就是匿名对象起到的作用对于A()你可以就把它看做是一个表达式一个【构造】【拷贝构造】就被优化成了直接构造 如果用返回值去接收呢编译器会优化到何种程度
A aa4 func5();可以看到竟然也是只有一个构造。照道理分析来看的话应该是【构造 拷贝构造 拷贝构造】不过在匿名对象返回那里已经优化成【直接构造】了然后再外面的【构造 拷贝构造】由引起来编译器的优化所以最终就只有一个构造了可以看到最后我还去掉了三次析构函数第一次就是当然就是aa4第二次是aa3第三次便是一开始就有的aa1了通过这么调试观察希望你能真正看懂编译器的思维 而且可以观察到匿名对象返回也不会造成随机值现象因为本质使用的还是【传值返回】这里不可以使用【传引用返回】因为匿名对象构建出来的也是一个临时对象具有常性会造成权限放大 六、总计与提炼 看完了上面这一些系列拷贝对象时编译器的优化我们来做一个总结 对象返回总结 接收返回值对象尽量拷贝构造方式接收不要赋值接收【会干扰编译器优化】 函数中返回对象时尽量返回匿名对象【可以增加编译器优化】
函数传参总结 尽量使用const 传参减少拷贝的同时防止权限放大 以上就是本文要介绍的所有内容感谢您的阅读
