力学笃行系列之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

相关文章

Windows下C++使用SQLitede的操作过程

《Windows下C++使用SQLitede的操作过程》本文介绍了Windows下C++使用SQLite的安装配置、CppSQLite库封装优势、核心功能(如数据库连接、事务管理)、跨平台支持及性能优... 目录Windows下C++使用SQLite1、安装2、代码示例CppSQLite:C++轻松操作SQ

C++中RAII资源获取即初始化

《C++中RAII资源获取即初始化》RAII通过构造/析构自动管理资源生命周期,确保安全释放,本文就来介绍一下C++中的RAII技术及其应用,具有一定的参考价值,感兴趣的可以了解一下... 目录一、核心原理与机制二、标准库中的RAII实现三、自定义RAII类设计原则四、常见应用场景1. 内存管理2. 文件操

C++中零拷贝的多种实现方式

《C++中零拷贝的多种实现方式》本文主要介绍了C++中零拷贝的实现示例,旨在在减少数据在内存中的不必要复制,从而提高程序性能、降低内存使用并减少CPU消耗,零拷贝技术通过多种方式实现,下面就来了解一下... 目录一、C++中零拷贝技术的核心概念二、std::string_view 简介三、std::stri

C++高效内存池实现减少动态分配开销的解决方案

《C++高效内存池实现减少动态分配开销的解决方案》C++动态内存分配存在系统调用开销、碎片化和锁竞争等性能问题,内存池通过预分配、分块管理和缓存复用解决这些问题,下面就来了解一下... 目录一、C++内存分配的性能挑战二、内存池技术的核心原理三、主流内存池实现:TCMalloc与Jemalloc1. TCM

C++ 函数 strftime 和时间格式示例详解

《C++函数strftime和时间格式示例详解》strftime是C/C++标准库中用于格式化日期和时间的函数,定义在ctime头文件中,它将tm结构体中的时间信息转换为指定格式的字符串,是处理... 目录C++ 函数 strftipythonme 详解一、函数原型二、功能描述三、格式字符串说明四、返回值五

MySQL JSON 查询中的对象与数组技巧及查询示例

《MySQLJSON查询中的对象与数组技巧及查询示例》MySQL中JSON对象和JSON数组查询的详细介绍及带有WHERE条件的查询示例,本文给大家介绍的非常详细,mysqljson查询示例相关知... 目录jsON 对象查询1. JSON_CONTAINS2. JSON_EXTRACT3. JSON_TA

C++作用域和标识符查找规则详解

《C++作用域和标识符查找规则详解》在C++中,作用域(Scope)和标识符查找(IdentifierLookup)是理解代码行为的重要概念,本文将详细介绍这些规则,并通过实例来说明它们的工作原理,需... 目录作用域标识符查找规则1. 普通查找(Ordinary Lookup)2. 限定查找(Qualif

C#之List集合去重复对象的实现方法

《C#之List集合去重复对象的实现方法》:本文主要介绍C#之List集合去重复对象的实现方法,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录C# List集合去重复对象方法1、测试数据2、测试数据3、知识点补充总结C# List集合去重复对象方法1、测试数据

C/C++ chrono简单使用场景示例详解

《C/C++chrono简单使用场景示例详解》:本文主要介绍C/C++chrono简单使用场景示例详解,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友... 目录chrono使用场景举例1 输出格式化字符串chrono使用场景China编程举例1 输出格式化字符串示

Spring中管理bean对象的方式(专业级说明)

《Spring中管理bean对象的方式(专业级说明)》在Spring框架中,Bean的管理是核心功能,主要通过IoC(控制反转)容器实现,下面给大家介绍Spring中管理bean对象的方式,感兴趣的朋... 目录1.Bean的声明与注册1.1 基于XML配置1.2 基于注解(主流方式)1.3 基于Java