in C: Warum existiert eine Stack zugewiesene Struktur außerhalb der Funktion?

Question

meine Funktion:

struct hostent * gethost(char * hostname){ 
    if(/*some condition under which I want 
     to change the mode of my program to not take a host*/){ 
     return null 
    } 
    else{ 
     struct hostent * host = gethostbyname(hostname); 
     return host; 
    } 
} 

in Haupt:

struct hostent * host = gethost(argv[2]); 

(keine kleinere Fehler im Code ignorieren, ich bin aus dem Gedächtnis spucken)

das funktioniert gut. und Valgrind sagt mir nicht, dass ich die Erinnerung verliere, obwohl ich nicht frei bin.

Warum? Ich dachte, dass Sachen, die auf dem Stapel zugewiesen sind, verschwinden, wenn der Funktionsaufruf zurückkehrt? oder ist es, weil ich den Zeiger zurückgebe? Ist das in irgendeiner Weise gefährlich?

Answer 1

host ist nicht auf dem Stapel zugeordnet, nur ein Zeiger darauf ist auf dem Stapel. Der Zeiger wird kopiert, wenn die Funktion zurückkehrt, also ist nichts falsch mit dem Code.

Beachten Sie, dass gethostbyname Speicher tatsächlich nicht dynamisch alloziert. Es gibt immer einen Zeiger auf denselben statisch zugewiesenen Speicherblock zurück, weshalb valgrind kein Leck meldet. Seien Sie jedoch vorsichtig, denn das bedeutet, dass Sie das hostent, das von Ihrer Funktion zurückgegeben wird, kopieren müssen, wenn Sie den Wert für später speichern möchten, da weitere Aufrufe an gethost es überschreiben werden.

Answer 2

Nun, der Speicher ist nicht durchgesickert, bis alle Verweise darauf verloren sind, in Ihrem Beispiel wird der Zeiger zurückgegeben, so dass es immer noch einen Verweis darauf gibt.

Allerdings ist es eine schlechte Design-Entscheidung in den meisten Fällen, sich auf einen anderen Teil des Codes zu verlassen, um dynamischen Speicher freizugeben. Wenn die Funktion beispielsweise eine Struktur zurückgeben muss, sollte der Aufrufer dies tun und einen Zeiger an die Struktur übergeben.

Answer 3

aus dem Handbuch:

RETURN VALUE 
     The gethostbyname() and gethostbyaddr() functions return the hostent 
     structure or a NULL pointer if an error occurs. On error, the h_errno 
     variable holds an error number. When non-NULL, the return value may 
     point at static data, ... 

Einige Speicher an der Kompilierzeit reserviert ist (dh innerhalb des binären Code.) Für die Struktur, die Funktion gibt einen Zeiger auf diesen Speicher.

Answer 4

Es ist in Ordnung und ist undicht, da der zurückgegebene Zeiger nicht auf Daten auf Stapel oder Heap zeigt, aber einige statische Variable.

http://linux.die.net/man/3/gethostbyname:

Die Funktionen gethostbyname() und gethostbyaddr() können Zeiger auf statische Daten zurückgeben, die später überschrieben werden können durch aufruft. Das Kopieren des struct hostent ist nicht ausreichend, da es Zeiger enthält; Eine tiefe Kopie ist erforderlich.