C++ 返回值优化

Question

我是 C++ 新手，我在 wiki 和这个网站上阅读了一些关于返回值优化的内容，但是我仍然很好奇以下行为是如何发生的：

using namespace std;
class A
{
    public:
        A()           {cout << "A Ctor" << endl;}
        A(const A &a) {cout << "A copy Ctor" << endl;}
};

A Foo()
{
    A a;
    return a;
}

int _tmain(int argc, _TCHAR* argv[])
{
    cout << "Foo()" << endl;
    Foo();
    cout << "Foo() and new object" << endl;
    A b(Foo());
    return 0;
}

输出是：

Foo()
A Ctor
A copy Ctor
Foo() and new object
A Ctor
A copy Ctor

我的问题是，为什么Foo(); 和A b(Foo()); 都只触发了一次复制构造函数调用？这是否意味着从Foo() 返回的复制值可用于在该位置构造对象b，从而不需要再次调用b 的构造函数？这是基于 Visual Studio 2010。

Answer 1

返回值优化 (RVO) 指出编译器可以删除一个或两个副本，但这不是必需的。这意味着：

A a (Foo());

可以随意做 0、1 或 2 个拷贝构造函数：

2 - 在函数 Foo() 中，A a 创建一个 A。当它试图返回时，它会将A 复制到返回值中；生成的初始化A a(Foo()); 将Foo() 的结果复制到新的A。

1 - 其中一个副本不会发生（可能是复制到 Foo 的返回值中。

0 - 这些副本都不会发生。在Foo 内部创建的A a 直接变成在这一行创建的A：A a(Foo());

Msdn 有很多关于visual c++ compiler handles RVO 的详细信息。它有一些简洁的代码示例来解释它是如何有效地工作的。