关于NRV优化详细分析

 在C++中，函数返回整数或指针是通过eax寄存器进行传递的，理解起来比较简单。

    但是返回对象或结构体一直是令人感到困惑的问题。今天我整理了一下，将整个返回过程写下来，以作备用。

 

    还是先通过一个例子来理解这个问题：

首先，定义一个类Vector：

class Vector{public:    int x,y;};

然后定义函数add()对Vector对象进行操作：

Vector add(Vector& a, Vector & b){    Vector v;    v.x = a.x + b.x;     v.y = a.y + b.y;    return v;}

现在的问题是：

如果调用如下语句：

Vector a, b;Vector c = add(a, b);  （调用拷贝构造函数，而不是赋值语句）

请问从a, b传入函数开始，一共创建了多少个对象？

 

在通常情况下我们会做出如下分析：

1. 在add()函数中创建对象v。

2. 函数返回，创建一个临时变量__temp0，并将v的值拷贝到__temp0中。

3. 最后创建对象c，通过操作符=，将__temp0中的对象拷贝到c中。

但其实，我们会在后面看到，整个过程就只创建了1个对象：c。

 

为了更清晰的分析整个调用过程，我们为Vector加上默认构造函数和拷贝构造函数，并增加一个静态变量count用于统计构造函数调用次数：

class Vector{public:    static int count;     static void init()    {        count = 0;    }     int x,y;     Vector()    {        x = 0;        y = 0;                 //For analysis.        count++;        printf("DefaultConstructor was called.[0x%08x]\n",this);    }     Vector(const Vector& ref)    {        x = ref.x;        y = ref.y;         //For analysis.        count++;        printf("CopyConstructor was called.[copy from 0x%08x to 0x%08x].\n",&ref, this);    } }; int Vector::count = 0;

然后在main()函数中写上调用代码：

Vector a, b;Vector::init();printf("\n--Test add() --\n");Vector c = add(a, b);printf("----Constructors were called %d times. ----\n\n\n",Vector::count);

使用cl编译。

（注：Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 16.00.40219.01 for 80x86， Microsoft (R) Incremental Linker Version 10.00.40219.01）

完成后，运行程序，得到如下结果：

-- Test add() --Default Constructor was called.[0x0012fef8]Copy Constructor was called.[copy from 0x0012fef8 to 0x0012ff60].---- Constructors were called 2 times. ----

 

由此可知，在没有优化的情况下，整个调用过程共创建了两个对象：

即：c和__temp0.

 

整个调用过程伪代码如下：

首先add()函数被编译器看做：

void add(Vector& __result, Vector& a, Vector & b){    __result.x = a.x + b.x;    __result.y = a.y + b.y;    return;}

而调用代码同时被修改为

Vector a, b;Vector::init();printf("\n--Test add() --\n");Vector __temp0;     //构造函数.add(__temp0,a, b);Vector c(__temp0);  //拷贝构造函数.printf("----Constructors were called %d times. ----\n\n\n", Vector::count);

现在就可以理解输出结果了吧。

这里要强调一点，看到”=”并不等于调用了Operator=()的代码，以下三种情况其实是等效的，都只调用了拷贝构造函数：

Vector b(a);Vector b = a;Vector b = Vector(a);

最精彩的部分在于，如果你用

cl/Ox

编译代码，使优化达到最大，再次运行，得到如下结果：

-- Test add() --Default Constructor was called.[0x0012ff74]---- Constructors were called 1 times. ----

这次，只调用了默认构造函数。这样的修改被称作Named Return Value(NRV) Optimization。

什么是NRV优化呢，顾名思义，就是保存返回值的变量不再使用没名没姓的__temp0这样的东西了，而是直接把c作为返回变量，因此应该将NRV翻译为“有名字的返回变量”吧，侯捷翻译的《深入探索C++对象模型》居然把它称为“具名数值”，真是不知所云。

言归正传，NVR优化的伪代码如下：

Vector c;add(c,a, b);

NVR优化的最大好处就是不会再去调用那次多余拷贝构造函数了（把__temp0拷贝到c），因此《深入探索C++对象模型》67页最下面才会说第一版没有拷贝构造函数，所以不能进行优化。其实是指优化的意义不大，或者说没有什么可优化的。

这是经过优化后的add函数汇编代码：

// segment of function: Vector add(Vecotr &a, Vector &b)0040117B  mov         edx,dword ptr [esp+1Ch] //edx = b.x0040117F  add         edx,dword ptr [esp+14h] //edx = edx + a.x00401183  mov         ecx,dword ptr [esp+20h] //ecx = b.y00401187  add         ecx,dword ptr [esp+18h] //ecx = ecx + a.y0040118B  mov         dword ptr [esp+24h],edx //c.x = edx0040118F  mov         edx,dword ptr ds:[40BDC0h]    //inline - printf arguments00401195  push        edx                           //still arguments00401196  push        4081E8h                       //arguments0040119B  mov         dword ptr [esp+30h],ecx //c.y = ecx0040119F  call        004011AE                      //call printf()004011A4  add         esp,10h //function return routine.004011A7  xor         eax,eax 004011A9  pop         esi  004011AA  add         esp,28h 004011AD  ret

（注意：我尝试把Vector的拷贝构造函数删掉，同样生成了上面这段代码（一个字节都没变），因此我推测，拷贝构造函数并不是触发NRV优化的条件了，Lippman的书可能有点过时了。）

但是这样带来的坏处是，如果你在拷贝构造函数里面放上与拷贝无关的代码，比如我放入的printf和count++，那么这些东西就不会被调用了，产生优化前后代码不一致问题。所以大家要在此注意一下。

转自：http://www.cnblogs.com/autosar/archive/2011/10/09/2204181.html