Лутц М. - Изучаем Python (1077325), страница 86
Текст из файла (страница 86)
пространство имен, в котором находятся имена, определяемые внутри функции. Каждую инструкцию сет (и выражение 1ззЬоа) можно представить себе как определение новой локальной области видимости. Но так как язык Рут)топ позволяет функциям вызывать самих себя в цикле (этот прием известен как рекурсия), локальная область видимости с технической точки зрения соответствует вызову функции — другими словами, каждый вызов создает новое локальное пространство имен. Рекурсию удобно использовать, когда выполняется обработка данных, структура которых заранее неизвестна.
° Операция присваивания создает локальные имена, если они ие были объявлены глобальными. По умолчанию все имена, которым присваиваются значения внутри функции, помещаются в локальную область видимости (пространство имен, ассоциированное с вызовом функции). Если необходимо присвоить значение имени верх- Программный код, который вводится в интерактивной оболочке, в действительности находится на уровне модуля аатз,, поэтому имена, создаваемые в интерактивной оболочке, также находятся внутри модуля и следуют обычным правилам видимости.
Подробнее о модулях будет рассказываться в пятой части книги. 401 Правила видимости него уровня в модуле, который вмещает функцию, это имя необходимо объявить внутри функции глобальным с помощью инструкции 01оЬа1. ° Все остальные имена являются локальными в объемлющей области видимости, глобальными или встроенными.
Предполагается, что имена, которым не присваивались значения внутри определения функции, находятся в объемлющей локальной области видимости (внутри объемлющей инструкции оет), глобальной (в пространстве имен модуля)или встроенной (предопределенные имена в модуле Ьш1ттп ). Обратите внимание, что любые операции присваивания, выполняемые внутри функции, классифицируют имена как локальные: инструкция =, инструкция таро гт, инструкция Ьет, передача аргументов и т.
д. Следует также заметить, что операции непосредственного изменения объектов не рассматривают имена как локальные — зто свойственно только операциям присваивания. Например, если имени Ь присвоен список, определенный на верхнем уровне в модуле, то такая инструкция, как Ь аррепз(Х), внутри функции не будет классифицировать имя Ь как локальное, тогда как инструкция Ь = Х будет.
В первом случае список Ь будет найден в глобальной области видимости и инструкция изменит глобальный список. Разрешение имен: правило ~ЕбВ Если предыдущий раздел показался вам запутанным, спешу успокоить — в действительности все сводится к трем простым правилам. Для инструкции Ье(: ° Поиск имен ведется самое большее в четырех областях видимости: локальной, затем в объемлющей функции (если таковая имеется), затем в глобальной и, наконец, во встроенной.
° По умолчанию операция присваивания создает локальные имена. ° Глобальные объявления отображают имена на область видимости вмещающего модуля. Другими словами, все имена, которым присваиваются значения внутри инструкции Оет (или внутри выражения 1аазза, с которым мы познакомимся позже), по умолчанию являются локальными; функции могут использовать имена в лексически (т. е., физически) объемлющих функциях и в глобальной области видимости, но чтобы иметь возможность изменять их, они должны быть объявлены глобальными. Схема разрешения имен в языке РуФ)топ иногда называется правилом ЕЕСВ, название которого состоит из первых букв названий областей видимости: ° Когда внутри функции выполняется обращение к неизвестному имени, интерпретатор пытается отыскать его в четырех областях видимости — в локальной (1оса1, Е), затем в локальной области любой объемлющей инструкции Ьет (епс1ов(пд, Е) или в выражении Глава 16.
Области видимости и аргументы 1апйба, затем в глобальной (К1оЬа1, 0) и, наконец, во встроенной (ЬшН-1п, В). Поиск завершается, как только будет найдено первое подходящее имя. ° Когда внутри функции выполняется операция присваивания (а не обращение к имени внутри выражения), интерпретатор всегда создает или изменяет имя в локальной области видимости, если в этой функции оно не было объявлено глобальным. ° Когда выполняется присваивание имени за пределами функции (т.
е. на уровне модуля или в интерактивной оболочке), локальная область видимости совпадает с глобальной — с пространством имен модуля. На рис. 16.1 показаны четыре области видимости в языке РуФЬоп. Примечательно, что второй области видимости  — в области видимости объемлющей инструкции бе( или выражения 1амзба, с технической точки зрения может находиться несколько вложенных друг в друга областей. Но они появляются, только когда имеются вложенные друг в друга функции.' Встрввннвя вблясть видимости(ру(воя) Првдопрвдвлвнныв имена в модуле встроенных имен.
оргп, галде, Яуптгхбггог Глобвльивя облвсть видимости(мвдуль) Имена, опредсляемые нв верхнем уровне модуля нли объявленные внутри инструкций овт как глобвпьныв. Локвльныв вблястн видимости обьвмлющих функций Имена в локальной области видимости любой и всех объемлющих функций (инструкция оег илн таяоса), изнутри наружу. Рис. 16.1. Правило ЬВСВ поиска имен в областях видимости. Когда производится обращение к переменной, интерпретатор Рутйоп начинает искать ее в следующее порядке: в локальной области видимости, во веет яокаяьных областях видимости обэемяющих функций, в глобальной области видимости и, наконец, во встроенной области видимости.
Поиск завершается, как только будет найдено первое подходящее имя. Место, где в программном коде производится присваивание значения переменной, обычно определяет ее область видимости В первом издании этой книги правило поиска н областях видимости было названо ч правилом ЬСВ». Уровень объемлющей инструкции Се( был добавлен э язык Русйоп позднее, чтобы ликвидировать необходимость явной передачи объемлющей области видимости. Но эта тема едва ли представляет интерес Лля начинающих, поэтому мы рассмотрим ее позднее в этой главе. Правила видимости Кроме того, имейте в виду, что эти правила применяются только к простым именам переменных (таким как зраа).
В пятой и шестой частях книги мы увидим, что полные имена атрибутов (такие как об) есс. эрам) принадлежат определенным объектам и к ним применяются иные правила поиска, отличные от правил поиска в областях видимости, которые мы только что рассмотрели. При обращении к атрибутам (имя, следующее за точкой) поиск производится в одном или более объектах, а не в областях видимости, что связано с механизмом, который называется »наследованием» (рассматривается в шестой части книги). Пример области видимости Рассмотрим более крупный пример, демонстрирующий суть областей видимости. Предположим, что следующий фрагмент составляет содержимое файла модуля: В Глобальная область видимости Х = 99 Е Х и Гыпс определены в модуле: глобальная область Оет Гцпс(У).
р у и 2 определены в функции: локальная область я Локальная область видимости Е = Х » У в Х вЂ” глобальная переменная гетцгп 7 Гцпс(1) е гипс в модуле: гевцтт=!00 В этом примере функция и модуль используют в своей работе несколько имен. Применяя правила области видимости языка РуФЬоп, можно классифицировать эти имена следующим образом: Глобальные имена: Х и (ипс Х вЂ” это глобальное имя, так как она объявлена на верхнем уровне модуля. К ней можно обращаться внутри функции, не объявляя ее глобальной. Гопс — это глобальное имя по тем же причинам.
Инструкция беб связывает объект функции с именем Гопс на верхнем уровне модуля. Локальные имена: У и Я Имена У и 2 являются локальными (и существуют только во время выполнения функции), потому что присваивание значений обеим именам осуществляется внутри определения функции: присваивание переменной Л производится с помощью инструкции =, а т' — потому что аргументы всегда передаются через операцию присваивания. Суть такого разделения имен заключается в том, что локальные переменные играют роль временных имен, которые необходимы только на время исполнения функции.