C++中的RVO优化和NRVO优化

2024-01-20 21:08
文章标签 c++ 优化 rvo nrvo

本文主要是介绍C++中的RVO优化和NRVO优化,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

RVO (return value optimization) 和NRVO (named return value optimization) 是C++在处理一个函数返回类对象并将返回值赋给另一个对象时,为了减少拷贝构造次数以及析构次数而采用的一种编译器优化技术。 
本篇博客以《深度探索C++对象模型》中例子来总结这两种优化技术。代码片段如下:

class Point3d
{
public:int m_x;int m_y;int m_z;
public:Point3d(int x,int y,int z):m_x(x),m_y(y),m_z(z){cout << "constructor"<<endl;}~Point3d(){cout << "deconstructor"<<endl;}Point3d(const Ponint3d &other){this.m_x = other.m_x;this.m_y = other.m_y;this.m_z = other.m_z;cout << "copy constructor"<<endl;}Point3d &operator=(const Point3d &other){if(this != &other){this.m_x = other.m_x;this.m_y = other.m_y;this.m_z = other.m_z;}cout << "operator="<<endl;return *this;}
}Point3d factory()
{Point3d po(1,2,3)return po;
}int main()
{Point3d p = factory();return 1;
}

这个例子中的Point3d类中显式定义了构造函数、拷贝构造函数、析构函数以及重载了赋值运算符,并在内部加入了一些打印信息来查看这些函数的调用情况。

1)不做任何返回值优化。

在g++中有一个选项-fno-elide-constructors可以去掉任何返回值优化。最终打印情况如下:

constructor      //factory函数中构造po对象
copy constructor //factory函数中用po对象拷贝构造临时对象_temp
deconstructor    //factory函数中返回时,析构掉局部对象po
copy constructor //main函数中用factory函数中拷贝构造的临时对象拷贝构造对象p
deconstructor    //析构临时对象_temp
deconstructor    //main函数结束时,析构对象p

可以看出,不做任何优化的话就是有两次拷贝构造和析构,对照注释很容易理解 

2)RVO优化

VS在debug模式下使用RVO而不用NRVO

对应的输出如下:

constructor      
copy constructor 
deconstructor         
deconstructor       //main函数中p的析构

在《在深度探索C++对象模型》书中,对应的解释为,编译器将factor函数改写为了如下的伪代码形式:

void factory(const Point3d &_result)
{Point3d po;po.Point3d::Point3d(1,2,3);_result.Point3d::Point3d(po);   //用po拷贝构造_result;po.Point3d::~Point3d();         //po对象析构return;
}

而main函数中赋值语句改写为:

int main()
{Point3d p;factory(p);return 0;
}

这样将p直接做为参数,在factory()函数中进行构造,就不需要先将po拷贝构造出临时对象_temp,再析构_temp。 

3)NRVO优化

编译器将factory()函数改写为如下形式:

Point3d factor()
{return Point3d(1,2,3);
}

4)同时做RVO优化和NROV优化

factory()函数的大致伪代码实现就会改写为:

void factory(const Point3d &_result)
{_result.Point3d::Point3d(1,2,3);  //直接将p作为参数构造return;
}

相应的打印情况,就为:

constructor    
deconstructor 



 

这篇关于C++中的RVO优化和NRVO优化的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



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

相关文章

从入门到精通C++11 <chrono> 库特性

《从入门到精通C++11<chrono>库特性》chrono库是C++11中一个非常强大和实用的库,它为时间处理提供了丰富的功能和类型安全的接口,通过本文的介绍,我们了解了chrono库的基本概念... 目录一、引言1.1 为什么需要<chrono>库1.2<chrono>库的基本概念二、时间段(Durat

C++20管道运算符的实现示例

《C++20管道运算符的实现示例》本文简要介绍C++20管道运算符的使用与实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录标准库的管道运算符使用自己实现类似的管道运算符我们不打算介绍太多,因为它实际属于c++20最为重要的

Visual Studio 2022 编译C++20代码的图文步骤

《VisualStudio2022编译C++20代码的图文步骤》在VisualStudio中启用C++20import功能,需设置语言标准为ISOC++20,开启扫描源查找模块依赖及实验性标... 默认创建Visual Studio桌面控制台项目代码包含C++20的import方法。右键项目的属性:

MyBatisPlus如何优化千万级数据的CRUD

《MyBatisPlus如何优化千万级数据的CRUD》最近负责的一个项目,数据库表量级破千万,每次执行CRUD都像走钢丝,稍有不慎就引起数据库报警,本文就结合这个项目的实战经验,聊聊MyBatisPl... 目录背景一、MyBATis Plus 简介二、千万级数据的挑战三、优化 CRUD 的关键策略1. 查

c++中的set容器介绍及操作大全

《c++中的set容器介绍及操作大全》:本文主要介绍c++中的set容器介绍及操作大全,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录​​一、核心特性​​️ ​​二、基本操作​​​​1. 初始化与赋值​​​​2. 增删查操作​​​​3. 遍历方

解析C++11 static_assert及与Boost库的关联从入门到精通

《解析C++11static_assert及与Boost库的关联从入门到精通》static_assert是C++中强大的编译时验证工具,它能够在编译阶段拦截不符合预期的类型或值,增强代码的健壮性,通... 目录一、背景知识:传统断言方法的局限性1.1 assert宏1.2 #error指令1.3 第三方解决

C++11委托构造函数和继承构造函数的实现

《C++11委托构造函数和继承构造函数的实现》C++引入了委托构造函数和继承构造函数这两个重要的特性,本文主要介绍了C++11委托构造函数和继承构造函数的实现,具有一定的参考价值,感兴趣的可以了解一下... 目录引言一、委托构造函数1.1 委托构造函数的定义与作用1.2 委托构造函数的语法1.3 委托构造函

C++11作用域枚举(Scoped Enums)的实现示例

《C++11作用域枚举(ScopedEnums)的实现示例》枚举类型是一种非常实用的工具,C++11标准引入了作用域枚举,也称为强类型枚举,本文主要介绍了C++11作用域枚举(ScopedEnums... 目录一、引言二、传统枚举类型的局限性2.1 命名空间污染2.2 整型提升问题2.3 类型转换问题三、C

C++链表的虚拟头节点实现细节及注意事项

《C++链表的虚拟头节点实现细节及注意事项》虚拟头节点是链表操作中极为实用的设计技巧,它通过在链表真实头部前添加一个特殊节点,有效简化边界条件处理,:本文主要介绍C++链表的虚拟头节点实现细节及注... 目录C++链表虚拟头节点(Dummy Head)一、虚拟头节点的本质与核心作用1. 定义2. 核心价值二

C++ 检测文件大小和文件传输的方法示例详解

《C++检测文件大小和文件传输的方法示例详解》文章介绍了在C/C++中获取文件大小的三种方法,推荐使用stat()函数,并详细说明了如何设计一次性发送压缩包的结构体及传输流程,包含CRC校验和自动解... 目录检测文件的大小✅ 方法一:使用 stat() 函数(推荐)✅ 用法示例:✅ 方法二:使用 fsee