2

我一直在研究 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 有效。

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

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

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

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

“ X(const X& h) ”是否以某种方式暗示 g++ 使用 NRVO？或者根本没有应用 NRVO，它有什么不同？

提前致谢。

添加。海合会版本：

$ 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-constructorsg++ 标志编译它调用“复制”构造函数，预期行为。没有它，NRVO 就会失败。在不同的机器上测试：gcc 4.4.3 和 gcc 4.3.* -> 相同的结果。

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

4

2 回答 2

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

希望能帮助到你。

于 2012-02-10T13:51:34.400 回答
0

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

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

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

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

于 2014-12-21T20:16:46.487 回答