Разве Visual C++ не выполняет оптимизацию возвращаемого значения?
#include <cstdio>
struct Foo { ~Foo() { printf("Destructing...\n"); } };
Foo foo() { return Foo(); }
int main() { foo(); }
Я компилирую и запускаю его:
cl /O2 test.cpp
test.exe
И печатает:
Уничтожение...
Уничтожение...
Почему не выполняет РВО?
Когда я тестирую это:
#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...
Нет вызова конструктора копирования и только один деструктор.
Foo bar() { Foo f; return f; }, вы просто получите еще один вызов деструктора, так что NRVO тоже работает).
- person Jerry Coffin; 31.07.2012
Foo иметь нетривиальное значение по умолчанию, или конструктор копирования также повторно активирует RVO (например, дает ему элемент данных типа std::string).
- person James McNellis; 31.07.2012
