Почему список lambda выражений возвращает одинаковые числа?

Question

[Павел Козлов]

Добрый день. На собеседовании на должность Python junа столкнулся с такой задачей:
Есть код:

l1 = [lambda: x for x in range(3)]
l2 = [f() for f in l1]
l2
>>> [2, 2, 2]

Собственно вопрос, почему так? Возникала мысль что это 3 ссылки на один и тот же объект. Но при этом:

>>> l1[0] is l1[1]
False
>>> l1[1] is l1[2]
False
>>> l1[0] == l1[2]
False

Даже идентификаторы у объектов разные:

>>> for i in l1:
...     print(id(i))
... 
139905582396416
139905582396552
139905582396688

Я был уверен что должен быть результат аналогичный:

>>> l3 = [i for i in range(3)]
>>> l3
[0, 1, 2]

К сожалению, интервьюер ответа не дал :(

Comments

[Влад Григорьев]

В целом это дикая наркомания и так делать не надо.
Но работать это должно примерно так:
у вас создался список, с 3 функциями которые возвращают последнее значение х, так как итератор закончился и последнее значение у х=2, и вы всегда возвращаете последнее значение.
но если вместо списка сделать генератор l1 = (lambda: x for x in range(3)), тогда будет работать аналогично.

Answer 1

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

Все сгенерированные лямбды используют ссылку на переменную из включения. К моменту, их вызова включение уже завершило свою работу и x имеет значение последней итерации - 2. Чтобы избежать такого поведения, нужно замкнуть значение переменной: l1 = [lambda x=x: x for x in range(3)]

Comments

[ITemka]

Сергей, я БлагоДарю Вас!!! Работаю над проектом, уже долгое время борюсь с похожей проблемой. Благодаря Вашему разъяснению все ПОЛУЧИЛОСЬ!!!

Answer 2

[alternativshik]

Потому что области видимости....
То выражение равносильно
l1 = [(lambda: x) for x in range(3)]
x == 2 потому что в результате лист компрехеншн он последний присваивается
А lambda потом использует этот "глобальный" x

Answer 3

[Александр]

А обойти можно было:
l1=[eval('lambda:%d'%x) for x in range(3)]
Они конечно любят всякую ерунду спрашивать.

Comments

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

Использование eval - это огромный минус кандидату, способный быстро закончить собеседование не в его пользу.