令人困惑的return by value

 

问题从这里开始。
class X;
const X operator+( const X& x1, const X& x2 );
X foo()
{
return X(a+b);
}
和
X foo()
{
X xx(a+b);
return xx;
}
这两个函数，有什么区别？
这个问题牵涉到C++的内部处理，下面是其更通用的模式。
X foo()
{
X xx;
// process
...
return xx;
}
C++如何处理return by value，传统的方法是修改函数原型。
void foo( X& r )
{
X xx;
xx.X(); //ctor
// process
...
r.XX( xx ) // copy ctor
}
这样就把xx的值给返回了，这里有一个xx的临时对象的ctor和dtor。
于是乎。
X obj = foo();
被转化为 
X obj;
foo( obj );
但是，对于程序员来说，是可以进行一些优化的，其方法就是采用ctor返回，
X foo()
{
return X( ... );
}

编译器处理过后，为这样。
void foo( X &r )
{
return r.X(...);
}
看出来了吗？这里少个对象（即上面的xx)的ctor和dtor࿰