关于NRV优化

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

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

 

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

首先，定义一个类Vector：

 

1 2 3 4 5

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

 

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

1 2 3 4 5 6 7

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

 

现在的问题是：

如果调用如下语句：

1 2	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用于统计构造函数调用次数：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35

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

 

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

1 2 3 4 5

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）

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

1 2 3 4

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

 

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

即：c和__temp0.

 

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

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

1 2 3 4 5 6

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

而调用代码同时被修改为：

1 2 3 4 5 6 7

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=()的代码，以下三种情况其实是等效的，都只调用了拷贝构造函数：

1 2 3

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

 

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

1

cl /Ox

 

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

1 2 3

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

 

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

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

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

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

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

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

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

// segment of function: Vector add(Vecotr &a, Vector &b) 0040117B  mov         edx,dword ptr [esp+1Ch] // edx = b.x 0040117F  add         edx,dword ptr [esp+14h] // edx = edx + a.x 00401183  mov         ecx,dword ptr [esp+20h] // ecx = b.y 00401187  add         ecx,dword ptr [esp+18h] // ecx = ecx + a.y 0040118B  mov         dword ptr [esp+24h],edx // c.x = edx 0040118F  mov         edx,dword ptr ds:[40BDC0h]    // inline - printf arguments 00401195  push        edx                           // still arguments 00401196  push        4081E8h                       // arguments 0040119B  mov         dword ptr [esp+30h],ecx // c.y = ecx 0040119F  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++，那么这些东西就不会被调用了，产生优化前后代码不一致问题。所以大家要在此注意一下。