Kann ich statische und automatische Variablen in C frei()?

Question

Der Code ist wie folgt:

#include <stdlib.h> 

int num = 3; // Static external variable 
int *ptr = &num; 

int main(void) 
{ 
int num2 = 4; // Automatic variable 
int *ptr2 = &num2; 

free(ptr); //Free static variable 
free(ptr2); //Free automatic variable 

return 0; 
} 

Ich versuche, den obigen Code zu kompilieren und es funktioniert, ich bin neugierig macht die free() Funktion der Lage, sowohl die statischen Variablen und auch automatische Variable zu befreien? Oder im Grunde tut es nichts?

Answer 1

free() Aufruf auf einem Zeiger nicht durch Zuordnen von Speicher Funktionen zurückgegeben (malloc, calloc usw.) verursacht undefiniertes Verhalten.
Ihr Code hat ein undefiniertes Verhalten. Der Compiler muss Ihnen also keine Diagnose geben und kann jegliches Verhalten anzeigen, es könnte funktionieren oder abstürzen oder buchstäblich irgendetwas tun.

Vermeiden Sie es einfach, Code zu schreiben, der ein Undefined Behavior verursacht, ist die einzige Lösung.

Answer 2

Sie sollten das nicht tun. free wird nur für Speicher verwendet, der dynamisch von Heap nach malloc Familie von Funktionen zugewiesen wird.

Speicher für num ist im Datensegment statisch belegt und kann nicht freigegeben werden. Speicher für num2 ist in der main Call-Stack-Frame zugewiesen und wird freigegeben, sobald main zurückgibt.

Was tatsächlich passiert, hängt von der Implementierung von free ab. Normalerweise werden bestimmte Datenstrukturen im Heap verwaltet, um die zugewiesenen und freien Speicherbereiche zu verfolgen. free erwartet, dass sich diese Datenstrukturen irgendwo an der Stelle befinden, auf die das Argument verweist. Wenn Sie einen Zeiger übergeben, der nicht auf einen malloc -allokierten Heap-Bereich zeigt, betrachtet er die Daten als nützliche Informationen und macht einige seltsame Dinge. Und du hast Glück, wenn das Ergebnis nur ein sofortiger Programmabsturz ist.