力学笃行系列之C++中的RVO优化,针对返回值为对象时临时对象的优化

2024-04-13 02:32

本文主要是介绍力学笃行系列之C++中的RVO优化,针对返回值为对象时临时对象的优化,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

摘要:
RVO (return value optimization) 和NRVO (named return value optimization) 是C++在处理一个函数返回类对象并将返回值赋给另一个对象时,为了减少拷贝构造次数以及析构次数而采用的一种编译器优化技术。
当函数的返回值为对象时,内部的调用是如何的,下面看例子:

#include <iostream>
using namespace std;
class Byte
{private: int  b;public:Byte(int bb=0):b(bb){cout<<"constructor,address:"<<this<<endl;}Byte(const Byte& byte){b=byte.b;cout<<"copy constructor,address:"<<this<<endl;}const Byte operator++(int){   Byte before(b);b++;return before;}int  getcr(){return b;}~Byte(){cout<<"deconstructor,address:"<<this<<endl;}
};int main()
{Byte tmp(10);const Byte tmp2=tmp++;                   //用一个对象来接受这个临时对象//const Byte* tmp2=&(tmp++);cout<<tmp2.getcr()<<endl;cout<<"compiler end"<<endl;
}

执行结果(g++加参数-fno-elide-constructors,去掉rvo优化):

constructor,address:0x7ffdb92f9a10               //tmp(10)    函数构造
constructor,address:0x7ffdb92f99e0               //构造before(b)
copy constructor,address:0x7ffdb92f9a30          //拷贝构造到临时对象
deconstructor,address:0x7ffdb92f99e0             //before调用析构函数
copy constructor,address:0x7ffdb92f9a20          //拷贝构造函数,从临时对象拷贝到tmp2
deconstructor,address:0x7ffdb92f9a30             //临时对象调用析构函数
10                                               //tmp.b的值为10
compiler end                                 
deconstructor,address:0x7ffdb92f9a20             //程序结束,释放tmp2
deconstructor,address:0x7ffdb92f9a10             //程序结束,释放tmp

去掉-fno-elide-constructors,rvo优化,结果:

constructor,address:0x7ffca1a17170                //tmp构造函数
constructor,address:0x7ffca1a17180                //tmp2构造函数
10
compiler end
deconstructor,address:0x7ffca1a17180              //tmp析构函数
deconstructor,address:0x7ffca1a17170              //tmp2析构函数

接下来,将函数改为:

int main()
{Byte tmp(10);//const Byte tmp2=tmp++;                  const Byte* tmp2=&(tmp++);                               //用指针指向临时对象的地址cout<<tmp2.getcr()<<endl;cout<<"compiler end"<<endl;
}

程序运行结果:

constructor,address:0x7ffc4f9a3420                //tmp(10)    函数构造
constructor,address:0x7ffc4f9a33f0                //构造before(b)
copy constructor,address:0x7ffc4f9a3430           //拷贝构造到临时对象
deconstructor,address:0x7ffc4f9a33f0              //before调用析构函数
deconstructor,address:0x7ffc4f9a3430              //临时对象调用析构函数
10                                                //临时对象地址已经被释放(此处为何仍能输出10,此处留下一个疑问)
compiler end
deconstructor,address:0x7ffc4f9a3420              //程序结束,释放tmp

去掉-fno-elide-constructors,rvo优化,结果:

constructor,address:0x7ffedc840340                   //tmp构造函数
constructor,address:0x7ffedc840350                   //临时对象构造函数
deconstructor,address:0x7ffedc840350                 //临时对象析构函数(为什么临时对象都释放掉了,还能调用函数得到b的值?)
10
compiler end
deconstructor,address:0x7ffedc840340                 //tmp析构函数

此时,我本文的目的就达到了,就是返回的对象是一个临时对象,这个函数执行完之后,就会释放,其他还有各种函数返回值优化的验证模型,比如将return Byte(b++)会是什么结果?编译器是如何对这些语句进行优化的?NRVO是如何优化的?这些都可以在《在深度探索C++对象模型》中得到答案,我本文的目的已经达到,就不在深究了,大家如果感兴趣的话可以在深入研究下。

