Odpowiedź.

Historia pytania

W języku C programista bezpośrednio zarządza pamięcią: przydzielanie, zwalnianie i korzystanie z tablic, struktur i wskaźników jest kontrolowane ręcznie. Mechanizm dynamicznego przydzielania pamięci istnieje w C od lat 70. XX wieku i jest realizowany przez specjalne funkcje standardowej biblioteki (malloc, calloc, realloc, free). Takie podejście zapewnia wydajność i elastyczność, ale wymaga ostrożności.

Problem

Błąd w zarządzaniu pamięcią może prowadzić do wycieków, uszkodzenia innych danych, awarii programu lub luk bezpieczeństwa. Często błąd występuje z powodu zapomnianych wywołań free, wyjścia poza granice tablicy, błędnego rzutowania wskaźników lub podwójnego zwolnienia pamięci. Sytuacja ze strukturami jest podobna, ale wiąże się z ryzykiem zapomnienia o oczyszczeniu zagnieżdżonych dynamicznych pól.

Rozwiązanie

Aby zminimalizować błędy, zaleca się opracowywanie ściśle zorganizowanego kodu, śledzenie wszystkich przydziałów i zwolnień pamięci, unikanie używania zwolnionych wskaźników oraz kontrolowanie rozmiarów przydzielonych tablic. Ważne jest korzystanie z narzędzi analizy statycznej, testów końcowych (valgrind, sanitizers) oraz przestrzeganie zasad: kto wywołał malloc — ten zwalnia pamięć.

Przykład kodu:

#include <stdio.h>
#include <stdlib.h>
typedef struct {
    int *arr;
    size_t size;
} ArrayWrapper;

ArrayWrapper *create(size_t n) {
    ArrayWrapper *aw = malloc(sizeof(ArrayWrapper));
    if (!aw) return NULL;
    aw->arr = malloc(sizeof(int) * n);
    if (!aw->arr) { free(aw); return NULL; }
    aw->size = n;
    return aw;
}
void destroy(ArrayWrapper *aw) {
    if (aw) {
        free(aw->arr);
        free(aw);
    }
}

Kluczowe cechy:

Dynamiczne tablice i struktury można tworzyć dowolnej wielkości w czasie działania.
O przydzieloną pamięć muszą dbać te fragmenty kodu, które ją zdobyły.
Kluczem do bezpieczeństwa jest zwalnianie pamięci tuż po zakończeniu jej używania, unikanie podwójnego zwolnienia.

Pytania podchwytliwe.

Co się wydarzy podczas zwalniania pamięci za pomocą wskaźnika o wartości NULL (free(NULL))?

Zgodnie z standardem C, wywołanie free na wskaźniku NULL jest bezpieczne — nic się nie dzieje, nie występują błędy. To wygodne dla przenoszenia odpowiedzialności za zwolnienie pamięci.

Czy można używać pamięci po wywołaniu free?

Nie, używanie pamięci po jej zwolnieniu (use-after-free) to klasyczny błąd. Dane mogą ulec zmianie lub obszar może być przydzielony innemu procesowi. Należy zawsze zerować wskaźnik po free.

int *ptr = malloc(10);
free(ptr);
ptr = NULL; // Bezpiecznie

Czy konieczne jest zwolnienie całej przydzielonej pamięci przed zakończeniem programu?

Technicznie nie jest konieczne — przy zakończeniu programu system operacyjny zwalnia wszystkie zasoby. Jednak ignorowanie zwalniania pamięci to antywzorzec, utrudnia debugowanie i prowadzi do błędów w dużych, długo działających programach.

Typowe błędy i antywzorce

Utrata wskaźnika na przydzieloną pamięć (memory leak).
Podwójne zwolnienie pamięci, use-after-free.
Błędny rozmiar przydzielanej pamięci (sizeof niewłaściwego typu).

Przykład z życia

Negatywny przypadek

Programista tworzy dynamiczne tablice wewnątrz funkcji, zapomina je oczyścić:

Zalety:

Szybka implementacja, brak błędów przy małych ilościach.

Wady:

Wyciek pamięci przy dużych danych, awaria programu, nieodwracalne błędy.

Pozytywny przypadek

Cały kod przechodzi weryfikację przez analizator statyczny, wszystkie wskaźniki po free są zerowane, każde malloc jest połączone z free: