Ответ.

В языке C область хранения переменных определяет, где хранятся данные, сколько времени они доступны и какая область кода может к ним обращаться. Исторически ключевые слова auto (по умолчанию для локальных переменных), static (сохраняет значение между вызовами, часто используется для хранения состояния) и extern (объявляет переменную, определённую где-то ещё) были введены для контроля за областью видимости и временем жизни переменных.

Проблема — неправильное понимание, где и сколько живёт переменная, может привести к ошибкам доступа, утечкам памяти и трудночитаемому коду. Например, ошибочно ожидать, что локальная переменная static будет пересоздана при каждом вызове функции, или наоборот — что auto-переменная сохранит значение между вызовами.

Решение — всегда осознанно выбирать спецификатор хранения и понимать его последствия:

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

Пример использования:

// main.c
int global_var = 42; // имеет область хранения static по умолчанию, внешний linkage

void func() {
    static int counter = 0; // живёт между вызовами
    auto int temp = 5; // локальна, auto не обязательно указывать
    counter++;
    printf("call #%d
", counter);
}

extern int global_var;

Ключевые особенности:

auto: переменная живёт до завершения блока (scope), в котором объявлена.
static: переменная живёт всю программу, но видна только внутри файла/функции/блока.
extern: переменная объявлена, но не определена здесь, её определение в другом файле.

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

Зачем вообще писать auto, если переменные и так auto по умолчанию?

Ответ: В современных версиях C ключевое слово auto почти не используется в явном виде — для локальной переменной это спецификатор по умолчанию. Вообще, его явное написание не даёт никаких преимуществ.

Можно ли использовать static внутри функции для объявления глобальной переменной?

Ответ: Нет, static внутри функции делает переменную локальной, но сохраняющей состояние между вызовами. Она не видна за пределами функции.

Пример кода:

void foo() {
    static int call_count = 0; // Не глобальна, но живёт между вызовами
    call_count++;
}

Что произойдёт, если объявить переменную как extern внутри функции, но не определить её нигде?

Ответ: Это приведёт к ошибке компоновщика (linker error), потому что объявлена ссылка на глобальную переменную, которой не существует.

Типовые ошибки и анти-паттерны

Путать область видимости и время жизни (например, ожидать, что static локальны вне функции).
Объявлять переменные extern без определения.
Использовать auto без необходимости.

Пример из жизни

Негативный кейс

В крупном проекте переменные-модули были объявлены как extern во всех исходниках, но забывали сделать определение. В результате — загадочные ошибки компоновки, неясные для начинающих разработчиков.

Плюсы:

Позволяла ссылаться на переменные во многих файлах.

Минусы:

Трудно поддерживать.
Ошибки, возникающие только после компиляции всех файлов, а не на этапе написания кода.

Позитивный кейс

Строго определяли области видимости: каждая переменная static только в нужном модуле, глобальные extern объявляли в заголовках и определяли в единственном месте.