Passing Rückgabewert einer Funktion als Referenz

Question

Was im folgenden Fall geschehen soll:

int functionA() { 
    return 25; 
} 

void functionB(const int& ref) { 
    cout << ref << endl; 
} 

void start() { 
    functionB(functionA()); 
} 

Wenn dieses Beispiel kompilieren, gibt es den richtigen Wert 25. Wie funktionierts? Soll der referenzierte Rückgabewert auf dem Stapel nicht gelöscht (aus dem Stapel entfernt) werden, wenn nur ein Verweis darauf verwendet wird, oder ist das Verhalten nicht definiert?

Answer 1

dieses „Werk“ wegen const int& ref - wenn eine Referenz const (garantiert, dass Sie wollen es nicht ändern) ist, der Compiler ein temporäres Objekt im Aufrufcode (start in Ihrem Fall) produzieren, und dann gib den Hinweis darauf weiter.

Wenn Sie const entfernen, wird die Kompilierung fehlschlagen, da das Ergebnis functionA nicht in eine Referenz umgewandelt werden kann.

Answer 2

Es gibt keinen „Rückgabewert auf dem Stack“ (geschweige denn einen „Stack“): functionA ein intvon Wert zurückgibt, so der Ausdruck functionA() ist einfach ein temporärer Wert vom Typ int. Dieser Wert bindet an die konstante Referenz in functionB, und da seine Lebensdauer die des vollständigen Ausdrucks ist, ist alles in Ordnung.