Tại sao kết quả của bản đồ() và danh sách hiểu khác nhau?

Question

Các thử nghiệm sau thất bại:

#!/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() 

Nói cách khác:

>>> 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

Họ là khác nhau, vì giá trị của i trong cả hai biểu thức máy phát điện và danh sách comp được đánh giá một cách lười biếng, tức là khi các hàm ẩn danh được gọi trong f.
Vào thời điểm đó, i bị ràng buộc với giá trị cuối cùng nếu t, là -1.

Vì vậy, về cơ bản, đây là những gì trong danh sách hiểu làm (tương tự như vậy cho genexp):

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

Bây giờ lambdas mang theo một đóng cửa tham chiếu i, nhưng i là ràng buộc để -1 trong cả hai trường hợp, bởi vì đó là giá trị cuối cùng nó được gán cho.

Nếu bạn muốn chắc chắn rằng lambda nhận được giá trị hiện tại của i, làm

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

Bằng cách này, bạn buộc các đánh giá của i tại thời điểm đóng cửa được tạo ra.

Chỉnh sửa: Có một sự khác biệt giữa biểu thức trình tạo và danh sách hiểu: sau này làm rò biến biến vòng lặp vào phạm vi xung quanh.

Answer 2

Lambda chụp biến, không phải giá trị, do đó các mã

lambda : i 

sẽ luôn luôn trả về giá trị i là hiện tại bị ràng buộc trong lúc đóng. Vào thời điểm được gọi, giá trị này đã được đặt thành -1.

Để có được những gì bạn muốn, bạn sẽ cần phải nắm bắt các ràng buộc thực tế tại thời điểm lambda được tạo ra, bởi:

>>> 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

Biểu f = lambda: i tương đương với:

def f(): 
    return i 

Biểu g = lambda i=i: i tương đương với:

def g(i=i): 
    return i 

i là một free variable trong trường hợp đầu tiên và nó được liên kết với các tham số chức năng trong trường hợp thứ hai tức là, nó là một biến cục bộ trong trường hợp đó. Giá trị cho các tham số mặc định được đánh giá tại thời điểm định nghĩa hàm.

biểu Generator là phạm vi kèm theo gần nhất (nơi i được định nghĩa) cho i tên trong biểu thức lambda, do đó i được giải quyết trong khối rằng:

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

i là một biến cục bộ của khối lambda i: ..., do đó đối tượng mà nó đề cập đến được xác định trong khối đó:

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