Odpowiedź.

Deklaracja i inicjalizacja zmiennych to kamień węgielny języka C z bardzo surowymi i czasami niewidocznymi zasadami. To, jak i gdzie zadeklarujesz zmienną, wpłynie nawet na jej wartość początkową (dotyczy to inicjalizacji) oraz powiązanie z obiektem pamięci (dotyczy to deklaracji i definicji).

Historia pytania

C sięga czasów, gdy optymalizacja pamięci była priorytetem. Programiści musieli samodzielnie deklarować i inicjalizować zmienne, w przeciwnym razie zachowanie programu stawało się nieprzewidywalne. W nowoczesnych kompilatorach C nawet małe odchylenia prowadzą do błędów linkera lub niejawnej inicjalizacji „śmieci”.

Problemy

Podstawowe błędy:

Zmienne automatyczne są domyślnie nieinicjalizowane
static i globalne — auto-inicjalizowane na zero
Deklaracje i definicje są mylone, pojawia się wielokrotna definicja lub nieokreślony symbol

Rozwiązanie

Zmienne automatyczne (auto, domyślnie lokalne): nie są inicjalizowane!
Static (funkcje static, plik static, globalne bez extern): auto-inicjalizacja na zero, jeśli nie podano wartości.
Deklaracja: informuje kompilator o istnieniu zmiennej — pamięć nie jest rezerwowana (przykład: extern int x;)
Definicja: rezerwuje pamięć i może (lub musi) być inicjalizowana (przykład: int x = 42;)

Przykład kodu:

#include <stdio.h>

int global_var; // definicja, auto-inicjalizacja = 0
static int static_global_var; // static-file, auto-inicjalizacja = 0
extern int extern_var; // deklaracja, definicja gdzie indziej

void foo() {
    int local_var; // automatyczna, nieinicjalizowana -> śmieci
    static int static_local_var; // static, auto-inicjalizowana na 0
}

Kluczowe cechy:

Miejsce zmiennej wpływa na auto-inicjalizację
Definicja i deklaracja to nie to samo!
extern/brak extern: dla zmiennych — o deklaracji/definicji, dla funkcji — tylko deklaracja

Pytania pułapki.

1. Zmienne automatyczne (lokalne bez static i extern) są automatycznie inicjalizowane przez kompilator do 0?

Nie, zawierają śmieci. Ich wartość nie jest zdefiniowana, używanie przed inicjalizacją to błąd.

2. Czy można wielokrotnie definiować zmienną z extern w różnych plikach?

Nie, potrzebna jest jedna definicja, reszta — deklaracje przez extern, w przeciwnym razie linker wygeneruje błąd „wielokrotna definicja” lub „nieokreślony symbol”.

3. Czym różni się deklaracja funkcji od jej definicji?

Deklaracja — tylko prototyp (bez ciała); definicja — musi zawierać ciało funkcji. Dla zmiennych deklaracja przez extern nie rezerwuje pamięci, a dla funkcji obie formy są dozwolone.

Typowe błędy i antywzorce

Oczekiwanie na auto-inicjalizację lokalnych zmiennych automatycznie
Wielokrotna definicja globalnych zmiennych w plikach nagłówkowych
Nieprawidłowe użycie extern

Przykład z życia

Negatywny przypadek

Deklaracja globalnej zmiennej int counter; w dwóch plikach nagłówkowych. Projekt został zlinkowany z błędem wielokrotnej definicji.

Zalety:

Szybkie kopiowanie kodu

Wady:

Błędy linkera, niejasne komunikaty kompilatora

Pozytywny przypadek

W nagłówku wpisano extern int counter;, definicję int counter = 0; — tylko w jednym pliku C.