RVO-编译器返回值优化

分享一下我老师大神的人工智能教程！零基础，通俗易懂！http://blog.csdn.net/jiangjunshow

也欢迎大家转载本篇文章。分享知识，造福人民，实现我们中华民族伟大复兴！

               

RVO--Return Value Optimization

概述

返回值优化（Return Value Optimization，简称RVO）是一种编译器优化机制：

当函数需要返回一个对象的时候，如果自己创建一个临时对象用户返回，那么这个临时对象会消耗一个构造函数（Constructor）的调用、一个复制构造函数的调用（Copy Constructor）以及一个析构函数（Destructor）的调用的代价。而如果稍微做一点优化，就可以将成本降低到一个构造函数的代价,这样就省去了一次拷贝构造函数的调用和依次析构函数的调用。

编译使用原则

在使用GNU/g++编译器时可以使用"-fno-elide-constructors"选项来强制g++总是调用copy构造函数，即使在用临时对象初始化另一个同类型对象的时候。

但是在使用VS架构的编译器的时候, 貌似编译器默认直接使用RVO的, 并没有找到什么选项来关闭返回值优化。。。

具体信息请参照http://msdn.microsoft.com/en-us/library/ms364057(VS.80).aspx

例子

我们都知道三种拷贝构造函数调用的时机

①最明显的就是用一个类对象初始化另外一个对象的时候
②函数的参数是类对象，这个是函数按值传参数的时候，包括指针在内都是对原有的值的拷贝.
③函数返回一个类对象，这是一个对象以值传递的方式从函数返回.

但是这些都只是语义上的分析, 现在的编译器的编译策略, 很多情况下会把这些临时对象的创建都隐藏掉...

#include <iostream>using namespace std;class Base{
    public : Base(int num) {     m_num = num; } Base(const Base &base) {  cout <<"Copy constructor..." <<endl; } /*~Base( ) {  cout <<"Destroy...." <<endl; } */private :    int m_num;};Base GetBase( ){ Base base(10); cout <<"返回值是对象类型, 应该调用拷贝构造函数" <<endl; return base;}void GetBase(Base base){ cout <<"参数是对象类型, 应该调用拷贝构造函数" <<endl;}int main( ){ Base b1(20); cout <<"使用一个类对象去初始化另一个类对象,　应该调用拷贝构造函数" <<endl; Base b2 = b1; //cout <<"使用一个可以隐式转换为Base类对象的整数值1来初始化, 应该调用拷贝构造函数" <<endl; //Base b3 = 1; b2 = GetBase( ); GetBase( );}

上面的代码，用GCC4.8.1编译, 如果常规进行编译, 就会出现这样的结果

但是如果加上-fno-elide-constructors选项, 调用结果就成为我们所理解的方式

很明显, 默认的RVO设置, 将后面两种情况下, 临时对象的创建优化掉了。。。

编译器无法进行RVO的几种情况

RVO是一个很有帮助的编译优化策略, 但是它的优化实现是依赖于编译器的，也就是说编译器只能对指定的符合其规则的代码， 进行RVO优化,对于不符合要求的却无能为力了，

下面我们总结一下有哪些情况会阻止编译器进行这种优化。

① 函数使用exeception, 为了保证异常的正确捕获, 编译器不会进行RVO

② 不对命名的函数对象（Different Named Objects）, 这个情况是说，函数有可能有多个分支，最终导致有多个不同位置的return语句。对于此项优化，要求所有return返回的对象的名字都是一致的。如写成下面的情况，就不行：

Base Test( ) {    if(...)    {       return b1;    }    else    { return b2;    }}

因此 优化的关键，就是最好只在一个地方返回。即函数只有一个出口

③ 嵌入的汇编代码中引用了返回对象。

           

给我老师的人工智能教程打call！http://blog.csdn.net/jiangjunshow

<