Antwort

In der Programmiersprache C werden Variablen mit automatischem Speicherbereich (auto, standardmäßig) auf dem Stack beim Betreten des Sichtbarkeitsbereichs (normalerweise einer Funktion) erstellt und automatisch beim Verlassen dieses Bereichs zerstört.

Zu den Besonderheiten gehören:

• Der Zugriff auf eine solche Variable ist nur innerhalb des Blocks möglich, in dem sie deklariert wurde.
• Der Stack hat eine begrenzte Größe, ein Überlauf führt zu einem Absturz (stack overflow).
• Die Rückgabe der Adresse einer automatischen Variable aus einer Funktion führt zu undefiniertem Verhalten.

Beispiel für korrekte und inkorrekte Nutzung:

int* wrong() {
    int x = 42;
    return &x;  // FEHLER: x wird nach Verlassen der Funktion zerstört
}

void correct() {
    int y = 123;
    printf("%d\n", y); // alles gut
}

---

Fangfrage

Was passiert, wenn die Adresse einer lokalen Variable aus einer Funktion zurückgegeben wird?

Häufige falsche Antwort: „Der Zeiger behält den Wert.“

Richtige Antwort: Die zurückgegebene Adresse wird ungültig, nachdem die Funktion verlassen wurde, der Speicherbereich wird erneut für andere automatische Variablen oder Funktionen zugewiesen. Die Verwendung eines solchen Zeigers führt zu undefiniertem Verhalten.

Beispiel:

int* myfunc() {
    int temp = 10;
    return &temp; // temp wird nach der Rückgabe zerstört
}

int main() {
    int* p = myfunc();
    printf("%d\n", *p); // Undefiniertes Verhalten
}

---

Beispiele für reale Fehler aufgrund fehlenden Wissens über die Feinheiten des Themas

---

Geschichte

In einem großen Projekt eines Bankensystems gab der Programmierer aus einer Benutzerfunktion einen Zeiger auf ein lokales Array zur Verarbeitung der Ergebnisse zurück. Das System arbeitete instabil: Daten wurden sporadisch beschädigt oder unerwartet verändert, was zu einem kostspieligen Bug in den Berichten führte.

Geschichte

Im Code eines Treibers für ein Peripheriegerät verwendete der Programmierer einen Stackpuffer für die asynchrone Übertragung. Die Verzögerung zwischen dem Beginn und dem Ende der Übertragung führte zu Datenbeschädigungen, da der Puffer vor Abschluss des Vorgangs zerstört wurde.

Geschichte

In der Firmware eines medizinischen Registrators wurde ein Cache auf dem Stack zur Beschleunigung der Datenverarbeitung implementiert. Unter Last überlief der Stack, was zu einem Neustart des Geräts und zum Verlust von Patientendaten führte.