详解Python循环作用域与闭包

Python循环作用域与LEGB原则

在Python中，循环（如 for 或 while）并不会创建独立的作用域。循环结束后，循环变量会保留在当前的作用域中。例如：

for i in range(10):
  pass
print(i)

上述代码会输出 9，因为 i 在循环结束后仍然存在于全局（或当前函数）作用域中。这与某些其他编程语言（如C、Java）中循环变量仅在循环块内可见的行为不同。

Python的作用域遵循 LEGB 原则：

• L (Local)：局部变量，定义在函数内部。
• E (Enclosing)：闭包作用域，外层函数的变量。
• G (Global)：全局作用域，模块级别的变量。
• B (Built-in)：内建作用域，Python内置的名称。

filter函数的惰性求值陷阱

理解循环作用域后，我们来看一个常见的代码陷阱。假设我们需要从一个列表 x_list 中剔除另一个列表 y_list 中的所有元素：

x_list = [i for i in range(30)]
y_list = [i for i in range(10, 20)]
for y in y_list:
  x_list = filter(lambda a: a != y, x_list)
x_list = list(x_list)
print(x_list)
print(len(x_list))

这段代码的实际输出是一个长度为 29 的列表，仅剔除了数字 19，而不是预期的剔除 10 到 19 的所有数字。原因在于 filter 函数是 惰性求值（Lazy Evaluation）的。

在循环过程中，filter 并没有立即执行过滤操作，而是返回一个迭代器。只有当调用 list() 将其转换为列表时，才会真正执行 lambda 表达式。此时，循环已经结束，变量 y 的值固定为最后一次循环的值（即 19）。因此，所有的过滤条件都变成了 a != 19，导致只有 19 被剔除。

解决方案一：强制求值

最简单的解决方法是在每次循环中强制对 filter 进行求值，即在循环内部调用 list()：

x_list = [i for i in range(30)]
y_list = [i for i in range(10, 20)]
for y in y_list:
  x_list = list(filter(lambda a: a != y, x_list))
x_list = list(x_list)
print(x_list)
print(len(x_list))

这样，每次循环都会立即执行过滤操作，使用当前的 y 值进行判断，从而得到正确的结果。

解决方案二：使用闭包

另一种更优雅的解决方案是利用Python的闭包特性。闭包允许内部函数访问并保存外部函数的变量，即使外部函数已经执行完毕。

x_list = [i for i in range(30)]
y_list = [i for i in range(10, 20)]
def check(a, b):
  print('check')
  return a != b
for y in y_list:
  def x_filter(y):
    global x_list
    x_list = filter(lambda x: check(x, y), x_list)
  x_filter(y)
  print('loop')
x_list = list(x_list)
print(x_list)
print(len(x_list))

在这个例子中，我们定义了一个内部函数 x_filter，它接收参数 y。由于Python的闭包机制，x_filter 能够捕获并保存调用时传入的 y 值。这样，即使循环结束，每个 x_filter 实例都拥有自己独立的 y 副本，从而避免了共享循环变量带来的问题。

此外，check 函数也可以写成 lambda 形式，进一步简化代码。闭包不仅解决了循环作用域的问题，还体现了Python支持函数式编程的特点，函数可以作为变量使用，增加了代码的灵活性和可读性。

以上就是Python循环作用域与闭包的详细内容，更多关于Python编程技巧的资料请关注本站其它相关文章！