Ответ.

Работа с памятью в статической области хранения в языке C — важная часть понимания жизненного цикла переменных и ресурсов программы.

История вопроса

В C различают области хранения переменных: автоматическую (stack), динамическую (heap) и статическую (data/bss сегмент). Статическая область хранения — это область памяти, выделяемая под переменные, существующие на всем протяжении выполнения программы. В неё помещаются переменные, объявленные со спецификатором static (внутри и вне функции) и глобальные переменные.

Проблема

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

Решение

Статические переменные хранятся в сегментах данных (или bss, если не инициализированы). Они инициализируются один раз до старта выполнения main() и сохраняют значение между вызовами функций, но недоступны вне своей области видимости, если объявлены с static внутри функции или файла. Используются для хранения состояния между вызовами или для реализации приватности данных.

Пример кода:

#include <stdio.h>

void counter() {
    static int count = 0;
    count++;
    printf("Called %d times
", count);
}

int main() {
    for (int i = 0; i < 3; i++) counter();
    return 0;
}

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

• Статические переменные инициализируются только один раз, до старта main и живут до завершения программы
• Внутрифункциональные static-переменные сохраняют значение между вызовами функции
• Область видимости static-переменных ограничена (функцией или файлом), но время жизни — весь срок выполнения программы

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

Могут ли статические переменные быть локальными и глобальными? В чем разница?

Да, локальные static-переменные объявляются внутри функций, глобальные — вне всех функций. Локальные видимы только внутри функции, глобальные — внутри всего файла (если static указывается перед глобальной переменной, то она "приватна" для файла).

Пример кода:

static int g_val = 42; // доступен во всем этом файле
void foo() {
    static int count = 0; // виден только в foo и живет все время работы программы
}

Когда именно инициализируется статическая переменная: при каждом входе в функцию, при первом вызове или до старта main?

Все статические переменные (глобальные или локальные, объявленные с static) инициализируются до старта main(), то есть во время загрузки программы. Если инициализация явная, используется указанное значение, иначе переменная инициализируется нулем.

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

Да, можно. Такой массив сохранит значения между вызовами функции, а при первом вызове будет инициализирован нулями (если не указано иное).

Пример кода:

void bar() {
    static int arr[3]; // все элементы будут равны 0 при первом вызове
    arr[0]++;
    printf("arr[0]=%d
", arr[0]);
}

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

Плюсы: Удобно хранить состояние между вызовами функций, можно реализовать "приватные" данные, не нужно выделять/освобождать память вручную

Минусы: Не подходят для потокобезопасных программ без доп. синхронизации, ошибочно использовать для хранения большого объема данных, могут приводить к непредсказуемому поведению при ошибочном изменении значения

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

Негативный кейс: Разработчик хранит временную рабочую копию огромного массива в static внутри функции. В результате приложение всегда занимает огромный объем памяти, даже когда этот массив не нужен. Плюс: простота доступа, минус: высокое потребление памяти, нет явного управления выделением.

Положительный кейс: Статический счетчик вызовов функции используется для диагностики и профилирования (см. пример выше). Плюс: не требуется глобальных переменных, минус: нужно быть осторожным с многопоточностью — требуется синхронизация.