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

c++返回值优化与右值

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

返回值优化的基本情况

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

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

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

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

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

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

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

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

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

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

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