[More Effective C++]条款22有关返回值优化的验证结果

转自：http://blog.sina.com.cn/s/blog_5dbb2c470100xapn.html

不知结果是否正确，有待进一步确认，有没有大神验证过，告诉我结果

（这里的验证结果是针对返回值优化的，其实和条款22本身所说的，考虑以操作符复合形式（op=）取代其独身形式（op），关系不大。书生注）

在[More Effective C++]条款22的最后，在返回值的返回方式上，大师Meyers推荐使用表达式[returnT(lhs)+=rhs;]这种使用匿名临时变量的方式，理由是“自古以来未具名对象总是比具名对象更容易被消除”，这种写法将更好地帮助编译器实现返回值优化（ReturnValue Optimization，简写RVO）。

针对上述说法，我在两款编译器上验证了一下（g++ 4.1.2，以下简称g++，及MS Visual C++2008，以下简称vc），结果并不如此。验证分三个阶段，具体结果如下。

（1）（不做加法计算，纯为RVO验证）
return T(lhs);
结果：g++和vc在不开编译优化选项的情况下，都进行了优化。即只会发生一次copy ctor。

（2）
return T(lhs) += rhs;
或者
T temp(lhs);
return temp += rhs;
结果：g++和vc即使开编译优化选项，也不会优化。即发生两次copyctor，分别在temp对象的构造时与return时。

（3）
T temp(lhs);
temp += rhs;
return temp;
结果：g++无论开不开编译优化选项，都会优化，也就是说针对具名对象temp做了优化。结果只发生一次copy ctor。
vc在不开编译优化选项的情况下，不会优化，打开优化选项的情况下（比如release模式下）会做优化。

乍看（2）的第一种写法和（3）的写法对比，会产生奇怪的错觉：（3）的具名对象都可以优化，为什么（2）的匿名临时对象反而不会优化？其实看看（2）的第二种写法就明白了，问题不在于具名对象还是匿名对象，问题在于return语句上附带的操作。

为了搞清楚这个问题，我们需要先来了解一下返回值优化的原理。根据C++标准规定，具名对象也可以经由RVO被优化去除，那么编译器如何优化呢？按照（3）的流程，正常情况下（不优化）应该这样做：
T temp(lhs);