Почему так происходит?

Question

[DVoropaev]

>>> a = 0
>>> def f1():
...       a = 1
... 
>>> f1()
>>> a
0
>>> def f2():
...       print(a)
... 
>>> f2()
0
>>> def f3():
...       print(a)
...       a = 3
... 
>>> f3()
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<stdin>", line 2, in f3
UnboundLocalError: local variable 'a' referenced before assignment
>>>

Почему f1(), f2() работают, а f3() нет

Answer 1

[Сергей Горностаев]

Лутц - "Изучаем Python", глава 20, страница 596

Как известно, имена, которым выполняется присваивание внутри функции, по умолчанию рассматриваются как локальные – они располагаются в области видимости функции и существуют только во время работы функции. Но я еще не говорил, что локальные переменные определяются статически, во время компиляции программного кода в инструкции def, а не в соответствии с операциями присваивания, производимыми во время выполнения. Эта особенность становится причиной появления самых причудливых сообщений в группе новостей, получаемых от начинающих программистов.
Обычно, если внутри функции имени не присваивается какое-либо значение, поиск его будет производиться в области видимости объемлющего модуля. Но посмотрите, что произойдет, если добавить инструкцию присваивания переменной X после ее использования.

X = 99
>>> def selector():
... print(X) # Переменная еще не существует!
... X = 88 # X классифицируется как локальная переменная
... # То же самое происходит при “import X”, “def X”...
>>> selector()
Traceback (most recent call last):
...текст сообщения об ошибке опущен...
UnboundLocalError: local variable ‘X’ referenced before assignment

Было получено сообщение о том, что переменная не определена, но причина его появления не очевидна. Этот программный код компилируется интерпретатором во время ввода в интерактивной оболочке или во время импорта модуля. Вовремя компиляции Python обнаруживает операцию присваивания переменной X и делает вывод, что X – это локальное имя везде в теле функции. Но во время выполнения функции, из-за того, что к моменту вызова инструкции print операция присваивания еще не производилась, интерпретатор сообщает о том, что имя не определено. Согласно этому правилу использования имен, он говорит, что обращение к локальной переменной X произведено до того, как ей было присвоено значение. Фактически любая операция присваивания внутри функции создает локальное имя. Операция импортирования, =, вложенные инструкции def, вложенные определения классов и так далее – все трактуются именно таким образом. Проблема возникает из-за того, что операция присваивания делает имена локальными для всей функции, а не только для той ее части, которая следует заинструкцией присваивания.

Читать учебники - полезно.

Comments

[DVoropaev]

какое издание?

[Сергей Горностаев]

DVoropaev, 4-е.

[Nurbol Suleimenov]

Не совсем не тот случай. И объяснить можно было бы не приводя пример из книги. То, что DVoropaev очевидно, хотел увидеть

>>> a = 0
>>> def f1():
...       global a
...       a = 1
... 
>>> f1()
>>> a
1

Все дело в том, что под именем a сначало была определена глобальная переменная со значением 0. После, в функции f1 под тем же именем локальная (видимая внутри функции) с значением 1, которая не имела отношение к глобальной переменной.
Решение: Указать в функции, что внутри функции будет изменяться переменная из глобальной области видимости, посредством: global a

[Сергей Горностаев]

Nurbol Suleimenov,

1. Автора озадачило поведение f3, а именно оно и объясняется в приведённой мной цитате.
   
2. Я люблю делать отсылки к книгам, это показывает насколько полезно их читать.
   
3. Использования глобальных переменных следует избегать.
   

[Nurbol Suleimenov]

Да, простите за невнимательность! Мозги набрекрень :)