einen Zeiger zurückkehrend

Question

Ich verstehe nicht, wie dieses Beispiel möglicherweise funktionieren kann:

double * GetSalary() { 
    double salary = 26.48; 
    return &salary; 
} 

main() { 
    cout << *GetSalary(); //prints 26.48 

} 

salary eine lokale Variable ist somit in GetSalary(), nachdem sie von der Funktion zurückkehrte, könnte diese Zelle möglicherweise durch eine andere Funktion überschreibt. Ich sehe nicht, wie die Rückgabe eines Zeigers auf eine lokale Variable (nicht auf dem Heap) nicht möglich ist.

Answer 1

Es funktioniert nicht. Es ist undefiniertes Verhalten. Es scheint zu funktionieren, denn "korrektes Verhalten" ist eine Teilmenge von "jedem möglichen Verhalten".

Answer 2

Sie laufen in undefiniertes Verhalten, was bedeutet alles kann passieren. Darunter erscheinen zu arbeiten.

Außerhalb der Funktion hängt der Rückführungszeiger (d. H. Der Speicher, auf den er zeigt, ist ungültig).

Warum es zu funktionieren scheint, läuft auf die Implementierung hinaus. Wahrscheinlich ist der Speicher nicht gelöscht. Obwohl Sie keinen Zugriff darauf haben, auf was der Rückkehrzeiger verweist, ist in diesem Speicher die 26.48 noch vorhanden. Aber es ist nur zufällig.

Answer 3

Es funktioniert nicht, es dereferenziert einen Zeiger, der nicht mehr gültig ist. Dass der Speicher, auf den gezeigt wird, zufällig den erwarteten Wert hält, ist kein Zeichen dafür, dass das Programm insgesamt "funktioniert" oder korrekt ist.

Um zu verstehen, warum es funktioniert, müssen Sie das genaue Muster der Stack-Frame-Verschiebungen analysieren, die stattfinden, das ist irgendwie ärgerlich und sehr Compiler-abhängig.

Answer 4

Es ist ein dangling pointer, der undefined behaviour aufruft.
auf einigen Systemen könnte es Ihre Anwendung zum Absturz bringen, in anderen scheint es, als ob es richtig funktioniert. Aber so oder so, du solltest es nicht tun.
siehe this similar SO post.

Answer 5

double * GetSalary() 
{ 
    double salary = 26.48;  
    return &salary; 
} 
double dummy_function() 
{ 
    double a = 1.1; 
    double b = 2.2; 
    double c = 0 , d = 0; 

    c = a + b - d; 
    return c; 
} 

main() 
{  
    double *a; 
    a = GetSalary(); 
    cout << dummy_function(); 
    cout << *a; //this time it wont print 26.48 
} 

Da Funktion Stapel durch den zweiten Funktionsaufruf dummy_function

Answer 6

Dies funktioniert auch überschrieben wurde, ist aber viel sicherer. Es wird nicht richtig in einem Multithread-Programm funktionieren.

double * GetSalary() { 
    static double salary = 26.48; 
    return &salary; 
}