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有效。

P.S。使用VS2010编译的代码相同，优化级别2使用NRVO。

如果我添加额外的构造函数：

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

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

“ X（const X＆amp; 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。* - ＆gt;相同的结果。

到目前为止，我不确定__cxa_atexit（存在于@yves的g ++版本中）是否会以某种方式影响不同的行为。（据我所知，它与它无关，但我不完全理解它给调用顺序带来的变化）

Answer 1

对我来说没关系，即使我没有启用优化，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)

编辑：尝试使用完全优化进行编译：

g++ -O3 nrvo.cpp   -o nrvo

希望它有所帮助。

Answer 2

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

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

注意：尽管有名称，Itanium C ++ ABI不仅仅用于Itanium。

引用的基本C ABI指定如果结构具有特定大小，则会在寄存器中返回结构。您的问题中的结构（类）也是如此。使用非平凡的复制构造函数或析构函数使得无法在寄存器中返回类，因此ABI必须指定不同的规则，并且在这些不同的规则下，RVO是可能的。

为什么NRVO在下面的代码中没有使用g ++？

2 个答案: