Python中闭包和自由变量的使用与注意事项

2022-07-16,,,,

1.定义

在函数内部再定义一个函数,并且这个函数用到了外部函数的变量(legb),最后返回新建函数的函数名索引,那么将这样的能够访问其定义时所在的作用域的函数以及用到的一些变量称之为闭包。被引用的非全局变量也称为自由变量 。这个自由变量保存在外部函数的只读属性 __closure__ 中,会与内层函数产生一个绑定关系,也就是自由变量将不会在内存中轻易消失。如下例所示:

2.nonlocal 关键字

上面代码中的 cnt 变量是一个列表,可变对象,但如果是不可变对象,如:numer、tuple 等呢?

以上实例输出结果:

可以看出,此时 cnt 不再是自由变量,而是变成了局部变量,且提示 unboundlocalerror 未绑定局部错误。为什么不是自由变量了呢?为什么列表就没问题呢?

这是因为 python 中并没有要求先声明一个变量才能使用它,python 解释器认为:在函数体内,只要对一个变量进行赋值操作,那么这个变量就是局部变量。
python的模块代码执行之前,并不会经过预编译,模块内的函数体代码在运行前会经过预编译,因此不管变量名的绑定发生在作用域的那个位置,都能被编译器知道。

而 cnt += 1 相当于 cnt = cnt + 1,对 cnt 进行了赋值操作,所以 python 解释器认为 cnt 是函数内的局部变量,但是执行的时候,先执行 cnt+1 时发现:
因为先前已经认定 cnt 为局部变量了,现在在局部作用域内找不到 cnt 的值,也不会再到外部作用域找了,就会报错。所以说现在 cnt 已经不是自由变量了。

那么 tuple 类型的 cnt 呢?首先 cnt[0] = cnt[0] + 1,虽然有赋值,但是其左边也是 cnt[0],cnt 是从外边作用域索引了的。
所以,你看它显示的结果:此时,cnt 确实也是自由变量的,但是它是不可变对象啊,所以报了 typeerror 错误。这下列表为什么行,你应该知道了。

或者你使用 nonolocal 关键字,这个关键字的用法与 global 很像,让你能够给外部作用域(非全局作用域)内的变量赋值。它可以使得一个被赋值的局部变量变为自由变量,并且 nonlocal声明的变量发生变化时,__closure__中存储的值也会发生变化:

nonlocal 和 global

3.注意事项

lambda 自由参数之坑,特别是和列表解析或for循环结合使用时。lambda para_list : expression == > def (para_list): return expression

首先,case1 和 case3 显然都是每循环一次,就添加一个 lambda 函数到列表中,不同的是,case1 添加的 lambda 函数中的 i 每次并没有接收 for 循环中 i 的值,它只是定义的时候指了下 i,所以说,case1 中的几个 lambda 函数的 i,是最后调用的时候,也就是 f(2) 时才到外层作用域找它的值的,此时找到的 i 的值就是里面 for 循环结束时的 i 的值。case3 则是一开始定义、添加的时候就给 i 赋好了初值。case2 则是因为 map 每次迭代的时候都会将一个可迭代对象的元素传给了 i,所以 case2 里面的每个 lambda 函数的 i 也是各有各的值的。

像这种 lambda 的自由参数的问题的话,如果你不是故意这么做的话,还是转为默认参数的好:

另外,就是列表解析里面的作用域是一个全新的作用域,和普通的 for 循环则有所不同:

4.使用场景

  • 装饰器

  • 惰性求值,比较常见的是在数据库访问的时候,可参考 django 的 queryset 的实现

  • 需要对某个函数的参数提前赋值的情况;当然也可以使用 functools.parial 的偏函数:functools.partial(func, *args, **kw),返回一个 partial 函数对象。

简单总结functools.partial的作用就是:其能把一个函数的某些参数给固定住(也就是设置默认值),并返回一个新的函数,调用这个新函数会更简单。

总结

到此这篇关于python中闭包和自由变量的文章就介绍到这了,更多相关python闭包和自由变量内容请搜索以前的文章或继续浏览下面的相关文章希望大家以后多多支持!

《Python中闭包和自由变量的使用与注意事项.doc》

下载本文的Word格式文档,以方便收藏与打印。