请考虑这三个功能。
std::string get_a_string()
{
return "hello";
}
std::string get_a_string1()
{
return std::string("hello");
}
std::string get_a_string2()
{
std::string str("hello");
return str;
}
有什么想法吗？
【问题讨论】：
标签： c++ compiler-construction return-value-optimization
在前两种情况下，将进行 RVO 优化。 RVO 是旧功能，大多数编译器都支持它。最后一种情况就是所谓的 NRVO（命名为 RVO）。这是 C++ 相对较新的特性。标准允许但不要求实现 NRVO（以及 RVO），但一些编译器支持它。
您可以在 Scott Meyers 的书 More Effective C++. 35 New Ways to Improve Your Programs and Designs 的第 20 条中阅读有关 RVO 的更多信息。
Here 是一篇关于 Visual C++ 2005 中 NRVO 的好文章。
【讨论】：
/Od 应该禁用 NRVO，但我不确定 RVO。
首先，按值返回一个临时值是完全可以的，这就是你所做的。它被复制了，虽然原件会超出范围，但副本不会这样做，并且可以被调用者安全地使用。
其次，所有三种情况实际上都是相同的（因为无论如何您都不会在第三种情况下访问临时），编译器甚至可能为所有这些情况发出相同的代码。因此，它可以在所有三种情况下使用 RVO。这完全取决于编译器。
【讨论】：
所有情况都是正确的。它们都将构造一个临时的并应用返回类型的复制构造函数。必然地，如果没有复制构造函数，代码就会失败。
在大多数编译器下，RVO 将发生在所有三种情况下。唯一的区别是标准不强制执行的最后一个。这是因为您有一个命名变量。但是大多数编译器都足够聪明，仍然可以将 RVO 应用于它……命名变量声明得越晚，应用的转换越少，RVO 应用于命名变量的几率就越大。
顺便说一句，返回引用当然是可能的，正如您在其他代码中看到的那样。你不能做的是返回一个本地对象的引用。
std::string& get_a_string2()
{
std::string str("hello");
return str; //error!
}
如您所知，会产生编译时错误。然而，
std::string& get_a_string2(std::string& str)
{
// do something to str
return str; //OK
}
会工作得很好。在这种情况下，不涉及构造或复制构造。只需函数返回对其参数的引用。
【讨论】：
这取决于您的编译器 - 您指的是什么平台？找出答案的最佳方法是编译一个非常小测试应用程序并检查编译器生成的 ASM。
是的，没关系，尽管你从不提及你关心的事情；速度？风格？您可以将本地临时对象添加到 const 引用 - 临时对象的生命周期将延长到引用的生命周期 - 试试看吧！ （Herb Sutter 对此进行了解释 here）例如，请参见帖子末尾。
IMO 相信您的编译器会为您优化代码几乎总是更好。在极少数情况下您需要关心这类事情（非常低级的代码就是这样一个领域，您与硬件寄存器交互）。
int foo() { return 42; }
int main(int, char**)
{
const int &iRef = foo();
// iRef is valid at this point too!
}
【讨论】：
const T& t = T();，这是另一回事。