c++ - 为什么 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

然后打印出来:

Destructing...
Destructing...

为什么它不执行 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...

没有调用复制构造函数，只有一个析构函数。