Ответ.

История вопроса: Глобальные и статические переменные появились в языке C для хранения данных вне локального контекста функций. Автоматическая предварительная инициализация и размещение их в особых секциях исполняемого файла оптимизируют работу программы, но в то же время приводят к недостаточно очевидному поведению, если это не понимать.

Проблема: Важно знать, что глобальные и статические переменные в С инициализируются либо явно заданным значением, либо автоматически нулями (Zero Initialization). Инициализация происходит до начала main, что уменьшает риск обращения к неинициализированным данным, но при определённых условиях приводит к неожиданным зависимостям, связанным с инициализацией нескольких модулей и порядка их загрузки.

Решение:

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

Пример кода:

#include <stdio.h>

static int stat_var;
int glob_var = 42;

int main() {
    printf("static: %d, global: %d
", stat_var, glob_var);
}

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

• Глобальные и статические переменные автоматически инициализируются нулями, если не указано иное.
• Явная инициализация происходит до начала main.
• Инициализация не гарантирует безопасность многопоточных программ.

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

1. Можно ли полагаться на неявное обнуление статических переменных и считать это безопасной практикой?

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

2. Какой будет результат, если статическая переменная объявлена во внешней функции без инициализации?

Она всё равно будет проинициализирована нулём: static int value; при запуске всегда равна 0.

3. Когда происходит инициализация глобальной переменной с инициализатором, если переменная объявлена в отдельном изолированном модуле?

Инициализация происходит до вызова main, но между разными модулями стандарт не гарантирует порядок инициализации таких переменных, что приводит к возможному обращению к неинициализированным данным в конструкторе другого модуля.

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

• Непреднамеренное использование неинициализированной глобальной переменной в сложной зависимой инициализации
• Применение глобальных переменных для хранения временных или многопоточных данных
• Непонимание порядка инициализации между несколькими исходниками

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

Разработчик объявил статические переменные для хранения общего состояния, предполагая, что их всегда будет явно инициализировать.

Плюсы:

• Сокращение количества кода

Минусы:

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

После ревью переменные были явно инициализированы на этапе объявления.

Плюсы:

• Читаемость и безопасность
• Уменьшение числа зависимостей между частями кода

Минусы:

• Лёгкое увеличение длины кода объявлений