Ответ

В C переменные могут иметь различные области видимости: локальная (внутри блока), глобальная (во всём файле) и область видимости в пределах файла (static). Правильное управление областями видимости важно для предсказуемости работы и предотвращения конфликтов имён.

Глобальные переменные

Видимы во всех функциях файла, а если объявлены с extern — во всём проекте.

Локальные переменные

Создаются при входе в блок (например, функцию или цикл). Не видны вне блока объявления.

Статические в файлах

static int foo; — только для текущего файла.

Пример:

static int counter = 0; // Только внутри файла

void increment() {
    int temp = 10; // локальная переменная
    ++counter;
}

Вопрос с подвохом

Если глобальная и локальная переменные имеют одинаковое имя, какая из них используется внутри функции и почему?

Ответ: Используется локальная, т.к. она "затеняет" (shadowing) глобальное имя внутри своей области видимости. Глобальная переменная остаётся доступной вне блока объявления локальной переменной.

Пример:

int value = 5;

void foo() {
    int value = 10;
    printf("%d", value); // выведет 10, а не 5
}

Примеры реальных ошибок из-за незнания тонкостей темы

---

История

В одном проекте объявили глобальный счётчик ошибок, а в одной функции ввели локальную переменную с тем же именем. Ошибки перестали фиксироваться глобально, так как все изменения происходили только в локальной переменной.

История

В большом кодовом модуле забыли указать static для вспомогательной функции и переменной, это привело к конфликтам имён при компоновке (linking), а также к непредсказуемым ошибкам при сборке разных частей проекта.

История

Встречались случаи, когда глобальные переменные использовались в многопоточном коде без должной синхронизации. Из-за неявной области видимости и невнимательности при изменении значения в разных потоках возникали гонки данных (data race).