这篇关于力学笃行系列之C++中的RVO优化,针对返回值为对象时临时对象的优化的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/898905

相关文章

C++11范围for初始化列表auto decltype详解

《C++11范围for初始化列表autodecltype详解》C++11引入auto类型推导、decltype类型推断、统一列表初始化、范围for循环及智能指针,提升代码简洁性、类型安全与资源管理效... 目录C++11新特性1. 自动类型推导auto1.1 基本语法2. decltype3. 列表初始化3

C++11右值引用与Lambda表达式的使用

《C++11右值引用与Lambda表达式的使用》C++11引入右值引用,实现移动语义提升性能,支持资源转移与完美转发;同时引入Lambda表达式,简化匿名函数定义,通过捕获列表和参数列表灵活处理变量... 目录C++11新特性右值引用和移动语义左值 / 右值常见的左值和右值移动语义移动构造函数移动复制运算符

C++中detach的作用、使用场景及注意事项

《C++中detach的作用、使用场景及注意事项》关于C++中的detach,它主要涉及多线程编程中的线程管理,理解detach的作用、使用场景以及注意事项,对于写出高效、安全的多线程程序至关重要,下... 目录一、什么是join()?它的作用是什么?类比一下:二、join()的作用总结三、join()怎么

小白也能轻松上手! 路由器设置优化指南

《小白也能轻松上手!路由器设置优化指南》在日常生活中,我们常常会遇到WiFi网速慢的问题,这主要受到三个方面的影响,首要原因是WiFi产品的配置优化不合理,其次是硬件性能的不足,以及宽带线路本身的质... 在数字化时代,网络已成为生活必需品,追剧、游戏、办公、学习都离不开稳定高速的网络。但很多人面对新路由器

C++中全局变量和局部变量的区别

《C++中全局变量和局部变量的区别》本文主要介绍了C++中全局变量和局部变量的区别,全局变量和局部变量在作用域和生命周期上有显著的区别,下面就来介绍一下,感兴趣的可以了解一下... 目录一、全局变量定义生命周期存储位置代码示例输出二、局部变量定义生命周期存储位置代码示例输出三、全局变量和局部变量的区别作用域

C++中assign函数的使用

《C++中assign函数的使用》在C++标准模板库中,std::list等容器都提供了assign成员函数,它比操作符更灵活,支持多种初始化方式,下面就来介绍一下assign的用法,具有一定的参考价... 目录​1.assign的基本功能​​语法​2. 具体用法示例​​​(1) 填充n个相同值​​(2)

MySQL深分页进行性能优化的常见方法

《MySQL深分页进行性能优化的常见方法》在Web应用中,分页查询是数据库操作中的常见需求,然而,在面对大型数据集时,深分页(deeppagination)却成为了性能优化的一个挑战,在本文中,我们将... 目录引言:深分页,真的只是“翻页慢”那么简单吗?一、背景介绍二、深分页的性能问题三、业务场景分析四、

Linux进程CPU绑定优化与实践过程

《Linux进程CPU绑定优化与实践过程》Linux支持进程绑定至特定CPU核心,通过sched_setaffinity系统调用和taskset工具实现,优化缓存效率与上下文切换,提升多核计算性能,适... 目录1. 多核处理器及并行计算概念1.1 多核处理器架构概述1.2 并行计算的含义及重要性1.3 并

c++ 类成员变量默认初始值的实现

《c++类成员变量默认初始值的实现》本文主要介绍了c++类成员变量默认初始值,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录C++类成员变量初始化c++类的变量的初始化在C++中,如果使用类成员变量时未给定其初始值,那么它将被

C++中NULL与nullptr的区别小结

《C++中NULL与nullptr的区别小结》本文介绍了C++编程中NULL与nullptr的区别,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编... 目录C++98空值——NULLC++11空值——nullptr区别对比示例 C++98空值——NUL