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

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

Существуют различные типы областей видимости:

• Локальная область видимости (Local Scope): Переменные, объявленные внутри функции. Доступны только внутри этой функции.
• Глобальная область видимости (Global Scope): Переменные, объявленные вне любых функций или классов. Доступны из любой части программы.
• Область видимости блока (Block Scope): Переменные, объявленные внутри блока кода, например, внутри if, for или while. Доступны только внутри этого блока (в языках, поддерживающих блочную область видимости, таких как Java, Kotlin, C++).

При доступе к идентификатору язык программирования ищет его, двигаясь "от внутреннего к внешнему": сначала в текущей области видимости, затем в объемлющих областях видимости, и так до глобальной области видимости. Как только идентификатор найден, поиск прекращается.

Пример на Kotlin:

var globalVariable = "Я глобальная" // Глобальная область видимости

fun myFunction() {
    var localVariable = "Я локальная" // Локальная область видимости

    if (true) {
        val blockVariable = "Я блочная" // Область видимости блока
        println(globalVariable) // Доступ к глобальной
        println(localVariable) // Доступ к локальной
        println(blockVariable) // Доступ к блочной
    }

    // println(blockVariable) // Ошибка: blockVariable недоступна за пределами блока
    println(globalVariable) // Доступ к глобальной
    println(localVariable) // Доступ к локальной
}

fun anotherFunction() {
    println(globalVariable) // Доступ к глобальной
    // println(localVariable) // Ошибка: localVariable недоступна за пределами myFunction
}