（具名）返回值优化 和 复制省略

某面试题问到：

以下代码共调用多少次拷贝构造函数：

Widget f(Widget u)
{
Widget v(u);
Widget w = v;
return w;
}
main()
{
Widget x;
Widget y = f(f(x));
}
A 1 B 3 C 5 D 7

如果编译器不做优化的话，如下：

x => u //1.f(x)
u => v //2.widget v = u)
v => w //3.w(v)
w => tmp0 //4.return from f(x)
tmp0 => u //5.f(f(x)) 即 f(tmp0)
u => v //6.widget v(u)
v => w //7.w(v)
w => tmp1 //8.return from f(x)
tmp1 => y //9.widget y =f(f(x)) 即 widget y = tmp1

应该是9次，但是这样显示出内存利用的效率太低，所以编译器会做一些优化。实际上编译器跑出来的次数是5次。

实际运行代码如下：

#include <iostream>
using namespace std;
class Widget
{
public:
static int cnt;
Widget()
{
}
Widget(const Widget &)
{
cnt++;
}
};
int Widget::cnt=0;
Widget f(Widget u)
{
Widget v(u);
Widget w = v;
return w;
}
int main()
{ 
Widget x;
Widget y = f(f(x));
cout << ( Widget::cnt )<<endl;
return 0;
}

优化之后 
345合成 一次 
789合成 一次 

优化之后 

总共5次。

编译涉及的优化有

1. (Named)Return Value Optimization，即（具名）返回值优化。RVO指的是编译器让调用函数在其栈上分配空间，然后将这块内存的地址传递给被调函数，被调函数直接在这块内存上构造返回值。 这样就消除从函数内部return出来时临时对象的复制问题。

2.Copy Elision，即复制省略。 复制省略指的是，当函数参数以值传递的方式传入函数内部时，通常要求建立一份参数的拷贝。 当传入的参数是右值时，则无需建立这样一份拷贝，直接使用源对象即可。

C++11新标准已经引入了移动构造和右值引用等概念，有兴趣可以看看。

另外具体案例请参看 http://cstdlib.com/jekyll/update/2014/07/12/nrvo-and-copy-elision/