Как работают области видимости в Python?

Когда Python встречает имя, он ищет его последовательно:

1. Local — локальные имена текущей функции;
2. Enclosing — локальные имена объемлющих функций (для вложенных);
3. Global — имена модуля;
4. Built-in — встроенные: len, print, Exception.

Важно, когда решается «локальное ли имя»: при компиляции функции. Если в теле функции где-либо есть присваивание имени, оно локальное во всей функции. Поэтому код ниже падает с UnboundLocalError: x += 1 — это присваивание, значит x локальная, а читается она до того, как получила значение.

global x говорит, что x — имя модуля; nonlocal x — что это имя ближайшей объемлющей функции. Злоупотреблять global не стоит: состояние лучше передавать явно.

Блоки if, for, while, with новой области не создают: переменная цикла доступна после цикла. А генераторы списков и выражения-генераторы (comprehension) имеют свою область — их переменная наружу не утекает.

x = 10

def broken():
    x += 1          # UnboundLocalError

def fixed():
    global x
    x += 1

for i in range(3):
    pass
print(i)            # 2 — цикл не создаёт область

[j for j in range(3)]
# print(j)          # NameError — у comprehension своя область