Dlaczego destruktor nie jest wywoływany dla zwróconego obiektu z funkcji?

Question

Myślałem, że gdy funkcja zwraca obiekt na stosie do funkcji wywołującej, funkcja wywołująca otrzymuje kopię oryginalnego obiektu, ale destruktor pierwotnego obiektu jest wywoływany, gdy tylko stos się odwija. Ale w poniższym programie destruktor jest wywoływany tylko raz. Spodziewałem się, że zostanie wywołane dwa razy.

#include <iostream> 

class MyClass 
{ 
public: 
    ~MyClass() { std::cout << "destructor of MyClass" << std::endl; } 
}; 

MyClass getMyClass() 
{ 
    MyClass obj = MyClass(); 
    return obj; // dtor call for obj here? 
} 

int main() 
{ 
    MyClass myobj = getMyClass(); 
    return 0; // Another dtor call for myobj. 
} 

Ale "destruktor MyClass" jest drukowany tylko raz. Czy moje założenie jest błędne, czy coś tu się dzieje?

Answer 1

Jest to specjalny przypadek, w którym kompilator może zoptymalizować kopię: nazywa się to named return value optimization (NRVO). Zasadniczo kompilator przydziela pamięć dla obiektu zwracającego w witrynie wywołania i pozwala funkcji wypełnić tę pamięć bezpośrednio, zamiast tworzyć obiekt w wywołanej lokacji i kopiować go z powrotem. Współczesne kompilatory robią to rutynowo, kiedy tylko jest to możliwe (są sytuacje, w których nie jest to łatwe, ponieważ istnieje kilka ścieżek powrotu w funkcji, które zwracają różne instancje).