Speicherverwaltung bei Basisdatentypen

[Neutral General]

Lokale Variablen werden auf dem Stack abgelegt. Die werden sobald die Funktion verlassen wird (wie du sagtest) ungültig, bzw. der Speicher wird früher oder später durch lokale Variablen oder Rücksprungadressen anderer Funktionen überschrieben.
Variablen von Objekten liegen einfach im für das Objekt reservierten Speicherbereich. Wenn das Objekt freigegeben wird, werden damit auch die Variablen des Objekts freigeben bzw. liegen in ungültigem/nicht reserviertem Speicher.
Bei globalen Variablen bin ich mir nicht zu 100% sicher, aber ich denke für die wird schon beim Laden der .exe Speicher reserviert und der wird auch erst wieder freigegeben wenn die .exe (bzw. das entprechende Modul) beendet/entladen wird.