Правила области видимости в C: локальные, глобальные и формальные переменные

Что такое область видимости (scope)?

Область видимости — часть программы, где идентификатор (имя переменной/функции) доступен для использования. В C есть 4 вида областей видимости:

Область	Где видна	Пример
Блок (block)	Внутри { ... } где объявлена	Локальные переменные, параметры
Файл (file)	Во всем файле после объявления	Глобальные переменные, функции
Функция (function)	Только внутри функции (метки goto)	label:
Прототип функции (function prototype)	В списке параметров прототипа	void f(int x); — x виден только тут

Локальные переменные (Block Scope)

Объявлены внутри блока { ... } (функции, if, for, while или просто блок).

• Видимы от точки объявления до закрывающей }.
• Создаются при входе в блок, уничтожаются при выходе (автоматическое хранение).
• Не инициализируются автоматически — содержат мусор.
• Могут «затенять» (shadow) внешние имена с тем же именем.

void demo() {
    int x = 10;           // внешний x
    if (x > 0) {
        int x = 20;       // новый x, затеняет внешний
        printf("%d\n", x); // 20
    }
    printf("%d\n", x);    // 10 (внешний снова виден)
}

Глобальные переменные (File Scope)

Объявлены вне любых функций, обычно в начале файла.

• Видимы во всех функциях файла после точки объявления.
• Время жизни = всё выполнение программы.
• Инициализируются нулём по умолчанию (в секцию .bss).
• Имеют внешнюю линковку (external linkage) — видны из других файлов через extern.

int global_counter = 0; // определение, внешняя линковка

void increment() { global_counter++; }
void print() { printf("%d\n", global_counter); }

Static глобальные — внутренняя линковка

static int file_private = 42; // видно ТОЛЬКО в этом .c файле
// Другой файл не может к ней обратиться через extern

Это способ инкапсуляции на уровне файла (модуля).

Формальные параметры (Function Prototype Scope)

Имена параметров в прототипе функции видимы только внутри этого прототипа. В определении функции они становятся локальными переменными функции.

// Прототип (в .h)
void draw_rect(int x, int y, int width, int height);
// x, y, width, height видны ТОЛЬКО здесь (и игнорируются компилятором)

// Определение (в .c)
void draw_rect(int left, int top, int w, int h) { // имена могут быть другими!
    // left, top, w, h — локальные переменные функции (block scope)
}

Приоритет видимости (Shadowing)

При конфликте имен выигрывает более «локальная» область:

int x = 1;        // глобальная

void func(int x) { // параметр (block scope) затеняет глобальную
    {
        int x = 3; // локальная во вложенном блоке затеняет параметр
        printf("%d\n", x); // 3
    }
    printf("%d\n", x); // значение параметра
}

int main() {
    func(2); // печатает 3, затем 2
    printf("%d\n", x); // 1 (глобальная)
}

Пример: демонстрация всех областей

#include <stdio.h>

int global = 100;           // file scope, external linkage
static int module_private = 200; // file scope, internal linkage

void show_scope(int param) { // param: function prototype scope → block scope
    int local = 10;         // block scope
    static int static_local = 0; // block scope, static storage
    
    printf("global=%d, module_private=%d, param=%d, local=%d, static_local=%d\n",
           global, module_private, param, local, static_local);
    static_local++;
}

int main() {
    show_scope(1);
    show_scope(2);
    // static_local сохраняет значение: 0, затем 1
    return 0;
}

Best Practices: управление областью видимости

1. Минимизируйте глобальные переменные. Используйте static для файл-приватных данных.
2. Объявляйте переменные в самом узком блоке, где они нужны (C99: можно в середине блока).
3. Используйте static для функций, не нужных вне модуля.
4. Избегайте затенения (shadowing) — делает код запутанным. Включите предупреждение -Wshadow (GCC/Clang).
5. Константы (const) также имеют область видимости. Глобальные const в C имеют внешнюю линковку (в отличие от C++). Используйте static const для файл-приватных.
6. Заголовочные файлы (.h) должны содержать только объявления (extern, прототипы), не определения переменных.

Связь с классами хранения

Область видимости и класс хранения связаны, но различны:

• auto/register → только блок, авто-хранение.
• static (в блоке) → блок, статическое хранение.
• static (вне блоков) → файл, статическое хранение, внутренняя линковка.
• extern → файл/программа, статическое хранение, внешняя линковка.