为什么NRVO在下面的代码中不启动g++？

Question

我一直在研究NRVO及其对不同编译器的支持，并发现了奇怪的行为，这是相当令人困惑的。

示例代码：

    #include <iostream>
    using namespace std;

    class X {
        public:
            X() {
                cout << "Constructor 1" << endl;
            }   
    };

    X test() {
        X a;
        cout << &a << endl;
        return a;
    }

    int main() {
        X b = test();
        cout << &b << endl;
        return 0;
    }

使用优化级别2(或3)编译后，输出为2个不同的内存地址。不过，据我所知，函数代码对于NRVO是有效的。

使用VS2010和优化级别2编译的相同代码使用NRVO。

如果我添加其他构造函数：

X(const X& h) { 
    cout << "Contsructor 2" << endl;        
}

编译后地址相同，所以我假设应用了NRVO，但它的发生与优化级别无关。

"X(const & h)“是否暗示g++使用NRVO？或者NRVO根本不适用，它是不同的吗？

提前谢谢。

已添加。GCC版本：

$ g++ -v

Configured with: [....] -enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared --enable-multiarch --enable-linker-build-id --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.4 --program-suffix=-4.4 --enable-nls --enable-clocale=gnu --enable-libstdcxx-debug --enable-plugin --enable-objc-gc --disable-werror --with-arch-32=i486 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu

gcc version 4.4.3

附加测试:使用X(const X& h)构造和-fno-elide-constructors g++标志编译，它称之为“复制”构造函数，期望行为。没有它，NRVO就会失败。在不同的机器上测试: gcc 4.4.3和gcc 4.3.* ->相同的结果。

到目前为止，我还不确定__cxa_atexit (出现在@yves的g++版本中)是否会影响不同的行为。(据我所知，这与此无关，但我并不完全理解它带来的变化。)

Answer 1

RVO是否有可能取决于ABI。即使C++标准允许这样做，实现的ABI也可能不允许。引用Itanium C++ ABI

通常，C++返回值的处理方式与C返回值一样。这包括在寄存器中返回的类类型结果。但是，如果返回值类型有一个非平凡的复制构造函数或析构函数，调用方将为临时值分配空间，并将指向临时值的指针作为该参数和用户参数之前的第一个隐式参数传递。被调用者将返回值构造为这个临时值。

注意:尽管有这个名字，但是Itanium C++ ABI并不仅仅用于Itanium。

引用的基C ABI指定，如果结构具有特定的大小，将在寄存器中返回它们。你的问题中的结构(类)也是这样。拥有一个非平凡的复制构造函数或析构函数使得无法在寄存器中返回类，因此ABI必须指定不同的规则，在这些不同的规则下，RVO是可能的。

Answer 2

对我来说，即使我没有启用优化，nrvo也是适用的：

$ mk nrvo
g++     nrvo.cpp   -o nrvo
$ ./nrvo
Constructor 1
0xbfe5a520
0xbfe5a520
$ g++ -v
Lecture des spécification à partir de /usr/lib/gcc/i386-redhat-linux/3.4.6/specs
Configuré avec: ../configure --prefix=/usr --mandir=/usr/share/man --infodir=/usr/share/info --enable-shared --enable-threads=posix --disable-checking --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions --enable-java-awt=gtk --host=i386-redhat-linux
Modèle de thread: posix
version gcc 3.4.6 20060404 (Red Hat 3.4.6-8)

编辑：尝试使用full optim进行编译

g++ -O3 nrvo.cpp   -o nrvo

希望能帮上忙。