C Academy · Lekcja

Zwalnianie pamięci i unikanie wycieków

Prawidłowo posprząta Pan/Pani po programie.

Zwalnianie pamięci i unikanie wycieków to bezpłatna lekcja C Academy na CoddyKit. To lekcja 4 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej C Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs C Academy zawiera 4 lekcji w sumie.

Każdy malloc wymaga free

Pamięć na stercie pozostaje zarezerwowana, dopóki nie zostanie zwolniona za pomocą free. Jeśli utracą Państwo jedyny wskaźnik do bloku bez jego zwolnienia, pamięć wycieknie.

Wycieki narastają z czasem i mogą wyczerpać pamięć w długo działających programach.

int *a = malloc(100 * sizeof(*a));
/* ... use a ... */
free(a);

Co naprawdę robi free

free(p) zwraca blok alokatorowi, aby można było go ponownie użyć. Nie zmienia jednak wartości samego p.

Po wywołaniu free p nadal wskazuje stary adres, który jest już nieprawidłowy. Odwołanie do niego powoduje niezdefiniowane zachowanie.

free(p);
/* p is now a dangling pointer */

Pułapka wiszącego wskaźnika

Użycie wskaźnika po zwolnieniu pamięci jest błędem use-after-free. Kod może pozornie działać, a następnie uszkodzić dane lub nieprzewidywalnie zakończyć program.

Prostym zabezpieczeniem jest ustawienie wskaźnika na NULL bezpośrednio po zwolnieniu pamięci.

free(a);
a = NULL;   /* now misuse is a clean NULL deref, easier to catch */

Podwójne free jest niezdefiniowane

Dwukrotne wywołanie free dla tego samego bloku uszkadza wewnętrzny stan alokatora i często powoduje awarię.

Ustawienie wskaźnika na NULL po pierwszym wywołaniu free pomaga, ponieważ free(NULL) jest jawnie bezpieczne i nic nie robi.

free(a);
a = NULL;
free(a);   /* free(NULL) is a harmless no-op */

Zwalniaj tylko pamięć zaalokowaną przez malloc

Do free należy przekazywać wyłącznie wskaźnik pochodzący z malloc, calloc lub realloc.

Zwalnianie adresu zmiennej na stosie, literału łańcucha znaków lub wskaźnika do środka bloku powoduje niezdefiniowane zachowanie.

int x = 5;
/* free(&x);   WRONG: x is on the stack */
int *p = malloc(sizeof(int));
free(p);        /* correct */

Wyciek przy wcześniejszym return

Częsty wyciek wygląda tak: następuje alokacja, po czym ścieżka obsługi błędu wykonuje return przed zwolnieniem pamięci. Blok zostaje utracony.

Należy dopilnować, aby każda ścieżka wyjścia, która jest właścicielem pamięci, najpierw ją zwolniła.

int *a = malloc(n * sizeof(*a));
if (something_failed) {
    free(a);   /* don't forget this before returning */
    return -1;
}

Poprawny program alokujący i zwalniający pamięć

Ten program alokuje, używa i zwalnia pamięć na każdej ścieżce, nie powodując żadnych wycieków.

#include <stdio.h>
#include <stdlib.h>

int main(void) {
    int n = 4;
    int *a = malloc(n * sizeof(*a));
    if (!a) return 1;
    for (int i = 0; i < n; i++) a[i] = i + 1;
    int sum = 0;
    for (int i = 0; i < n; i++) sum += a[i];
    printf("%d\n", sum);
    free(a);
    a = NULL;
    return 0;
}

Zwalnianie zagnieżdżonych alokacji

Jeśli blok zawiera wskaźniki do innych bloków, należy najpierw zwolnić bloki wewnętrzne, a dopiero potem zewnętrzny.

Wcześniejsze zwolnienie zewnętrznego bloku spowodowałoby utratę adresów bloków wewnętrznych i ich wyciek.

for (size_t i = 0; i < rows; i++)
    free(grid[i]);   /* free each row first */
free(grid);          /* then the array of pointers */

Jeden właściciel każdego bloku

Należy ustalić, która część kodu jest właścicielem każdej alokacji i odpowiada za jej zwolnienie.

Jeśli dwa wskaźniki wskazują ten sam blok i oba go zwolnią, wystąpi podwójne zwolnienie. Jasne zasady własności temu zapobiegają.

Wykrywanie wycieków za pomocą narzędzi

Nie trzeba wyszukiwać wycieków wyłącznie wzrokowo. Narzędzia takie jak valgrind lub AddressSanitizer zgłaszają wycieki i nieprawidłowe zwolnienia wraz z numerami wierszy.

Należy skompilować program z opcją -g i uruchomić go za pomocą narzędzia, aby dokładnie zobaczyć, co nie zostało zwolnione.

/* gcc -g -fsanitize=address prog.c && ./a.out */
/* or: valgrind --leak-check=full ./a.out */

Zwalnianie w odwrotnej kolejności konfiguracji

Przydatna zasada: w funkcji, która pozyskuje kilka zasobów, należy zwalniać je w odwrotnej kolejności do tej, w której zostały pozyskane.

Odzwierciedla to sposób budowania zależności i zapewnia przewidywalne czyszczenie.

char *buf = malloc(64);
int  *idx = malloc(64 * sizeof(int));
/* ... use them ... */
free(idx);   /* free last-acquired first */
free(buf);

Szybkie sprawdzenie

Sprawdź, jak dobrze rozumieją Państwo zwalnianie pamięci.

Podsumowanie

Każdą alokację należy powiązać z dokładnie jednym wywołaniem free na każdej ścieżce kodu.

Należy unikać wiszących wskaźników i podwójnych zwolnień, ustawiając wskaźniki na NULL po zwolnieniu pamięci. Zagnieżdżone alokacje należy zwalniać od wewnętrznych do zewnętrznych, każdemu blokowi przypisać jednego właściciela, a do wykrywania wycieków używać valgrind lub ASan. Mają już Państwo pełny zestaw narzędzi do pracy z tablicami dynamicznymi.

Często zadawane pytania

Czy lekcja „Zwalnianie pamięci i unikanie wycieków” jest bezpłatna?

Tak — pełny tekst „Zwalnianie pamięci i unikanie wycieków” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu C Academy, przejdź na CoddyKit PRO. Kurs C Academy zawiera 4 lekcji w sumie.

Co nauczysz się w „Zwalnianie pamięci i unikanie wycieków”?

Prawidłowo posprząta Pan/Pani po programie. Ćwiczysz C Academy z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.

Czy potrzebuję doświadczenia, aby zacząć C Academy?

Nie wymagamy żadnego doświadczenia. C Academy w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 4 z 4.

Ile czasu zajmuje lekcja „Zwalnianie pamięci i unikanie wycieków”?

Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.

Czy mogę pisać i uruchamiać kod w tej lekcji C Academy?

Tak. Każda lekcja C Academy zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.

Wszystkie lekcje w tym kursie

← Powrót do C Academy