为什么Visual C++没有对最简单的代码执行返回值优化？

Question

Visual C++不执行返回值优化吗？

#include <cstdio>
struct Foo { ~Foo() { printf("Destructing...\n"); } };
Foo foo() { return Foo(); }
int main() { foo(); }

我编译并运行它:

cl /O2 test.cpp
test.exe

它打印:

破坏...
破坏......

为什么不执行RVO？

Answer 1

当我测试时:

#include <iostream>
struct Foo { 
    Foo(Foo const &r) { std::cout << "Copying...\n"; }
    ~Foo() { std::cout << "Destructing...\n"; }
    Foo() {}
};

Foo foo() { return Foo(); }

int main() { Foo f = foo(); }

...我得到的输出是:

Destructing...

没有复制构造函数的调用,只有一个析构函数.