Ответ.

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

Область видимости переменных — фундаментальное понятие с самого появления языков программирования. В C++ правила области видимости существенно развивались с появлением новых стандартов (начиная с локальных объявлений до анонимных пространств имён, lambda-выражений и блоков try/catch).

Проблема:

Неверное понимание области видимости приводит к ошибкам времени компиляции или исполнения, к примеру, к коллизиям имён, случайному скрытию переменных, утечке памяти, неинициализированным значениям.

Решение:

В C++ основными уровнями области видимости являются:

• Блочная (локальная)
• Область видимости класса/структуры
• Глобальная область
• Пространство имён

Важно помнить о правилах поиска идентификаторов (name lookup): компилятор ищет самое "близкое" определение, затем поднимается выше.

Пример кода:

#include <iostream>

void func() {
    int x = 1;
    {
        int x = 2; // скрытие внешней переменной x
        std::cout << x << '
'; // Выведет: 2
    }
    std::cout << x << '
'; // Выведет: 1
}

int x = 10; // глобальная переменная

int main() {
    func();
    std::cout << x << '
'; // Выведет: 10
}

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

• Локальные переменные имеют приоритет над переменными внешнего блока/глобальными.
• Пространства имён защищают от коллизий, но не отменяют эффект скрытия.
• Переменные, объявленные внутри цикла или конструктора, доступны только в этом блоке.

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

Может ли переменная, объявленная в заголовочном файле вне всякой функции, быть причиной ошибки link-time?

Да! Если переменная объявлена как просто int value (без extern и без инлайновой инициализации с inline-variables в C++17), она создаст несколько определений и приведёт к ошибке множественного определения на этапе линковки.

Пример кода:

// myheader.h
int globalVar = 5; // BAD: определение, а не объявление

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

Внутренняя переменная "скроет" внешнюю, и все обращения будут идти к ней, пока не закончится внутренний блок.

Доступна ли переменная, объявленная в заголовке функции, в других функциях?

Нет. Переменные, объявленные (и определённые) внутри тела функции, существуют только во время выполнения этой функции. Они недоступны вне её.

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

• Глобальные переменные вместо передачи данных параметрами, как следствие — сложные связи.
• Повторное объявление переменных с одинаковыми именами, что затрудняет понимание кода.
• Определение глобальной переменной в заголовочном файле без extern.

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

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

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

Плюсы: Легко обращаться из любого места.

Минусы: Сложности с отладкой, множественное определение (linker error), отсутствие thread safety, неожиданные значения.

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

Использование локальных переменных, передача состояния через параметры функций, глобальных переменных почти нет или используются extern и только с инкапсуляцией через namespace.

Плюсы: Прозрачность кода, управление зависимостями, простота тестирования.

Минусы: Иногда требует больше кода, чем с глобальными переменными.