c++从返回值优化到右值

原创

已于 2022-04-29 14:25:11 修改 · 1.9k 阅读

5 ·

CC 4.0 BY-SA版权

文章标签：

#c++

于 2021-01-16 11:28:18 首次发布

本文探讨了C++中的返回值优化（RVO）及其与右值的关系。返回值优化是一种编译器优化，用于提高效率，尤其在函数返回对象时。文章通过示例介绍了几种能够应用返回值优化的情况，并指出编译器如何确定何时可以进行此类优化。此外，还阐述了右值、将亡值和纯右值的概念，以及它们在资源管理中的作用，特别是移动构造函数和拷贝构造函数。最后，讨论了返回值优化可能导致的陷阱及解决方法，强调了代码应独立于编译器是否执行RVO。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

c++返回值优化与右值

这篇博客一开始是想写c++左值和右值的区别，不过，c++发展到现在，左值和右值的区别已经成了一团乱麻，即使是在标准里，也是单独对每一个表达式去定义是左值还是右值，想要直接把左值和右值概括清楚还是比较麻烦的。所以，这篇博客暂时只讲返回值优化，并介绍返回值优化和右值的关系。

返回值优化的基本情况

考虑这样一种情况：
定义一个对象，对这个对象进行一些操作后，再把这个对象用来初始化另一个对象。初始化完成后，这个对象不再被使用。例程如下：

struct foo{
   
   };
int main()
{
   
   
	foo _f;
	// 做一些和_f相关的操作；
	// ...
	foo f = _f;
	// 后续代码不再使用_f；
	// ...
}

对于上面这一段代码，如果不进行任何优化，编译器要做以下这些事情：

给_f分配地址；
初始化_f并做一些和_f相关的操作；
给f分配地址；
以_f为参数，调用构造函数初始化f。
做一些别的事情后析构_f并回收分配给_f的地址。

不过，考虑到_f在初始化f后就失去了作用，这给编译器留下了优化空间。对于编译器来说，它可以不给_f分配地址，而是直接在分配给f的地址上初始化_f，也就是说，上述流程会变成这样：

给f分配地址；
在分配给f的地址上初始化_f并做一些和_f相关的操作；

经过这样的优化，直接省略掉了_f的地址分配地址回收，一次构造函数与析构函数，提高了运行效率。
不过，如果是上面例子那种写法，编译器是不会做优化的。这个例子只是一个概念性的梳理，对于编译器来说，它并没有能力去确定_f在后面会不会被使用（某些有gc的语言的编译器可能会具备这种能力），自然也不会去优化。但是，在一些特殊情况下，编译器是可以确定_f在后面不会被使用的。我们在下一节介绍。

真正使用返回值优化的几种情况

如果一个函数，直接把函数中定义的局部变量作为返回值。由于局部变量在函数返回后会自动析构，所以这种情况下可以进行返回值优化，例程如下。
情况一：

struct foo{
   
   };
foo bar() 
{
   
   
    foo _f;
    return _f;
}

在这种情况下，_f在初始化函数bar的返回值后就自动析构了，绝对不会再被使用，所以编译器可以放心的开启返回值优化。
另外，显然下面这种情况和上面类似，也可以开启返回值优化。
情况二：

struct foo{

最低0.47元/天解锁文章

200万优质内容无限畅学