嵌套函数中的非局部变量
在了解什么是闭包之前,我们必须首先了解什么是嵌套函数和非局部变量。
在另一个函数内部定义的函数称为嵌套函数。 嵌套函数可以访问定义范围的变量。
在 Python 中,默认情况下,这些非局部变量是只读的,我们必须将它们明确声明为非局部变量(使用nonlocal
关键字)才能进行修改。
以下是访问非局部变量的嵌套函数的示例。
1 2 3 4 5 6 7 8 9 10 11 12 |
<span class="pl-k">def</span> <span class="pl-en">print_msg</span>(<span class="pl-s1">msg</span>): <span class="pl-c"># This is the outer enclosing function</span> <span class="pl-k">def</span> <span class="pl-en">printer</span>(): <span class="pl-c"># This is the nested function</span> <span class="pl-en">print</span>(<span class="pl-s1">msg</span>) <span class="pl-en">printer</span>() <span class="pl-c"># We execute the function</span> <span class="pl-c"># Output: Hello</span> <span class="pl-en">print_msg</span>(<span class="pl-s">"Hello"</span>) |
输出
1 |
<span class="pl-v">Hello</span> |
我们可以看到嵌套printer()
函数能够访问外层函数的非本地msg
变量。
定义闭包函数
在上面的示例中,如果函数print_msg()
的最后一行返回了printer()
函数而不是调用它,将会发生什么情况? 这意味着该函数的定义如下:
1 2 3 4 5 6 7 8 9 10 11 12 13 |
<span class="pl-k">def</span> <span class="pl-en">print_msg</span>(<span class="pl-s1">msg</span>): <span class="pl-c"># This is the outer enclosing function</span> <span class="pl-k">def</span> <span class="pl-en">printer</span>(): <span class="pl-c"># This is the nested function</span> <span class="pl-en">print</span>(<span class="pl-s1">msg</span>) <span class="pl-k">return</span> <span class="pl-s1">printer</span> <span class="pl-c"># returns the nested function</span> <span class="pl-c"># Now let's try calling this function.</span> <span class="pl-c"># Output: Hello</span> <span class="pl-s1">another</span> <span class="pl-c1">=</span> <span class="pl-en">print_msg</span>(<span class="pl-s">"Hello"</span>) <span class="pl-en">another</span>() |
输出:
1 |
<span class="pl-v">Hello</span> |
这很不寻常。
用字符串"Hello"
调用print_msg()
函数,并将返回的函数绑定到名称another
上。 调用another()
时,尽管我们已经完成了print_msg()
函数的执行,但仍会记住该消息。
这种将某些数据(在这种情况下为"Hello
)附加到代码的技术在 Python 中称为闭包。
即使变量超出范围或函数本身已从当前名称空间中删除,也将记住定义范围中的该值。
尝试在 Python Shell 中运行以下命令以查看输出。
1 2 3 4 5 6 7 |
<span class="pl-c1">>></span><span class="pl-c1">></span> <span class="pl-k">del</span> <span class="pl-s1">print_msg</span> <span class="pl-c1">>></span><span class="pl-c1">></span> <span class="pl-en">another</span>() <span class="pl-v">Hello</span> <span class="pl-c1">>></span><span class="pl-c1">></span> <span class="pl-en">print_msg</span>(<span class="pl-s">"Hello"</span>) <span class="pl-v">Traceback</span> (<span class="pl-s1">most</span> <span class="pl-s1">recent</span> <span class="pl-s1">call</span> <span class="pl-s1">last</span>): ... <span class="pl-v">NameError</span>: <span class="pl-s1">name</span> <span class="pl-s">'print_msg'</span> <span class="pl-c1">is</span> <span class="pl-c1">not</span> <span class="pl-s1">defined</span> |
在这里,即使删除原始函数,返回的函数仍然可以使用。
什么时候拥有闭包?
从上面的示例可以看出,当嵌套函数在其定义范围内引用一个值时,在 Python 中会有一个闭包。
以下几点总结了在 Python 中创建闭包必须满足的条件。
- 我们必须有一个嵌套函数(函数在函数内部)。
- 嵌套函数必须引用在外层函数中定义的值。
- 外层函数必须返回嵌套函数。
什么时候使用闭包?
那么,闭包有什么好处呢?
闭包可以避免使用全局值,并提供某种形式的数据隐藏。 它还可以为该问题提供面向对象的解决方案。
当在一个类中实现的方法很少(大多数情况下是一个方法)时,闭包可以提供另一种更优雅的解决方案。 但是,当属性和方法的数量变大时,最好实现一个类。
这是一个简单的示例,其中闭包可能比定义类和创建对象更可取。 但是,偏好是您的全部。
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 |
<span class="pl-k">def</span> <span class="pl-en">make_multiplier_of</span>(<span class="pl-s1">n</span>): <span class="pl-k">def</span> <span class="pl-en">multiplier</span>(<span class="pl-s1">x</span>): <span class="pl-k">return</span> <span class="pl-s1">x</span> <span class="pl-c1">*</span> <span class="pl-s1">n</span> <span class="pl-k">return</span> <span class="pl-s1">multiplier</span> <span class="pl-c"># Multiplier of 3</span> <span class="pl-s1">times3</span> <span class="pl-c1">=</span> <span class="pl-en">make_multiplier_of</span>(<span class="pl-c1">3</span>) <span class="pl-c"># Multiplier of 5</span> <span class="pl-s1">times5</span> <span class="pl-c1">=</span> <span class="pl-en">make_multiplier_of</span>(<span class="pl-c1">5</span>) <span class="pl-c"># Output: 27</span> <span class="pl-en">print</span>(<span class="pl-en">times3</span>(<span class="pl-c1">9</span>)) <span class="pl-c"># Output: 15</span> <span class="pl-en">print</span>(<span class="pl-en">times5</span>(<span class="pl-c1">3</span>)) <span class="pl-c"># Output: 30</span> <span class="pl-en">print</span>(<span class="pl-en">times5</span>(<span class="pl-en">times3</span>(<span class="pl-c1">2</span>))) |
输出:
1 2 3 |
<span class="pl-c1">27</span> <span class="pl-c1">15</span> <span class="pl-c1">30</span> |
Python 装饰器也广泛使用了闭包。
最后,最好指出可以发现外层函数中包含的值。
所有函数对象都具有__closure__
属性,如果它是闭包函数,则该属性返回单元格对象的元组。 参考上面的示例,我们知道times3
和times5
是闭包函数。
1 2 3 |
<span class="pl-c1">>></span><span class="pl-c1">></span> <span class="pl-s1">make_multiplier_of</span>.<span class="pl-s1">__closure__</span> <span class="pl-c1">>></span><span class="pl-c1">></span> <span class="pl-s1">times3</span>.<span class="pl-s1">__closure__</span> (<span class="pl-c1"><</span><span class="pl-s1">cell</span> <span class="pl-s1">at</span> <span class="pl-c1">0x0000000002D155B8</span>: <span class="pl-s1">int</span> <span class="pl-s1">object</span> <span class="pl-s1">at</span> <span class="pl-c1">0x000000001E39B6E0</span><span class="pl-c1">></span>,) |
单元格对象具有存储关闭值的属性cell_contents
。
1 2 3 4 |
<span class="pl-c1">>></span><span class="pl-c1">></span> <span class="pl-s1">times3</span>.<span class="pl-s1">__closure__</span>[<span class="pl-c1">0</span>].<span class="pl-s1">cell_contents</span> <span class="pl-c1">3</span> <span class="pl-c1">>></span><span class="pl-c1">></span> <span class="pl-s1">times5</span>.<span class="pl-s1">__closure__</span>[<span class="pl-c1">0</span>].<span class="pl-s1">cell_contents</span> <span class="pl-c1">5</span> |