Przenieść konstruktora na zniszczony obiekt?

Question

Mam kawałek kodu

#include <iostream> 

class A { 
public: 
    A() { 
     std::cout << "Default constructor" << std::endl; 
    } 
    A(const A & other) 
    { 
     std::cout << "Copy constructor" << std::endl; 
    } 
    A(A && other) 
    { 
     std::cout << "Move constructor" << std::endl; 
    } 
    ~A() 
    { 
     std::cout << "Destructor" << std::endl; 
    } 
private: 
    int i; 
}; 

A && f() 
{ 
    return A(); 
} 

int main() { 
    A a = f(); 
} 

Próbowałem uruchomić go i wyjście okazuje się

Default constructor 
Destructor 
Move constructor 
Destructor 

Moje pytanie jest Dlaczego destruktor jest wywoływana przed przeniósł konstruktora? Czy to też oznacza, że ​​drugi obiekt został skonstruowany ze zniszczoną wartością?

Answer 1

Zwrócenie zmiennej lokalnej z A && f() ma ten sam problem co A & f(). Oba są odniesieniami. Do czasu skonstruowania a w main() zmienna lokalna została zniszczona. Powoduje to odwołanie do zniszczonego wystąpienia prowadzącego do niezdefiniowanego zachowania.

Jeśli chcesz przenieść A() z f() na a w main po prostu zwrócić przez wartość. Spróbuj użyć następującego:

A f() { 
    return A(); 
} 

Answer 2

Pierwszy obiekt A został utworzony w ramce stosu wywołań f. Więc kiedy f zwróci kontrolę do main, wszystkie obiekty stosu, które zostały utworzone wewnątrz f, będą musiały zostać zniszczone. Właśnie dlatego został wywołany pierwszy destruktor.