После выхода из оператора морж значение сохраняется или теряется

Оператор морж (walrus operator) и область видимости переменных

Оператор морж := (walrus operator), введённый в Python 3.8, присваивает значение и возвращает его одновременно. Важный вопрос: сохраняется ли значение после выхода из блока кода, в котором он использован?

Короткий ответ: ДА, сохраняется

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

Примеры использования

Пример 1: Базовое использование

# Оператор морж в условии if
if (n := len([1, 2, 3, 4, 5])) > 3:
    print(f"Список содержит {n} элементов")

print(n)  # 5 — переменная n существует!

Вывод:

Список содержит 5 элементов
5

Переменная n доступна вне блока if. Она создана в локальной области видимости функции, а не в области блока.

Пример 2: В цикле while

# Классический пример: чтение файла
with open(data.txt) as f:
    while (line := f.readline()):
        print(line.strip())

print(f"Последняя прочитанная строка: {line}")  # Работает!

Переменная line остаётся после выхода из цикла while и содержит последнее значение.

Пример 3: Вложенные области видимости

def outer():
    if (x := 10) > 5:
        print(f"x = {x}")
    
    print(f"После блока if: x = {x}")  # Работает!
    return x

result = outer()
print(f"result = {result}")
# print(x)  # NameError! x не существует в глобальной области

Вывод:

x = 10
После блока if: x = 10
result = 10

Переменная x доступна в функции outer, но недоступна вне её.

Пример 4: В list comprehension

# Морж в list comprehension
data = [1, 2, 3, 4, 5, 6, 7, 8, 9, 10]

result = [y for x in data if (y := x * 2) > 10]

print(f"Результат: {result}")
print(f"Последнее значение y: {y}")  # Работает!

Вывод:

Результат: [12, 14, 16, 18, 20]
Последнее значение y: 20

Внимание! В list comprehension переменная y просочилась в глобальную область (или область функции). Это важное различие с Python < 3.8.

Пример 5: Область видимости в функции

def process_data():
    values = [5, 15, 25, 35]
    
    for item in values:
        if (squared := item ** 2) > 100:
            print(f"Квадрат {item} = {squared}")
    
    # squared доступна здесь
    print(f"Последний квадрат: {squared}")
    return squared

print(process_data())
# print(squared)  # NameError!

Различие: оператор морж vs обычное присваивание

Без оператора морж:

if n := 5:  # Присваиваем и проверяем
    m = n * 2  # Новая переменная
    print(m)  # 10

print(m)  # NameError в Python < 3.8 был бы NameError

С оператором морж:

if (n := 5):
    print(n)  # 5

print(n)  # 5 — n остаётся!

Правила области видимости

Правило 1: Оператор морж создаёт переменную в текущей области видимости (функция, модуль, класс).

def test():
    if (x := 10):
        pass
    print(x)  # 10 — доступна в функции

test()
print(x)  # NameError — недоступна глобально

Правило 2: Если переменная уже существует в области видимости, морж просто обновляет её.

x = 5
if (x := 20):
    pass
print(x)  # 20

Правило 3: Морж не влияет на области видимости в comprehensions для переменной цикла.

# Переменная цикла изолирована
result = [i for i in range(5)]
print(i)  # NameError в Python 3 (в Python 2 был бы 4)

# Морж НЕ изолируется
result = [j for i in range(5) if (j := i * 2)]
print(j)  # 8 — работает!

Практическое использование

####減减утечка памяти при обработке больших файлов

# Плохо: создаём список в памяти
lines = []
with open(huge_file.txt) as f:
    lines = f.readlines()

print(f"Прочитано {len(lines)} строк")

# Хорошо: используем морж
with open(huge_file.txt) as f:
    while (line := f.readline()):
        process(line)

print(f"Последняя строка: {line}")

Валидация в условиях

data = get_user_data()
if (user := data.get(user)) and (age := user.get(age)) and age >= 18:
    print(f"Пользователь {user[name]} совершеннолетний")
else:
    print(f"Ошибка в данных")

Выводы

1. Значение сохраняется после выхода из оператора морж
2. Переменная создаётся в текущей области видимости (функция/модуль/класс)
3. Морж — это выражение, которое возвращает присвоенное значение
4. Полезна для избежания двойного вычисления значений
5. Осторожнее в list comprehensions — переменные морж просачиваются наружу