C - Rückgabe eines lokalen Zeiger vs lokale Variable

Question

Meine Frage ist in Bezug auf diese beiden Fälle:

#include <stdio.h> 
int *foo1(); 
int *foo2(); 

int main() 
{ 
    printf("so it's %d\n",*foo1()); 
    printf("so it's %d\n",*foo2()); 
} 

int *foo1() 
{ 
    int i1 = 5; 
    return &i1; 
} 

int *foo2() 
{ 
    int i2 = 5; 
    int *p = NULL; 
    p = &i2; 
    return p; 
} 

case1: Wenn sein der Fall mit foo1(), so erhalten wir einen Fehler, da wir zurückkehren wollen eine Kopie der Adresse Hauptdaten, die es wurde gelöscht

case2 (wenn wir foo1() Funktion verlassen): Aber in foo2(), es nicht gibt einen Fehler obwohl wir eine Kopie zurückkehren zu ein Zeiger der lokalen Variablen, dessen Daten gelöscht werden d nachdem wir die Funktion foo2() verlassen haben, warum ist das so?

TL; DR: Warum foo2() gibt keinen Fehler, aber foo1() tut?

TIA.

Answer 1

Das Verhalten beider Funktionen foo1 und foo2 sind undefined, in C und C++.

Sie dürfen nicht dereference ein Zeiger, der auf eine Variable mit automatischer Speicherdauer verweist, die nicht mehr im Bereich ist.

Morgen, foo2() kann Ihnen auch einen Fehler geben. Oder der Compiler könnte Ihre Katze essen.

Answer 2

In beiden Fällen rufen Sie undefined behavior auf, indem Sie einen Zeiger auf eine lokale Variable zurückgeben und diesen dereferenzieren.

Das Aufrufen von undefiniertem Verhalten bedeutet nicht, dass Sie immer abstürzen. Es bedeutet, dass das Verhalten des Programms nicht definiert ist. Es könnte abstürzen, es könnte seltsame Ergebnisse ausgeben, oder es könnte richtig funktionieren. Wie Sie gesehen haben, manifestiert sich dieses Verhalten auf zwei Arten in Ihrem Programm.

Eine scheinbar nicht zusammenhängende Änderung, z. B. das Hinzufügen einer nicht verwendeten lokalen Variablen oder eines printf zum Debuggen, kann die Art und Weise ändern, in der sich undefiniertes Verhalten manifestiert.

Answer 3

Beide sind undefiniertes Verhalten, Sie können sich nicht darauf verlassen, dass der Compiler Warnungen für undefiniertes Verhalten gibt.

Sie machen im Wesentlichen dasselbe in beiden Funktionen und in der Tat können beide dazu führen, dass derselbe Assemblercode erzeugt wird.

Answer 4

Das Verhalten von case1 und case2 sind nicht definiert, Sie können Zeiger auf lokale Variable nicht zurückgeben