C++ 命名返回值优化（NRVO）

命名的返回值优化（NRVO），这优化了冗余拷贝构造函数和析构函数调用，从而提高了总体性能。值得注意的是，这可能导致优化和非优化程序之间的不同行为。

下面是代码段1中的一个简单示例，以说明优化及其实现方式：

使用上述函数的程序可能具有如下构造：

从MyMethod返回的值是在valA通过使用隐藏的参数所指向的内存空间中创建的。下面是当我们公开隐藏的参数并显示地显示构造函数和析构函数时的功能：

上段代码为不使用NRVO的隐藏参数代码（伪代码）

从上面的代码可以看出，有一些优化的机会。其基本思想是消除基于堆栈的临时值（retVal）并使用隐藏的参数。因此，这将消除基于堆栈的值的拷贝构造函数和析构函数。下面是基于NRVO的优化代码：

带有NRVO的隐藏参数代码（伪代码）

代码示例

示例1：简单示例

代码：Sample1.cpp

如果没有NRVO，预期的输出将是：

使用NRVO，预期的输出将是：

示例2：更复杂的示例

代码Sample2.cpp

无NRVO的输出将如下所：

当NRVO优化启动时，输出将是：

优化限制

有些情况下，优化不会真正启动。以下是这些限制的样本

示例3：异常示例

在遇到异常时，隐藏的参数必须在它正在替换的临时范围内被破坏。

代码Sample3.cpp

如果“抛出”被注释掉，输出将是：

现在，如果“抛出”被注释掉，并且NRVO被触发，输出将如下所示：

也就是说sample3.cpp在没有NRVO的情况下，会表现出相同的行为。

示例4：不同的命名对象示例

若要使用优化，所有退出路径必须返回同一命名对象。

代码Sample4.cpp

启用优化时输出与不启用任何优化相同。NRVO实际上并不发生，因为并非所有返回都返回相同的对象。

如果将上面的示例更改为返回rvo。在返回对象时，优化将消除复制构造函数：

代码Sample4_Modified.cpp修改并使用NRVO，输出结果将如下所示：

优化副作用

程序员应该意识到这种优化可能会影响应用程序的流程。下面的示例说明了这种副作用：

代码段Sample5.cpp

编译未启用优化将产生大多数用户所期望的。“构造函数”被调用两次。“拷贝构造函数”被调用一次。因此除法生成2。

另一方面，如果上面的代码通过启用优化进行编译，NRVO将会启用。因此“拷贝构造函数”调用将被删除。因此，NumCpyConsCalls将为零，导致异常。如果没有适当处理，可以导致应用程序崩溃。

 本文转自 XDATAPLUS 51CTO博客，原文链接:http://blog.51cto.com/xdataplus/2069825