Почему результаты Map() и понимания списка различаются?

Question

Следующий тест не пройден:

#!/usr/bin/env python
def f(*args):
    """
    >>> t = 1, -1
    >>> f(*map(lambda i: lambda: i, t))
    [1, -1]
    >>> f(*(lambda: i for i in t)) # -> [-1, -1]
    [1, -1]
    >>> f(*[lambda: i for i in t]) # -> [-1, -1]
    [1, -1]
    """
    alist = [a() for a in args]
    print(alist)

if __name__ == '__main__':
    import doctest; doctest.testmod()

Другими словами:

>>> t = 1, -1
>>> args = []
>>> for i in t:
...   args.append(lambda: i)
...
>>> map(lambda a: a(), args)
[-1, -1]
>>> args = []
>>> for i in t:
...   args.append((lambda i: lambda: i)(i))
...
>>> map(lambda a: a(), args)
[1, -1]
>>> args = []
>>> for i in t:
...   args.append(lambda i=i: i)
...
>>> map(lambda a: a(), args)
[1, -1]

Answer 1

Они разные, потому что значение i как выражение генератора, так и список comp оцениваются лениво, т.е.когда анонимные функции вызываются в f.
К тому времени, i привязан к последнему значению, если t, что равно -1.

По сути, это то, что делает понимание списка (аналогично для genexp):

x = []
i = 1 # 1. from t
x.append(lambda: i)
i = -1 # 2. from t
x.append(lambda: i)

Теперь лямбды содержат замыкание, ссылающееся на i, но i в обоих случаях привязано к -1, поскольку это последнее значение, которому оно было присвоено.

Если вы хотите убедиться, что лямбда получает текущее значение i, делать

f(*[lambda u=i: u for i in t])

Таким образом, вы заставляете оценивать i в момент создания замыкания.

Редактировать:Существует одно различие между выражениями-генераторами и генераторами списков:последний пропускает переменную цикла в окружающую область.

Answer 2

Лямбда фиксирует переменные, а не значения, поэтому код

lambda : i

всегда будет возвращать значение, которое я в настоящее время обязательно в закрытии.К моменту вызова это значение было установлено в -1.

Чтобы получить то, что вы хотите, вам нужно будет захватить фактическую привязку в момент создания лямбды:

>>> f(*(lambda i=i: i for i in t)) # -> [-1, -1]
[1, -1]
>>> f(*[lambda i=i: i for i in t]) # -> [-1, -1]
[1, -1]

Answer 3

Выражение f = lambda: i эквивалентно:

def f():
    return i

Выражение g = lambda i=i: i эквивалентно:

def g(i=i):
    return i

i это свободная переменная в первом случае и привязана к параметру функции во втором случае, т. е. в этом случае это локальная переменная.Значения параметров по умолчанию оцениваются во время определения функции.

Выражение генератора — это ближайшая охватывающая область (где i определено) для i имя в lambda выражение, следовательно i разрешается в этом блоке:

f(*(lambda: i for i in (1, -1)) # -> [-1, -1]

i является локальной переменной lambda i: ... блок, поэтому объект, на который он ссылается, определен в этом блоке:

f(*map(lambda i: lambda: i, (1,-1))) # -> [1, -1]